target.py 98 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302
  1. """
  2. Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
  3. Date: Tue Oct 25 13:19:09 2016
  4. Model author: Sadaf Mustafiz and Bruno Barroca and Claudio Gomes and Simon Van Mierlo
  5. Model name: Woven_FSA_CBD_Simulator
  6. Model description:
  7. Automatically woven FSA and CBD simulator with the FSA being the dominant, including debugging.
  8. """
  9. from sccd.runtime.statecharts_core import *
  10. from sccd.runtime.libs.ui import *
  11. from sccd.runtime.libs.utils import *
  12. import copy
  13. from CBD_Controller import CBDController
  14. import Options
  15. from fsa_cbd_woven_classes import CBDState
  16. from woven_cbd_fsa_lib import FSACBDLib
  17. class Breakpoint:
  18. def __init__(self, name, function, enabled, disable_on_trigger):
  19. self.name = name
  20. self.function = function
  21. self.enabled = enabled
  22. self.disable_on_trigger = disable_on_trigger
  23. # package "Woven_FSA_CBD_Simulator"
  24. class Woven_FSA_CBD_Simulator(RuntimeClassBase):
  25. def __init__(self, controller, cbd_options, model, fsa_events):
  26. RuntimeClassBase.__init__(self, controller)
  27. self.semantics.big_step_maximality = StatechartSemantics.TakeMany
  28. self.semantics.internal_event_lifeline = StatechartSemantics.NextComboStep
  29. self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
  30. self.semantics.priority = StatechartSemantics.SourceParent
  31. self.semantics.concurrency = StatechartSemantics.Single
  32. # build Statechart structure
  33. self.build_statechart_structure()
  34. # user defined attributes
  35. self.fsa_elapsed = None
  36. self.fsa_delta = None
  37. self.fsa_clock = None
  38. self.fsa_state = None
  39. self.fsa_currentEvent = None
  40. self.fsa_selectedTransition = None
  41. self.fsa_eventList = None
  42. self.cbd_iteration = None
  43. self.cbd_delta = None
  44. self.cbd_clock = None
  45. self.cbd_state = None
  46. self.cbd_depGraph = None
  47. self.cbd_strongComponentList = None
  48. self.cbd_currentCompIdx = None
  49. self.cbd_controller = None
  50. self.cbd_options = None
  51. self.woven_global_state = None
  52. self.woven_lib = None
  53. self.woven_child_initialized = None
  54. self.woven_delta = None
  55. self.woven_model = None
  56. self.woven_previous_global_state = None
  57. self.woven_triggered_when_transition = None
  58. # call user defined constructor
  59. Woven_FSA_CBD_Simulator.user_defined_constructor(self, cbd_options, model, fsa_events)
  60. def user_defined_constructor(self, cbd_options, model, fsa_events):
  61. self.cbd_options = cbd_options
  62. self.cbd_delta = self.cbd_options.getDeltaT() * 1000.0
  63. self.fsa_eventList = fsa_events
  64. self.fsa_delta = 1.0 * 1000.0
  65. self.woven_delta = min(self.fsa_delta, self.cbd_delta)
  66. self.woven_lib = FSACBDLib()
  67. self.woven_model = model
  68. self.initialized = False
  69. def user_defined_destructor(self):
  70. pass
  71. # user defined method
  72. def fsa_initialize(self):
  73. self.fsa_clock = 0.0
  74. self.fsa_elapsed = 0
  75. self.fsa_delta = self.woven_delta
  76. self.fsa_state = self.woven_model.initialState
  77. self.fsa_time_next = self.fsa_delta
  78. self.initialized = True
  79. # user defined method
  80. def fsa_endCondition(self):
  81. return self.initialized and self.fsa_state and self.fsa_state.final
  82. # user defined method
  83. def fsa_advanceTime(self):
  84. self.fsa_clock = self.fsa_time_next
  85. self.fsa_elapsed = self.fsa_elapsed + self.fsa_delta
  86. self.fsa_time_next = self.fsa_clock + self.fsa_delta
  87. # user defined method
  88. def fsa_finalize(self):
  89. print 'Simulation finalized.'
  90. # user defined method
  91. def fsa_processEvent(self, event):
  92. if (event != None):
  93. self.fsa_eventList.popEvent(event)
  94. event.processed = True
  95. # user defined method
  96. def fsa_getInputEventAt(self, time):
  97. return self.fsa_eventList.getInputAt(time)
  98. # user defined method
  99. def cbd_initialize(self):
  100. pass
  101. # user defined method
  102. def cbd_endCondition(self):
  103. return self.cbd_iteration >= self.cbd_options.getMaxIterations()
  104. # user defined method
  105. def cbd_advanceTime(self):
  106. pass
  107. # user defined method
  108. def cbd_finalize(self):
  109. pass
  110. # user defined method
  111. def cbd_currentComponentIsCycle(self):
  112. return self.cbd_controller.componentIsCycle(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_depGraph)
  113. # user defined method
  114. def cbd_hasNextStrongComponent(self):
  115. return (self.cbd_currentCompIdx) < len(self.cbd_strongComponentList)
  116. # user defined method
  117. def cbd_computeBlock(self):
  118. if self.cbd_currentComponentIsCycle():
  119. self.cbd_controller.computeNextAlgebraicLoop(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_iteration)
  120. else:
  121. self.cbd_controller.computeNextBlock(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_iteration)
  122. # user defined method
  123. def woven_initialize(self):
  124. self.woven_global_state = dict()
  125. self.woven_previous_global_state = dict()
  126. self.woven_child_initialized = False
  127. # user defined method
  128. def woven_updateCBDState(self):
  129. self.woven_lib.updateCBDState(self.woven_global_state, self.fsa_state.cbd)
  130. # user defined method
  131. def woven_updateGlobalState(self):
  132. self.woven_previous_global_state = copy.deepcopy(self.woven_global_state)
  133. self.woven_lib.updateGlobalState(self.woven_global_state, self.fsa_state.cbd, self.cbd_clock / 1000.0)
  134. # user defined method
  135. def woven_getTriggeredWhenTransition(self):
  136. return self.woven_lib.getTriggeredWhenTransition(self.woven_model, self.fsa_state, self.woven_global_state, self.woven_previous_global_state)
  137. # user defined method
  138. def initializeDebugger(self):
  139. self.breakpoints = []
  140. self.triggered_bp = None
  141. # user defined method
  142. def waitTime(self):
  143. # First, we convert from wall-clock time to simulated time.
  144. # This means the elapsed time in wall-clock time needs to be scaled according to the realtime scale (for example, if the realtime scale is 2, an elapsed time of 1 second in wall-clock time is equal to an elapsed time of 2 seconds in simulated time).
  145. simulated_diff = (accurate_time.time() - self.realtime_start_time) * self.realtime_scale
  146. # time_next and simulated_diff are both in simulated time: so now scale back to wall-clock time by dividing.
  147. # This function returns an amount of miliseconds.
  148. return ((self.fsa_time_next - simulated_diff) / self.realtime_scale)
  149. # user defined method
  150. def addBreakpoint(self, name, function, enabled = None, disable_on_trigger = None):
  151. if enabled == None: enabled = true
  152. if disable_on_trigger == None: disable_on_trigger = true
  153. if len([bp for bp in self.breakpoints if bp.name == name]) > 0:
  154. return -1
  155. self.breakpoints.append(Breakpoint(name, function, enabled, disable_on_trigger))
  156. return 0
  157. # user defined method
  158. def delBreakpoint(self, name):
  159. if len([bp for bp in self.breakpoints if bp.name == name]) == 0:
  160. return -1
  161. self.breakpoints = [bp for bp in self.breakpoints if bp.name != name]
  162. return 0
  163. # user defined method
  164. def toggleBreakpoint(self, name):
  165. if len([bp for bp in self.breakpoints if bp.name == name]) == 0:
  166. return -1
  167. for bp in self.breakpoints:
  168. if bp.name == name:
  169. bp.enabled = enabled
  170. break
  171. return 0
  172. # user defined method
  173. def breakpointTriggers(self, is_realtime_simulation):
  174. self.triggered_bp = None
  175. for bp in self.breakpoints:
  176. if not bp.enabled:
  177. continue
  178. # include the function in the scope...
  179. exec(bp.function)
  180. # ... and execute it, note that the breakpoint thus has to start with "def breakpoint("
  181. # note that we pass self.time_next instead of self.simulated_time in the case of as-fast-as-possible simulation (or stepping)
  182. # this is to make sure that the simulation is stopped BEFORE the specified time is reached, and not AFTER (because we don't necessarily implement 'step back')
  183. # in case of realtime simulation, we do pass the current simulated time, since we can stop at (more or less) exactly the right time
  184. if breakpoint({'clock': (self.fsa_clock if is_realtime_simulation else self.fsa_time_next) / 1000.0, 'state': self.fsa_state, 'event': self.fsa_currentEvent}):
  185. # triggered!
  186. self.triggered_bp = bp.name
  187. if bp.disable_on_trigger:
  188. bp.enabled = False
  189. return True
  190. else:
  191. # not triggered, so continue
  192. continue
  193. return False
  194. # user defined method
  195. def godEvent(self, new_state):
  196. filtered_states = [s for s in self.woven_model.states if s.name == new_state]
  197. if not len(filtered_states) == 1:
  198. return -1
  199. self.fsa_state = filtered_states[0]
  200. return 0
  201. # builds Statechart structure
  202. def build_statechart_structure(self):
  203. # state <root>
  204. self.states[""] = State(0, self)
  205. # state /Main
  206. self.states["/Main"] = ParallelState(1, self)
  207. # state /Main/SimulationState
  208. self.states["/Main/SimulationState"] = State(2, self)
  209. # state /Main/SimulationState/Paused
  210. self.states["/Main/SimulationState/Paused"] = State(3, self)
  211. # state /Main/SimulationState/PrePaused
  212. self.states["/Main/SimulationState/PrePaused"] = State(4, self)
  213. self.states["/Main/SimulationState/PrePaused"].setEnter(self._Main_SimulationState_PrePaused_enter)
  214. self.states["/Main/SimulationState/PrePaused"].setExit(self._Main_SimulationState_PrePaused_exit)
  215. # state /Main/SimulationState/PreBreakpointTriggered
  216. self.states["/Main/SimulationState/PreBreakpointTriggered"] = State(5, self)
  217. self.states["/Main/SimulationState/PreBreakpointTriggered"].setEnter(self._Main_SimulationState_PreBreakpointTriggered_enter)
  218. self.states["/Main/SimulationState/PreBreakpointTriggered"].setExit(self._Main_SimulationState_PreBreakpointTriggered_exit)
  219. # state /Main/SimulationState/Running
  220. self.states["/Main/SimulationState/Running"] = State(6, self)
  221. # state /Main/SimulationState/Running/Continuous
  222. self.states["/Main/SimulationState/Running/Continuous"] = State(7, self)
  223. # state /Main/SimulationState/Running/BigStep
  224. self.states["/Main/SimulationState/Running/BigStep"] = State(8, self)
  225. # state /Main/SimulationState/Running/BigStepDone
  226. self.states["/Main/SimulationState/Running/BigStepDone"] = State(9, self)
  227. self.states["/Main/SimulationState/Running/BigStepDone"].setEnter(self._Main_SimulationState_Running_BigStepDone_enter)
  228. self.states["/Main/SimulationState/Running/BigStepDone"].setExit(self._Main_SimulationState_Running_BigStepDone_exit)
  229. # state /Main/SimulationState/Running/SmallStep
  230. self.states["/Main/SimulationState/Running/SmallStep"] = State(10, self)
  231. # state /Main/SimulationState/Running/SmallStepDone
  232. self.states["/Main/SimulationState/Running/SmallStepDone"] = State(11, self)
  233. self.states["/Main/SimulationState/Running/SmallStepDone"].setEnter(self._Main_SimulationState_Running_SmallStepDone_enter)
  234. self.states["/Main/SimulationState/Running/SmallStepDone"].setExit(self._Main_SimulationState_Running_SmallStepDone_exit)
  235. # state /Main/SimulationState/Running/Realtime
  236. self.states["/Main/SimulationState/Running/Realtime"] = State(12, self)
  237. self.states["/Main/SimulationState/Running/Realtime"].setEnter(self._Main_SimulationState_Running_Realtime_enter)
  238. # state /Main/SimulationState/PreStopped
  239. self.states["/Main/SimulationState/PreStopped"] = State(13, self)
  240. self.states["/Main/SimulationState/PreStopped"].setEnter(self._Main_SimulationState_PreStopped_enter)
  241. self.states["/Main/SimulationState/PreStopped"].setExit(self._Main_SimulationState_PreStopped_exit)
  242. # state /Main/SimulationState/Stopped
  243. self.states["/Main/SimulationState/Stopped"] = State(14, self)
  244. # state /Main/SimulationFlow
  245. self.states["/Main/SimulationFlow"] = State(15, self)
  246. # state /Main/SimulationFlow/FSA
  247. self.states["/Main/SimulationFlow/FSA"] = State(16, self)
  248. # state /Main/SimulationFlow/FSA/Started
  249. self.states["/Main/SimulationFlow/FSA/Started"] = State(17, self)
  250. # state /Main/SimulationFlow/FSA/Initialized
  251. self.states["/Main/SimulationFlow/FSA/Initialized"] = State(18, self)
  252. # state /Main/SimulationFlow/FSA/DebuggerInitialized
  253. self.states["/Main/SimulationFlow/FSA/DebuggerInitialized"] = State(19, self)
  254. # state /Main/SimulationFlow/FSA/CheckTermination
  255. self.states["/Main/SimulationFlow/FSA/CheckTermination"] = State(20, self)
  256. # state /Main/SimulationFlow/FSA/CheckTermination/MacroStepProcessed
  257. self.states["/Main/SimulationFlow/FSA/CheckTermination/MacroStepProcessed"] = State(21, self)
  258. self.states["/Main/SimulationFlow/FSA/CheckTermination/MacroStepProcessed"].setEnter(self._Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_enter)
  259. self.states["/Main/SimulationFlow/FSA/CheckTermination/MacroStepProcessed"].setExit(self._Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_exit)
  260. # state /Main/SimulationFlow/FSA/Waiting
  261. self.states["/Main/SimulationFlow/FSA/Waiting"] = State(22, self)
  262. self.states["/Main/SimulationFlow/FSA/Waiting"].setEnter(self._Main_SimulationFlow_FSA_Waiting_enter)
  263. self.states["/Main/SimulationFlow/FSA/Waiting"].setExit(self._Main_SimulationFlow_FSA_Waiting_exit)
  264. # state /Main/SimulationFlow/FSA/DoSimulation
  265. self.states["/Main/SimulationFlow/FSA/DoSimulation"] = State(23, self)
  266. # state /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared
  267. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared"] = State(24, self)
  268. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared"].setEnter(self._Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_enter)
  269. # state /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ParentPaused
  270. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ParentPaused"] = State(25, self)
  271. # state /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildNotDetected
  272. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildNotDetected"] = State(26, self)
  273. # state /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildDetected
  274. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildDetected"] = State(27, self)
  275. # state /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildInitialized
  276. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildInitialized"] = State(28, self)
  277. # state /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildNotInitialized
  278. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildNotInitialized"] = State(29, self)
  279. # state /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD
  280. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD"] = State(30, self)
  281. # state /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD/Started
  282. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD/Started"] = State(31, self)
  283. # state /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD/Initialized
  284. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD/Initialized"] = State(32, self)
  285. # state /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildProcessed
  286. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildProcessed"] = State(33, self)
  287. # state /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed
  288. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed"] = State(34, self)
  289. # state /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ParentPaused
  290. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ParentPaused"] = State(35, self)
  291. # state /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildNotDetected
  292. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildNotDetected"] = State(36, self)
  293. # state /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildDetected
  294. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildDetected"] = State(37, self)
  295. # state /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildInitialized
  296. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildInitialized"] = State(38, self)
  297. # state /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD
  298. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD"] = State(39, self)
  299. # state /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination
  300. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination"] = State(40, self)
  301. # state /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed
  302. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed"] = State(41, self)
  303. # state /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation
  304. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation"] = State(42, self)
  305. # state /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MacroStepPrepared
  306. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MacroStepPrepared"] = State(43, self)
  307. # state /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed
  308. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed"] = State(44, self)
  309. # state /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepPrepared
  310. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepPrepared"] = State(45, self)
  311. # state /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/Terminated
  312. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/Terminated"] = State(46, self)
  313. # state /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildPaused
  314. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildPaused"] = State(47, self)
  315. # state /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/NoStateEventDetected
  316. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/NoStateEventDetected"] = State(48, self)
  317. # state /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/StateEventDetected
  318. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/StateEventDetected"] = State(49, self)
  319. # state /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildProcessed
  320. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"] = State(50, self)
  321. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"].setEnter(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_enter)
  322. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"].setExit(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_exit)
  323. # state /Main/SimulationFlow/FSA/DoSimulation/PreParentMicroStepPrepared
  324. self.states["/Main/SimulationFlow/FSA/DoSimulation/PreParentMicroStepPrepared"] = State(51, self)
  325. # state /Main/SimulationFlow/FSA/DoSimulation/ParentMicroStepPrepared
  326. self.states["/Main/SimulationFlow/FSA/DoSimulation/ParentMicroStepPrepared"] = State(52, self)
  327. # state /Main/SimulationFlow/FSA/DoSimulation/ParentMicroStepProcessed
  328. self.states["/Main/SimulationFlow/FSA/DoSimulation/ParentMicroStepProcessed"] = State(53, self)
  329. # state /Main/SimulationFlow/FSA/Terminated
  330. self.states["/Main/SimulationFlow/FSA/Terminated"] = State(54, self)
  331. # state /Main/SimulationFlow/ParentStarted
  332. self.states["/Main/SimulationFlow/ParentStarted"] = State(55, self)
  333. # state /Main/BreakpointManager
  334. self.states["/Main/BreakpointManager"] = State(56, self)
  335. # state /Main/BreakpointManager/Listening
  336. self.states["/Main/BreakpointManager/Listening"] = State(57, self)
  337. # state /Main/GodEventManager
  338. self.states["/Main/GodEventManager"] = State(58, self)
  339. # state /Main/GodEventManager/Listening
  340. self.states["/Main/GodEventManager/Listening"] = State(59, self)
  341. # state /Main/UserOutput
  342. self.states["/Main/UserOutput"] = State(60, self)
  343. # state /Main/UserOutput/Waiting
  344. self.states["/Main/UserOutput/Waiting"] = State(61, self)
  345. # state /HybridTerminated
  346. self.states["/HybridTerminated"] = State(62, self)
  347. # add children
  348. self.states[""].addChild(self.states["/Main"])
  349. self.states[""].addChild(self.states["/HybridTerminated"])
  350. self.states["/Main"].addChild(self.states["/Main/SimulationState"])
  351. self.states["/Main"].addChild(self.states["/Main/SimulationFlow"])
  352. self.states["/Main"].addChild(self.states["/Main/BreakpointManager"])
  353. self.states["/Main"].addChild(self.states["/Main/GodEventManager"])
  354. self.states["/Main"].addChild(self.states["/Main/UserOutput"])
  355. self.states["/Main/SimulationState"].addChild(self.states["/Main/SimulationState/Paused"])
  356. self.states["/Main/SimulationState"].addChild(self.states["/Main/SimulationState/PrePaused"])
  357. self.states["/Main/SimulationState"].addChild(self.states["/Main/SimulationState/PreBreakpointTriggered"])
  358. self.states["/Main/SimulationState"].addChild(self.states["/Main/SimulationState/Running"])
  359. self.states["/Main/SimulationState"].addChild(self.states["/Main/SimulationState/PreStopped"])
  360. self.states["/Main/SimulationState"].addChild(self.states["/Main/SimulationState/Stopped"])
  361. self.states["/Main/SimulationState/Running"].addChild(self.states["/Main/SimulationState/Running/Continuous"])
  362. self.states["/Main/SimulationState/Running"].addChild(self.states["/Main/SimulationState/Running/BigStep"])
  363. self.states["/Main/SimulationState/Running"].addChild(self.states["/Main/SimulationState/Running/BigStepDone"])
  364. self.states["/Main/SimulationState/Running"].addChild(self.states["/Main/SimulationState/Running/SmallStep"])
  365. self.states["/Main/SimulationState/Running"].addChild(self.states["/Main/SimulationState/Running/SmallStepDone"])
  366. self.states["/Main/SimulationState/Running"].addChild(self.states["/Main/SimulationState/Running/Realtime"])
  367. self.states["/Main/SimulationFlow"].addChild(self.states["/Main/SimulationFlow/FSA"])
  368. self.states["/Main/SimulationFlow"].addChild(self.states["/Main/SimulationFlow/ParentStarted"])
  369. self.states["/Main/SimulationFlow/FSA"].addChild(self.states["/Main/SimulationFlow/FSA/Started"])
  370. self.states["/Main/SimulationFlow/FSA"].addChild(self.states["/Main/SimulationFlow/FSA/Initialized"])
  371. self.states["/Main/SimulationFlow/FSA"].addChild(self.states["/Main/SimulationFlow/FSA/DebuggerInitialized"])
  372. self.states["/Main/SimulationFlow/FSA"].addChild(self.states["/Main/SimulationFlow/FSA/CheckTermination"])
  373. self.states["/Main/SimulationFlow/FSA"].addChild(self.states["/Main/SimulationFlow/FSA/Waiting"])
  374. self.states["/Main/SimulationFlow/FSA"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation"])
  375. self.states["/Main/SimulationFlow/FSA"].addChild(self.states["/Main/SimulationFlow/FSA/Terminated"])
  376. self.states["/Main/SimulationFlow/FSA/CheckTermination"].addChild(self.states["/Main/SimulationFlow/FSA/CheckTermination/MacroStepProcessed"])
  377. self.states["/Main/SimulationFlow/FSA/DoSimulation"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared"])
  378. self.states["/Main/SimulationFlow/FSA/DoSimulation"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed"])
  379. self.states["/Main/SimulationFlow/FSA/DoSimulation"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/PreParentMicroStepPrepared"])
  380. self.states["/Main/SimulationFlow/FSA/DoSimulation"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/ParentMicroStepPrepared"])
  381. self.states["/Main/SimulationFlow/FSA/DoSimulation"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/ParentMicroStepProcessed"])
  382. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ParentPaused"])
  383. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildNotDetected"])
  384. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildDetected"])
  385. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildInitialized"])
  386. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildNotInitialized"])
  387. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD"])
  388. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildProcessed"])
  389. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD/Started"])
  390. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD/Initialized"])
  391. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ParentPaused"])
  392. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildNotDetected"])
  393. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildDetected"])
  394. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildInitialized"])
  395. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD"])
  396. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildPaused"])
  397. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/NoStateEventDetected"])
  398. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/StateEventDetected"])
  399. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"])
  400. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination"])
  401. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation"])
  402. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/Terminated"])
  403. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed"])
  404. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MacroStepPrepared"])
  405. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed"])
  406. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation"].addChild(self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepPrepared"])
  407. self.states["/Main/BreakpointManager"].addChild(self.states["/Main/BreakpointManager/Listening"])
  408. self.states["/Main/GodEventManager"].addChild(self.states["/Main/GodEventManager/Listening"])
  409. self.states["/Main/UserOutput"].addChild(self.states["/Main/UserOutput/Waiting"])
  410. self.states[""].fixTree()
  411. self.states[""].default_state = self.states["/Main"]
  412. self.states["/Main/SimulationState"].default_state = self.states["/Main/SimulationState/Paused"]
  413. self.states["/Main/SimulationState/Running"].default_state = self.states["/Main/SimulationState/Running/Continuous"]
  414. self.states["/Main/SimulationFlow"].default_state = self.states["/Main/SimulationFlow/FSA"]
  415. self.states["/Main/SimulationFlow/FSA"].default_state = self.states["/Main/SimulationFlow/FSA/Started"]
  416. self.states["/Main/SimulationFlow/FSA/CheckTermination"].default_state = self.states["/Main/SimulationFlow/FSA/CheckTermination/MacroStepProcessed"]
  417. self.states["/Main/SimulationFlow/FSA/DoSimulation"].default_state = self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared"]
  418. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared"].default_state = self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ParentPaused"]
  419. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD"].default_state = self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD/Started"]
  420. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed"].default_state = self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ParentPaused"]
  421. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD"].default_state = self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination"]
  422. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination"].default_state = self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed"]
  423. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation"].default_state = self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MacroStepPrepared"]
  424. self.states["/Main/BreakpointManager"].default_state = self.states["/Main/BreakpointManager/Listening"]
  425. self.states["/Main/GodEventManager"].default_state = self.states["/Main/GodEventManager/Listening"]
  426. self.states["/Main/UserOutput"].default_state = self.states["/Main/UserOutput/Waiting"]
  427. # transition /Main/SimulationState/Paused
  428. _Main_SimulationState_Paused_0 = Transition(self, self.states["/Main/SimulationState/Paused"], [self.states["/Main/SimulationState/Running/Continuous"]])
  429. _Main_SimulationState_Paused_0.setTrigger(Event("continuous", "user_input"))
  430. self.states["/Main/SimulationState/Paused"].addTransition(_Main_SimulationState_Paused_0)
  431. _Main_SimulationState_Paused_1 = Transition(self, self.states["/Main/SimulationState/Paused"], [self.states["/Main/SimulationState/Running/Realtime"]])
  432. _Main_SimulationState_Paused_1.setAction(self._Main_SimulationState_Paused_1_exec)
  433. _Main_SimulationState_Paused_1.setTrigger(Event("realtime", "user_input"))
  434. self.states["/Main/SimulationState/Paused"].addTransition(_Main_SimulationState_Paused_1)
  435. _Main_SimulationState_Paused_2 = Transition(self, self.states["/Main/SimulationState/Paused"], [self.states["/Main/SimulationState/Running/BigStep"]])
  436. _Main_SimulationState_Paused_2.setTrigger(Event("big_step", "user_input"))
  437. self.states["/Main/SimulationState/Paused"].addTransition(_Main_SimulationState_Paused_2)
  438. _Main_SimulationState_Paused_3 = Transition(self, self.states["/Main/SimulationState/Paused"], [self.states["/Main/SimulationState/Running/SmallStep"]])
  439. _Main_SimulationState_Paused_3.setTrigger(Event("small_step", "user_input"))
  440. self.states["/Main/SimulationState/Paused"].addTransition(_Main_SimulationState_Paused_3)
  441. _Main_SimulationState_Paused_4 = Transition(self, self.states["/Main/SimulationState/Paused"], [self.states["/Main/SimulationState/PreStopped"]])
  442. _Main_SimulationState_Paused_4.setTrigger(None)
  443. _Main_SimulationState_Paused_4.setGuard(self._Main_SimulationState_Paused_4_guard)
  444. self.states["/Main/SimulationState/Paused"].addTransition(_Main_SimulationState_Paused_4)
  445. # transition /Main/SimulationState/PrePaused
  446. _Main_SimulationState_PrePaused_0 = Transition(self, self.states["/Main/SimulationState/PrePaused"], [self.states["/Main/SimulationState/Paused"]])
  447. _Main_SimulationState_PrePaused_0.setAction(self._Main_SimulationState_PrePaused_0_exec)
  448. _Main_SimulationState_PrePaused_0.setTrigger(Event("_0after"))
  449. self.states["/Main/SimulationState/PrePaused"].addTransition(_Main_SimulationState_PrePaused_0)
  450. # transition /Main/SimulationState/PreBreakpointTriggered
  451. _Main_SimulationState_PreBreakpointTriggered_0 = Transition(self, self.states["/Main/SimulationState/PreBreakpointTriggered"], [self.states["/Main/SimulationState/Paused"]])
  452. _Main_SimulationState_PreBreakpointTriggered_0.setAction(self._Main_SimulationState_PreBreakpointTriggered_0_exec)
  453. _Main_SimulationState_PreBreakpointTriggered_0.setTrigger(Event("_1after"))
  454. self.states["/Main/SimulationState/PreBreakpointTriggered"].addTransition(_Main_SimulationState_PreBreakpointTriggered_0)
  455. # transition /Main/SimulationState/Running/BigStep
  456. _Main_SimulationState_Running_BigStep_0 = Transition(self, self.states["/Main/SimulationState/Running/BigStep"], [self.states["/Main/SimulationState/Running/BigStepDone"]])
  457. _Main_SimulationState_Running_BigStep_0.setTrigger(Event("big_step_done", None))
  458. self.states["/Main/SimulationState/Running/BigStep"].addTransition(_Main_SimulationState_Running_BigStep_0)
  459. # transition /Main/SimulationState/Running/BigStepDone
  460. _Main_SimulationState_Running_BigStepDone_0 = Transition(self, self.states["/Main/SimulationState/Running/BigStepDone"], [self.states["/Main/SimulationState/Paused"]])
  461. _Main_SimulationState_Running_BigStepDone_0.setTrigger(Event("_2after"))
  462. self.states["/Main/SimulationState/Running/BigStepDone"].addTransition(_Main_SimulationState_Running_BigStepDone_0)
  463. # transition /Main/SimulationState/Running/SmallStep
  464. _Main_SimulationState_Running_SmallStep_0 = Transition(self, self.states["/Main/SimulationState/Running/SmallStep"], [self.states["/Main/SimulationState/Running/SmallStepDone"]])
  465. _Main_SimulationState_Running_SmallStep_0.setTrigger(Event("small_step_done", None))
  466. self.states["/Main/SimulationState/Running/SmallStep"].addTransition(_Main_SimulationState_Running_SmallStep_0)
  467. # transition /Main/SimulationState/Running/SmallStepDone
  468. _Main_SimulationState_Running_SmallStepDone_0 = Transition(self, self.states["/Main/SimulationState/Running/SmallStepDone"], [self.states["/Main/SimulationState/Paused"]])
  469. _Main_SimulationState_Running_SmallStepDone_0.setTrigger(Event("_3after"))
  470. self.states["/Main/SimulationState/Running/SmallStepDone"].addTransition(_Main_SimulationState_Running_SmallStepDone_0)
  471. # transition /Main/SimulationState/PreStopped
  472. _Main_SimulationState_PreStopped_0 = Transition(self, self.states["/Main/SimulationState/PreStopped"], [self.states["/Main/SimulationState/Stopped"]])
  473. _Main_SimulationState_PreStopped_0.setAction(self._Main_SimulationState_PreStopped_0_exec)
  474. _Main_SimulationState_PreStopped_0.setTrigger(Event("_4after"))
  475. self.states["/Main/SimulationState/PreStopped"].addTransition(_Main_SimulationState_PreStopped_0)
  476. # transition /Main/SimulationFlow/FSA/Started
  477. _Main_SimulationFlow_FSA_Started_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/Started"], [self.states["/Main/SimulationFlow/ParentStarted"]])
  478. _Main_SimulationFlow_FSA_Started_0.setAction(self._Main_SimulationFlow_FSA_Started_0_exec)
  479. _Main_SimulationFlow_FSA_Started_0.setTrigger(None)
  480. self.states["/Main/SimulationFlow/FSA/Started"].addTransition(_Main_SimulationFlow_FSA_Started_0)
  481. # transition /Main/SimulationFlow/FSA/Initialized
  482. _Main_SimulationFlow_FSA_Initialized_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/Initialized"], [self.states["/Main/SimulationFlow/FSA/DebuggerInitialized"]])
  483. _Main_SimulationFlow_FSA_Initialized_0.setAction(self._Main_SimulationFlow_FSA_Initialized_0_exec)
  484. _Main_SimulationFlow_FSA_Initialized_0.setTrigger(None)
  485. self.states["/Main/SimulationFlow/FSA/Initialized"].addTransition(_Main_SimulationFlow_FSA_Initialized_0)
  486. # transition /Main/SimulationFlow/FSA/DebuggerInitialized
  487. _Main_SimulationFlow_FSA_DebuggerInitialized_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DebuggerInitialized"], [self.states["/Main/SimulationFlow/FSA/CheckTermination"]])
  488. _Main_SimulationFlow_FSA_DebuggerInitialized_0.setAction(self._Main_SimulationFlow_FSA_DebuggerInitialized_0_exec)
  489. _Main_SimulationFlow_FSA_DebuggerInitialized_0.setTrigger(None)
  490. self.states["/Main/SimulationFlow/FSA/DebuggerInitialized"].addTransition(_Main_SimulationFlow_FSA_DebuggerInitialized_0)
  491. # transition /Main/SimulationFlow/FSA/CheckTermination/MacroStepProcessed
  492. _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/CheckTermination/MacroStepProcessed"], [self.states["/Main/SimulationFlow/FSA/Terminated"]])
  493. _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_0.setAction(self._Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_0_exec)
  494. _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_0.setTrigger(Event("_5after"))
  495. _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_0.setGuard(self._Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_0_guard)
  496. self.states["/Main/SimulationFlow/FSA/CheckTermination/MacroStepProcessed"].addTransition(_Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_0)
  497. _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_1 = Transition(self, self.states["/Main/SimulationFlow/FSA/CheckTermination/MacroStepProcessed"], [self.states["/Main/SimulationFlow/FSA/Waiting"]])
  498. _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_1.setTrigger(None)
  499. _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_1.setGuard(self._Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_1_guard)
  500. self.states["/Main/SimulationFlow/FSA/CheckTermination/MacroStepProcessed"].addTransition(_Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_1)
  501. _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_2 = Transition(self, self.states["/Main/SimulationFlow/FSA/CheckTermination/MacroStepProcessed"], [self.states["/Main/SimulationFlow/FSA/DoSimulation"]])
  502. _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_2.setAction(self._Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_2_exec)
  503. _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_2.setTrigger(None)
  504. _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_2.setGuard(self._Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_2_guard)
  505. self.states["/Main/SimulationFlow/FSA/CheckTermination/MacroStepProcessed"].addTransition(_Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_2)
  506. # transition /Main/SimulationFlow/FSA/Waiting
  507. _Main_SimulationFlow_FSA_Waiting_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/Waiting"], [self.states["/Main/SimulationFlow/FSA/CheckTermination"]])
  508. _Main_SimulationFlow_FSA_Waiting_0.setAction(self._Main_SimulationFlow_FSA_Waiting_0_exec)
  509. _Main_SimulationFlow_FSA_Waiting_0.setTrigger(Event("_6after"))
  510. self.states["/Main/SimulationFlow/FSA/Waiting"].addTransition(_Main_SimulationFlow_FSA_Waiting_0)
  511. _Main_SimulationFlow_FSA_Waiting_1 = Transition(self, self.states["/Main/SimulationFlow/FSA/Waiting"], [self.states["/Main/SimulationFlow/FSA/DoSimulation"]])
  512. _Main_SimulationFlow_FSA_Waiting_1.setTrigger(None)
  513. _Main_SimulationFlow_FSA_Waiting_1.setGuard(self._Main_SimulationFlow_FSA_Waiting_1_guard)
  514. self.states["/Main/SimulationFlow/FSA/Waiting"].addTransition(_Main_SimulationFlow_FSA_Waiting_1)
  515. # transition /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ParentPaused
  516. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ParentPaused"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildDetected"]])
  517. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_0_exec)
  518. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_0.setTrigger(None)
  519. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_0.setGuard(self._Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_0_guard)
  520. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ParentPaused"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_0)
  521. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_1 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ParentPaused"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildNotDetected"]])
  522. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_1.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_1_exec)
  523. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_1.setTrigger(None)
  524. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_1.setGuard(self._Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_1_guard)
  525. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ParentPaused"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_1)
  526. # transition /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildNotDetected
  527. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildNotDetected_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildNotDetected"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildProcessed"]])
  528. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildNotDetected_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildNotDetected_0_exec)
  529. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildNotDetected_0.setTrigger(None)
  530. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildNotDetected"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildNotDetected_0)
  531. # transition /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildDetected
  532. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildDetected"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildInitialized"]])
  533. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_0_exec)
  534. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_0.setTrigger(None)
  535. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_0.setGuard(self._Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_0_guard)
  536. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildDetected"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_0)
  537. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_1 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildDetected"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildNotInitialized"]])
  538. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_1.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_1_exec)
  539. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_1.setTrigger(None)
  540. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_1.setGuard(self._Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_1_guard)
  541. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildDetected"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_1)
  542. # transition /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildInitialized
  543. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildInitialized_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildInitialized"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildProcessed"]])
  544. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildInitialized_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildInitialized_0_exec)
  545. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildInitialized_0.setTrigger(None)
  546. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildInitialized"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildInitialized_0)
  547. # transition /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildNotInitialized
  548. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildNotInitialized_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildNotInitialized"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD/Started"]])
  549. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildNotInitialized_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildNotInitialized_0_exec)
  550. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildNotInitialized_0.setTrigger(None)
  551. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildNotInitialized"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildNotInitialized_0)
  552. # transition /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD/Started
  553. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_CBD_Started_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD/Started"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD/Initialized"]])
  554. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_CBD_Started_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_CBD_Started_0_exec)
  555. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_CBD_Started_0.setTrigger(None)
  556. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD/Started"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_CBD_Started_0)
  557. # transition /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD/Initialized
  558. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_CBD_Initialized_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD/Initialized"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildInitialized"]])
  559. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_CBD_Initialized_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_CBD_Initialized_0_exec)
  560. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_CBD_Initialized_0.setTrigger(None)
  561. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/CBD/Initialized"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_CBD_Initialized_0)
  562. # transition /Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildProcessed
  563. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildProcessed_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildProcessed"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed"]])
  564. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildProcessed_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildProcessed_0_exec)
  565. _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildProcessed_0.setTrigger(None)
  566. self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared/ChildProcessed"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildProcessed_0)
  567. # transition /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ParentPaused
  568. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ParentPaused"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildDetected"]])
  569. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_0_exec)
  570. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_0.setTrigger(None)
  571. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_0.setGuard(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_0_guard)
  572. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ParentPaused"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_0)
  573. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_1 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ParentPaused"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildNotDetected"]])
  574. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_1.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_1_exec)
  575. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_1.setTrigger(None)
  576. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_1.setGuard(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_1_guard)
  577. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ParentPaused"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_1)
  578. # transition /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildNotDetected
  579. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildNotDetected_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildNotDetected"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"]])
  580. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildNotDetected_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildNotDetected_0_exec)
  581. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildNotDetected_0.setTrigger(None)
  582. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildNotDetected"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildNotDetected_0)
  583. # transition /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildDetected
  584. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildDetected_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildDetected"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildInitialized"]])
  585. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildDetected_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildDetected_0_exec)
  586. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildDetected_0.setTrigger(None)
  587. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildDetected_0.setGuard(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildDetected_0_guard)
  588. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildDetected"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildDetected_0)
  589. # transition /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildInitialized
  590. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildInitialized_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildInitialized"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination"]])
  591. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildInitialized_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildInitialized_0_exec)
  592. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildInitialized_0.setTrigger(None)
  593. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildInitialized"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildInitialized_0)
  594. # transition /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed
  595. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/Terminated"]])
  596. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0_exec)
  597. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0.setTrigger(None)
  598. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0.setGuard(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0_guard)
  599. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0)
  600. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation"]])
  601. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1_exec)
  602. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1.setTrigger(None)
  603. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1.setGuard(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1_guard)
  604. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1)
  605. # transition /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MacroStepPrepared
  606. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MacroStepPrepared_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MacroStepPrepared"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed"]])
  607. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MacroStepPrepared_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MacroStepPrepared_0_exec)
  608. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MacroStepPrepared_0.setTrigger(None)
  609. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MacroStepPrepared"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MacroStepPrepared_0)
  610. # transition /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed
  611. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepPrepared"]])
  612. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0_exec)
  613. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0.setTrigger(None)
  614. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0.setGuard(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0_guard)
  615. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0)
  616. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildPaused"]])
  617. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1_exec)
  618. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1.setTrigger(None)
  619. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1.setGuard(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1_guard)
  620. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1)
  621. # transition /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepPrepared
  622. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepPrepared_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepPrepared"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed"]])
  623. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepPrepared_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepPrepared_0_exec)
  624. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepPrepared_0.setTrigger(None)
  625. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepPrepared"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepPrepared_0)
  626. # transition /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildPaused
  627. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildPaused"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/NoStateEventDetected"]])
  628. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_0_exec)
  629. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_0.setTrigger(None)
  630. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_0.setGuard(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_0_guard)
  631. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildPaused"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_0)
  632. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_1 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildPaused"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/StateEventDetected"]])
  633. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_1.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_1_exec)
  634. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_1.setTrigger(None)
  635. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_1.setGuard(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_1_guard)
  636. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildPaused"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_1)
  637. # transition /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/NoStateEventDetected
  638. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_NoStateEventDetected_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/NoStateEventDetected"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"]])
  639. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_NoStateEventDetected_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_NoStateEventDetected_0_exec)
  640. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_NoStateEventDetected_0.setTrigger(None)
  641. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/NoStateEventDetected"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_NoStateEventDetected_0)
  642. # transition /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/StateEventDetected
  643. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_StateEventDetected_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/StateEventDetected"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"]])
  644. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_StateEventDetected_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_StateEventDetected_0_exec)
  645. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_StateEventDetected_0.setTrigger(None)
  646. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/StateEventDetected"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_StateEventDetected_0)
  647. # transition /Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildProcessed
  648. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/PreParentMicroStepPrepared"]])
  649. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0_exec)
  650. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0.setTrigger(Event("_7after"))
  651. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0.setGuard(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0_guard)
  652. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0)
  653. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"], [self.states["/Main/SimulationFlow/FSA/CheckTermination"]])
  654. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1.setAction(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1_exec)
  655. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1.setTrigger(Event("_8after"))
  656. _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1.setGuard(self._Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1_guard)
  657. self.states["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1)
  658. # transition /Main/SimulationFlow/FSA/DoSimulation/PreParentMicroStepPrepared
  659. _Main_SimulationFlow_FSA_DoSimulation_PreParentMicroStepPrepared_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/PreParentMicroStepPrepared"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/ParentMicroStepPrepared"]])
  660. _Main_SimulationFlow_FSA_DoSimulation_PreParentMicroStepPrepared_0.setTrigger(None)
  661. _Main_SimulationFlow_FSA_DoSimulation_PreParentMicroStepPrepared_0.setGuard(self._Main_SimulationFlow_FSA_DoSimulation_PreParentMicroStepPrepared_0_guard)
  662. self.states["/Main/SimulationFlow/FSA/DoSimulation/PreParentMicroStepPrepared"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_PreParentMicroStepPrepared_0)
  663. # transition /Main/SimulationFlow/FSA/DoSimulation/ParentMicroStepPrepared
  664. _Main_SimulationFlow_FSA_DoSimulation_ParentMicroStepPrepared_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/ParentMicroStepPrepared"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/ParentMicroStepProcessed"]])
  665. _Main_SimulationFlow_FSA_DoSimulation_ParentMicroStepPrepared_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_ParentMicroStepPrepared_0_exec)
  666. _Main_SimulationFlow_FSA_DoSimulation_ParentMicroStepPrepared_0.setTrigger(None)
  667. self.states["/Main/SimulationFlow/FSA/DoSimulation/ParentMicroStepPrepared"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_ParentMicroStepPrepared_0)
  668. # transition /Main/SimulationFlow/FSA/DoSimulation/ParentMicroStepProcessed
  669. _Main_SimulationFlow_FSA_DoSimulation_ParentMicroStepProcessed_0 = Transition(self, self.states["/Main/SimulationFlow/FSA/DoSimulation/ParentMicroStepProcessed"], [self.states["/Main/SimulationFlow/FSA/DoSimulation/MacroStepPrepared"]])
  670. _Main_SimulationFlow_FSA_DoSimulation_ParentMicroStepProcessed_0.setAction(self._Main_SimulationFlow_FSA_DoSimulation_ParentMicroStepProcessed_0_exec)
  671. _Main_SimulationFlow_FSA_DoSimulation_ParentMicroStepProcessed_0.setTrigger(None)
  672. self.states["/Main/SimulationFlow/FSA/DoSimulation/ParentMicroStepProcessed"].addTransition(_Main_SimulationFlow_FSA_DoSimulation_ParentMicroStepProcessed_0)
  673. # transition /Main/SimulationFlow/ParentStarted
  674. _Main_SimulationFlow_ParentStarted_0 = Transition(self, self.states["/Main/SimulationFlow/ParentStarted"], [self.states["/Main/SimulationFlow/FSA/Initialized"]])
  675. _Main_SimulationFlow_ParentStarted_0.setAction(self._Main_SimulationFlow_ParentStarted_0_exec)
  676. _Main_SimulationFlow_ParentStarted_0.setTrigger(None)
  677. self.states["/Main/SimulationFlow/ParentStarted"].addTransition(_Main_SimulationFlow_ParentStarted_0)
  678. # transition /Main/BreakpointManager/Listening
  679. _Main_BreakpointManager_Listening_0 = Transition(self, self.states["/Main/BreakpointManager/Listening"], [self.states["/Main/BreakpointManager/Listening"]])
  680. _Main_BreakpointManager_Listening_0.setAction(self._Main_BreakpointManager_Listening_0_exec)
  681. _Main_BreakpointManager_Listening_0.setTrigger(Event("add_breakpoint", "user_input"))
  682. self.states["/Main/BreakpointManager/Listening"].addTransition(_Main_BreakpointManager_Listening_0)
  683. _Main_BreakpointManager_Listening_1 = Transition(self, self.states["/Main/BreakpointManager/Listening"], [self.states["/Main/BreakpointManager/Listening"]])
  684. _Main_BreakpointManager_Listening_1.setAction(self._Main_BreakpointManager_Listening_1_exec)
  685. _Main_BreakpointManager_Listening_1.setTrigger(Event("del_breakpoint", "user_input"))
  686. self.states["/Main/BreakpointManager/Listening"].addTransition(_Main_BreakpointManager_Listening_1)
  687. _Main_BreakpointManager_Listening_2 = Transition(self, self.states["/Main/BreakpointManager/Listening"], [self.states["/Main/BreakpointManager/Listening"]])
  688. _Main_BreakpointManager_Listening_2.setAction(self._Main_BreakpointManager_Listening_2_exec)
  689. _Main_BreakpointManager_Listening_2.setTrigger(Event("toggle_breakpoint", "user_input"))
  690. self.states["/Main/BreakpointManager/Listening"].addTransition(_Main_BreakpointManager_Listening_2)
  691. _Main_BreakpointManager_Listening_3 = Transition(self, self.states["/Main/BreakpointManager/Listening"], [self.states["/Main/BreakpointManager/Listening"]])
  692. _Main_BreakpointManager_Listening_3.setAction(self._Main_BreakpointManager_Listening_3_exec)
  693. _Main_BreakpointManager_Listening_3.setTrigger(Event("list_breakpoints", "user_input"))
  694. self.states["/Main/BreakpointManager/Listening"].addTransition(_Main_BreakpointManager_Listening_3)
  695. # transition /Main/GodEventManager/Listening
  696. _Main_GodEventManager_Listening_0 = Transition(self, self.states["/Main/GodEventManager/Listening"], [self.states["/Main/GodEventManager/Listening"]])
  697. _Main_GodEventManager_Listening_0.setAction(self._Main_GodEventManager_Listening_0_exec)
  698. _Main_GodEventManager_Listening_0.setTrigger(Event("god_event", "user_input"))
  699. _Main_GodEventManager_Listening_0.setGuard(self._Main_GodEventManager_Listening_0_guard)
  700. self.states["/Main/GodEventManager/Listening"].addTransition(_Main_GodEventManager_Listening_0)
  701. # transition /Main/UserOutput/Waiting
  702. _Main_UserOutput_Waiting_0 = Transition(self, self.states["/Main/UserOutput/Waiting"], [self.states["/Main/UserOutput/Waiting"]])
  703. _Main_UserOutput_Waiting_0.setAction(self._Main_UserOutput_Waiting_0_exec)
  704. _Main_UserOutput_Waiting_0.setTrigger(Event("termination_condition", None))
  705. self.states["/Main/UserOutput/Waiting"].addTransition(_Main_UserOutput_Waiting_0)
  706. _Main_UserOutput_Waiting_1 = Transition(self, self.states["/Main/UserOutput/Waiting"], [self.states["/Main/UserOutput/Waiting"]])
  707. _Main_UserOutput_Waiting_1.setAction(self._Main_UserOutput_Waiting_1_exec)
  708. _Main_UserOutput_Waiting_1.setTrigger(Event("paused", None))
  709. self.states["/Main/UserOutput/Waiting"].addTransition(_Main_UserOutput_Waiting_1)
  710. _Main_UserOutput_Waiting_2 = Transition(self, self.states["/Main/UserOutput/Waiting"], [self.states["/Main/UserOutput/Waiting"]])
  711. _Main_UserOutput_Waiting_2.setAction(self._Main_UserOutput_Waiting_2_exec)
  712. _Main_UserOutput_Waiting_2.setTrigger(Event("big_step_done", None))
  713. _Main_UserOutput_Waiting_2.setGuard(self._Main_UserOutput_Waiting_2_guard)
  714. self.states["/Main/UserOutput/Waiting"].addTransition(_Main_UserOutput_Waiting_2)
  715. _Main_UserOutput_Waiting_3 = Transition(self, self.states["/Main/UserOutput/Waiting"], [self.states["/Main/UserOutput/Waiting"]])
  716. _Main_UserOutput_Waiting_3.setAction(self._Main_UserOutput_Waiting_3_exec)
  717. _Main_UserOutput_Waiting_3.setTrigger(Event("small_step_done", None))
  718. _Main_UserOutput_Waiting_3.setGuard(self._Main_UserOutput_Waiting_3_guard)
  719. self.states["/Main/UserOutput/Waiting"].addTransition(_Main_UserOutput_Waiting_3)
  720. _Main_UserOutput_Waiting_4 = Transition(self, self.states["/Main/UserOutput/Waiting"], [self.states["/Main/UserOutput/Waiting"]])
  721. _Main_UserOutput_Waiting_4.setAction(self._Main_UserOutput_Waiting_4_exec)
  722. _Main_UserOutput_Waiting_4.setTrigger(Event("breakpoint_triggered", None))
  723. self.states["/Main/UserOutput/Waiting"].addTransition(_Main_UserOutput_Waiting_4)
  724. # transition /Main
  725. _Main_0 = Transition(self, self.states["/Main"], [self.states["/HybridTerminated"]])
  726. _Main_0.setAction(self._Main_0_exec)
  727. _Main_0.setTrigger(None)
  728. _Main_0.setGuard(self._Main_0_guard)
  729. self.states["/Main"].addTransition(_Main_0)
  730. # transition /Main/SimulationState/Running
  731. _Main_SimulationState_Running_0 = Transition(self, self.states["/Main/SimulationState/Running"], [self.states["/Main/SimulationState/PreStopped"]])
  732. _Main_SimulationState_Running_0.setTrigger(None)
  733. _Main_SimulationState_Running_0.setGuard(self._Main_SimulationState_Running_0_guard)
  734. self.states["/Main/SimulationState/Running"].addTransition(_Main_SimulationState_Running_0)
  735. _Main_SimulationState_Running_1 = Transition(self, self.states["/Main/SimulationState/Running"], [self.states["/Main/SimulationState/PrePaused"]])
  736. _Main_SimulationState_Running_1.setTrigger(Event("pause", "user_input"))
  737. self.states["/Main/SimulationState/Running"].addTransition(_Main_SimulationState_Running_1)
  738. _Main_SimulationState_Running_2 = Transition(self, self.states["/Main/SimulationState/Running"], [self.states["/Main/SimulationState/PreBreakpointTriggered"]])
  739. _Main_SimulationState_Running_2.setTrigger(None)
  740. _Main_SimulationState_Running_2.setGuard(self._Main_SimulationState_Running_2_guard)
  741. self.states["/Main/SimulationState/Running"].addTransition(_Main_SimulationState_Running_2)
  742. def _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_enter(self):
  743. print('Reading event and selecting transition...')
  744. self.fsa_currentEvent = self.fsa_getInputEventAt(self.fsa_clock / 1000.0)
  745. self.fsa_selectedTransition = self.woven_model.getTransitionFrom(self.fsa_state, self.fsa_currentEvent, self.fsa_elapsed)
  746. print('Current event:' + str(self.fsa_currentEvent))
  747. print('Current transition:' + str(self.fsa_selectedTransition))
  748. print('Child detected?:' + str(isinstance(self.fsa_state, CBDState)))
  749. def _Main_SimulationState_PrePaused_enter(self):
  750. self.addTimer(0, self.sccd_yield() * 2)
  751. def _Main_SimulationState_PrePaused_exit(self):
  752. self.removeTimer(0)
  753. def _Main_SimulationState_PreBreakpointTriggered_enter(self):
  754. self.addTimer(1, self.sccd_yield() * 2)
  755. def _Main_SimulationState_PreBreakpointTriggered_exit(self):
  756. self.removeTimer(1)
  757. def _Main_SimulationState_Running_BigStepDone_enter(self):
  758. self.addTimer(2, self.sccd_yield())
  759. def _Main_SimulationState_Running_BigStepDone_exit(self):
  760. self.removeTimer(2)
  761. def _Main_SimulationState_Running_SmallStepDone_enter(self):
  762. self.addTimer(3, self.sccd_yield())
  763. def _Main_SimulationState_Running_SmallStepDone_exit(self):
  764. self.removeTimer(3)
  765. def _Main_SimulationState_Running_Realtime_enter(self):
  766. # If the simulation was paused, we need to reset the start time of the simulation.
  767. # The start time of the simulation is equal to the point in wall-clock time where simulated time is 0.
  768. # If the simulation was paused, we have to recompute this point in time: it is the difference of the wall-clock time and the simulated time.
  769. # If the scale was changed after the pause, this point of course moves backwards (for scales smaller than 1) or forwards (for scales larger than 1)
  770. self.realtime_start_time = accurate_time.time() - (self.fsa_clock / self.realtime_scale)
  771. def _Main_SimulationState_PreStopped_enter(self):
  772. self.addTimer(4, self.sccd_yield() * 2)
  773. def _Main_SimulationState_PreStopped_exit(self):
  774. self.removeTimer(4)
  775. def _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_enter(self):
  776. self.addTimer(5, self.sccd_yield())
  777. def _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_exit(self):
  778. self.removeTimer(5)
  779. def _Main_SimulationFlow_FSA_Waiting_enter(self):
  780. self.addTimer(6, self.sccd_yield())
  781. def _Main_SimulationFlow_FSA_Waiting_exit(self):
  782. self.removeTimer(6)
  783. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_enter(self):
  784. self.addTimer(7, self.sccd_yield() * 2)
  785. self.addTimer(8, self.sccd_yield())
  786. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_exit(self):
  787. self.removeTimer(7)
  788. self.removeTimer(8)
  789. def _Main_0_exec(self, parameters):
  790. self.fsa_finalize()
  791. def _Main_0_guard(self, parameters):
  792. return self.inState(["/Main/SimulationState/Stopped"]) and (self.inState(["/Main/SimulationFlow/FSA/Terminated"]) or self.inState(["/Main/SimulationFlow/FSA/DoSimulation/MicroStepProcessed/CBD/Terminated"]))
  793. def _Main_SimulationState_Running_0_guard(self, parameters):
  794. return self.fsa_endCondition()
  795. def _Main_SimulationState_Running_2_guard(self, parameters):
  796. return self.breakpointTriggers(self.inState(["/Main/SimulationState/Running/Realtime"]))
  797. def _Main_SimulationState_Paused_1_exec(self, parameters):
  798. realtime_scale = parameters[0]
  799. self.realtime_scale = float(realtime_scale)
  800. def _Main_SimulationState_Paused_4_guard(self, parameters):
  801. return self.fsa_endCondition()
  802. def _Main_SimulationState_PrePaused_0_exec(self, parameters):
  803. self.raiseInternalEvent(Event("paused", None, []))
  804. def _Main_SimulationState_PreBreakpointTriggered_0_exec(self, parameters):
  805. self.raiseInternalEvent(Event("breakpoint_triggered", None, []))
  806. def _Main_SimulationState_PreStopped_0_exec(self, parameters):
  807. self.raiseInternalEvent(Event("termination_condition", None, []))
  808. def _Main_SimulationFlow_FSA_Started_0_exec(self, parameters):
  809. print('From FSA/Started to ParentStarted... ')
  810. self.fsa_initialize()
  811. def _Main_SimulationFlow_FSA_Initialized_0_exec(self, parameters):
  812. print('From FSA/Initialized to FSA/CheckTermination... ')
  813. self.initializeDebugger()
  814. def _Main_SimulationFlow_FSA_DebuggerInitialized_0_exec(self, parameters):
  815. print('From FSA/Initialized to FSA/CheckTermination... ')
  816. def _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_0_exec(self, parameters):
  817. print('From FSA/CheckTermination/MacroStepProcessed to Terminated... ')
  818. def _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_0_guard(self, parameters):
  819. return self.inState(["/Main/SimulationState/Stopped"])
  820. def _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_1_guard(self, parameters):
  821. return self.inState(["/Main/SimulationState/Running/Realtime"])
  822. def _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_2_exec(self, parameters):
  823. print('From FSA/CheckTermination/MacroStepProcessed to FSA/DoSimulation...')
  824. def _Main_SimulationFlow_FSA_CheckTermination_MacroStepProcessed_2_guard(self, parameters):
  825. return self.inState(["/Main/SimulationState/Running/Continuous"]) or self.inState(["/Main/SimulationState/Running/BigStep"]) or self.inState(["/Main/SimulationState/Running/SmallStep"])
  826. def _Main_SimulationFlow_FSA_Waiting_0_exec(self, parameters):
  827. diff = accurate_time.time() - self.realtime_start_time
  828. self.fsa_clock = diff * self.realtime_scale
  829. def _Main_SimulationFlow_FSA_Waiting_1_guard(self, parameters):
  830. return self.waitTime() / 1000.0 <= self.sccd_yield()
  831. def _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_0_exec(self, parameters):
  832. print('From FSA/ParentPaused to FSA/ChildDetected... ')
  833. self.cbd_model = self.fsa_state.cbd
  834. def _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_0_guard(self, parameters):
  835. return isinstance(self.fsa_state, CBDState)
  836. def _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_1_exec(self, parameters):
  837. print('From ParentPaused to ChildNotDetected without any child to process... ')
  838. def _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ParentPaused_1_guard(self, parameters):
  839. return not isinstance(self.fsa_state, CBDState)
  840. def _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildNotDetected_0_exec(self, parameters):
  841. print('From ChildNotDetected to ChildProcessed... ')
  842. def _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_0_exec(self, parameters):
  843. print('From ChildDetected to ChildInitialized... ')
  844. def _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_0_guard(self, parameters):
  845. return self.woven_child_initialized
  846. def _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_1_exec(self, parameters):
  847. print('From ChildDetected to ChildNotInitialized... ')
  848. def _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildDetected_1_guard(self, parameters):
  849. return not self.woven_child_initialized
  850. def _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildInitialized_0_exec(self, parameters):
  851. print('From ChildInitialized to ChildProcessed... ')
  852. def _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildNotInitialized_0_exec(self, parameters):
  853. print('From ChildNotInitialized to CBD/Started... ')
  854. self.cbd_delta = self.woven_delta
  855. self.woven_updateCBDState()
  856. self.woven_child_initialized = True
  857. def _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_CBD_Started_0_exec(self, parameters):
  858. print('From CBD/Started to Initialized... ')
  859. print('Performing initialization...')
  860. self.cbd_iteration = 0
  861. self.cbd_clock = 0
  862. self.cbd_controller = CBDController(self.cbd_model, self.cbd_delta / 1000.0)
  863. self.cbd_controller.initSimulation()
  864. print('Performing initialization... DONE')
  865. def _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_CBD_Initialized_0_exec(self, parameters):
  866. print('From CBD/Initialized to ChildInitialized... ')
  867. def _Main_SimulationFlow_FSA_DoSimulation_MacroStepPrepared_ChildProcessed_0_exec(self, parameters):
  868. print('From MacroStepPrepared/ChildProcessed to MicroStepProcessed... ')
  869. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_0_exec(self, parameters):
  870. print('From FSA/ParentPaused to FSA/ChildDetected... ')
  871. self.cbd_model = self.fsa_state.cbd
  872. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_0_guard(self, parameters):
  873. return isinstance(self.fsa_state, CBDState)
  874. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_1_exec(self, parameters):
  875. print('From ParentPaused to ChildNotDetected without any child to process... ')
  876. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ParentPaused_1_guard(self, parameters):
  877. return not isinstance(self.fsa_state, CBDState)
  878. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildNotDetected_0_exec(self, parameters):
  879. print('From ChildNotDetected to ChildProcessed... ')
  880. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildDetected_0_exec(self, parameters):
  881. print('From ChildDetected to ChildInitialized... ')
  882. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildDetected_0_guard(self, parameters):
  883. return self.woven_child_initialized
  884. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildInitialized_0_exec(self, parameters):
  885. print('From ChildInitialized to ChildProcessed... ')
  886. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0_exec(self, parameters):
  887. print('From CBD/MacroStepProcessed to Terminated... ')
  888. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0_guard(self, parameters):
  889. return self.cbd_endCondition()
  890. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1_exec(self, parameters):
  891. print('From CBD/MacroStepProcessed to MacroStepPrepared... ')
  892. self.cbd_currentCompIdx = 0
  893. self.cbd_depGraph = self.cbd_controller.createDepGraph(self.cbd_iteration)
  894. self.cbd_strongComponentList = self.cbd_controller.createStrongComponents(self.cbd_depGraph, self.cbd_iteration)
  895. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1_guard(self, parameters):
  896. return not self.cbd_endCondition()
  897. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MacroStepPrepared_0_exec(self, parameters):
  898. print('From CBD/MacroStepPrepared to MicroStepProcessed... ')
  899. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0_exec(self, parameters):
  900. print('From CBD/MicroStepProcessed to MicroStepPrepared')
  901. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0_guard(self, parameters):
  902. return self.cbd_hasNextStrongComponent()
  903. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1_exec(self, parameters):
  904. print('From CBD/MicroStepProcessed to ChildPaused and detecting triggered transitions... ')
  905. self.woven_updateGlobalState()
  906. self.woven_lib.dumpGlobalState(self.woven_model, self.woven_global_state, self.fsa_clock / 1000.0, self.fsa_state)
  907. self.woven_triggered_when_transition = self.woven_getTriggeredWhenTransition()
  908. self.cbd_clock = self.cbd_clock + self.cbd_delta
  909. self.cbd_iteration = self.cbd_iteration + 1
  910. self.cbd_controller.advanceTimeStep()
  911. print('CBD clock: ' + str(self.cbd_clock / 1000.0))
  912. print('CBD iteration: ' + str(self.cbd_iteration))
  913. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1_guard(self, parameters):
  914. return not self.cbd_hasNextStrongComponent()
  915. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepPrepared_0_exec(self, parameters):
  916. print('From CBD/MicroStepPrepared to MicroStepProcessed...')
  917. self.cbd_computeBlock()
  918. self.cbd_currentCompIdx = self.cbd_currentCompIdx + 1
  919. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_0_exec(self, parameters):
  920. print('From ChildPaused to NoStateEventDetected... ')
  921. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_0_guard(self, parameters):
  922. return self.woven_triggered_when_transition == None
  923. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_1_exec(self, parameters):
  924. print('From ChildPaused to StateEventDetected... ')
  925. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildPaused_1_guard(self, parameters):
  926. return self.woven_triggered_when_transition != None
  927. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_NoStateEventDetected_0_exec(self, parameters):
  928. print('From NoStateEventDetected to ChildProcessed... ')
  929. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_StateEventDetected_0_exec(self, parameters):
  930. print('From StateEventDetected to ChildProcessed... ')
  931. if self.fsa_selectedTransition == None:
  932. self.fsa_selectedTransition = self.woven_triggered_when_transition
  933. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0_exec(self, parameters):
  934. print('From FSA/MicroStepProcessed/ChildProcessed to MicroStepPrepared... ')
  935. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0_guard(self, parameters):
  936. return self.fsa_selectedTransition != None
  937. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1_exec(self, parameters):
  938. print('From FSA/MicroStepProcessed/ChildProcessed to FSA/CheckTermination and advancing time... ')
  939. self.fsa_advanceTime()
  940. print('fsa_clock: %s' % (self.fsa_clock / 1000.0))
  941. print('fsa_elapsed: %s' % (self.fsa_elapsed / 1000.0))
  942. self.raiseInternalEvent(Event("small_step_done", None, []))
  943. self.raiseInternalEvent(Event("big_step_done", None, []))
  944. def _Main_SimulationFlow_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1_guard(self, parameters):
  945. return self.fsa_selectedTransition == None
  946. def _Main_SimulationFlow_FSA_DoSimulation_PreParentMicroStepPrepared_0_guard(self, parameters):
  947. return self.inState(["/Main/SimulationState/Running"])
  948. def _Main_SimulationFlow_FSA_DoSimulation_ParentMicroStepPrepared_0_exec(self, parameters):
  949. print('From FSA/MicroStepPrepared to ParentMicroStepProcessed and attempting to take transition... ')
  950. print('Transition to be taken: ' + str(self.fsa_selectedTransition))
  951. self.fsa_state = self.fsa_selectedTransition.target
  952. self.fsa_elapsed = 0
  953. self.fsa_processEvent(self.fsa_currentEvent)
  954. self.woven_lib.dumpDiscreteEvent(self.woven_model, self.fsa_clock / 1000.0, self.fsa_state, self.fsa_selectedTransition)
  955. self.woven_lib.dumpGlobalState(self.woven_model, self.woven_global_state, self.fsa_clock / 1000.0, self.fsa_state)
  956. print('New state: ' + str(self.fsa_state))
  957. print('Reading events:')
  958. self.fsa_currentEvent = self.fsa_getInputEventAt(self.fsa_clock / 1000.0)
  959. self.fsa_selectedTransition = self.woven_model.getTransitionFrom(self.fsa_state, self.fsa_currentEvent, self.fsa_elapsed /1000.0)
  960. print(self.fsa_currentEvent)
  961. print(self.fsa_selectedTransition)
  962. self.raiseInternalEvent(Event("small_step_done", None, []))
  963. def _Main_SimulationFlow_FSA_DoSimulation_ParentMicroStepProcessed_0_exec(self, parameters):
  964. print('From ParentMicroStepProcessed to ParentPaused and resetting the child... ')
  965. self.woven_child_initialized = False
  966. def _Main_SimulationFlow_ParentStarted_0_exec(self, parameters):
  967. print('From ParentStarted to FSA/Initialized... ')
  968. self.woven_initialize()
  969. def _Main_BreakpointManager_Listening_0_exec(self, parameters):
  970. name = parameters[0]
  971. function = parameters[1]
  972. enabled = parameters[2]
  973. disable_on_trigger = parameters[3]
  974. result = self.addBreakpoint(name, function, bool(enabled), bool(disable_on_trigger))
  975. self.big_step.outputEvent(Event("add_breakpoint_result", "user_output", [result]))
  976. def _Main_BreakpointManager_Listening_1_exec(self, parameters):
  977. name = parameters[0]
  978. result = self.delBreakpoint(name)
  979. self.big_step.outputEvent(Event("del_breakpoint_result", "user_output", [result]))
  980. def _Main_BreakpointManager_Listening_2_exec(self, parameters):
  981. name = parameters[0]
  982. result = self.toggleBreakpoint(name)
  983. self.big_step.outputEvent(Event("toggle_breakpoint_result", "user_output", [result]))
  984. def _Main_BreakpointManager_Listening_3_exec(self, parameters):
  985. self.big_step.outputEvent(Event("list_breakpoints_result", "user_output", [[bp.name for bp in self.breakpoints]]))
  986. def _Main_GodEventManager_Listening_0_exec(self, parameters):
  987. new_state = parameters[0]
  988. result = self.godEvent(new_state)
  989. self.big_step.outputEvent(Event("god_event_result", "user_output", [result]))
  990. self.big_step.outputEvent(Event("current_state", "user_output", [self.fsa_clock / 1000.0, self.fsa_state]))
  991. def _Main_GodEventManager_Listening_0_guard(self, parameters):
  992. new_state = parameters[0]
  993. return self.inState(["/Main/SimulationState/Paused"])
  994. def _Main_UserOutput_Waiting_0_exec(self, parameters):
  995. self.big_step.outputEvent(Event("terminated", "user_output", []))
  996. self.big_step.outputEvent(Event("current_state", "user_output", [self.fsa_clock / 1000.0, self.fsa_state]))
  997. def _Main_UserOutput_Waiting_1_exec(self, parameters):
  998. self.big_step.outputEvent(Event("paused", "user_output", []))
  999. self.big_step.outputEvent(Event("current_state", "user_output", [self.fsa_clock / 1000.0, self.fsa_state]))
  1000. def _Main_UserOutput_Waiting_2_exec(self, parameters):
  1001. self.big_step.outputEvent(Event("big_step_done", "user_output", []))
  1002. self.big_step.outputEvent(Event("current_state", "user_output", [self.fsa_clock / 1000.0, self.fsa_state]))
  1003. def _Main_UserOutput_Waiting_2_guard(self, parameters):
  1004. return self.inState(["/Main/SimulationState/Running/Realtime"]) or self.inState(["/Main/SimulationState/Running/BigStep"]) or self.inState(["/Main/SimulationState/Running/BigStepDone"])
  1005. def _Main_UserOutput_Waiting_3_exec(self, parameters):
  1006. self.big_step.outputEvent(Event("small_step_done", "user_output", []))
  1007. self.big_step.outputEvent(Event("current_state", "user_output", [self.fsa_clock / 1000.0, self.fsa_state]))
  1008. def _Main_UserOutput_Waiting_3_guard(self, parameters):
  1009. return self.inState(["/Main/SimulationState/Running/SmallStep"]) or self.inState(["/Main/SimulationState/Running/SmallStepDone"])
  1010. def _Main_UserOutput_Waiting_4_exec(self, parameters):
  1011. self.big_step.outputEvent(Event("breakpoint_triggered", "user_output", [self.triggered_bp]))
  1012. self.big_step.outputEvent(Event("current_state", "user_output", [self.fsa_clock / 1000.0, self.fsa_state]))
  1013. def initializeStatechart(self):
  1014. # enter default state
  1015. self.default_targets = self.states["/Main"].getEffectiveTargetStates()
  1016. RuntimeClassBase.initializeStatechart(self)
  1017. class ObjectManager(ObjectManagerBase):
  1018. def __init__(self, controller):
  1019. ObjectManagerBase.__init__(self, controller)
  1020. def instantiate(self, class_name, construct_params):
  1021. if class_name == "Woven_FSA_CBD_Simulator":
  1022. instance = Woven_FSA_CBD_Simulator(self.controller, construct_params[0], construct_params[1], construct_params[2])
  1023. instance.associations = {}
  1024. else:
  1025. raise Exception("Cannot instantiate class " + class_name)
  1026. return instance
  1027. class Controller(ThreadsControllerBase):
  1028. def __init__(self, cbd_options, model, fsa_events, keep_running = None, behind_schedule_callback = None):
  1029. if keep_running == None: keep_running = True
  1030. if behind_schedule_callback == None: behind_schedule_callback = None
  1031. ThreadsControllerBase.__init__(self, ObjectManager(self), keep_running, behind_schedule_callback)
  1032. self.addInputPort("user_input")
  1033. self.addOutputPort("user_output")
  1034. self.object_manager.createInstance("Woven_FSA_CBD_Simulator", [cbd_options, model, fsa_events])