Examples with PrimitiveValueExpression org.yakindu.base.expressions.expressions.PrimitiveValueExpression used on opensource projects

Example 11 with PrimitiveValueExpression

use of org.yakindu.base.expressions.expressions.PrimitiveValueExpression in project statecharts by Yakindu.

the class SCTResourceTest method testTransitionSerializing.

@Test
public void testTransitionSerializing() throws Exception {
    res.setSerializerEnabled(true);
    Transition transition = createTransition("after 10\n s [true] / 3 * 3");
    res.getContents().add(transition);
    ReactionTrigger trigger = (ReactionTrigger) transition.getTrigger();
    TimeEventSpec timeTrigger = stextFac.createTimeEventSpec();
    timeTrigger.setType(TimeEventType.EVERY);
    timeTrigger.setUnit(TimeUnit.SECOND);
    PrimitiveValueExpression exp = expFac.createPrimitiveValueExpression();
    IntLiteral literal = expFac.createIntLiteral();
    literal.setValue(42);
    exp.setValue(literal);
    timeTrigger.setValue(exp);
    trigger.getTriggers().add(timeTrigger);
    assertEquals("after 10\n s , every 42 s [true] / 3 * 3", transition.getSpecification());
    assertEquals("" + res.getErrors(), 0, res.getErrors().size());
}

Example 12 with PrimitiveValueExpression

use of org.yakindu.base.expressions.expressions.PrimitiveValueExpression 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());
}