Examples with State org.yakindu.sct.model.sgraph.State used on opensource projects

Example 41 with State

use of org.yakindu.sct.model.sgraph.State in project statecharts by Yakindu.

the class SGraphJavaValidationTest method finalStateValid.

/**
 * A positive case for a valid final state.
 */
@Test
public void finalStateValid() {
    statechart = factory.createStatechart();
    Region region = factory.createRegion();
    statechart.getRegions().add(region);
    FinalState finalState = factory.createFinalState();
    region.getVertices().add(finalState);
    State state = factory.createState();
    region.getVertices().add(state);
    createTransition(state, finalState);
    assertTrue(validate(finalState));
    assertIssueCount(diagnostics, 0);
}

Example 42 with State

use of org.yakindu.sct.model.sgraph.State in project statecharts by Yakindu.

the class SGraphJavaValidationTest method orthogonalTargetStates_StateInParentStateRegion.

@Test
public void orthogonalTargetStates_StateInParentStateRegion() {
    statechart = loadStatechart("NotOrthogonalRegion01.sct");
    State b = firstNamed(EcoreUtil2.eAllOfType(statechart, State.class), "B");
    Synchronization sync = (Synchronization) b.getOutgoingTransitions().get(0).getTarget();
    assertFalse(validator.validate(sync, diagnostics, new HashMap<Object, Object>()));
    assertIssueCount(diagnostics, 1);
    assertError(diagnostics, ISSUE_SYNCHRONIZATION_TARGET_STATES_NOT_ORTHOGONAL);
}

Example 43 with State

use of org.yakindu.sct.model.sgraph.State in project statecharts by Yakindu.

the class SGraphJavaValidationTest method orthogonalTargetStates.

@Test
public void orthogonalTargetStates() {
    statechart = loadStatechart("OrthogonalRegion01.sct");
    State b = firstNamed(EcoreUtil2.eAllOfType(statechart, State.class), "B");
    Synchronization sync = (Synchronization) b.getOutgoingTransitions().get(0).getTarget();
    assertTrue(validator.validate(sync, diagnostics, new HashMap<Object, Object>()));
    assertNoIssues(diagnostics);
}

Example 44 with State

use of org.yakindu.sct.model.sgraph.State in project statecharts by Yakindu.

the class SGraphJavaValidationTest method finalStateWithOutgoingTransition.

/**
 * A final state should have no outgoing transitions
 */
@Test
public void finalStateWithOutgoingTransition() {
    statechart = factory.createStatechart();
    Region region = factory.createRegion();
    statechart.getRegions().add(region);
    FinalState finalState = factory.createFinalState();
    region.getVertices().add(finalState);
    State state = factory.createState();
    region.getVertices().add(state);
    createTransition(state, finalState);
    createTransition(finalState, state);
    validate(finalState);
    assertIssueCount(diagnostics, 1);
    assertWarning(diagnostics, ISSUE_FINAL_STATE_OUTGOING_TRANSITION);
}

Example 45 with State

use of org.yakindu.sct.model.sgraph.State in project statecharts by Yakindu.

the class LocalReactionTest method testSCLocalReaction.

/**
 * The transition sequence must contain all exit actions for parent states
 * that will be left by a transition.
 */
@Test
public void testSCLocalReaction() {
    Statechart sc = _createStatechart("sc");
    {
        LocalReaction lr0 = _createLocalReaction(sc, _createAlwaysEventSpec(null));
        VariableDefinition v = _createVariableDefinition("v", TYPE_INTEGER, getOrCreateInternalScope(sc));
        _createVariableAssignment(v, AssignmentOperator.ADD_ASSIGN, _createValue(1), (ReactionEffect) lr0.getEffect());
        Region r = _createRegion("r", sc);
        {
            State s1 = _createState("s1", r);
            {
                LocalReaction lr1 = _createLocalReaction(s1, _createAlwaysEventSpec(null));
                _createVariableAssignment(v, AssignmentOperator.ADD_ASSIGN, _createValue(2), (ReactionEffect) lr1.getEffect());
                _createEntryAssignment(v, s1, 1);
                Region r_s1 = _createRegion("r", s1);
                {
                    _createState("s3", r_s1);
                }
            }
            State s2 = _createState("s2", r);
            {
                _createEntryAssignment(v, s2, 1);
                Region r_s2 = _createRegion("r", s2);
                {
                    _createState("s6", r_s2);
                }
            }
        }
    }
    Transition t = _createTransition(findState(sc, "s3"), findState(sc, "s6"));
    ReactionTrigger tr = _createReactionTrigger(t);
    tr.setGuard(createGuardExpression(_createValue(true)));
    ExecutionFlow flow = sequencer.transform(sc);
    assertEquals(1, flow.getReactions().size());
    ExecutionState _s1 = flow.getStates().get(0);
    assertEquals("sc.r.s1", _s1.getName());
    // assertEquals(1, _s1.getReactions().size());
    ExecutionState _s3 = flow.getStates().get(1);
    assertEquals("sc.r.s1.r.s3", _s3.getName());
    ExecutionState _s2 = flow.getStates().get(2);
    assertEquals("sc.r.s2", _s2.getName());
    // assertEquals(1, _s2.getReactions().size());
    ExecutionState _s6 = flow.getStates().get(3);
    assertEquals("sc.r.s2.r.s6", _s6.getName());
    Reaction _t = _s3.getReactions().get(0);
    assertTrue(_t.isTransition());
    // Check Stateswitch in flow
    StateSwitch sSwitch = assertedSwitch(flow.getReactSequence().getSteps().get(0));
    assertStateSwitch(sSwitch, _s3, _s6);
    assertCall(assertedStateCase(sSwitch, _s3).getStep(), _s3.getReactSequence());
    // Check reactSequence of leaf state
    Sequence _effect = (Sequence) _t.getEffect();
    assertCall(_effect, 0, _s1.getExitSequence());
    assertCall(_effect, 1, _s2.getEntryAction());
    assertCall(_effect, 2, _s6.getEnterSequences().get(0));
    assertEquals(3, _effect.getSteps().size());
    List<Step> steps = flattenSequenceStepsAsList(_s3.getReactSequence());
    If _if = assertClass(If.class, steps.get(0));
    assertEquals(flow.getReactions().get(0).getCheck(), assertClass(CheckRef.class, _if.getCheck()).getCheck());
    _if = assertClass(If.class, steps.get(1));
    assertEquals(_s1.getReactions().get(0).getCheck(), assertClass(CheckRef.class, _if.getCheck()).getCheck());
    _if = assertClass(If.class, steps.get(2));
    assertNotNull(assertClass(CheckRef.class, _if.getCheck()).getCheck());
    assertCall(_if.getThenStep(), _effect);
}