/// <summary> /// Generate a Finite State Machine for use on method validation /// </summary> public Coc.Modeling.FiniteStateMachine.FiniteStateMachine GenerateTestMachine2() { //Initialize Test FSM Coc.Modeling.FiniteStateMachine.FiniteStateMachine fsm = new Coc.Modeling.FiniteStateMachine.FiniteStateMachine(); State _1 = new State("1"); State _2 = new State("2"); State _3 = new State("3"); State _4 = new State("4"); fsm.AddState(_1); fsm.AddState(_2); fsm.AddState(_3); fsm.AddState(_4); fsm.AddTransition(new Transition(_1, _2, "a", "1")); fsm.AddTransition(new Transition(_1, _3, "b", "0")); fsm.AddTransition(new Transition(_2, _3, "a", "1")); fsm.AddTransition(new Transition(_2, _4, "b", "0")); fsm.AddTransition(new Transition(_3, _4, "a", "0")); fsm.AddTransition(new Transition(_4, _1, "b", "0")); fsm.InitialState = _1; return(fsm); }
/// <summary> /// Generate a Finite State Machine for use on method validation /// </summary> public Coc.Modeling.FiniteStateMachine.FiniteStateMachine GenerateTestMachine1() { //Initialize Test FSM Coc.Modeling.FiniteStateMachine.FiniteStateMachine fsm = new Coc.Modeling.FiniteStateMachine.FiniteStateMachine(); State a = new State("A"); State b = new State("B"); State c = new State("C"); State d = new State("D"); State e = new State("E"); State f = new State("F"); fsm.AddState(a); fsm.AddState(b); fsm.AddState(c); fsm.AddState(d); fsm.AddState(e); fsm.AddState(f); fsm.AddTransition(new Transition(a, b, "a", "1")); fsm.AddTransition(new Transition(a, e, "x", "8")); fsm.AddTransition(new Transition(b, b, "y", "11")); fsm.AddTransition(new Transition(b, c, "b", "2")); fsm.AddTransition(new Transition(b, d, "c", "3")); fsm.AddTransition(new Transition(c, f, "s", "9")); fsm.AddTransition(new Transition(d, e, "z", "12")); fsm.AddTransition(new Transition(d, f, "d", "4")); fsm.AddTransition(new Transition(e, f, "f", "0")); fsm.InitialState = a; return(fsm); }