Search in sources :

Example 11 with InterfaceScope

use of org.yakindu.sct.model.stext.stext.InterfaceScope in project statecharts by Yakindu.

the class StextTestFactory method _createInterfaceScope.

public static InterfaceScope _createInterfaceScope(String name, ScopedElement owner) {
    InterfaceScope scope = StextFactory.eINSTANCE.createInterfaceScope();
    scope.setName(name);
    if (owner != null)
        owner.getScopes().add(scope);
    return scope;
}
Also used : InterfaceScope(org.yakindu.sct.model.stext.stext.InterfaceScope)

Example 12 with InterfaceScope

use of org.yakindu.sct.model.stext.stext.InterfaceScope in project statecharts by Yakindu.

the class RenameRefactoringTest method testRenameMultiStatement.

@Test
public void testRenameMultiStatement() {
    Statechart initial = models.loadStatechartFromResource(RENAMING + "beforeMultiStatement.sct");
    Statechart expected = models.loadStatechartFromResource(RENAMING + "AfterMultiStatement.sct");
    // get element to rename
    InterfaceScope someInterface = null;
    EList<Scope> scopes = initial.getScopes();
    for (Scope scope : scopes) {
        if (scope instanceof InterfaceScope) {
            someInterface = (InterfaceScope) scope;
        }
    }
    testRenaming(initial, expected, someInterface.getVariables().get(0), "y");
}
Also used : Scope(org.yakindu.sct.model.sgraph.Scope) InterfaceScope(org.yakindu.sct.model.stext.stext.InterfaceScope) Statechart(org.yakindu.sct.model.sgraph.Statechart) InterfaceScope(org.yakindu.sct.model.stext.stext.InterfaceScope) Test(org.junit.Test) RefactoringTest(org.yakindu.sct.refactoring.refactor.RefactoringTest)

Example 13 with InterfaceScope

use of org.yakindu.sct.model.stext.stext.InterfaceScope in project statecharts by Yakindu.

the class RenameRefactoringTest method testRenameEvent.

@Test
public void testRenameEvent() {
    Statechart initial = models.loadStatechartFromResource(RENAMING + INITIAL_STATECHART);
    Statechart expected = models.loadStatechartFromResource(RENAMING + "AfterRenamingEvent.sct");
    // get element to rename
    Event someEvent1 = null;
    EList<Scope> scopes = initial.getScopes();
    for (Scope scope : scopes) {
        if (scope instanceof InterfaceScope) {
            InterfaceScope iScope = (InterfaceScope) scope;
            for (Event event : iScope.getEvents()) {
                if (event.getName().equals("someEvent1")) {
                    someEvent1 = event;
                }
            }
        }
    }
    testRenaming(initial, expected, someEvent1, "someNewEventName");
}
Also used : Scope(org.yakindu.sct.model.sgraph.Scope) InterfaceScope(org.yakindu.sct.model.stext.stext.InterfaceScope) Statechart(org.yakindu.sct.model.sgraph.Statechart) Event(org.yakindu.base.types.Event) InterfaceScope(org.yakindu.sct.model.stext.stext.InterfaceScope) Test(org.junit.Test) RefactoringTest(org.yakindu.sct.refactoring.refactor.RefactoringTest)

Example 14 with InterfaceScope

use of org.yakindu.sct.model.stext.stext.InterfaceScope in project statecharts by Yakindu.

the class HistoryTest method testEnterStatechart.

