use of org.yakindu.sct.model.sexec.Step in project statecharts by Yakindu.
the class ModelSequencerStateTest method testCompositeStateExitSequence_Deep.
/**
* A composite state must have a exit sequence. This exit sequence consists
* of an exit action call and a state switch for all leaf states.
*/
@SuppressWarnings("unused")
@Test
public void testCompositeStateExitSequence_Deep() {
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);
{
_createExitAssignment(v1, s1, 1);
Region r_s1 = _createRegion("r", s1);
{
State s3 = _createState("s3", r_s1);
{
_createExitAssignment(v1, s3, 2);
Region r_s3 = _createRegion("r", s3);
{
State s4 = _createState("s4", r_s3);
_createExitAssignment(v1, s4, 3);
FinalState fs = _createFinalState(r_s3);
}
}
}
}
State s2 = _createState("s2", r);
{
Region r_s1 = _createRegion("r", s2);
{
_createState("s6", r_s1);
}
}
}
}
ExecutionFlow flow = sequencer.transform(sc);
ExecutionState _s1 = flow.getStates().get(0);
assertEquals("sc.r.s1", _s1.getName());
ExecutionState _s3 = flow.getStates().get(1);
assertEquals("sc.r.s1.r.s3", _s3.getName());
ExecutionState _s4 = flow.getStates().get(2);
assertEquals("sc.r.s1.r.s3.r.s4", _s4.getName());
ExecutionState _fs = flow.getStates().get(3);
assertEquals("sc.r.s1.r.s3.r._final_", _fs.getName());
ExecutionState _s6 = flow.getStates().get(5);
assertEquals("sc.r.s2.r.s6", _s6.getName());
assertNull(_fs.getEntryAction());
assertNull(_fs.getExitAction());
assertNotNull(_fs.getExitSequence());
assertEquals(2, _s1.getExitSequence().getSteps().size());
ExecutionScope _r_s1 = _s1.getSubScopes().get(0);
assertCall(_s1.getExitSequence(), 0, _r_s1.getExitSequence());
Step _switch = _r_s1.getExitSequence().getSteps().get(0);
assertStateSwitch(_switch, _s4, _fs);
assertCall(assertedSequence(assertedStateCase(_switch, _s4).getStep()), 0, _s4.getExitSequence());
assertCall(assertedSequence(assertedStateCase(_switch, _s4).getStep()), 1, _s3.getExitAction());
assertCall(assertedSequence(assertedStateCase(_switch, _fs).getStep()), 0, _fs.getExitSequence());
assertCall(assertedSequence(assertedStateCase(_switch, _fs).getStep()), 1, _s3.getExitAction());
assertCall(_s1.getExitSequence(), 1, _s1.getExitAction());
}
use of org.yakindu.sct.model.sexec.Step in project statecharts by Yakindu.
the class ModelSequencertDeclarationsTest method testOperationMapping.
/**
* The OperationCalls must map to Operations in Scopes inside the Flow..
*/
@Test
public void testOperationMapping() {
Statechart sc = _createStatechart("test");
InterfaceScope s_scope = _createInterfaceScope("Interface", sc);
OperationDefinition _operation = _createOperation("value", s_scope);
Region r = _createRegion("main", sc);
State s1 = _createState("S1", r);
State s2 = _createState("S2", r);
Transition t = _createTransition(s1, s2);
ReactionTrigger tr = _createReactionTrigger(t);
tr.setGuard(createGuardExpression(_createValue(true)));
ReactionEffect tr1 = _createReactionEffect(t);
FeatureCall _operationCall = _createOperationCall(_operation);
tr1.getActions().add(_operationCall);
ExecutionFlow flow = sequencer.transform(sc);
OperationDefinition _o1 = (OperationDefinition) flow.getScopes().get(0).getDeclarations().get(0);
assertNotSame(_operation, _o1);
assertEquals(_operation.getName(), _o1.getName());
Step step = flow.getStates().get(0).getReactSequence().getSteps().get(0);
If _if = (If) assertedSequence(assertedSequence(assertedSequence(step).getSteps().get(0)).getSteps().get(0)).getSteps().get(0);
Step thenSequence = assertedSequence(((Call) _if.getThenStep()).getStep()).getSteps().get(1);
Execution call = (Execution) assertedSequence(thenSequence).getSteps().get(0);
assertNotSame(_operationCall, call.getStatement());
assertSame(_o1, ((FeatureCall) call.getStatement()).getFeature());
}
use of org.yakindu.sct.model.sexec.Step in project statecharts by Yakindu.
the class ModelSequencertDeclarationsTest method testTriggerEventDeclarationIntegrity.
/**
* The event refs used in the trigger condition must refer to the event
* declarations in the flow model and not the sc source model.
*/
@Test
public void testTriggerEventDeclarationIntegrity() {
Statechart sc = _createStatechart("test");
InterfaceScope s_scope = _createInterfaceScope("Interface", sc);
EventDefinition e1 = _createEventDefinition("e1", s_scope);
Region r = _createRegion("main", sc);
State s1 = _createState("S1", r);
State s2 = _createState("S2", r);
Transition t = _createTransition(s1, s2);
ReactionTrigger tr1 = _createReactionTrigger(t);
_createRegularEventSpec(e1, tr1);
ExecutionFlow flow = sequencer.transform(sc);
EventDefinition _e1 = (EventDefinition) flow.getScopes().get(0).getDeclarations().get(0);
assertNotSame(e1, _e1);
assertEquals(e1.getName(), _e1.getName());
assertEquals(2, flow.getStates().size());
assertEquals(s1.getName(), flow.getStates().get(0).getSimpleName());
Step step = flow.getStates().get(0).getReactSequence().getSteps().get(0);
If _if = (If) assertedSequence(assertedSequence(assertedSequence(step).getSteps().get(0)).getSteps().get(0)).getSteps().get(0);
ElementReferenceExpression _ere = (ElementReferenceExpression) _if.getCheck().getCondition();
assertSame(_e1, _ere.getReference());
}
use of org.yakindu.sct.model.sexec.Step in project statecharts by Yakindu.
the class HistoryTest method testDeepHistory.
@Test
public void testDeepHistory() {
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.INITIAL, null, r2);
Entry history = _createEntry(EntryKind.DEEP_HISTORY, "history", r2);
State s3 = _createState("s3", r2);
{
_createEntryAssignment(v1, s3, 4);
}
State s4 = _createState("s4", r2);
{
_createEntryAssignment(v1, s4, 6);
Region r4 = _createRegion("r4", s4);
{
Entry e4 = _createEntry(EntryKind.INITIAL, null, r2);
State s5 = _createState("s5", r4);
_createTransition(e4, s5);
}
}
_createTransition(e, s3);
_createTransition(history, s3);
_createTransition(s3, s4);
_createTransition(s1, history);
}
}
_createTransition(r_entry, s1);
_createTransition(s1, s2);
}
}
ExecutionFlow flow = sequencer.transform(sc);
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());
ExecutionState _s5 = flow.getStates().get(4);
assertEquals("sc.r.s2.r2.s4.r4.s5", _s5.getName());
ExecutionNode e = flow.getNodes().get(2);
assertTrue(e.eClass().getName(), e instanceof ExecutionEntry);
Sequence reactSequence = e.getReactSequence();
assertEquals("Default react sequence for deep history entry history", reactSequence.getComment());
Step historyEntry = reactSequence.getSteps().get(0);
assertTrue(historyEntry.eClass().getName(), historyEntry instanceof HistoryEntry);
assertedOrder(reactSequence, Sets.newHashSet(_s3), //
Lists.newArrayList(//
new StepHistory(historyEntry, false), //
new StepLeaf(_s3.getEnterSequences().get(0))));
assertedOrder(reactSequence, Sets.newHashSet(_s3), //
Lists.newArrayList(//
new StepHistory(historyEntry, true), //
new StepLeaf(_s3.getEnterSequences().get(0))));
assertedOrder(reactSequence, Sets.newHashSet(_s5), //
Lists.newArrayList(//
new StepHistory(historyEntry, true), //
new StepLeaf(_s4.getEntryAction()), //
new StepLeaf(_s5.getEnterSequences().get(0))));
// assertCall(assertedSequence(tr0.getEffect()), 0,
// _s2.getEnterSequence());
}
use of org.yakindu.sct.model.sexec.Step in project statecharts by Yakindu.
the class HistoryTest method testShallowHistory.
@Test
public void testShallowHistory() {
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.INITIAL, null, r2);
Entry history = _createEntry(EntryKind.SHALLOW_HISTORY, "history", r2);
State s3 = _createState("s3", r2);
{
_createEntryAssignment(v1, s3, 4);
}
State s4 = _createState("s4", r2);
{
Region r4 = _createRegion("r4", s4);
{
Entry e4 = _createEntry(EntryKind.INITIAL, null, r2);
State s5 = _createState("s5", r4);
_createTransition(e4, s5);
_createTransition(s5, s1);
}
}
_createTransition(e, s3);
_createTransition(history, s3);
_createTransition(s3, s4);
_createTransition(s1, history);
}
}
_createTransition(r_entry, s1);
_createTransition(s1, s2);
}
}
ExecutionFlow flow = sequencer.transform(sc);
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());
ExecutionState _s5 = flow.getStates().get(4);
assertEquals("sc.r.s2.r2.s4.r4.s5", _s5.getName());
ExecutionNode e = flow.getNodes().get(2);
assertTrue(e.eClass().getName(), e instanceof ExecutionEntry);
Sequence reactSequence = e.getReactSequence();
assertEquals("Default react sequence for shallow history entry history", reactSequence.getComment());
Step historyEntry = reactSequence.getSteps().get(0);
assertTrue(historyEntry.eClass().getName(), historyEntry instanceof HistoryEntry);
assertedOrder(reactSequence, Sets.newHashSet(_s3), //
Lists.newArrayList(//
new StepHistory(historyEntry, false), //
new StepLeaf(_s3.getEnterSequences().get(0))));
assertedOrder(reactSequence, Sets.newHashSet(_s3), //
Lists.newArrayList(//
new StepHistory(historyEntry, true), //
new StepLeaf(_s3.getEnterSequences().get(0))));
assertedOrder(reactSequence, Sets.newHashSet(_s5), //
Lists.newArrayList(//
new StepHistory(historyEntry, true), //
new StepLeaf(_s4.getEnterSequences().get(0))));
}
Aggregations