public AutomataStateFiniteAbstract(IAutomataFinite automata, string ID, IAutomataStateUmlTags umlTag, params FiniteAutomataStateEvent[] actions) : base(ID, umlTag) { _automata = automata; Automata.States.addObject(this); foreach(FiniteAutomataStateEvent action in actions) { OnExecution += new FiniteAutomataStateEvent(action); } }
public AutomataTransitionFiniteAbstract(IAutomataStateFinite statestart, IAutomataStateFinite stateend, params FiniteAutomataTransitionConditionDecision[] decisions) : base() { if (statestart.Automata != stateend.Automata) { new ExceptionAutomataFinite(); }; _statestart = statestart; _stateend = stateend; _automata = statestart.Automata; _conditions = FactoryAutomataFinite.GenerateAutomataTransitionConditionCollection(); Automata.Transitions.addObject(this); this.GenerateCondition(decisions); }
public IAutomataTransitionFinite Eval(IAutomataFinite automata) { foreach (IAutomataTransitionFinite transition in automata.Transitions) { if (transition.StateStart == automata.State) { foreach (IAutomataTransitionConditionFinite condition in transition.Conditions) { automata.DoOnEval(condition); if (condition.Eval()) { return transition; } } } } return null; }
protected override void PrepareExecution() { base.PrepareExecution(); _cycle = FactoryCycle.GenerateCycle(ID,1,1); _cycle.OnCycleTriggerEvent += new EventHandlerCycleTriggerEvent(updateCycleStatus); _explorer = ExplorerCycleFactory.generateCycleExplorer(ManagerUI.MainWindow); _explorer.Explore(_cycle, "Cycle Exploration Description"); _automata = FactoryAutomataFinite.GenerateAutomata("Sample Automata", _cycle); _automata.OnStateEnter += new FiniteAutomataStateEvent(eventStateEnter); _automata.OnStateExit += new FiniteAutomataStateEvent(eventStateExit); _automata.OnTransition += new FiniteAutomataTransitionEvent(eventTransition); _automata.OnEval += new FiniteAutomataTransitionConditionEvent(eventCondition); IAutomataStateFinite _state_Initial = FactoryAutomataFinite.GenerateAutomataStateInitial(_automata, eventExecuteAction); IAutomataStateFinite _state_Test = FactoryAutomataFinite.GenerateAutomataStateGeneric(_automata, "Test", eventExecuteAction); IAutomataStateFinite _state_Final = FactoryAutomataFinite.GenerateAutomataStateFinal(_automata, eventExecuteAction); IAutomataTransitionFinite _transition_Initial_Test = FactoryAutomataFinite.GenerateAutomataTransition(_state_Initial, _state_Test, FactoryAutomataFinite.TransitionConditionAlways); IAutomataTransitionFinite _transition_Test_Final = FactoryAutomataFinite.GenerateAutomataTransition(_state_Test, _state_Final, FactoryAutomataFinite.TransitionConditionAlways); }
public AutomataStateFiniteAbstract(IAutomataFinite automata, string ID, params FiniteAutomataStateEvent[] actions) : this(automata, ID, IAutomataStateUmlTags.None, actions) { }
public DebuggerAutomataFinite(IAutomataFinite automata) : base() { _automata = automata; }
public AutomataStateFiniteBasic(IAutomataFinite automata, string ID, IAutomataStateUmlTags umlTag, params FiniteAutomataStateEvent[] actions) : base(automata, ID, umlTag, actions) { }
public static IAutomataStateFinite GenerateAutomataStateInitial(IAutomataFinite automata, params FiniteAutomataStateEvent[] actions) { return FactoryAutomataFinite.GenerateAutomataState(automata, "INITIAL", IAutomataStateUmlTags.Initial, actions); }
public static IAutomataStateFinite GenerateAutomataStateGeneric(IAutomataFinite automata, string ID, params FiniteAutomataStateEvent[] actions) { return FactoryAutomataFinite.GenerateAutomataState(automata, ID, actions); }
public static IAutomataStateFinite GenerateAutomataState(IAutomataFinite automata, string ID, IAutomataStateUmlTags umlTag, params FiniteAutomataStateEvent[] actions) { return new AutomataStateFiniteBasic(automata, ID, umlTag, actions); }
public static IDebuggerAutomataFinite GenerateAutomataDebugger(IAutomataFinite automata) { return new DebuggerAutomataFinite(automata); }