@Test
public void testEnterStatechart() {
    Statechart sc = _createStatechart("sc");
    {
        InterfaceScope s_scope = _createInterfaceScope("Interface", sc);
        VariableDefinition v1 = _createVariableDefinition("v1", TYPE_INTEGER, s_scope);
        Region r = _createRegion("r", sc);
        {
            Entry r_entry = _createEntry(EntryKind.INITIAL, null, r);
            State s1 = _createState("s1", r);
            State s2 = _createState("s2", r);
            {
                _createEntryAssignment(v1, s2, 3);
                Region r2 = _createRegion("r2", s2);
                {
                    Entry e = _createEntry(EntryKind.DEEP_HISTORY, null, r2);
                    State s3 = _createState("s3", r2);
                    {
                        _createEntryAssignment(v1, s3, 4);
                    }
                    State s4 = _createState("s4", r2);
                    {
                        _createEntryAssignment(v1, s4, 6);
                    }
                    _createTransition(e, s3);
                    _createTransition(s3, s4);
                    _createTransition(s4, s3);
                }
            }
            _createTransition(r_entry, s2);
            _createTransition(s1, s2);
            _createTransition(s2, s1);
        }
    }
    ExecutionFlow flow = sequencer.transform(sc);
    ExecutionState _s1 = flow.getStates().get(0);
    assertEquals("sc.r.s1", _s1.getName());
    Sequence enterSequence = flow.getEnterSequences().get(0);
    ExecutionRegion _r = (ExecutionRegion) _s1.getSuperScope();
    assertCall(enterSequence, 0, flow.getEntryAction());
    assertCall(enterSequence, 1, _r.getEnterSequences().get(0));
}
Also used : ExecutionState(org.yakindu.sct.model.sexec.ExecutionState) Entry(org.yakindu.sct.model.sgraph.Entry) ExecutionEntry(org.yakindu.sct.model.sexec.ExecutionEntry) HistoryEntry(org.yakindu.sct.model.sexec.HistoryEntry) SGraphTestFactory._createEntry(org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createEntry) VariableDefinition(org.yakindu.sct.model.stext.stext.VariableDefinition) StextTestFactory._createVariableDefinition(org.yakindu.sct.model.stext.test.util.StextTestFactory._createVariableDefinition) SGraphTestFactory._createState(org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createState) ExecutionState(org.yakindu.sct.model.sexec.ExecutionState) State(org.yakindu.sct.model.sgraph.State) ExecutionRegion(org.yakindu.sct.model.sexec.ExecutionRegion) ExecutionFlow(org.yakindu.sct.model.sexec.ExecutionFlow) Statechart(org.yakindu.sct.model.sgraph.Statechart) SGraphTestFactory._createStatechart(org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createStatechart) InterfaceScope(org.yakindu.sct.model.stext.stext.InterfaceScope) StextTestFactory._createInterfaceScope(org.yakindu.sct.model.stext.test.util.StextTestFactory._createInterfaceScope) Region(org.yakindu.sct.model.sgraph.Region) SGraphTestFactory._createRegion(org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createRegion) ExecutionRegion(org.yakindu.sct.model.sexec.ExecutionRegion) Sequence(org.yakindu.sct.model.sexec.Sequence) Test(org.junit.Test)

Example 15 with InterfaceScope

use of org.yakindu.sct.model.stext.stext.InterfaceScope in project statecharts by Yakindu.

the class HistoryTest method testHistoryAsEntry.

