|
| 1 | +package com.sc4nam.scripts |
| 2 | + |
| 3 | +import org.scalatest.wordspec.AnyWordSpec |
| 4 | +import org.scalatest.matchers.should.Matchers |
| 5 | +import io.github.memo33.metarules.meta._ |
| 6 | +import com.sc4nam.module._ |
| 7 | +import syntax._, Implicits._, RotFlip._, Network._, Flags._, NetworkProperties._ |
| 8 | +import RedundantAdjacenciesChecker.isRedundantAdjacency |
| 9 | + |
| 10 | +class RedundantAdjacenciesCheckerSpec extends AnyWordSpec with Matchers { |
| 11 | + |
| 12 | + "redundant adjacencies" should { |
| 13 | + "be compatible for equivalent rules" in { |
| 14 | + val rul2 = Seq( |
| 15 | + Rule(0x57227C10,2,0,0x57000000,1,0,0x57227C10,2,0,0x57120000,3,0), |
| 16 | + Rule(0x57227C10,2,0,0x57000000,3,0,0x57227C10,2,0,0x57120000,3,0), |
| 17 | + Rule(0x57227C10,2,0,0x57000000,1,1,0x57227C10,2,0,0x57120000,3,1), |
| 18 | + Rule(0x57227C10,2,0,0x57000000,3,1,0x57227C10,2,0,0x57120000,3,1), |
| 19 | + Rule(0x57120000,3,0,0x57031A00,0,0,0x57120000,3,0,0x57121D00,3,0), |
| 20 | + Rule(0x57120000,1,0,0x57031A00,0,0,0x57120000,1,0,0x57121D00,1,1), |
| 21 | + Rule(0x57120000,3,0,0x57031A00,2,0,0x57120000,3,0,0x57121D00,3,1), |
| 22 | + Rule(0x57120000,1,0,0x57031A00,2,0,0x57120000,1,0,0x57121D00,1,0), |
| 23 | + // |
| 24 | + Rule(0x5C020A00,0,1,0x04006100,1,0,0x5C020A00,0,1,0x5C020000,1,0), |
| 25 | + Rule(0x5C020A00,2,0,0x04006100,3,0,0x5C020A00,2,0,0x5C020000,3,0), |
| 26 | + Rule(0x5C020000,1,0,0x04006300,0,0,0x5C020000,1,0,0x5C020A00,0,0), |
| 27 | + Rule(0x5C020000,3,0,0x04006300,2,1,0x5C020000,3,0,0x5C020A00,2,1), |
| 28 | + ) |
| 29 | + val lookupRule = rul2.map(r => (new EquivRule(r), r)).toMap |
| 30 | + val adjacencies = Seq( |
| 31 | + Rule(0x57227c10,0,1,0x57031a00,0,0,0x57227c10,0,1,0x57121d00,1,1), |
| 32 | + Rule(0x57227c10,2,0,0x57031a00,2,1,0x57227c10,2,0,0x57121d00,3,0), |
| 33 | + Rule(0x57031a00,2,0,0x57227c10,2,1,0x57121d00,3,1,0x57227c10,2,1), |
| 34 | + Rule(0x57031a00,0,1,0x57227c10,0,0,0x57121d00,1,0,0x57227c10,0,0), |
| 35 | + // |
| 36 | + Rule(0x5C020A00,2,0,0x04006300,2,1,0x5C020A00,2,0,0x5C020A00,2,1), |
| 37 | + Rule(0x5C020A00,0,1,0x04006300,0,0,0x5C020A00,0,1,0x5C020A00,0,0), |
| 38 | + Rule(0x04006300,0,1,0x5C020A00,0,0,0x5C020A00,0,1,0x5C020A00,0,0), |
| 39 | + Rule(0x04006300,2,0,0x5C020A00,2,1,0x5C020A00,2,0,0x5C020A00,2,1), |
| 40 | + ) |
| 41 | + for (rule <- adjacencies) { |
| 42 | + withClue(rule) { |
| 43 | + isRedundantAdjacency(rule, lookupRule).shouldBe(true) |
| 44 | + } |
| 45 | + } |
| 46 | + } |
| 47 | + } |
| 48 | +} |
0 commit comments