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

Example 26 with Scope

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

the class StatechartObjectViewerFilter method select.

@Override
public boolean select(Viewer viewer, Object parentElement, Object element) {
    if (element instanceof DomainNavigatorItem) {
        DomainNavigatorItem navigatorItem = (DomainNavigatorItem) element;
        EObject modelElement = navigatorItem.getEObject();
        if (modelElement instanceof Diagram) {
            return false;
        }
        if (modelElement instanceof Trigger) {
            return false;
        }
        if (modelElement instanceof InternalScope || modelElement instanceof InterfaceScope) {
            return true;
        }
        if (modelElement instanceof Scope) {
            return false;
        }
        if (modelElement instanceof LocalReaction) {
            return false;
        }
        if (modelElement instanceof ReactionEffect) {
            return false;
        }
        if (modelElement instanceof Expression) {
            return false;
        }
    }
    return true;
}

Example 27 with Scope

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

the class ModelSequencerStateTest method testLeafStateExitSequence.

/**
 * A leaf state must have a exit sequence. This exit sequence consists of an
 * exit action call and a state exit step.
 */
@Test
public void testLeafStateExitSequence() {
    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);
    LocalReaction entryAction = _createExitAction(s1);
    _createVariableAssignment(v1, AssignmentOperator.ASSIGN, _createValue(42), (ReactionEffect) entryAction.getEffect());
    ExecutionFlow flow = sequencer.transform(sc);
    ExecutionState _s1 = flow.getStates().get(0);
    assertEquals(s1.getName(), _s1.getSimpleName());
    assertNotNull(_s1.getExitAction());
    assertNotNull(_s1.getExitSequence());
    assertEquals(2, _s1.getExitSequence().getSteps().size());
    assertClass(ExitState.class, _s1.getExitSequence().getSteps().get(0));
    assertCall(_s1.getExitSequence(), 1, _s1.getExitAction());
}

Example 28 with Scope

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

the class ModelSequencerStateTest method testLeafStateEnterSequence.

/**
 * 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 testLeafStateEnterSequence() {
    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);
    LocalReaction entryAction = _createEntryAction(s1);
    _createVariableAssignment(v1, AssignmentOperator.ASSIGN, _createValue(42), (ReactionEffect) entryAction.getEffect());
    Entry e = _createEntry(EntryKind.INITIAL, null, r);
    Transition t = _createTransition(e, s1);
    ExecutionFlow flow = sequencer.transform(sc);
    ExecutionState _s1 = flow.getStates().get(0);
    assertEquals(s1.getName(), _s1.getSimpleName());
    assertNotNull(_s1.getEntryAction());
    assertNotNull(_s1.getEnterSequences().get(0));
    assertEquals(2, _s1.getEnterSequences().get(0).getSteps().size());
    assertCall(_s1.getEnterSequences().get(0), 0, _s1.getEntryAction());
    assertClass(EnterState.class, _s1.getEnterSequences().get(0).getSteps().get(1));
}

Example 29 with Scope

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

the class ModelSequencerStateTest method testSubStateEntryActionExclusion.

/**
 * entry actions of a substate must not be included in a states entry action
 * list
 */
@Test
public void testSubStateEntryActionExclusion() {
    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 s2 = _createState("s2", r);
    Region s2_r = _createRegion("sub", s2);
    State s2_1 = _createState("s2_1", s2_r);
    LocalReaction entryAction = _createEntryAction(s2_1);
    _createVariableAssignment(v1, AssignmentOperator.ASSIGN, _createValue(42), (ReactionEffect) entryAction.getEffect());
    LocalReaction exitAction = _createExitAction(s2_1);
    _createVariableAssignment(v1, AssignmentOperator.ASSIGN, _createValue(43), (ReactionEffect) exitAction.getEffect());
    ExecutionFlow flow = sequencer.transform(sc);
    ExecutionState _s2 = flow.getStates().get(0);
    ExecutionState _s2_1 = flow.getStates().get(1);
    assertEquals(s2.getName(), _s2.getSimpleName());
    assertEquals(s2_1.getName(), _s2_1.getSimpleName());
    assertNull(_s2.getEntryAction());
    assertNotNull(_s2_1.getEntryAction());
    assertNull(_s2.getExitAction());
    assertNotNull(_s2_1.getExitAction());
}

Example 30 with Scope

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

the class SCTResourceTest method testStatechartParsing.

@Test
public void testStatechartParsing() {
    Statechart statechart = createStatechart("internal: event Event1");
    assertEquals(0, statechart.getScopes().size());
    res.getContents().add(statechart);
    assertEquals(1, statechart.getScopes().size());
    Scope scope = statechart.getScopes().get(0);
    assertTrue(scope instanceof InternalScope);
    EList<Declaration> declarations = ((InternalScope) scope).getDeclarations();
    Declaration declaration = declarations.get(0);
    assertTrue(declaration instanceof EventDefinition);
    assertEquals("" + res.getSyntaxDiagnostics(), 0, res.getSyntaxDiagnostics().size());
}