Added cases to TransitionTest.

Currently default transition behavior (-> (Target.Kind.EXTERNAL)) is not actually external. It's more like a local transition that changes to external if the target is not a descendant of the source. I think I'll have to make the alternate transition operator (currently >) force an external transition rather than a local one.
clnhlzmn · Mar 26, 2021 · fbdd102 · fbdd102
1 parent 7c67fa5
commit fbdd102
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/makina-compiler/test/xyz/colinholzman/makina/TransitionTest.kt b/makina-compiler/test/xyz/colinholzman/makina/TransitionTest.kt
@@ -21,6 +21,8 @@ internal class TransitionTest {
         assertEquals(listOf(s2, s21), transition.getEntrySet())
         transition = Transition(s111, s111)
         assertEquals(listOf(s111), transition.getEntrySet())
+        transition = Transition(s111, s1)
+        assertEquals(listOf(s1), transition.getEntrySet())
     }
 
     @Test
@@ -31,5 +33,7 @@ internal class TransitionTest {
         assertEquals(listOf(s111, s11, s1), transition.getExitSet())
         transition = Transition(s111, s111)
         assertEquals(listOf(s111), transition.getExitSet())
+        transition = Transition(s111, s1)
+        assertEquals(listOf(s111, s11, s1), transition.getExitSet())
     }
 }