Examples with Scope org.yakindu.sct.model.sgraph.Scope used on opensource projects

Example 11 with Scope

use of org.yakindu.sct.model.sgraph.Scope in project statecharts by Yakindu.

the class ModelSequencerStateReactionTest method testEntryActionWithoutGuard.

/**
 * If a entry trigger is combined with a guard condition then the entry
 * action is executed conditionally with this trigger.
 */
@Test
public void testEntryActionWithoutGuard() {
    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()).setGuardExpression(_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(Sequence.class, _entrySeq.getSteps().get(0));
    assertAssignment(((Sequence) _entrySeq.getSteps().get(0)).getSteps().get(0), "v1", AssignmentOperator.ASSIGN, "42");
}

Example 12 with Scope

use of org.yakindu.sct.model.sgraph.Scope 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 13 with Scope

use of org.yakindu.sct.model.sgraph.Scope in project statecharts by Yakindu.

the class ModelSequencertDeclarationsTest method testMapEmptyInternalScope.

/**
 * An InternalScope must be mapped to an InternalScope.
 */
@Test
public void testMapEmptyInternalScope() {
    InternalScope scope = _createInternalScope(null);
    Scope _scope = structureMapping.mapScope(scope);
    assertTrue(_scope instanceof InternalScope);
}

Example 14 with Scope

use of org.yakindu.sct.model.sgraph.Scope in project statecharts by Yakindu.

the class ModelSequencertDeclarationsTest method testMapScope.

@SuppressWarnings("unused")
@Test
public void testMapScope() {
    InterfaceScope scope = _createInterfaceScope(null, null);
    EventDefinition e1 = _createEventDefinition("e1", scope);
    EventDefinition e2 = _createEventDefinition("e2", scope);
    VariableDefinition v1 = _createVariableDefinition("v1", TYPE_INTEGER, scope);
    Scope _scope = structureMapping.mapScope(scope);
    assertTrue(_scope instanceof InterfaceScope);
    assertEquals(3, _scope.getDeclarations().size());
    for (int i = 0; i < _scope.getDeclarations().size(); i++) {
        Declaration s_decl = scope.getDeclarations().get(i);
        Declaration r_decl = _scope.getDeclarations().get(i);
        assertNotSame(s_decl, r_decl);
        assertEquals(s_decl.getName(), r_decl.getName());
        assertEquals(s_decl.getClass(), r_decl.getClass());
    }
}

Example 15 with Scope

use of org.yakindu.sct.model.sgraph.Scope 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));
}