Search in sources :

Example 1 with SaveHistory

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

the class ModelSequencerHistoryTest method testFlowName.

@SuppressWarnings("unused")
@Test
public void testFlowName() {
    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);
            {
                Region r2 = _createRegion("r2", s2);
                {
                    Entry r2_entry1 = _createEntry(EntryKind.SHALLOW_HISTORY, null, r2);
                    Entry r2_entry2 = _createEntry(EntryKind.INITIAL, "Unused_Backup", r2);
                    State s3 = _createState("s3", r2);
                    State s4 = _createState("s4", r2);
                    _createTransition(r2_entry1, s3);
                    _createTransition(r2_entry2, s4);
                    _createTransition(s1, r2_entry1);
                }
            }
            _createTransition(s1, s2);
            Transition _t = _createTransition(s1, s2);
            _createTransition(r_entry, s1);
        }
    }
    ExecutionFlow flow = sequencer.transform(sc);
    ExecutionState _s1 = flow.getStates().get(0);
    assertEquals("sc.r.s1", _s1.getName());
    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());
    ExecutionState _s4 = flow.getStates().get(3);
    assertEquals("sc.r.s2.r2.s4", _s4.getName());
    ExecutionNode r2_history_entry = flow.getNodes().get(1);
    EList<Reaction> _t1 = _s1.getReactions();
    Sequence reactSequence_history = flow.getNodes().get(1).getReactSequence();
    HistoryEntry historyStep = (HistoryEntry) reactSequence_history.getSteps().get(0);
    assertFalse(historyStep.isDeep());
    assertCall(firstStep(firstStep(historyStep.getInitialStep())), _s3.getEnterSequences().get(0));
    Reaction reaction_history = _t1.get(0);
    assertCall(assertedSequence(reaction_history.getEffect()), 1, reactSequence_history);
    Sequence reactSequence_initial = flow.getNodes().get(2).getReactSequence();
    assertCall(((Sequence) firstStep(firstStep(reactSequence_initial))), 0, _s4.getEnterSequences().get(0));
    Reaction reaction = _t1.get(1);
    assertCall(assertedSequence(reaction.getEffect()), 1, _s2.getEnterSequences().get(0));
    assertCall(_s3.getSuperScope().getEnterSequences().get(0), 0, r2_history_entry.getReactSequence());
    Step saveStep = _s3.getEnterSequences().get(0).getSteps().get(1);
    assertTrue(saveStep.eClass().toString(), saveStep instanceof SaveHistory);
    saveStep = _s4.getEnterSequences().get(0).getSteps().get(1);
    assertTrue(saveStep.eClass().toString(), saveStep instanceof SaveHistory);
}
Also used : ExecutionState(org.yakindu.sct.model.sexec.ExecutionState) SaveHistory(org.yakindu.sct.model.sexec.SaveHistory) 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) Sequence(org.yakindu.sct.model.sexec.Sequence) Step(org.yakindu.sct.model.sexec.Step) Reaction(org.yakindu.sct.model.sexec.Reaction) Entry(org.yakindu.sct.model.sgraph.Entry) 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) Transition(org.yakindu.sct.model.sgraph.Transition) SGraphTestFactory._createTransition(org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createTransition) 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

Test (org.junit.Test)1 ExecutionFlow (org.yakindu.sct.model.sexec.ExecutionFlow)1 ExecutionNode (org.yakindu.sct.model.sexec.ExecutionNode)1 ExecutionRegion (org.yakindu.sct.model.sexec.ExecutionRegion)1 ExecutionState (org.yakindu.sct.model.sexec.ExecutionState)1 HistoryEntry (org.yakindu.sct.model.sexec.HistoryEntry)1 Reaction (org.yakindu.sct.model.sexec.Reaction)1 SaveHistory (org.yakindu.sct.model.sexec.SaveHistory)1 Sequence (org.yakindu.sct.model.sexec.Sequence)1 Step (org.yakindu.sct.model.sexec.Step)1 Entry (org.yakindu.sct.model.sgraph.Entry)1 Region (org.yakindu.sct.model.sgraph.Region)1 State (org.yakindu.sct.model.sgraph.State)1 Statechart (org.yakindu.sct.model.sgraph.Statechart)1 Transition (org.yakindu.sct.model.sgraph.Transition)1 SGraphTestFactory._createEntry (org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createEntry)1 SGraphTestFactory._createRegion (org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createRegion)1 SGraphTestFactory._createState (org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createState)1 SGraphTestFactory._createStatechart (org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createStatechart)1 SGraphTestFactory._createTransition (org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createTransition)1