/** * If a entry trigger is combined with a guard condition then the entry action is executed * conditionally with this trigger. */ @Test public void testEntryActionWithGuard() { Statechart sc = _createStatechart("test"); Scope scope = _createInterfaceScope("interface", sc); VariableDefinition v1 = _createVariableDefinition("v1", TYPE_INTEGER, scope); Region r = _createRegion("main", sc); Entry e = _createEntry(EntryKind.INITIAL, null, r); State s1 = _createState("s1", r); State s2 = _createState("s2", r); _createTransition(e, s1); _createTransition(s1, s2); LocalReaction entryAction = _createEntryAction(s2); _createVariableAssignment( v1, AssignmentOperator.ASSIGN, _createValue(42), (ReactionEffect) entryAction.getEffect()); ((ReactionTrigger) entryAction.getTrigger()) .setGuard(createGuardExpression(_createValue(true))); ExecutionFlow flow = sequencer.transform(sc); ExecutionState _s1 = flow.getStates().get(0); ExecutionState _s2 = flow.getStates().get(1); assertEquals(s1.getName(), _s1.getSimpleName()); assertEquals(s2.getName(), _s2.getSimpleName()); Sequence _entrySeq = (Sequence) _s2.getEntryAction(); assertClass(If.class, _entrySeq.getSteps().get(0)); assertClass( PrimitiveValueExpression.class, ((If) _entrySeq.getSteps().get(0)).getCheck().getCondition()); assertAssignment( ((Sequence) ((If) _entrySeq.getSteps().get(0)).getThenStep()).getSteps().get(0), "v1", AssignmentOperator.ASSIGN, "42"); }
/** * Local reactions that define regular and entry triggers side by side must also be part of the * cycle steps. */ @SuppressWarnings("unused") @Test public void testStateCycle_LocalReactionWithMixedRegularAndEntryTrigger() { MinimalTSC tsc = new MinimalTSC(); VariableDefinition v1 = _createVariableDefinition("v1", TYPE_INTEGER, tsc.s_scope); // add a simple entry action: "entry / x=42;" LocalReaction lr = _createEntryAction(tsc.s1); _createRegularEventSpec(tsc.e1, (ReactionTrigger) lr.getTrigger()); ReactionEffect lr_eff = _createReactionEffect(lr); AssignmentExpression assign1 = _createVariableAssignment(v1, AssignmentOperator.ASSIGN, _createValue(42), lr_eff); // TRANSFORM ExecutionFlow flow = sequencer.transform(tsc.sc); // test state with one outgoing transition ExecutionState s1 = flow.getStates().get(0); assertEquals(1, s1.getReactions().size()); assertNotNull(s1.getReactSequence()); assertEquals(1, s1.getReactSequence().getSteps().size()); Sequence _seq = (Sequence) s1.getReactSequence().getSteps().get(0); If _lr1 = (If) assertedSequence(assertedSequence(_seq.getSteps().get(0)).getSteps().get(0)) .getSteps() .get(0); assertClass(ElementReferenceExpression.class, _lr1.getCheck().getCondition()); assertSame(s1.getReactions().get(0).getCheck().getCondition(), _lr1.getCheck().getCondition()); Call _lr1_eff_call = (Call) _lr1.getThenStep(); assertSame(s1.getReactions().get(0).getEffect(), _lr1_eff_call.getStep()); }
/** The state cycle must contain all reactions of parent states. */ @SuppressWarnings("unused") @Test public void testStateCycle_WithParent() { 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); { // a local reaction: "e1 / x=42;" LocalReaction lr1 = _createLocalReaction(s1, null); _createRegularEventSpec(e1, (ReactionTrigger) lr1.getTrigger()); ReactionEffect lr1_eff = _createReactionEffect(lr1); AssignmentExpression assign1 = _createVariableAssignment(v1, AssignmentOperator.ASSIGN, _createValue(42), lr1_eff); Region r_s1 = _createRegion("r", s1); { State s3 = _createState("s3", r_s1); { _createEntryAssignment(v1, s3, 2); Region r_s3 = _createRegion("r", s3); { State s4 = _createState("s4", r_s3); _createEntryAssignment(v1, s4, 3); State s5 = _createState("s5", r_s3); } } } } State s2 = _createState("s2", r); { Region r_s1 = _createRegion("r", s2); { _createState("s6", r_s1); } } } Transition t_s4_s5 = _createTransition(findState(sc, "s4"), findState(sc, "s5")); _createReactionTrigger(t_s4_s5); _createRegularEventSpec(e1, (ReactionTrigger) t_s4_s5.getTrigger()); Transition t_s3_s6 = _createTransition(findState(sc, "s3"), findState(sc, "s6")); _createReactionTrigger(t_s3_s6); _createRegularEventSpec(e1, (ReactionTrigger) t_s3_s6.getTrigger()); } 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 _s6 = flow.getStates().get(5); assertEquals("sc.r.s2.r.s6", _s6.getName()); Sequence cycle = _s4.getReactSequence(); Sequence _seq = (Sequence) cycle.getSteps().get(0); // first entry is the s1 local reaction List<Step> steps = SCTTestUtil.flattenSequenceStepsAsList(_seq); If _if = (If) steps.get(0); assertCall(_if.getThenStep(), _s1.getReactions().get(0).getEffect()); // second entry is the s3 cycle with the transition reaction _if = (If) steps.get(1); assertCall(_if.getThenStep(), _s3.getReactions().get(0).getEffect()); assertTrue(_s3.getReactions().get(0).isTransition()); // third is the s4 cycle with the transition reaction _seq = (Sequence) _if.getElseStep(); cycle = (Sequence) _seq.getSteps().get(0); _if = (If) cycle.getSteps().get(0); assertCall(_if.getThenStep(), _s4.getReactions().get(0).getEffect()); assertTrue(_s4.getReactions().get(0).isTransition()); assertNull(_if.getElseStep()); assertEquals(1, cycle.getSteps().size()); }
/** * The cycle sequence of a state that only consists of local reactions includes sequential * processing of the local reactions. */ @SuppressWarnings("unused") @Test public void testStateCycle_WithLocalReactionsOnly() { MinimalTSC tsc = new MinimalTSC(); VariableDefinition v1 = _createVariableDefinition("v1", TYPE_INTEGER, tsc.s_scope); // the first local reaction conforms to "e1 / x=42;" LocalReaction lr1 = _createLocalReaction(tsc.s1, null); _createRegularEventSpec(tsc.e1, (ReactionTrigger) lr1.getTrigger()); ReactionEffect lr1_eff = _createReactionEffect(lr1); AssignmentExpression assign1 = _createVariableAssignment(v1, AssignmentOperator.ASSIGN, _createValue(42), lr1_eff); // the secont local reaction conforms to "e1 [x==42] / x=0;" LocalReaction lr2 = _createLocalReaction(tsc.s1, null); _createRegularEventSpec(tsc.e1, (ReactionTrigger) lr2.getTrigger()); LogicalRelationExpression lr2_equals = ExpressionsFactory.eINSTANCE.createLogicalRelationExpression(); lr2_equals.setOperator(RelationalOperator.EQUALS); ElementReferenceExpression lr2_varRef = ExpressionsFactory.eINSTANCE.createElementReferenceExpression(); lr2_varRef.setReference(v1); PrimitiveValueExpression lr2_value = _createValue(42); lr2_equals.setLeftOperand(lr2_varRef); lr2_equals.setRightOperand(lr2_value); ((ReactionTrigger) lr2.getTrigger()).setGuard(createGuardExpression(lr2_equals)); ReactionEffect lr2_eff = _createReactionEffect(lr2); AssignmentExpression assign2 = _createVariableAssignment(v1, AssignmentOperator.ASSIGN, _createValue(0), lr2_eff); // the third local reaction conforms to: "[x==0] / x=1;" LocalReaction lr3 = _createLocalReaction(tsc.s1, null); LogicalRelationExpression lr3_equals = ExpressionsFactory.eINSTANCE.createLogicalRelationExpression(); lr3_equals.setOperator(RelationalOperator.EQUALS); ElementReferenceExpression lr3_varRef = ExpressionsFactory.eINSTANCE.createElementReferenceExpression(); lr3_varRef.setReference(v1); PrimitiveValueExpression lr3_value = _createValue(0); lr3_equals.setLeftOperand(lr3_varRef); lr3_equals.setRightOperand(lr3_value); ((ReactionTrigger) lr3.getTrigger()).setGuard(createGuardExpression(lr3_equals)); ReactionEffect lr3_eff = _createReactionEffect(lr3); AssignmentExpression assign3 = _createVariableAssignment(v1, AssignmentOperator.ASSIGN, _createValue(1), lr3_eff); ExecutionFlow flow = sequencer.transform(tsc.sc); // test state with one outgoing transition ExecutionState s1 = flow.getStates().get(0); assertEquals(tsc.s1.getName(), s1.getSimpleName()); assertEquals(3, s1.getReactions().size()); assertNotNull(s1.getReactSequence()); Step step = s1.getReactSequence().getSteps().get(0); Sequence _seq = (Sequence) assertedSequence(assertedSequence(step).getSteps().get(0)).getSteps().get(0); assertEquals(3, _seq.getSteps().size()); // check first local reaction If _lr1 = (If) _seq.getSteps().get(0); assertClass(ElementReferenceExpression.class, _lr1.getCheck().getCondition()); assertSame(s1.getReactions().get(0).getCheck().getCondition(), _lr1.getCheck().getCondition()); Call _lr1_eff_call = (Call) _lr1.getThenStep(); assertSame(s1.getReactions().get(0).getEffect(), _lr1_eff_call.getStep()); // check second local reaction If _lr2 = (If) _seq.getSteps().get(1); assertClass(LogicalAndExpression.class, _lr2.getCheck().getCondition()); assertSame(s1.getReactions().get(1).getCheck().getCondition(), _lr2.getCheck().getCondition()); Call _lr2_eff_call = (Call) _lr2.getThenStep(); assertSame(s1.getReactions().get(1).getEffect(), _lr2_eff_call.getStep()); // check the third local reaction If _lr3 = (If) _seq.getSteps().get(2); assertClass(LogicalRelationExpression.class, _lr3.getCheck().getCondition()); assertSame(s1.getReactions().get(2).getCheck().getCondition(), _lr3.getCheck().getCondition()); Call _lr3_eff_call = (Call) _lr3.getThenStep(); assertSame(s1.getReactions().get(2).getEffect(), _lr3_eff_call.getStep()); }