Search in sources :

Example 1 with UnscheduleTimeEvent

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

the class ModelSequencerStateReactionTest method testSingleTransitionTimeTrigger.

/**
 * If a time trigger is defined for a transition then an event must be
 * introduced into the execution flow.
 */
@SuppressWarnings("unused")
@Test
public void testSingleTransitionTimeTrigger() {
    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);
    Transition t = _createTransition(s, s);
    ReactionTrigger tr1 = _createReactionTrigger(t);
    _createTimeEventSpec(TimeEventType.AFTER, _createValue(1), TimeUnit.SECOND, tr1);
    AssignmentExpression assign = _createVariableAssignment(v1, AssignmentOperator.ASSIGN, _createValue(42), (ReactionEffect) t.getEffect());
    ExecutionFlow flow = sequencer.transform(sc);
    // assert definition of time event
    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
    assertEquals(1, flow.getStates().size());
    ExecutionState _s = flow.getStates().get(0);
    assertEquals(s.getName(), _s.getSimpleName());
    If _if = (If) SCTTestUtil.flattenSequenceStepsAsList(flow.getStates().get(0).getReactSequence()).get(0);
    ElementReferenceExpression _ere = (ElementReferenceExpression) _if.getCheck().getCondition();
    assertSame(te, _ere.getReference());
    // 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());
    NumericalMultiplyDivideExpression multiply = (NumericalMultiplyDivideExpression) ste.getTimeValue();
    assertIntLiteral(1, ((PrimitiveValueExpression) multiply.getLeftOperand()).getValue());
    assertIntLiteral(1000, ((PrimitiveValueExpression) multiply.getRightOperand()).getValue());
    assertEquals(MultiplicativeOperator.MUL, multiply.getOperator());
    // assert the unscheduling of the time events during state exit
    assertNotNull(_s.getExitAction());
    Sequence exitAction = (Sequence) _s.getExitAction();
    UnscheduleTimeEvent ute = (UnscheduleTimeEvent) exitAction.getSteps().get(0);
    assertSame(te, ute.getTimeEvent());
}
Also used : 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) NumericalMultiplyDivideExpression(org.yakindu.base.expressions.expressions.NumericalMultiplyDivideExpression) ExecutionFlow(org.yakindu.sct.model.sexec.ExecutionFlow) Sequence(org.yakindu.sct.model.sexec.Sequence) 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) StextTestFactory._createReactionTrigger(org.yakindu.sct.model.stext.test.util.StextTestFactory._createReactionTrigger) ReactionTrigger(org.yakindu.sct.model.stext.stext.ReactionTrigger) 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) 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) If(org.yakindu.sct.model.sexec.If) ElementReferenceExpression(org.yakindu.base.expressions.expressions.ElementReferenceExpression) Test(org.junit.Test)

Example 2 with UnscheduleTimeEvent

use of org.yakindu.sct.model.sexec.UnscheduleTimeEvent 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)2 AssignmentExpression (org.yakindu.base.expressions.expressions.AssignmentExpression)2 ExecutionFlow (org.yakindu.sct.model.sexec.ExecutionFlow)2 ExecutionState (org.yakindu.sct.model.sexec.ExecutionState)2 ScheduleTimeEvent (org.yakindu.sct.model.sexec.ScheduleTimeEvent)2 Sequence (org.yakindu.sct.model.sexec.Sequence)2 TimeEvent (org.yakindu.sct.model.sexec.TimeEvent)2 UnscheduleTimeEvent (org.yakindu.sct.model.sexec.UnscheduleTimeEvent)2 Region (org.yakindu.sct.model.sgraph.Region)2 Scope (org.yakindu.sct.model.sgraph.Scope)2 State (org.yakindu.sct.model.sgraph.State)2 Statechart (org.yakindu.sct.model.sgraph.Statechart)2 SGraphTestFactory._createRegion (org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createRegion)2 SGraphTestFactory._createState (org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createState)2 SGraphTestFactory._createStatechart (org.yakindu.sct.model.sgraph.test.util.SGraphTestFactory._createStatechart)2 VariableDefinition (org.yakindu.sct.model.stext.stext.VariableDefinition)2 StextTestFactory._createInterfaceScope (org.yakindu.sct.model.stext.test.util.StextTestFactory._createInterfaceScope)2 StextTestFactory._createVariableDefinition (org.yakindu.sct.model.stext.test.util.StextTestFactory._createVariableDefinition)2 ElementReferenceExpression (org.yakindu.base.expressions.expressions.ElementReferenceExpression)1 NumericalMultiplyDivideExpression (org.yakindu.base.expressions.expressions.NumericalMultiplyDivideExpression)1