use of org.yakindu.sct.model.stext.test.util.StextTestFactory._createEventDefinition in project statecharts by Yakindu.
the class ModelSequencerStateReactionTest method testSingleRegularEventTriggerCondition.
/**
* Single trigger events of a Reaction Trigger will be converted into a
* single condition that consists of a ElementReferenceExpression to the
* corresponding event definition.
*/
@Test
public void testSingleRegularEventTriggerCondition() {
EventDefinition e1 = _createEventDefinition("e1", null);
ReactionTrigger tr1 = _createReactionTrigger(null);
_createRegularEventSpec(e1, tr1);
Expression s = behaviorMapping.buildCondition(tr1);
assertClass(ElementReferenceExpression.class, s);
}
use of org.yakindu.sct.model.stext.test.util.StextTestFactory._createEventDefinition in project statecharts by Yakindu.
the class ModelSequencerStateReactionTest method testTransitionCheckSequenceWithGuard.
@Test
public void testTransitionCheckSequenceWithGuard() {
EventDefinition e1 = _createEventDefinition("e1", null);
EventDefinition e2 = _createEventDefinition("e2", null);
ReactionTrigger tr1 = _createReactionTrigger(null);
_createRegularEventSpec(e1, tr1);
_createRegularEventSpec(e2, tr1);
PrimitiveValueExpression exp = _createValue(false);
tr1.setGuard(createGuardExpression(exp));
Transition t = SGraphFactory.eINSTANCE.createTransition();
t.setTrigger(tr1);
Statechart sc = _createStatechart("test");
Region region = _createRegion("r1", sc);
t.setSource(_createState("A", region));
t.setTarget(_createState("B", region));
Reaction reaction = behaviorMapping.mapTransition(t);
// now check the expression structure ...
// the root is an and condition with the trigger check as the first
// (left) part and the guard as the right (second) part.
LogicalAndExpression and = (LogicalAndExpression) reaction.getCheck().getCondition();
ParenthesizedExpression parenthesis = (ParenthesizedExpression) and.getLeftOperand();
LogicalOrExpression triggerCheck = (LogicalOrExpression) parenthesis.getExpression();
PrimitiveValueExpression guardCheck = (PrimitiveValueExpression) ((ParenthesizedExpression) and.getRightOperand()).getExpression();
assertClass(ElementReferenceExpression.class, triggerCheck.getLeftOperand());
assertClass(ElementReferenceExpression.class, triggerCheck.getRightOperand());
assertEquals(e1.getName(), ((NamedElement) ((ElementReferenceExpression) triggerCheck.getLeftOperand()).getReference()).getName());
assertEquals(e2.getName(), ((NamedElement) ((ElementReferenceExpression) triggerCheck.getRightOperand()).getReference()).getName());
assertBoolLiteral(false, guardCheck.getValue());
}
use of org.yakindu.sct.model.stext.test.util.StextTestFactory._createEventDefinition in project statecharts by Yakindu.
the class ModelSequencerStateReactionTest method testTransitionCheckSequenceWithoutGuard.
@Test
public void testTransitionCheckSequenceWithoutGuard() {
EventDefinition e1 = _createEventDefinition("e1", null);
EventDefinition e2 = _createEventDefinition("e2", null);
ReactionTrigger tr1 = _createReactionTrigger(null);
_createRegularEventSpec(e1, tr1);
_createRegularEventSpec(e2, tr1);
Transition t = SGraphFactory.eINSTANCE.createTransition();
t.setTrigger(tr1);
Statechart sc = _createStatechart("test");
Region region = _createRegion("r1", sc);
t.setSource(_createState("A", region));
t.setTarget(_createState("B", region));
Reaction reaction = behaviorMapping.mapTransition(t);
assertTrue(reaction.getCheck().getCondition() instanceof LogicalOrExpression);
assertClass(ElementReferenceExpression.class, ((LogicalOrExpression) reaction.getCheck().getCondition()).getLeftOperand());
assertClass(ElementReferenceExpression.class, ((LogicalOrExpression) reaction.getCheck().getCondition()).getRightOperand());
assertEquals(e1.getName(), ((NamedElement) ((ElementReferenceExpression) ((LogicalOrExpression) reaction.getCheck().getCondition()).getLeftOperand()).getReference()).getName());
assertEquals(e2.getName(), ((NamedElement) ((ElementReferenceExpression) ((LogicalOrExpression) reaction.getCheck().getCondition()).getRightOperand()).getReference()).getName());
}
use of org.yakindu.sct.model.stext.test.util.StextTestFactory._createEventDefinition in project statecharts by Yakindu.
the class ModelSequencertDeclarationsTest method testMapScope.
@SuppressWarnings("unused")
@Test
public void testMapScope() {
InterfaceScope scope = _createInterfaceScope(null, null);
EventDefinition e1 = _createEventDefinition("e1", scope);
EventDefinition e2 = _createEventDefinition("e2", scope);
VariableDefinition v1 = _createVariableDefinition("v1", TYPE_INTEGER, scope);
Scope _scope = structureMapping.mapScope(scope);
assertTrue(_scope instanceof InterfaceScope);
assertEquals(3, _scope.getDeclarations().size());
for (int i = 0; i < _scope.getDeclarations().size(); i++) {
Declaration s_decl = scope.getDeclarations().get(i);
Declaration r_decl = _scope.getDeclarations().get(i);
assertNotSame(s_decl, r_decl);
assertEquals(s_decl.getName(), r_decl.getName());
assertEquals(s_decl.getClass(), r_decl.getClass());
}
}
use of org.yakindu.sct.model.stext.test.util.StextTestFactory._createEventDefinition in project statecharts by Yakindu.
the class ModelSequencerStateTest method testFinalStateEnterSequenceCall.
/**
* The enter sequence must be called withnin incoming transitions.
*/
@SuppressWarnings("unused")
@Test
public void testFinalStateEnterSequenceCall() {
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);
FinalState fs = _createFinalState(r);
Transition t_s1_fs = _createTransition(s1, fs);
_createReactionTrigger(t_s1_fs);
_createRegularEventSpec(e1, (ReactionTrigger) t_s1_fs.getTrigger());
}
}
ExecutionFlow flow = sequencer.transform(sc);
ExecutionState _s1 = flow.getStates().get(0);
assertEquals("sc.r.s1", _s1.getName());
ExecutionState _fs = flow.getStates().get(1);
assertEquals("sc.r._final_", _fs.getName());
assertNull(_fs.getEntryAction());
assertNull(_fs.getExitAction());
// the transition s1 -> fs must includes the fs exit sequence call
Sequence cycle = _s1.getReactSequence();
If _if = (If) SCTTestUtil.flattenSequenceStepsAsList(cycle).get(0);
assertCall(_if.getThenStep(), _s1.getReactions().get(0).getEffect());
Sequence _seq = (Sequence) _s1.getReactions().get(0).getEffect();
assertCall(_seq, 1, _fs.getEnterSequences().get(0));
}
Aggregations