Examples with OrthogonalFlatTSC org.yakindu.sct.model.sexec.transformation.test.SCTTestUtil.OrthogonalFlatTSC used on opensource projects

Example 1 with OrthogonalFlatTSC

use of org.yakindu.sct.model.sexec.transformation.test.SCTTestUtil.OrthogonalFlatTSC in project statecharts by Yakindu.

the class ModelSequencerStateTest method testStateCycle.

@Test
public void testStateCycle() {
    OrthogonalFlatTSC tsc = new OrthogonalFlatTSC();
    ExecutionFlow flow = sequencer.transform(tsc.sc);
    // test state with one outgoing transition
    ExecutionState s1 = flow.getStates().get(0);
    ExecutionState s2 = flow.getStates().get(1);
    assertEquals(tsc.s1.getName(), s1.getSimpleName());
    assertEquals(tsc.s2.getName(), s2.getSimpleName());
    assertNotNull(s1.getReactSequence());
    Step step = s1.getReactSequence().getSteps().get(0);
    If _if = (If) assertedSequence(assertedSequence(assertedSequence(step).getSteps().get(0)).getSteps().get(0)).getSteps().get(0);
    assertNotNull(_if.getThenStep());
    assertClass(Call.class, _if.getThenStep());
    assert (assertedSequence(assertedSequence(_if.getElseStep()).getSteps().get(0)).getSteps().isEmpty());
    Call seq = (Call) _if.getThenStep();
    assertEquals(s1.getReactions().get(0).getEffect(), seq.getStep());
    // assertTrue(seq.getSteps().get(0) instanceof ExitState);
    // assertEquals(s1, ((ExitState)seq.getSteps().get(0)).getState());
    // assertTrue(seq.getSteps().get(1) instanceof EnterState);
    // assertEquals(s2, ((EnterState)seq.getSteps().get(1)).getState());
    // 
    // test state with two outgoing transitions
    ExecutionState s3 = flow.getStates().get(2);
    assertEquals(tsc.s3.getName(), s3.getSimpleName());
    assertNotNull(s3.getReactSequence());
    step = s3.getReactSequence().getSteps().get(0);
    _if = (If) step;
    assertNotNull(_if.getThenStep());
    assertClass(Call.class, _if.getThenStep());
    assertNotNull(_if.getElseStep());
    assertClass(If.class, _if.getElseStep());
}

Example 2 with OrthogonalFlatTSC

use of org.yakindu.sct.model.sexec.transformation.test.SCTTestUtil.OrthogonalFlatTSC in project statecharts by Yakindu.

the class ModelSequencerSCTest method testSCEnterSequence_OrthogonalFlatTSC.

/**
 * For each top level region a EnterState step must be performed.
 */
@Test
public void testSCEnterSequence_OrthogonalFlatTSC() {
    OrthogonalFlatTSC tsc = new OrthogonalFlatTSC();
    ExecutionFlow flow = sequencer.transform(tsc.sc);
    assertNotNull(flow.getEnterSequences().get(0));
    assertEquals(3, flow.getEnterSequences().get(0).getSteps().size());
    assertCall(flow.getEnterSequences().get(0), 0, flow.getEntryAction());
    assertCall(flow.getEnterSequences().get(0), 1, flow.getStates().get(0).getSuperScope().getEnterSequences().get(0));
    Sequence r1EntryReactSequence = flow.getNodes().get(0).getReactSequence();
    assertCall(flow.getStates().get(0).getSuperScope().getEnterSequences().get(0), 0, r1EntryReactSequence);
    assertCall(((Sequence) firstStep(firstStep(r1EntryReactSequence))), 0, flow.getStates().get(0).getEnterSequences().get(0));
    assertCall(flow.getEnterSequences().get(0), 2, flow.getStates().get(2).getSuperScope().getEnterSequences().get(0));
    Sequence r2EntryReactSequence = flow.getNodes().get(1).getReactSequence();
    assertCall(flow.getStates().get(2).getSuperScope().getEnterSequences().get(0), 0, r2EntryReactSequence);
    assertCall(((Sequence) firstStep(firstStep(r2EntryReactSequence))), 0, flow.getStates().get(2).getEnterSequences().get(0));
}

Example 3 with OrthogonalFlatTSC

use of org.yakindu.sct.model.sexec.transformation.test.SCTTestUtil.OrthogonalFlatTSC in project statecharts by Yakindu.

the class ModelSequencerStateVectorTest method testSCStateVectorFlatOrthopgonal.

/**
 * 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() {
    OrthogonalFlatTSC tsc = new OrthogonalFlatTSC();
    ExecutionFlow flow = sequencer.transform(tsc.sc);
    assertNotNull(flow.getStateVector());
    assertEquals(2, flow.getStateVector().getSize());
    assertEquals(0, flow.getStateVector().getOffset());
}