Search in sources :

Example 1 with StextTestFactory._createTimeTriggeredReaction

use of org.yakindu.sct.model.stext.test.util.StextTestFactory._createTimeTriggeredReaction in project statecharts by Yakindu.

the class ModelSequencerStateReactionTest method testSingleLocalTimeTrigger.

/**
 */
@SuppressWarnings("unused")
@Test
public void testSingleLocalTimeTrigger() {
    Statechart sc = _createStatechart("test");
    Scope scope = _createInterfaceScope("interface", sc);
    VariableDefinition v1 = _createVariableDefinition("v1", TYPE_INTEGER, scope);
    Region r = _createRegion("main", sc);
    State s = _createState("s", r);
    LocalReaction timeTriggeredReaction = _createTimeTriggeredReaction(s, TimeEventType.AFTER, _createValue(2), TimeUnit.MILLISECOND);
    AssignmentExpression assign = _createVariableAssignment(v1, AssignmentOperator.ASSIGN, _createValue(42), (ReactionEffect) timeTriggeredReaction.getEffect());
    ExecutionFlow flow = sequencer.transform(sc);
    Scope timerScope = flow.getScopes().get(1);
    assertTrue(timerScope.getDeclarations().get(0) instanceof TimeEvent);
    TimeEvent te = (TimeEvent) timerScope.getDeclarations().get(0);
    // assert that the reaction check checks the time event
    ExecutionState _s = flow.getStates().get(0);
    // assert the scheduling of the time event during state entry
    assertNotNull(_s.getEntryAction());
    Sequence entryAction = (Sequence) _s.getEntryAction();
    ScheduleTimeEvent ste = (ScheduleTimeEvent) entryAction.getSteps().get(0);
    assertSame(te, ste.getTimeEvent());
    PrimitiveValueExpression value = (PrimitiveValueExpression) ste.getTimeValue();
    assertIntLiteral(2, value.getValue());
    assertNotNull(_s.getExitAction());
    Sequence exitAction = (Sequence) _s.getExitAction();
    UnscheduleTimeEvent ute = (UnscheduleTimeEvent) exitAction.getSteps().get(0);
    assertSame(te, ute.getTimeEvent());
}
Also used : LocalReaction(org.yakindu.sct.model.stext.stext.LocalReaction) StextTestFactory._createLocalReaction(org.yakindu.sct.model.stext.test.util.StextTestFactory._createLocalReaction) ExecutionState(org.yakindu.sct.model.sexec.ExecutionState) StextTestFactory._createVariableDefinition(org.yakindu.sct.model.stext.test.util.StextTestFactory._createVariableDefinition) VariableDefinition(org.yakindu.sct.model.stext.stext.VariableDefinition) ExecutionFlow(org.yakindu.sct.model.sexec.ExecutionFlow) Sequence(org.yakindu.sct.model.sexec.Sequence) PrimitiveValueExpression(org.yakindu.base.expressions.expressions.PrimitiveValueExpression) ScheduleTimeEvent(org.yakindu.sct.model.sexec.ScheduleTimeEvent) Scope(org.yakindu.sct.model.sgraph.Scope) StextTestFactory._createInterfaceScope(org.yakindu.sct.model.stext.test.util.StextTestFactory._createInterfaceScope) AssignmentExpression(org.yakindu.base.expressions.expressions.AssignmentExpression) 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) UnscheduleTimeEvent(org.yakindu.sct.model.sexec.UnscheduleTimeEvent) 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) TimeEvent(org.yakindu.sct.model.sexec.TimeEvent) UnscheduleTimeEvent(org.yakindu.sct.model.sexec.UnscheduleTimeEvent) ScheduleTimeEvent(org.yakindu.sct.model.sexec.ScheduleTimeEvent) Test(org.junit.Test)

Aggregations

Test (org.junit.Test)1 AssignmentExpression (org.yakindu.base.expressions.expressions.AssignmentExpression)1 PrimitiveValueExpression (org.yakindu.base.expressions.expressions.PrimitiveValueExpression)1 ExecutionFlow (org.yakindu.sct.model.sexec.ExecutionFlow)1 ExecutionState (org.yakindu.sct.model.sexec.ExecutionState)1 ScheduleTimeEvent (org.yakindu.sct.model.sexec.ScheduleTimeEvent)1 Sequence (org.yakindu.sct.model.sexec.Sequence)1 TimeEvent (org.yakindu.sct.model.sexec.TimeEvent)1 UnscheduleTimeEvent (org.yakindu.sct.model.sexec.UnscheduleTimeEvent)1 Region (org.yakindu.sct.model.sgraph.Region)1 Scope (org.yakindu.sct.model.sgraph.Scope)1 State (org.yakindu.sct.model.sgraph.State)1 Statechart (org.yakindu.sct.model.sgraph.Statechart)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 LocalReaction (org.yakindu.sct.model.stext.stext.LocalReaction)1 VariableDefinition (org.yakindu.sct.model.stext.stext.VariableDefinition)1 StextTestFactory._createInterfaceScope (org.yakindu.sct.model.stext.test.util.StextTestFactory._createInterfaceScope)1 StextTestFactory._createLocalReaction (org.yakindu.sct.model.stext.test.util.StextTestFactory._createLocalReaction)1