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);
}
protected override void PrepareExecution()
{
base.PrepareExecution();
_iterator = 0;
_explorerRepository = ExplorerClockFactory.generateClockRepositoryExplorer(ManagerUI.MainWindow);
_explorerCycle31 = ExplorerCycleFactory.generateCycleExplorer(ManagerUI.MainWindow);
_explorerCycle21 = ExplorerCycleFactory.generateCycleExplorer(ManagerUI.MainWindow);
_cycle31 = FactoryCycle.GenerateCycle(ID, 3, 1);
_cycle21 = FactoryCycle.GenerateCycle(ID, 2, 1);
}
