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

Example 1 with If

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

the class ModelSequencerStateReactionTest method testEntryActionWithGuard.

/**
 * If a entry trigger is combined with a guard condition then the entry
 * action is executed conditionally with this trigger.
 */
@Test
public void testEntryActionWithGuard() {
    Statechart sc = _createStatechart("test");
    Scope scope = _createInterfaceScope("interface", sc);
    VariableDefinition v1 = _createVariableDefinition("v1", TYPE_INTEGER, scope);
    Region r = _createRegion("main", sc);
    Entry e = _createEntry(EntryKind.INITIAL, null, r);
    State s1 = _createState("s1", r);
    State s2 = _createState("s2", r);
    _createTransition(e, s1);
    _createTransition(s1, s2);
    LocalReaction entryAction = _createEntryAction(s2);
    _createVariableAssignment(v1, AssignmentOperator.ASSIGN, _createValue(42), (ReactionEffect) entryAction.getEffect());
    ((ReactionTrigger) entryAction.getTrigger()).setGuard(createGuardExpression(_createValue(true)));
    ExecutionFlow flow = sequencer.transform(sc);
    ExecutionState _s1 = flow.getStates().get(0);
    ExecutionState _s2 = flow.getStates().get(1);
    assertEquals(s1.getName(), _s1.getSimpleName());
    assertEquals(s2.getName(), _s2.getSimpleName());
    Sequence _entrySeq = (Sequence) _s2.getEntryAction();
    assertClass(If.class, _entrySeq.getSteps().get(0));
    assertClass(PrimitiveValueExpression.class, ((If) _entrySeq.getSteps().get(0)).getCheck().getCondition());
    assertAssignment(((Sequence) ((If) _entrySeq.getSteps().get(0)).getThenStep()).getSteps().get(0), "v1", AssignmentOperator.ASSIGN, "42");
}

Example 2 with If

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

the class ModelSequencerStateReactionTest method testExitActionWithGuard.

/**
 * If a entry trigger is combined with a guard condition then the entry
 * action is executed conditionally with this trigger.
 */
@Test
public void testExitActionWithGuard() {
    Statechart sc = _createStatechart("test");
    Scope scope = _createInterfaceScope("interface", sc);
    VariableDefinition v1 = _createVariableDefinition("v1", TYPE_INTEGER, scope);
    Region r = _createRegion("main", sc);
    Entry e = _createEntry(EntryKind.INITIAL, null, r);
    State s1 = _createState("s1", r);
    State s2 = _createState("s2", r);
    _createTransition(e, s1);
    _createTransition(s1, s2);
    LocalReaction exitAction = _createExitAction(s2);
    _createVariableAssignment(v1, AssignmentOperator.ASSIGN, _createValue(42), (ReactionEffect) exitAction.getEffect());
    ((ReactionTrigger) exitAction.getTrigger()).setGuard(createGuardExpression(_createValue(true)));
    ExecutionFlow flow = sequencer.transform(sc);
    ExecutionState _s1 = flow.getStates().get(0);
    ExecutionState _s2 = flow.getStates().get(1);
    assertEquals(s1.getName(), _s1.getSimpleName());
    assertEquals(s2.getName(), _s2.getSimpleName());
    Sequence _exitSeq = (Sequence) _s2.getExitAction();
    assertClass(If.class, _exitSeq.getSteps().get(0));
    assertClass(PrimitiveValueExpression.class, ((If) _exitSeq.getSteps().get(0)).getCheck().getCondition());
    assertAssignment(((Sequence) ((If) _exitSeq.getSteps().get(0)).getThenStep()).getSteps().get(0), "v1", AssignmentOperator.ASSIGN, "42");
}

Example 3 with If

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

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

the class ModelSequencerStateTest method testFinalStateEnterSequenceCall.

/**
 * The enter sequence must be called withnin incoming transitions.
 */
