RIC-1081: More checks for passive class statemachines

Author: mattias-mohlin

art-comp-test/tests/art_0018/art_0018_passive_class_sm.art

@@ -0,0 +1,16 @@
+class C0018 {
+    statemachine { // ART_0018
+        state State {
+            entrypoint ep;
+            exitpoint ex;
+            junction j1;
+            state N1;
+            ep -> j1;
+            j1 -> ex;
+        };
+        initial -> State.ep;
+        State.ex -> State.ep; 
+        state Final;
+        State.ex -> Final when `true`;
+    };
+};

art-comp-test/tests/art_0018/testcase.md

@@ -12,5 +12,10 @@ ac_output match2c: Transition|27:9
 ac_output match3: ERROR[0018]|art_0018_inherited_sm.art|21:5
 ac_output match3a: Transition|11:9
 ac_output match3b: Transition|22:9
+
+ac_output match4: ERROR[0018]|art_0018_passive_class_sm.art|2:5
+ac_output match4a: Transition|8:13
+ac_output match4b: Transition|9:13
+ac_output match4c: Transition|12:9
 ---
 Test validation rule `ART_0018_circularTransitions`. Transition cycles can occur when junction or entry/exit points are incorrectly used.

art-comp-test/tests/art_0030/art_0030_passive_class_sm.art

@@ -0,0 +1,9 @@
+class C {
+    statemachine {
+        state BS {
+            entrypoint ep1;            
+            state Nested;
+        };
+        _Initial: initial -> BS; // ART_0030
+    };
+};

art-comp-test/tests/art_0030/testcase.md

@@ -2,8 +2,9 @@
 group: validation
 steps: generate
 ac_output match1: ERROR[0030]|art_0030.art|7:9|BS
-ac_output match2: ERROR[0030]|art_0030_inheritance.art|13:9|State
+ac_output match2: ERROR[0030]|art_0030_inheritance.art|13:9|State2
 ac_output match3: ERROR[0030]|27:5|inherited transition|State2
 ac_output match3a: Inherited triggered transition '_tx'|13:9
+ac_output match4: ERROR[0030]|art_0030_passive_class_sm.art|7:9|BS
 ---
 Test validation rule `ART_0030_transitionToCompositeStateNoEntryNoInitialTrans`.

art-comp-test/tests/art_0036/art_0036_passive_class_sm.art

@@ -0,0 +1,10 @@
+class PC {
+    trigger op1();    
+
+    statemachine {
+        state S1, S2;        
+        initial -> S1;        
+        junction j;
+        j -> S1 on op1(); // ART_0036 (transition originates from junction)
+    };
+};

art-comp-test/tests/art_0036/testcase.md

@@ -7,5 +7,6 @@ ac_output match3: ERROR[0036]|19:9|t3|choice
 ac_output match4: ERROR[0036]|20:9|t4|exit point with incoming
 ac_output match5: ERROR[0036]|39:5|inherited transition|entry point with incoming
 ac_output match5a: t1|32:13
+ac_output match6: ERROR[0036]|art_0036_passive_class_sm.art|8:9|junction
 ---
 Test validation rule `ART_0036_unexpectedTriggers`.

art-comp-test/tests/art_0037/art_0037_passive_class.art

@@ -0,0 +1,9 @@
+class PC {
+    trigger op1();    
+
+    statemachine {
+        state S1, S2;        
+        initial -> S1;
+        S1 -> S2; // ART_0037 (transition originates from state)        
+    };
+};

art-comp-test/tests/art_0037/testcase.md

@@ -10,6 +10,6 @@ ac_output match6: ERROR[0037]|40:5|inherited transition|entry point without inco
 ac_output match6a: Inherited transition|t1|32:13
 ac_output match7: ERROR[0037]|art_0037_inherited_sm.art:23:24|inherited transition|entry point without incoming
 ac_output match7a: Inherited transition|txxx|13:17
-
+ac_output match8: ERROR[0037]|art_0037_passive_class.art|7:9|state
 ---
 Test validation rule `ART_0037_missingTriggers`.