|
@@ -2,11 +2,11 @@ package org.yakindu.sct.model.sexec.transformation.test;
|
|
|
|
|
|
|
|
import static org.junit.Assert.assertEquals;
|
|
import static org.junit.Assert.assertEquals;
|
|
|
import static org.junit.Assert.assertNotNull;
|
|
import static org.junit.Assert.assertNotNull;
|
|
|
-import static org.yakindu.sct.model.sexec.transformation.test.SCTTestUtil._createEntry;
|
|
|
|
|
-import static org.yakindu.sct.model.sexec.transformation.test.SCTTestUtil._createRegion;
|
|
|
|
|
-import static org.yakindu.sct.model.sexec.transformation.test.SCTTestUtil._createState;
|
|
|
|
|
-import static org.yakindu.sct.model.sexec.transformation.test.SCTTestUtil._createStatechart;
|
|
|
|
|
-import static org.yakindu.sct.model.sexec.transformation.test.SCTTestUtil._createTransition;
|
|
|
|
|
|
|
+import static org.yakindu.sct.model.sgraph.test.util.SgraphTestFactory._createEntry;
|
|
|
|
|
+import static org.yakindu.sct.model.sgraph.test.util.SgraphTestFactory._createRegion;
|
|
|
|
|
+import static org.yakindu.sct.model.sgraph.test.util.SgraphTestFactory._createState;
|
|
|
|
|
+import static org.yakindu.sct.model.sgraph.test.util.SgraphTestFactory._createStatechart;
|
|
|
|
|
+import static org.yakindu.sct.model.sgraph.test.util.SgraphTestFactory._createTransition;
|
|
|
|
|
|
|
|
import org.junit.Test;
|
|
import org.junit.Test;
|
|
|
import org.yakindu.sct.model.sexec.ExecutionFlow;
|
|
import org.yakindu.sct.model.sexec.ExecutionFlow;
|
|
@@ -22,42 +22,42 @@ import org.yakindu.sct.model.sgraph.Statechart;
|
|
|
|
|
|
|
|
public class ModelSequencerStateVectorTest extends ModelSequencerTest {
|
|
public class ModelSequencerStateVectorTest extends ModelSequencerTest {
|
|
|
|
|
|
|
|
-
|
|
|
|
|
-
|
|
|
|
|
/**
|
|
/**
|
|
|
- * The state vector descriptor of the ExecutionFlow must have an offset of 0 and a size that is
|
|
|
|
|
- * the maximum orthogonality of the statechart.
|
|
|
|
|
|
|
+ * The state vector descriptor of the ExecutionFlow must have an offset of 0
|
|
|
|
|
+ * and a size that is the maximum orthogonality of the statechart.
|
|
|
*/
|
|
*/
|
|
|
- @Test public void testSCStateVectorFlatNonOrthopgonal() {
|
|
|
|
|
|
|
+ @Test
|
|
|
|
|
+ public void testSCStateVectorFlatNonOrthopgonal() {
|
|
|
SimpleFlatTSC tsc = new SimpleFlatTSC();
|
|
SimpleFlatTSC tsc = new SimpleFlatTSC();
|
|
|
-
|
|
|
|
|
|
|
+
|
|
|
ExecutionFlow flow = sequencer.transform(tsc.sc);
|
|
ExecutionFlow flow = sequencer.transform(tsc.sc);
|
|
|
-
|
|
|
|
|
|
|
+
|
|
|
assertNotNull(flow.getStateVector());
|
|
assertNotNull(flow.getStateVector());
|
|
|
assertEquals(1, flow.getStateVector().getSize());
|
|
assertEquals(1, flow.getStateVector().getSize());
|
|
|
assertEquals(0, flow.getStateVector().getOffset());
|
|
assertEquals(0, flow.getStateVector().getOffset());
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
/**
|
|
|
- * The state vector descriptor of the ExecutionFlow must have an offset of 0 and a size that is
|
|
|
|
|
- * the maximum orthogonality of the statechart.
|
|
|
|
|
|
|
+ * The state vector descriptor of the ExecutionFlow must have an offset of 0
|
|
|
|
|
+ * and a size that is the maximum orthogonality of the statechart.
|
|
|
*/
|
|
*/
|
|
|
- @Test public void testSCStateVectorFlatOrthopgonal() {
|
|
|
|
|
|
|
+ @Test
|
|
|
|
|
+ public void testSCStateVectorFlatOrthopgonal() {
|
|
|
OrthogonalFlatTSC tsc = new OrthogonalFlatTSC();
|
|
OrthogonalFlatTSC tsc = new OrthogonalFlatTSC();
|
|
|
-
|
|
|
|
|
|
|
+
|
|
|
ExecutionFlow flow = sequencer.transform(tsc.sc);
|
|
ExecutionFlow flow = sequencer.transform(tsc.sc);
|
|
|
-
|
|
|
|
|
|
|
+
|
|
|
assertNotNull(flow.getStateVector());
|
|
assertNotNull(flow.getStateVector());
|
|
|
assertEquals(2, flow.getStateVector().getSize());
|
|
assertEquals(2, flow.getStateVector().getSize());
|
|
|
assertEquals(0, flow.getStateVector().getOffset());
|
|
assertEquals(0, flow.getStateVector().getOffset());
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
-
|
|
|
|
|
/**
|
|
/**
|
|
|
- * The state vector descriptor of the ExecutionFlow must have an offset of 0 and a size that is
|
|
|
|
|
- * the maximum orthogonality of the statechart.
|
|
|
|
|
|
|
+ * The state vector descriptor of the ExecutionFlow must have an offset of 0
|
|
|
|
|
+ * and a size that is the maximum orthogonality of the statechart.
|
|
|
*/
|
|
*/
|
|
|
- @Test public void testSCStateVectorDeepNonOrthopgonal() {
|
|
|
|
|
|
|
+ @Test
|
|
|
|
|
+ public void testSCStateVectorDeepNonOrthopgonal() {
|
|
|
Statechart sc = _createStatechart("test");
|
|
Statechart sc = _createStatechart("test");
|
|
|
Region r = _createRegion("r", sc);
|
|
Region r = _createRegion("r", sc);
|
|
|
_createState("s1", r);
|
|
_createState("s1", r);
|
|
@@ -70,33 +70,40 @@ public class ModelSequencerStateVectorTest extends ModelSequencerTest {
|
|
|
_createState("s2_2", s2_r);
|
|
_createState("s2_2", s2_r);
|
|
|
|
|
|
|
|
ExecutionFlow flow = sequencer.transform(sc);
|
|
ExecutionFlow flow = sequencer.transform(sc);
|
|
|
-
|
|
|
|
|
|
|
+
|
|
|
assertNotNull(flow.getStateVector());
|
|
assertNotNull(flow.getStateVector());
|
|
|
assertStateVector(0, 1, flow.getStateVector());
|
|
assertStateVector(0, 1, flow.getStateVector());
|
|
|
|
|
|
|
|
-
|
|
|
|
|
- assertStateVector(0, 1, getAssertedExState(flow, 0, "test.r.s1").getStateVector());
|
|
|
|
|
- assertStateVector(0, 1, getAssertedExState(flow, 1, "test.r.s2").getStateVector());
|
|
|
|
|
- assertStateVector(0, 1, getAssertedExState(flow, 2, "test.r.s2.r.s2_1").getStateVector());
|
|
|
|
|
- assertStateVector(0, 1, getAssertedExState(flow, 3, "test.r.s2.r.s2_1.r.s2_1_1").getStateVector());
|
|
|
|
|
- assertStateVector(0, 1, getAssertedExState(flow, 4, "test.r.s2.r.s2_1.r.s2_1_2").getStateVector());
|
|
|
|
|
- assertStateVector(0, 1, getAssertedExState(flow, 5, "test.r.s2.r.s2_2").getStateVector());
|
|
|
|
|
|
|
+ assertStateVector(0, 1, getAssertedExState(flow, 0, "test.r.s1")
|
|
|
|
|
+ .getStateVector());
|
|
|
|
|
+ assertStateVector(0, 1, getAssertedExState(flow, 1, "test.r.s2")
|
|
|
|
|
+ .getStateVector());
|
|
|
|
|
+ assertStateVector(0, 1, getAssertedExState(flow, 2, "test.r.s2.r.s2_1")
|
|
|
|
|
+ .getStateVector());
|
|
|
|
|
+ assertStateVector(0, 1,
|
|
|
|
|
+ getAssertedExState(flow, 3, "test.r.s2.r.s2_1.r.s2_1_1")
|
|
|
|
|
+ .getStateVector());
|
|
|
|
|
+ assertStateVector(0, 1,
|
|
|
|
|
+ getAssertedExState(flow, 4, "test.r.s2.r.s2_1.r.s2_1_2")
|
|
|
|
|
+ .getStateVector());
|
|
|
|
|
+ assertStateVector(0, 1, getAssertedExState(flow, 5, "test.r.s2.r.s2_2")
|
|
|
|
|
+ .getStateVector());
|
|
|
|
|
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
-
|
|
|
|
|
/**
|
|
/**
|
|
|
- * The state vector descriptor of the ExecutionFlow must have an offset of 0 and a size that is
|
|
|
|
|
- * the maximum orthogonality of the statechart.
|
|
|
|
|
|
|
+ * The state vector descriptor of the ExecutionFlow must have an offset of 0
|
|
|
|
|
+ * and a size that is the maximum orthogonality of the statechart.
|
|
|
*/
|
|
*/
|
|
|
- @Test public void testSCStateVectorDeepOrthopgonal() {
|
|
|
|
|
|
|
+ @Test
|
|
|
|
|
+ public void testSCStateVectorDeepOrthopgonal() {
|
|
|
Statechart sc = _createStatechart("test");
|
|
Statechart sc = _createStatechart("test");
|
|
|
-
|
|
|
|
|
- { // first top region
|
|
|
|
|
|
|
+
|
|
|
|
|
+ { // first top region
|
|
|
Region r = _createRegion("r1", sc);
|
|
Region r = _createRegion("r1", sc);
|
|
|
_createState("s1", r);
|
|
_createState("s1", r);
|
|
|
State s2 = _createState("s2", r);
|
|
State s2 = _createState("s2", r);
|
|
|
- { // first sub region
|
|
|
|
|
|
|
+ { // first sub region
|
|
|
Region s2_r = _createRegion("r", s2);
|
|
Region s2_r = _createRegion("r", s2);
|
|
|
State s2_1 = _createState("s2_1", s2_r);
|
|
State s2_1 = _createState("s2_1", s2_r);
|
|
|
{ // first sub sub region
|
|
{ // first sub sub region
|
|
@@ -112,82 +119,99 @@ public class ModelSequencerStateVectorTest extends ModelSequencerTest {
|
|
|
_createState("s2_2", s2_r);
|
|
_createState("s2_2", s2_r);
|
|
|
}
|
|
}
|
|
|
}
|
|
}
|
|
|
- { // second top region
|
|
|
|
|
|
|
+ { // second top region
|
|
|
Region r = _createRegion("r2", sc);
|
|
Region r = _createRegion("r2", sc);
|
|
|
_createState("s3", r);
|
|
_createState("s3", r);
|
|
|
_createState("s4", r);
|
|
_createState("s4", r);
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
-
|
|
|
|
|
ExecutionFlow flow = sequencer.transform(sc);
|
|
ExecutionFlow flow = sequencer.transform(sc);
|
|
|
-
|
|
|
|
|
|
|
+
|
|
|
assertNotNull(flow.getStateVector());
|
|
assertNotNull(flow.getStateVector());
|
|
|
assertStateVector(0, 3, flow.getStateVector());
|
|
assertStateVector(0, 3, flow.getStateVector());
|
|
|
-
|
|
|
|
|
- assertStateVector(0, 1, getAssertedExState(flow, 0, "test.r1.s1").getStateVector());
|
|
|
|
|
- assertStateVector(0, 2, getAssertedExState(flow, 1, "test.r1.s2").getStateVector());
|
|
|
|
|
- assertStateVector(0, 2, getAssertedExState(flow, 2, "test.r1.s2.r.s2_1").getStateVector());
|
|
|
|
|
- assertStateVector(0, 1, getAssertedExState(flow, 3, "test.r1.s2.r.s2_1.r1.s2_1_1").getStateVector());
|
|
|
|
|
- assertStateVector(0, 1, getAssertedExState(flow, 4, "test.r1.s2.r.s2_1.r1.s2_1_2").getStateVector());
|
|
|
|
|
- assertStateVector(1, 1, getAssertedExState(flow, 5, "test.r1.s2.r.s2_1.r2.s2_1_3").getStateVector());
|
|
|
|
|
- assertStateVector(1, 1, getAssertedExState(flow, 6, "test.r1.s2.r.s2_1.r2.s2_1_4").getStateVector());
|
|
|
|
|
- assertStateVector(0, 1, getAssertedExState(flow, 7, "test.r1.s2.r.s2_2").getStateVector());
|
|
|
|
|
- assertStateVector(2, 1, getAssertedExState(flow, 8, "test.r2.s3").getStateVector());
|
|
|
|
|
- assertStateVector(2, 1, getAssertedExState(flow, 9, "test.r2.s4").getStateVector());
|
|
|
|
|
|
|
+
|
|
|
|
|
+ assertStateVector(0, 1, getAssertedExState(flow, 0, "test.r1.s1")
|
|
|
|
|
+ .getStateVector());
|
|
|
|
|
+ assertStateVector(0, 2, getAssertedExState(flow, 1, "test.r1.s2")
|
|
|
|
|
+ .getStateVector());
|
|
|
|
|
+ assertStateVector(0, 2,
|
|
|
|
|
+ getAssertedExState(flow, 2, "test.r1.s2.r.s2_1")
|
|
|
|
|
+ .getStateVector());
|
|
|
|
|
+ assertStateVector(0, 1,
|
|
|
|
|
+ getAssertedExState(flow, 3, "test.r1.s2.r.s2_1.r1.s2_1_1")
|
|
|
|
|
+ .getStateVector());
|
|
|
|
|
+ assertStateVector(0, 1,
|
|
|
|
|
+ getAssertedExState(flow, 4, "test.r1.s2.r.s2_1.r1.s2_1_2")
|
|
|
|
|
+ .getStateVector());
|
|
|
|
|
+ assertStateVector(1, 1,
|
|
|
|
|
+ getAssertedExState(flow, 5, "test.r1.s2.r.s2_1.r2.s2_1_3")
|
|
|
|
|
+ .getStateVector());
|
|
|
|
|
+ assertStateVector(1, 1,
|
|
|
|
|
+ getAssertedExState(flow, 6, "test.r1.s2.r.s2_1.r2.s2_1_4")
|
|
|
|
|
+ .getStateVector());
|
|
|
|
|
+ assertStateVector(0, 1,
|
|
|
|
|
+ getAssertedExState(flow, 7, "test.r1.s2.r.s2_2")
|
|
|
|
|
+ .getStateVector());
|
|
|
|
|
+ assertStateVector(2, 1, getAssertedExState(flow, 8, "test.r2.s3")
|
|
|
|
|
+ .getStateVector());
|
|
|
|
|
+ assertStateVector(2, 1, getAssertedExState(flow, 9, "test.r2.s4")
|
|
|
|
|
+ .getStateVector());
|
|
|
|
|
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
- public ExecutionState getAssertedExState(ExecutionFlow flow, int offset, String name) {
|
|
|
|
|
|
|
+ public ExecutionState getAssertedExState(ExecutionFlow flow, int offset,
|
|
|
|
|
+ String name) {
|
|
|
ExecutionState s = flow.getStates().get(offset);
|
|
ExecutionState s = flow.getStates().get(offset);
|
|
|
assertEquals(name, s.getName());
|
|
assertEquals(name, s.getName());
|
|
|
-
|
|
|
|
|
|
|
+
|
|
|
return s;
|
|
return s;
|
|
|
}
|
|
}
|
|
|
-
|
|
|
|
|
|
|
+
|
|
|
public void assertStateVector(int offset, int size, StateVector sv) {
|
|
public void assertStateVector(int offset, int size, StateVector sv) {
|
|
|
assertNotNull("state vector is null", sv);
|
|
assertNotNull("state vector is null", sv);
|
|
|
assertEquals("wrong state vector offset -", offset, sv.getOffset());
|
|
assertEquals("wrong state vector offset -", offset, sv.getOffset());
|
|
|
- assertEquals("wrong state vector size -", size, sv.getSize());
|
|
|
|
|
|
|
+ assertEquals("wrong state vector size -", size, sv.getSize());
|
|
|
}
|
|
}
|
|
|
-
|
|
|
|
|
-
|
|
|
|
|
|
|
+
|
|
|
/**
|
|
/**
|
|
|
- * The state vector descriptor of the ExecutionFlow must have an offset of 0 and a size that is
|
|
|
|
|
- * the maximum orthogonality of the statechart.
|
|
|
|
|
|
|
+ * The state vector descriptor of the ExecutionFlow must have an offset of 0
|
|
|
|
|
+ * and a size that is the maximum orthogonality of the statechart.
|
|
|
*/
|
|
*/
|
|
|
- @Test public void testSCStateVectorEmptyRegion() {
|
|
|
|
|
|
|
+ @Test
|
|
|
|
|
+ public void testSCStateVectorEmptyRegion() {
|
|
|
Statechart sc = _createStatechart("test");
|
|
Statechart sc = _createStatechart("test");
|
|
|
-
|
|
|
|
|
- { // first top region
|
|
|
|
|
|
|
+
|
|
|
|
|
+ { // first top region
|
|
|
_createRegion("sc_r1", sc);
|
|
_createRegion("sc_r1", sc);
|
|
|
}
|
|
}
|
|
|
-
|
|
|
|
|
|
|
+
|
|
|
ExecutionFlow flow = sequencer.transform(sc);
|
|
ExecutionFlow flow = sequencer.transform(sc);
|
|
|
-
|
|
|
|
|
|
|
+
|
|
|
assertNotNull(flow.getStateVector());
|
|
assertNotNull(flow.getStateVector());
|
|
|
assertEquals(0, flow.getStateVector().getSize());
|
|
assertEquals(0, flow.getStateVector().getSize());
|
|
|
assertEquals(0, flow.getStateVector().getOffset());
|
|
assertEquals(0, flow.getStateVector().getOffset());
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
/**
|
|
|
- * The state vector descriptor of the ExecutionFlow must have an offset of 0 and a size that is
|
|
|
|
|
- * the maximum orthogonality of the statechart.
|
|
|
|
|
|
|
+ * The state vector descriptor of the ExecutionFlow must have an offset of 0
|
|
|
|
|
+ * and a size that is the maximum orthogonality of the statechart.
|
|
|
*/
|
|
*/
|
|
|
- @Test public void testSCStateVectorPseudoStates() {
|
|
|
|
|
|
|
+ @Test
|
|
|
|
|
+ public void testSCStateVectorPseudoStates() {
|
|
|
Statechart sc = _createStatechart("test");
|
|
Statechart sc = _createStatechart("test");
|
|
|
-
|
|
|
|
|
- { // first top region
|
|
|
|
|
|
|
+
|
|
|
|
|
+ { // first top region
|
|
|
Region r = _createRegion("sc_r1", sc);
|
|
Region r = _createRegion("sc_r1", sc);
|
|
|
Entry e = _createEntry(EntryKind.INITIAL, null, r);
|
|
Entry e = _createEntry(EntryKind.INITIAL, null, r);
|
|
|
Entry s = _createEntry(null, "s", r);
|
|
Entry s = _createEntry(null, "s", r);
|
|
|
_createTransition(e, s);
|
|
_createTransition(e, s);
|
|
|
}
|
|
}
|
|
|
-
|
|
|
|
|
|
|
+
|
|
|
ExecutionFlow flow = sequencer.transform(sc);
|
|
ExecutionFlow flow = sequencer.transform(sc);
|
|
|
-
|
|
|
|
|
|
|
+
|
|
|
assertNotNull(flow.getStateVector());
|
|
assertNotNull(flow.getStateVector());
|
|
|
assertEquals(0, flow.getStateVector().getSize());
|
|
assertEquals(0, flow.getStateVector().getSize());
|
|
|
assertEquals(0, flow.getStateVector().getOffset());
|
|
assertEquals(0, flow.getStateVector().getOffset());
|
|
|
}
|
|
}
|
|
|
-
|
|
|
|
|
|
|
+
|
|
|
}
|
|
}
|