|
@@ -176,31 +176,31 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
|
|
|
case State6 :
|
|
|
|
|
|
- historyVector[0] = stateVector[0];
|
|
|
-
|
|
|
historyVector[1] = stateVector[0];
|
|
|
+
|
|
|
+ historyVector[0] = stateVector[0];
|
|
|
stateVector[0] = State.$NullState$;
|
|
|
|
|
|
break;
|
|
|
|
|
|
case State8 :
|
|
|
|
|
|
- historyVector[0] = stateVector[0];
|
|
|
+ historyVector[2] = stateVector[0];
|
|
|
|
|
|
historyVector[1] = stateVector[0];
|
|
|
|
|
|
- historyVector[2] = stateVector[0];
|
|
|
+ historyVector[0] = stateVector[0];
|
|
|
stateVector[0] = State.$NullState$;
|
|
|
|
|
|
break;
|
|
|
|
|
|
case State9 :
|
|
|
|
|
|
- historyVector[0] = stateVector[0];
|
|
|
+ historyVector[2] = stateVector[0];
|
|
|
|
|
|
historyVector[1] = stateVector[0];
|
|
|
|
|
|
- historyVector[2] = stateVector[0];
|
|
|
+ historyVector[0] = stateVector[0];
|
|
|
stateVector[0] = State.$NullState$;
|
|
|
|
|
|
break;
|
|
@@ -218,7 +218,7 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
|
|
|
}
|
|
|
|
|
|
- private void deepEnterSequenceState20() {
|
|
|
+ private void deepEnterSequenceState2Region0() {
|
|
|
//Handle deep history entry of null
|
|
|
switch (historyVector[0]) {
|
|
|
|
|
@@ -230,19 +230,19 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
|
|
|
case State6 :
|
|
|
|
|
|
- deepEnterSequenceState40();
|
|
|
+ deepEnterSequenceState4Region0();
|
|
|
|
|
|
break;
|
|
|
|
|
|
case State8 :
|
|
|
|
|
|
- deepEnterSequenceState40();
|
|
|
+ deepEnterSequenceState4Region0();
|
|
|
|
|
|
break;
|
|
|
|
|
|
case State9 :
|
|
|
|
|
|
- deepEnterSequenceState40();
|
|
|
+ deepEnterSequenceState4Region0();
|
|
|
|
|
|
break;
|
|
|
|
|
@@ -257,7 +257,7 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
}
|
|
|
}
|
|
|
|
|
|
- private void deepEnterSequenceState40() {
|
|
|
+ private void deepEnterSequenceState4Region0() {
|
|
|
//Handle deep history entry of null
|
|
|
switch (historyVector[1]) {
|
|
|
|
|
@@ -269,13 +269,13 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
|
|
|
case State8 :
|
|
|
|
|
|
- deepEnterSequenceState70();
|
|
|
+ deepEnterSequenceState7Region0();
|
|
|
|
|
|
break;
|
|
|
|
|
|
case State9 :
|
|
|
|
|
|
- deepEnterSequenceState70();
|
|
|
+ deepEnterSequenceState7Region0();
|
|
|
|
|
|
break;
|
|
|
|
|
@@ -284,7 +284,7 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
}
|
|
|
}
|
|
|
|
|
|
- private void deepEnterSequenceState70() {
|
|
|
+ private void deepEnterSequenceState7Region0() {
|
|
|
//Handle deep history entry of null
|
|
|
switch (historyVector[2]) {
|
|
|
|
|
@@ -312,7 +312,7 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
//Enter the region with deep history
|
|
|
if (historyVector[0] != State.$NullState$) {
|
|
|
|
|
|
- deepEnterSequenceState20();
|
|
|
+ deepEnterSequenceState2Region0();
|
|
|
} else {
|
|
|
nextStateIndex = 0;
|
|
|
stateVector[0] = State.State3;
|
|
@@ -320,6 +320,7 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
}
|
|
|
|
|
|
}
|
|
|
+
|
|
|
}
|
|
|
private void reactState2() {
|
|
|
}
|
|
@@ -327,7 +328,7 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
if (occuredEvents.contains(getDefaultInterfaceImpl().getEventEvent2())) {
|
|
|
|
|
|
historyVector[0] = stateVector[0];
|
|
|
- //Handle exit of all possible states (of null) at position 0...
|
|
|
+ //Handle exit of all possible states (of region0) at position 0...
|
|
|
switch (stateVector[0]) {
|
|
|
|
|
|
case State3 :
|
|
@@ -344,18 +345,18 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
|
|
|
case State8 :
|
|
|
|
|
|
- historyVector[1] = stateVector[0];
|
|
|
-
|
|
|
historyVector[2] = stateVector[0];
|
|
|
+
|
|
|
+ historyVector[1] = stateVector[0];
|
|
|
stateVector[0] = State.$NullState$;
|
|
|
|
|
|
break;
|
|
|
|
|
|
case State9 :
|
|
|
|
|
|
- historyVector[1] = stateVector[0];
|
|
|
-
|
|
|
historyVector[2] = stateVector[0];
|
|
|
+
|
|
|
+ historyVector[1] = stateVector[0];
|
|
|
stateVector[0] = State.$NullState$;
|
|
|
|
|
|
break;
|
|
@@ -383,6 +384,7 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
}
|
|
|
|
|
|
}
|
|
|
+
|
|
|
}
|
|
|
private void reactState4() {
|
|
|
}
|
|
@@ -390,7 +392,7 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
if (occuredEvents.contains(getDefaultInterfaceImpl().getEventEvent2())) {
|
|
|
|
|
|
historyVector[0] = stateVector[0];
|
|
|
- //Handle exit of all possible states (of null) at position 0...
|
|
|
+ //Handle exit of all possible states (of region0) at position 0...
|
|
|
switch (stateVector[0]) {
|
|
|
|
|
|
case State3 :
|
|
@@ -407,18 +409,18 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
|
|
|
case State8 :
|
|
|
|
|
|
- historyVector[1] = stateVector[0];
|
|
|
-
|
|
|
historyVector[2] = stateVector[0];
|
|
|
+
|
|
|
+ historyVector[1] = stateVector[0];
|
|
|
stateVector[0] = State.$NullState$;
|
|
|
|
|
|
break;
|
|
|
|
|
|
case State9 :
|
|
|
|
|
|
- historyVector[1] = stateVector[0];
|
|
|
-
|
|
|
historyVector[2] = stateVector[0];
|
|
|
+
|
|
|
+ historyVector[1] = stateVector[0];
|
|
|
stateVector[0] = State.$NullState$;
|
|
|
|
|
|
break;
|
|
@@ -440,7 +442,7 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
.getEventEvent4())) {
|
|
|
|
|
|
historyVector[1] = stateVector[0];
|
|
|
- //Handle exit of all possible states (of null) at position 0...
|
|
|
+ //Handle exit of all possible states (of region0) at position 0...
|
|
|
switch (stateVector[0]) {
|
|
|
|
|
|
case State6 :
|
|
@@ -482,6 +484,7 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
}
|
|
|
|
|
|
}
|
|
|
+
|
|
|
}
|
|
|
private void reactState7() {
|
|
|
}
|
|
@@ -489,7 +492,7 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
if (occuredEvents.contains(getDefaultInterfaceImpl().getEventEvent2())) {
|
|
|
|
|
|
historyVector[0] = stateVector[0];
|
|
|
- //Handle exit of all possible states (of null) at position 0...
|
|
|
+ //Handle exit of all possible states (of region0) at position 0...
|
|
|
switch (stateVector[0]) {
|
|
|
|
|
|
case State3 :
|
|
@@ -506,18 +509,18 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
|
|
|
case State8 :
|
|
|
|
|
|
- historyVector[1] = stateVector[0];
|
|
|
-
|
|
|
historyVector[2] = stateVector[0];
|
|
|
+
|
|
|
+ historyVector[1] = stateVector[0];
|
|
|
stateVector[0] = State.$NullState$;
|
|
|
|
|
|
break;
|
|
|
|
|
|
case State9 :
|
|
|
|
|
|
- historyVector[1] = stateVector[0];
|
|
|
-
|
|
|
historyVector[2] = stateVector[0];
|
|
|
+
|
|
|
+ historyVector[1] = stateVector[0];
|
|
|
stateVector[0] = State.$NullState$;
|
|
|
|
|
|
break;
|
|
@@ -539,7 +542,7 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
.getEventEvent4())) {
|
|
|
|
|
|
historyVector[1] = stateVector[0];
|
|
|
- //Handle exit of all possible states (of null) at position 0...
|
|
|
+ //Handle exit of all possible states (of region0) at position 0...
|
|
|
switch (stateVector[0]) {
|
|
|
|
|
|
case State6 :
|
|
@@ -573,7 +576,7 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
.getEventEvent6())) {
|
|
|
|
|
|
historyVector[2] = stateVector[0];
|
|
|
- //Handle exit of all possible states (of null) at position 0...
|
|
|
+ //Handle exit of all possible states (of region0) at position 0...
|
|
|
switch (stateVector[0]) {
|
|
|
|
|
|
case State8 :
|
|
@@ -608,12 +611,13 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
}
|
|
|
|
|
|
}
|
|
|
+
|
|
|
}
|
|
|
private void reactState9() {
|
|
|
if (occuredEvents.contains(getDefaultInterfaceImpl().getEventEvent2())) {
|
|
|
|
|
|
historyVector[0] = stateVector[0];
|
|
|
- //Handle exit of all possible states (of null) at position 0...
|
|
|
+ //Handle exit of all possible states (of region0) at position 0...
|
|
|
switch (stateVector[0]) {
|
|
|
|
|
|
case State3 :
|
|
@@ -630,18 +634,18 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
|
|
|
case State8 :
|
|
|
|
|
|
- historyVector[1] = stateVector[0];
|
|
|
-
|
|
|
historyVector[2] = stateVector[0];
|
|
|
+
|
|
|
+ historyVector[1] = stateVector[0];
|
|
|
stateVector[0] = State.$NullState$;
|
|
|
|
|
|
break;
|
|
|
|
|
|
case State9 :
|
|
|
|
|
|
- historyVector[1] = stateVector[0];
|
|
|
-
|
|
|
historyVector[2] = stateVector[0];
|
|
|
+
|
|
|
+ historyVector[1] = stateVector[0];
|
|
|
stateVector[0] = State.$NullState$;
|
|
|
|
|
|
break;
|
|
@@ -663,7 +667,7 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
.getEventEvent4())) {
|
|
|
|
|
|
historyVector[1] = stateVector[0];
|
|
|
- //Handle exit of all possible states (of null) at position 0...
|
|
|
+ //Handle exit of all possible states (of region0) at position 0...
|
|
|
switch (stateVector[0]) {
|
|
|
|
|
|
case State6 :
|
|
@@ -697,7 +701,7 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
.getEventEvent6())) {
|
|
|
|
|
|
historyVector[2] = stateVector[0];
|
|
|
- //Handle exit of all possible states (of null) at position 0...
|
|
|
+ //Handle exit of all possible states (of region0) at position 0...
|
|
|
switch (stateVector[0]) {
|
|
|
|
|
|
case State8 :
|
|
@@ -732,12 +736,13 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
}
|
|
|
|
|
|
}
|
|
|
+
|
|
|
}
|
|
|
private void reactState5() {
|
|
|
if (occuredEvents.contains(getDefaultInterfaceImpl().getEventEvent2())) {
|
|
|
|
|
|
historyVector[0] = stateVector[0];
|
|
|
- //Handle exit of all possible states (of null) at position 0...
|
|
|
+ //Handle exit of all possible states (of region0) at position 0...
|
|
|
switch (stateVector[0]) {
|
|
|
|
|
|
case State3 :
|
|
@@ -754,18 +759,18 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
|
|
|
case State8 :
|
|
|
|
|
|
- historyVector[1] = stateVector[0];
|
|
|
-
|
|
|
historyVector[2] = stateVector[0];
|
|
|
+
|
|
|
+ historyVector[1] = stateVector[0];
|
|
|
stateVector[0] = State.$NullState$;
|
|
|
|
|
|
break;
|
|
|
|
|
|
case State9 :
|
|
|
|
|
|
- historyVector[1] = stateVector[0];
|
|
|
-
|
|
|
historyVector[2] = stateVector[0];
|
|
|
+
|
|
|
+ historyVector[1] = stateVector[0];
|
|
|
stateVector[0] = State.$NullState$;
|
|
|
|
|
|
break;
|
|
@@ -785,6 +790,7 @@ public class Test_DeepHistoryCycleBasedStatemachine
|
|
|
} else {
|
|
|
|
|
|
}
|
|
|
+
|
|
|
}
|
|
|
public void runCycle() {
|
|
|
outEvents.clear();
|