Beispiel #1
0
    public void setUp()
    {
        // Create the FSM and call the entry action manually
        fsm = new NestedStateMachnImpl();
        fsm.EnteredStandbyStateAction();

        fsm.TFC.LastState = 0;
        for (int i = 0; i < 255; i++)
            fsm.TFC.StateHistory[i] = 255;

        // trigger the test transitions
        fsm.context.StandbyToPA_SimpleTransition();
        fsm.context.K1ToK2_SimpleTransition();
        fsm.context.K2ToK1_PushTransition();
        fsm.context.K1_PopTransition();
        fsm.context.K2ToK3_SimpleTransition();
        fsm.context.K3ToK1_PushTransition();
        fsm.context.K1_PopTransition();
    }
Beispiel #2
0
    public void setUp()
    {
        // Create the FSM and call the entry action manually
        fsm = new NestedStateMachnImpl();
        fsm.EnteredStandbyStateAction();

        fsm.TFC.LastState = 0;
        for (int i = 0; i < 255; i++)
        {
            fsm.TFC.StateHistory[i] = 255;
        }

        // trigger the test transitions
        fsm.context.StandbyToPA_SimpleTransition();
        fsm.context.K1ToK2_SimpleTransition();
        fsm.context.K2ToK1_PushTransition();
        fsm.context.K1_PopTransition();
        fsm.context.K2ToK3_SimpleTransition();
        fsm.context.K3ToK1_PushTransition();
        fsm.context.K1_PopTransition();
    }