|
@@ -0,0 +1,26 @@
|
|
|
+
|
|
|
+testgroup ConstOnlyInternalScope for statechart declarations.ConstOnlyInternalScope {
|
|
|
+
|
|
|
+ /*
|
|
|
+ * Test is the statechart is entered correctly.
|
|
|
+ */
|
|
|
+ test statechartEntry {
|
|
|
+ enter
|
|
|
+ assert active(declarations.ConstOnlyInternalScope.main_region.A)
|
|
|
+
|
|
|
+ }
|
|
|
+
|
|
|
+
|
|
|
+ /*
|
|
|
+ * Test is the statechart is entered correctly.
|
|
|
+ */
|
|
|
+ test stateTransition {
|
|
|
+
|
|
|
+ enter
|
|
|
+ raise e : 1
|
|
|
+ cycle
|
|
|
+ assert active(declarations.ConstOnlyInternalScope.main_region.B)
|
|
|
+
|
|
|
+ }
|
|
|
+}
|
|
|
+
|