@SuppressWarnings("unused")
@Test
public void testFinalStateEnterSequenceCall() {
    Statechart sc = _createStatechart("sc");
    {
        InterfaceScope s_scope = _createInterfaceScope("Interface", sc);
        VariableDefinition v1 = _createVariableDefinition("v1", TYPE_INTEGER, s_scope);
        EventDefinition e1 = _createEventDefinition("e1", s_scope);
        Region r = _createRegion("r", sc);
        {
            State s1 = _createState("s1", r);
            FinalState fs = _createFinalState(r);
            Transition t_s1_fs = _createTransition(s1, fs);
            _createReactionTrigger(t_s1_fs);
            _createRegularEventSpec(e1, (ReactionTrigger) t_s1_fs.getTrigger());
        }
    }
    ExecutionFlow flow = sequencer.transform(sc);
    ExecutionState _s1 = flow.getStates().get(0);
    assertEquals("sc.r.s1", _s1.getName());
    ExecutionState _fs = flow.getStates().get(1);
    assertEquals("sc.r._final_", _fs.getName());
    assertNull(_fs.getEntryAction());
    assertNull(_fs.getExitAction());
    // the transition s1 -> fs must includes the fs exit sequence call
    Sequence cycle = _s1.getReactSequence();
    If _if = (If) SCTTestUtil.flattenSequenceStepsAsList(cycle).get(0);
    assertCall(_if.getThenStep(), _s1.getReactions().get(0).getEffect());
    Sequence _seq = (Sequence) _s1.getReactions().get(0).getEffect();
    assertCall(_seq, 1, _fs.getEnterSequences().get(0));
}

Example 5 with If

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

the class LocalReactionTest method testSCLocalReaction.

/**
 * The transition sequence must contain all exit actions for parent states
 * that will be left by a transition.
 */
@Test
public void testSCLocalReaction() {
    Statechart sc = _createStatechart("sc");
    {
        LocalReaction lr0 = _createLocalReaction(sc, _createAlwaysEventSpec(null));
        VariableDefinition v = _createVariableDefinition("v", TYPE_INTEGER, getOrCreateInternalScope(sc));
        _createVariableAssignment(v, AssignmentOperator.ADD_ASSIGN, _createValue(1), (ReactionEffect) lr0.getEffect());
        Region r = _createRegion("r", sc);
        {
            State s1 = _createState("s1", r);
            {
                LocalReaction lr1 = _createLocalReaction(s1, _createAlwaysEventSpec(null));
                _createVariableAssignment(v, AssignmentOperator.ADD_ASSIGN, _createValue(2), (ReactionEffect) lr1.getEffect());
                _createEntryAssignment(v, s1, 1);
                Region r_s1 = _createRegion("r", s1);
                {
                    _createState("s3", r_s1);
                }
            }
            State s2 = _createState("s2", r);
            {
                _createEntryAssignment(v, s2, 1);
                Region r_s2 = _createRegion("r", s2);
                {
                    _createState("s6", r_s2);
                }
            }
        }
    }
    Transition t = _createTransition(findState(sc, "s3"), findState(sc, "s6"));
    ReactionTrigger tr = _createReactionTrigger(t);
    tr.setGuard(createGuardExpression(_createValue(true)));
    ExecutionFlow flow = sequencer.transform(sc);
    assertEquals(1, flow.getReactions().size());
    ExecutionState _s1 = flow.getStates().get(0);
    assertEquals("sc.r.s1", _s1.getName());
    // assertEquals(1, _s1.getReactions().size());
    ExecutionState _s3 = flow.getStates().get(1);
    assertEquals("sc.r.s1.r.s3", _s3.getName());
    ExecutionState _s2 = flow.getStates().get(2);
    assertEquals("sc.r.s2", _s2.getName());
    // assertEquals(1, _s2.getReactions().size());
    ExecutionState _s6 = flow.getStates().get(3);
    assertEquals("sc.r.s2.r.s6", _s6.getName());
    Reaction _t = _s3.getReactions().get(0);
    assertTrue(_t.isTransition());
    // Check Stateswitch in flow
    StateSwitch sSwitch = assertedSwitch(flow.getReactSequence().getSteps().get(0));
    assertStateSwitch(sSwitch, _s3, _s6);
    assertCall(assertedStateCase(sSwitch, _s3).getStep(), _s3.getReactSequence());
    // Check reactSequence of leaf state
    Sequence _effect = (Sequence) _t.getEffect();
    assertCall(_effect, 0, _s1.getExitSequence());
    assertCall(_effect, 1, _s2.getEntryAction());
    assertCall(_effect, 2, _s6.getEnterSequences().get(0));
    assertEquals(3, _effect.getSteps().size());
    List<Step> steps = flattenSequenceStepsAsList(_s3.getReactSequence());
    If _if = assertClass(If.class, steps.get(0));
    assertEquals(flow.getReactions().get(0).getCheck(), assertClass(CheckRef.class, _if.getCheck()).getCheck());
    _if = assertClass(If.class, steps.get(1));
    assertEquals(_s1.getReactions().get(0).getCheck(), assertClass(CheckRef.class, _if.getCheck()).getCheck());
    _if = assertClass(If.class, steps.get(2));
    assertNotNull(assertClass(CheckRef.class, _if.getCheck()).getCheck());
    assertCall(_if.getThenStep(), _effect);
}