@Test
public void testHistoryAsEntry() {
    Statechart sc = _createStatechart("sc");
    {
        InterfaceScope s_scope = _createInterfaceScope("Interface", sc);
        VariableDefinition v1 = _createVariableDefinition("v1", TYPE_INTEGER, s_scope);
        Region r = _createRegion("r", sc);
        {
            Entry r_entry = _createEntry(EntryKind.INITIAL, null, r);
            State s1 = _createState("s1", r);
            State s2 = _createState("s2", r);
            {
                _createEntryAssignment(v1, s2, 3);
                Region r2 = _createRegion("r2", s2);
                {
                    Entry e = _createEntry(EntryKind.DEEP_HISTORY, null, r2);
                    State s3 = _createState("s3", r2);
                    {
                        _createEntryAssignment(v1, s3, 4);
                    }
                    State s4 = _createState("s4", r2);
                    {
                        _createEntryAssignment(v1, s4, 6);
                    }
                    _createTransition(e, s3);
                    _createTransition(s3, s4);
                    _createTransition(s4, s3);
                }
            }
            _createTransition(r_entry, s2);
            _createTransition(s1, s2);
            _createTransition(s2, s1);
        }
    }
    ExecutionFlow flow = sequencer.transform(sc);
    ExecutionState _s2 = flow.getStates().get(1);
    assertEquals("sc.r.s2", _s2.getName());
    ExecutionState _s3 = flow.getStates().get(2);
    assertEquals("sc.r.s2.r2.s3", _s3.getName());
    ExecutionNode e = flow.getNodes().get(1);
    assertTrue(e.eClass().getName(), e instanceof ExecutionEntry);
    Sequence reactSequence = e.getReactSequence();
    assertEquals("Default react sequence for deep history entry ", reactSequence.getComment());
    Step historyEntryStep = reactSequence.getSteps().get(0);
    assertTrue(historyEntryStep.eClass().getName(), historyEntryStep instanceof HistoryEntry);
    HistoryEntry historyEntry = (HistoryEntry) historyEntryStep;
    Sequence initialStep = (Sequence) historyEntry.getInitialStep();
    assertCall(((Sequence) initialStep.getSteps().get(0)).getSteps().get(0), _s3.getEnterSequences().get(0));
    ExecutionRegion _r2 = (ExecutionRegion) _s3.getSuperScope();
    assertCall(historyEntry.getHistoryStep(), _r2.getDeepEnterSequence());
    Step _s3EnterStep = assertedStateCase(_r2.getDeepEnterSequence().getSteps().get(0), _s3).getStep();
    Step _s3EnterCall = assertedSequence(_s3EnterStep).getSteps().get(0);
    assertCall(_s3EnterCall, _s3.getEnterSequences().get(0));
}
Also used : ExecutionState(org.yakindu.sct.model.sexec.ExecutionState) VariableDefinition(org.yakindu.sct.model.stext.stext.VariableDefinition) StextTestFactory._createVariableDefinition(org.yakindu.sct.model.stext.test.util.StextTestFactory._createVariableDefinition) ExecutionFlow(org.yakindu.sct.model.sexec.ExecutionFlow) ExecutionNode(org.yakindu.sct.model.sexec.ExecutionNode) InterfaceScope(org.yakindu.sct.model.stext.stext.InterfaceScope) StextTestFactory._createInterfaceScope(org.yakindu.sct.model.stext.test.util.StextTestFactory._createInterfaceScope) ExecutionEntry(org.yakindu.sct.model.sexec.ExecutionEntry) Sequence(org.yakindu.sct.model.sexec.Sequence) Step(org.yakindu.sct.model.sexec.Step) Entry(org.yakindu.sct.model.sgraph.Entry) ExecutionEntry(org.yakindu.sct.model.sexec.ExecutionEntry) HistoryEntry(org.yakindu.sct.model.sexec.HistoryEntry) SGraphTestFactory._createEntry(org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createEntry) SGraphTestFactory._createState(org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createState) ExecutionState(org.yakindu.sct.model.sexec.ExecutionState) State(org.yakindu.sct.model.sgraph.State) ExecutionRegion(org.yakindu.sct.model.sexec.ExecutionRegion) Statechart(org.yakindu.sct.model.sgraph.Statechart) SGraphTestFactory._createStatechart(org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createStatechart) Region(org.yakindu.sct.model.sgraph.Region) SGraphTestFactory._createRegion(org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createRegion) ExecutionRegion(org.yakindu.sct.model.sexec.ExecutionRegion) HistoryEntry(org.yakindu.sct.model.sexec.HistoryEntry) Test(org.junit.Test)

Aggregations

InterfaceScope (org.yakindu.sct.model.stext.stext.InterfaceScope)45 Statechart (org.yakindu.sct.model.sgraph.Statechart)38 Test (org.junit.Test)37 StextTestFactory._createInterfaceScope (org.yakindu.sct.model.stext.test.util.StextTestFactory._createInterfaceScope)34 Region (org.yakindu.sct.model.sgraph.Region)32 State (org.yakindu.sct.model.sgraph.State)32 SGraphTestFactory._createRegion (org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createRegion)32 SGraphTestFactory._createState (org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createState)32 SGraphTestFactory._createStatechart (org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createStatechart)32 ExecutionFlow (org.yakindu.sct.model.sexec.ExecutionFlow)31 VariableDefinition (org.yakindu.sct.model.stext.stext.VariableDefinition)31 StextTestFactory._createVariableDefinition (org.yakindu.sct.model.stext.test.util.StextTestFactory._createVariableDefinition)31 ExecutionState (org.yakindu.sct.model.sexec.ExecutionState)28 Sequence (org.yakindu.sct.model.sexec.Sequence)26 SCTTestUtil.findState (org.yakindu.sct.model.sexec.transformation.test.SCTTestUtil.findState)20 Reaction (org.yakindu.sct.model.sexec.Reaction)17 Entry (org.yakindu.sct.model.sgraph.Entry)17 SGraphTestFactory._createEntry (org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createEntry)17 EnterState (org.yakindu.sct.model.sexec.EnterState)13 Step (org.yakindu.sct.model.sexec.Step)10