Examples with ExecutionFlow org.yakindu.sct.model.sexec.ExecutionFlow used on opensource projects

Example 66 with ExecutionFlow

use of org.yakindu.sct.model.sexec.ExecutionFlow in project statecharts by Yakindu.

the class ModelSequencerSCTest method testSCExitSequence.

@Test
public void testSCExitSequence() {
    MinimalTSC sc = new MinimalTSC();
    ExecutionFlow flow = sequencer.transform(sc.sc);
    assertNotNull(flow.getExitSequence());
    assertCall(flow.getExitSequence(), 0, flow.getSubScopes().get(0).getExitSequence());
}

Example 67 with ExecutionFlow

use of org.yakindu.sct.model.sexec.ExecutionFlow 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 68 with ExecutionFlow

use of org.yakindu.sct.model.sexec.ExecutionFlow in project statecharts by Yakindu.

the class ModelSequencerStateTest method testCompositeStateEnterSequence.

/**
 * A composite state must have a enter sequence. This enter sequence
 * consists of an entry action call and a enter sequence call for each sub
 * region.
 */
@Test
public void testCompositeStateEnterSequence() {
    Statechart sc = _createStatechart("cs");
    {
        Scope scope = _createInterfaceScope("interface", sc);
        VariableDefinition v1 = _createVariableDefinition("v1", TYPE_INTEGER, scope);
        Region r = _createRegion("r", sc);
        {
            State s1 = _createState("s1", r);
            {
                _createEntryAssignment(v1, s1, 1);
                Region r1_s1 = _createRegion("r1", s1);
                {
                    Entry e = _createEntry(EntryKind.INITIAL, null, r1_s1);
                    State s2 = _createState("s2", r1_s1);
                    _createTransition(e, s2);
                }
                Region r2_s1 = _createRegion("r2", s1);
                {
                    Entry e = _createEntry(EntryKind.INITIAL, null, r2_s1);
                    State s3 = _createState("s3", r2_s1);
                    _createTransition(e, s3);
                }
            }
            Entry e = _createEntry(EntryKind.INITIAL, null, r);
            _createTransition(e, s1);
        }
    }
    ExecutionFlow flow = sequencer.transform(sc);
    ExecutionState _s1 = flow.getStates().get(0);
    assertEquals("s1", _s1.getSimpleName());
    ExecutionState _s2 = flow.getStates().get(1);
    assertEquals("s2", _s2.getSimpleName());
    ExecutionState _s3 = flow.getStates().get(2);
    assertEquals("s3", _s3.getSimpleName());
    assertNotNull(_s1.getEntryAction());
    assertNotNull(_s1.getEnterSequences().get(0));
    assertEquals(3, _s1.getEnterSequences().get(0).getSteps().size());
    assertCall(_s1.getEnterSequences().get(0), 0, _s1.getEntryAction());
    assertCall(_s1.getEnterSequences().get(0), 1, _s2.getSuperScope().getEnterSequences().get(0));
    Sequence r1EntryReactSequence = flow.getNodes().get(0).getReactSequence();
    assertCall(_s2.getSuperScope().getEnterSequences().get(0), 0, r1EntryReactSequence);
    assertCall(((Sequence) firstStep(firstStep(r1EntryReactSequence))), 0, _s2.getEnterSequences().get(0));
    assertCall(_s1.getEnterSequences().get(0), 2, _s3.getSuperScope().getEnterSequences().get(0));
    Sequence r2EntryReactSequence = flow.getNodes().get(1).getReactSequence();
    assertCall(_s3.getSuperScope().getEnterSequences().get(0), 0, r2EntryReactSequence);
    assertCall(((Sequence) firstStep(firstStep(r2EntryReactSequence))), 0, _s3.getEnterSequences().get(0));
}

Example 69 with ExecutionFlow

use of org.yakindu.sct.model.sexec.ExecutionFlow in project statecharts by Yakindu.

the class ModelSequencerStateTest method testFinalStateEnterSequence.

/**
 * A leaf state must have a enter sequence. This enter sequence consists of
 * an entry action call and a state enter step.
 */
@SuppressWarnings("unused")
@Test
public void testFinalStateEnterSequence() {
    Statechart sc = _createStatechart("cs");
    Scope scope = _createInterfaceScope("interface", sc);
    VariableDefinition v1 = _createVariableDefinition("v1", TYPE_INTEGER, scope);
    Region r = _createRegion("r", sc);
    FinalState fs = _createFinalState(r);
    ExecutionFlow flow = sequencer.transform(sc);
    ExecutionState _fs = flow.getStates().get(0);
    assertEquals("_final_0", _fs.getSimpleName());
    assertSame(fs, _fs.getSourceElement());
    assertNull(_fs.getEntryAction());
    assertNotNull(_fs.getEnterSequences().get(0));
    assertEquals(1, _fs.getEnterSequences().get(0).getSteps().size());
    assertClass(EnterState.class, _fs.getEnterSequences().get(0).getSteps().get(0));
}

Example 70 with ExecutionFlow

use of org.yakindu.sct.model.sexec.ExecutionFlow in project statecharts by Yakindu.

the class ModelSequencerStateTest method testFinalStateExitSequence.

/**
 * A final state must have a exit sequence. This exit sequence consists of a
 * state exit step.
 */
@SuppressWarnings("unused")
@Test
public void testFinalStateExitSequence() {
    Statechart sc = _createStatechart("cs");
    Scope scope = _createInterfaceScope("interface", sc);
    Region r = _createRegion("r", sc);
    FinalState fs = _createFinalState(r);
    ExecutionFlow flow = sequencer.transform(sc);
    ExecutionState _fs = flow.getStates().get(0);
    assertEquals("_final_0", _fs.getSimpleName());
    assertNull(_fs.getExitAction());
    assertNotNull(_fs.getExitSequence());
    assertEquals(1, _fs.getExitSequence().getSteps().size());
    assertClass(ExitState.class, _fs.getExitSequence().getSteps().get(0));
}