sccd_no_ui.py 36 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655
  1. """
  2. Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
  3. Model author: Simon Van Mierlo
  4. Model name: Bouncing_Balls_Python_Version
  5. Model description:
  6. Bouncing Balls - no UI code.
  7. """
  8. from sccd.runtime.statecharts_core import *
  9. # package "Bouncing_Balls_Python_Version"
  10. class MainApp(RuntimeClassBase):
  11. def __init__(self, controller):
  12. RuntimeClassBase.__init__(self, controller)
  13. self.semantics.big_step_maximality = StatechartSemantics.TakeMany
  14. self.semantics.internal_event_lifeline = StatechartSemantics.Queue
  15. self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
  16. self.semantics.priority = StatechartSemantics.SourceParent
  17. self.semantics.concurrency = StatechartSemantics.Single
  18. # build Statechart structure
  19. self.build_statechart_structure()
  20. # call user defined constructor
  21. MainApp.user_defined_constructor(self)
  22. def user_defined_constructor(self):
  23. self.nr_of_windows = 0
  24. self.WINDOW_SIZE_W = 800
  25. self.WINDOW_SIZE_H = 600
  26. def user_defined_destructor(self):
  27. pass
  28. # builds Statechart structure
  29. def build_statechart_structure(self):
  30. # state <root>
  31. self.states[""] = State(0, "", self)
  32. # state /main
  33. self.states["/main"] = ParallelState(1, "/main", self)
  34. # state /main/main_behaviour
  35. self.states["/main/main_behaviour"] = State(2, "/main/main_behaviour", self)
  36. # state /main/main_behaviour/initializing
  37. self.states["/main/main_behaviour/initializing"] = State(3, "/main/main_behaviour/initializing", self)
  38. self.states["/main/main_behaviour/initializing"].setEnter(self._main_main_behaviour_initializing_enter)
  39. # state /main/main_behaviour/running
  40. self.states["/main/main_behaviour/running"] = State(4, "/main/main_behaviour/running", self)
  41. # state /main/creating_behaviour
  42. self.states["/main/creating_behaviour"] = State(5, "/main/creating_behaviour", self)
  43. # state /main/creating_behaviour/waiting
  44. self.states["/main/creating_behaviour/waiting"] = State(6, "/main/creating_behaviour/waiting", self)
  45. # state /main/creating_behaviour/creating
  46. self.states["/main/creating_behaviour/creating"] = State(7, "/main/creating_behaviour/creating", self)
  47. # state /main/deleting_behaviour
  48. self.states["/main/deleting_behaviour"] = State(8, "/main/deleting_behaviour", self)
  49. # state /main/deleting_behaviour/waiting
  50. self.states["/main/deleting_behaviour/waiting"] = State(9, "/main/deleting_behaviour/waiting", self)
  51. # state /main/deleting_behaviour/deleting
  52. self.states["/main/deleting_behaviour/deleting"] = State(10, "/main/deleting_behaviour/deleting", self)
  53. # state /stopped
  54. self.states["/stopped"] = State(11, "/stopped", self)
  55. self.states["/stopped"].setEnter(self._stopped_enter)
  56. # add children
  57. self.states[""].addChild(self.states["/main"])
  58. self.states[""].addChild(self.states["/stopped"])
  59. self.states["/main"].addChild(self.states["/main/main_behaviour"])
  60. self.states["/main"].addChild(self.states["/main/creating_behaviour"])
  61. self.states["/main"].addChild(self.states["/main/deleting_behaviour"])
  62. self.states["/main/main_behaviour"].addChild(self.states["/main/main_behaviour/initializing"])
  63. self.states["/main/main_behaviour"].addChild(self.states["/main/main_behaviour/running"])
  64. self.states["/main/creating_behaviour"].addChild(self.states["/main/creating_behaviour/waiting"])
  65. self.states["/main/creating_behaviour"].addChild(self.states["/main/creating_behaviour/creating"])
  66. self.states["/main/deleting_behaviour"].addChild(self.states["/main/deleting_behaviour/waiting"])
  67. self.states["/main/deleting_behaviour"].addChild(self.states["/main/deleting_behaviour/deleting"])
  68. self.states[""].fixTree()
  69. self.states[""].default_state = self.states["/main"]
  70. self.states["/main/main_behaviour"].default_state = self.states["/main/main_behaviour/initializing"]
  71. self.states["/main/creating_behaviour"].default_state = self.states["/main/creating_behaviour/waiting"]
  72. self.states["/main/deleting_behaviour"].default_state = self.states["/main/deleting_behaviour/waiting"]
  73. # transition /main/main_behaviour/initializing
  74. _main_main_behaviour_initializing_0 = Transition(self, self.states["/main/main_behaviour/initializing"], [self.states["/main/main_behaviour/running"]])
  75. _main_main_behaviour_initializing_0.setTrigger(None)
  76. self.states["/main/main_behaviour/initializing"].addTransition(_main_main_behaviour_initializing_0)
  77. # transition /main/main_behaviour/running
  78. _main_main_behaviour_running_0 = Transition(self, self.states["/main/main_behaviour/running"], [self.states["/main/main_behaviour/running"]])
  79. _main_main_behaviour_running_0.setAction(self._main_main_behaviour_running_0_exec)
  80. _main_main_behaviour_running_0.setTrigger(Event("window_created", None))
  81. self.states["/main/main_behaviour/running"].addTransition(_main_main_behaviour_running_0)
  82. _main_main_behaviour_running_1 = Transition(self, self.states["/main/main_behaviour/running"], [self.states["/main/main_behaviour/running"]])
  83. _main_main_behaviour_running_1.setAction(self._main_main_behaviour_running_1_exec)
  84. _main_main_behaviour_running_1.setTrigger(Event("window_deleted", None))
  85. _main_main_behaviour_running_1.setGuard(self._main_main_behaviour_running_1_guard)
  86. self.states["/main/main_behaviour/running"].addTransition(_main_main_behaviour_running_1)
  87. _main_main_behaviour_running_2 = Transition(self, self.states["/main/main_behaviour/running"], [self.states["/main/main_behaviour/running"]])
  88. _main_main_behaviour_running_2.setAction(self._main_main_behaviour_running_2_exec)
  89. _main_main_behaviour_running_2.setTrigger(Event("window_deleted", None))
  90. _main_main_behaviour_running_2.setGuard(self._main_main_behaviour_running_2_guard)
  91. self.states["/main/main_behaviour/running"].addTransition(_main_main_behaviour_running_2)
  92. # transition /main/creating_behaviour/waiting
  93. _main_creating_behaviour_waiting_0 = Transition(self, self.states["/main/creating_behaviour/waiting"], [self.states["/main/creating_behaviour/creating"]])
  94. _main_creating_behaviour_waiting_0.setAction(self._main_creating_behaviour_waiting_0_exec)
  95. _main_creating_behaviour_waiting_0.setTrigger(Event("create_window", None))
  96. self.states["/main/creating_behaviour/waiting"].addTransition(_main_creating_behaviour_waiting_0)
  97. # transition /main/creating_behaviour/creating
  98. _main_creating_behaviour_creating_0 = Transition(self, self.states["/main/creating_behaviour/creating"], [self.states["/main/creating_behaviour/waiting"]])
  99. _main_creating_behaviour_creating_0.setAction(self._main_creating_behaviour_creating_0_exec)
  100. _main_creating_behaviour_creating_0.setTrigger(Event("instance_created", None))
  101. self.states["/main/creating_behaviour/creating"].addTransition(_main_creating_behaviour_creating_0)
  102. # transition /main/deleting_behaviour/waiting
  103. _main_deleting_behaviour_waiting_0 = Transition(self, self.states["/main/deleting_behaviour/waiting"], [self.states["/main/deleting_behaviour/deleting"]])
  104. _main_deleting_behaviour_waiting_0.setAction(self._main_deleting_behaviour_waiting_0_exec)
  105. _main_deleting_behaviour_waiting_0.setTrigger(Event("delete_window", None))
  106. self.states["/main/deleting_behaviour/waiting"].addTransition(_main_deleting_behaviour_waiting_0)
  107. # transition /main/deleting_behaviour/deleting
  108. _main_deleting_behaviour_deleting_0 = Transition(self, self.states["/main/deleting_behaviour/deleting"], [self.states["/main/deleting_behaviour/waiting"]])
  109. _main_deleting_behaviour_deleting_0.setAction(self._main_deleting_behaviour_deleting_0_exec)
  110. _main_deleting_behaviour_deleting_0.setTrigger(Event("instance_deleted", None))
  111. self.states["/main/deleting_behaviour/deleting"].addTransition(_main_deleting_behaviour_deleting_0)
  112. # transition /main
  113. _main_0 = Transition(self, self.states["/main"], [self.states["/stopped"]])
  114. _main_0.setTrigger(Event("stop", None))
  115. self.states["/main"].addTransition(_main_0)
  116. def _main_main_behaviour_initializing_enter(self):
  117. self.raiseInternalEvent(Event("create_window", None, []))
  118. def _stopped_enter(self):
  119. self.big_step.outputEvent(Event("stop_ui", "ui_out", []))
  120. def _main_main_behaviour_running_0_exec(self, parameters):
  121. self.nr_of_windows += 1
  122. def _main_main_behaviour_running_1_exec(self, parameters):
  123. self.nr_of_windows -= 1
  124. def _main_main_behaviour_running_1_guard(self, parameters):
  125. return self.nr_of_windows > 1
  126. def _main_main_behaviour_running_2_exec(self, parameters):
  127. self.raiseInternalEvent(Event("stop", None, []))
  128. def _main_main_behaviour_running_2_guard(self, parameters):
  129. return self.nr_of_windows == 1
  130. def _main_creating_behaviour_waiting_0_exec(self, parameters):
  131. self.big_step.outputEventOM(Event("create_instance", None, [self, 'windows', 'Window', self.WINDOW_SIZE_H, self.WINDOW_SIZE_W]))
  132. def _main_creating_behaviour_creating_0_exec(self, parameters):
  133. association_name = parameters[0]
  134. self.big_step.outputEventOM(Event("start_instance", None, [self, association_name]))
  135. self.big_step.outputEventOM(Event("narrow_cast", None, [self, association_name, Event("set_association_name", None, [association_name])]))
  136. self.raiseInternalEvent(Event("window_created", None, []))
  137. def _main_deleting_behaviour_waiting_0_exec(self, parameters):
  138. association_name = parameters[0]
  139. self.big_step.outputEventOM(Event("delete_instance", None, [self, association_name]))
  140. def _main_deleting_behaviour_deleting_0_exec(self, parameters):
  141. self.raiseInternalEvent(Event("window_deleted", None, []))
  142. def initializeStatechart(self):
  143. # enter default state
  144. self.default_targets = self.states["/main"].getEffectiveTargetStates()
  145. RuntimeClassBase.initializeStatechart(self)
  146. class Window(RuntimeClassBase):
  147. def __init__(self, controller, height, width):
  148. RuntimeClassBase.__init__(self, controller)
  149. self.semantics.big_step_maximality = StatechartSemantics.TakeMany
  150. self.semantics.internal_event_lifeline = StatechartSemantics.Queue
  151. self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
  152. self.semantics.priority = StatechartSemantics.SourceParent
  153. self.semantics.concurrency = StatechartSemantics.Single
  154. # build Statechart structure
  155. self.build_statechart_structure()
  156. self.inports["window_ui_in"] = controller.addInputPort("window_ui_in", self)
  157. # call user defined constructor
  158. Window.user_defined_constructor(self, height, width)
  159. def user_defined_constructor(self, height, width):
  160. self.height = height
  161. self.width = width
  162. def user_defined_destructor(self):
  163. pass
  164. # builds Statechart structure
  165. def build_statechart_structure(self):
  166. # state <root>
  167. self.states[""] = State(0, "", self)
  168. # state /main
  169. self.states["/main"] = ParallelState(1, "/main", self)
  170. # state /main/main_behaviour
  171. self.states["/main/main_behaviour"] = State(2, "/main/main_behaviour", self)
  172. # state /main/main_behaviour/initializing
  173. self.states["/main/main_behaviour/initializing"] = State(3, "/main/main_behaviour/initializing", self)
  174. # state /main/main_behaviour/creating_button
  175. self.states["/main/main_behaviour/creating_button"] = State(4, "/main/main_behaviour/creating_button", self)
  176. # state /main/main_behaviour/running
  177. self.states["/main/main_behaviour/running"] = State(5, "/main/main_behaviour/running", self)
  178. # state /main/main_behaviour/creating_ball
  179. self.states["/main/main_behaviour/creating_ball"] = State(6, "/main/main_behaviour/creating_ball", self)
  180. # state /main/size_change_listener
  181. self.states["/main/size_change_listener"] = State(7, "/main/size_change_listener", self)
  182. # state /main/size_change_listener/listening
  183. self.states["/main/size_change_listener/listening"] = State(8, "/main/size_change_listener/listening", self)
  184. # state /stopped
  185. self.states["/stopped"] = State(9, "/stopped", self)
  186. self.states["/stopped"].setEnter(self._stopped_enter)
  187. # add children
  188. self.states[""].addChild(self.states["/main"])
  189. self.states[""].addChild(self.states["/stopped"])
  190. self.states["/main"].addChild(self.states["/main/main_behaviour"])
  191. self.states["/main"].addChild(self.states["/main/size_change_listener"])
  192. self.states["/main/main_behaviour"].addChild(self.states["/main/main_behaviour/initializing"])
  193. self.states["/main/main_behaviour"].addChild(self.states["/main/main_behaviour/creating_button"])
  194. self.states["/main/main_behaviour"].addChild(self.states["/main/main_behaviour/running"])
  195. self.states["/main/main_behaviour"].addChild(self.states["/main/main_behaviour/creating_ball"])
  196. self.states["/main/size_change_listener"].addChild(self.states["/main/size_change_listener/listening"])
  197. self.states[""].fixTree()
  198. self.states[""].default_state = self.states["/main"]
  199. self.states["/main/main_behaviour"].default_state = self.states["/main/main_behaviour/initializing"]
  200. self.states["/main/size_change_listener"].default_state = self.states["/main/size_change_listener/listening"]
  201. # transition /main/main_behaviour/initializing
  202. _main_main_behaviour_initializing_0 = Transition(self, self.states["/main/main_behaviour/initializing"], [self.states["/main/main_behaviour/creating_button"]])
  203. _main_main_behaviour_initializing_0.setAction(self._main_main_behaviour_initializing_0_exec)
  204. _main_main_behaviour_initializing_0.setTrigger(Event("set_association_name", None))
  205. self.states["/main/main_behaviour/initializing"].addTransition(_main_main_behaviour_initializing_0)
  206. # transition /main/main_behaviour/creating_button
  207. _main_main_behaviour_creating_button_0 = Transition(self, self.states["/main/main_behaviour/creating_button"], [self.states["/main/main_behaviour/running"]])
  208. _main_main_behaviour_creating_button_0.setAction(self._main_main_behaviour_creating_button_0_exec)
  209. _main_main_behaviour_creating_button_0.setTrigger(Event("instance_created", None))
  210. self.states["/main/main_behaviour/creating_button"].addTransition(_main_main_behaviour_creating_button_0)
  211. # transition /main/main_behaviour/running
  212. _main_main_behaviour_running_0 = Transition(self, self.states["/main/main_behaviour/running"], [self.states["/main/main_behaviour/running"]])
  213. _main_main_behaviour_running_0.setAction(self._main_main_behaviour_running_0_exec)
  214. _main_main_behaviour_running_0.setTrigger(Event("button_pressed", None))
  215. _main_main_behaviour_running_0.setGuard(self._main_main_behaviour_running_0_guard)
  216. self.states["/main/main_behaviour/running"].addTransition(_main_main_behaviour_running_0)
  217. _main_main_behaviour_running_1 = Transition(self, self.states["/main/main_behaviour/running"], [self.states["/main/main_behaviour/running"]])
  218. _main_main_behaviour_running_1.setAction(self._main_main_behaviour_running_1_exec)
  219. _main_main_behaviour_running_1.setTrigger(Event("close_window", "window_ui_in"))
  220. self.states["/main/main_behaviour/running"].addTransition(_main_main_behaviour_running_1)
  221. _main_main_behaviour_running_2 = Transition(self, self.states["/main/main_behaviour/running"], [self.states["/main/main_behaviour/creating_ball"]])
  222. _main_main_behaviour_running_2.setAction(self._main_main_behaviour_running_2_exec)
  223. _main_main_behaviour_running_2.setTrigger(Event("create_ball", "window_ui_in"))
  224. self.states["/main/main_behaviour/running"].addTransition(_main_main_behaviour_running_2)
  225. _main_main_behaviour_running_3 = Transition(self, self.states["/main/main_behaviour/running"], [self.states["/main/main_behaviour/running"]])
  226. _main_main_behaviour_running_3.setAction(self._main_main_behaviour_running_3_exec)
  227. _main_main_behaviour_running_3.setTrigger(Event("delete_ball", None))
  228. self.states["/main/main_behaviour/running"].addTransition(_main_main_behaviour_running_3)
  229. # transition /main/main_behaviour/creating_ball
  230. _main_main_behaviour_creating_ball_0 = Transition(self, self.states["/main/main_behaviour/creating_ball"], [self.states["/main/main_behaviour/running"]])
  231. _main_main_behaviour_creating_ball_0.setAction(self._main_main_behaviour_creating_ball_0_exec)
  232. _main_main_behaviour_creating_ball_0.setTrigger(Event("instance_created", None))
  233. self.states["/main/main_behaviour/creating_ball"].addTransition(_main_main_behaviour_creating_ball_0)
  234. # transition /main/size_change_listener/listening
  235. _main_size_change_listener_listening_0 = Transition(self, self.states["/main/size_change_listener/listening"], [self.states["/main/size_change_listener/listening"]])
  236. _main_size_change_listener_listening_0.setAction(self._main_size_change_listener_listening_0_exec)
  237. _main_size_change_listener_listening_0.setTrigger(Event("size_changed", "window_ui_in"))
  238. self.states["/main/size_change_listener/listening"].addTransition(_main_size_change_listener_listening_0)
  239. # transition /main
  240. _main_0 = Transition(self, self.states["/main"], [self.states["/stopped"]])
  241. _main_0.setAction(self._main_0_exec)
  242. _main_0.setTrigger(Event("stop", None))
  243. self.states["/main"].addTransition(_main_0)
  244. def _stopped_enter(self):
  245. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("delete_window", None, [self.association_name])]))
  246. def _main_0_exec(self, parameters):
  247. self.big_step.outputEventOM(Event("delete_instance", None, [self, 'buttons']))
  248. self.big_step.outputEventOM(Event("delete_instance", None, [self, 'balls']))
  249. def _main_main_behaviour_initializing_0_exec(self, parameters):
  250. association_name = parameters[0]
  251. self.association_name = association_name
  252. self.big_step.outputEventOM(Event("create_instance", None, [self, "buttons", "Button", 'create_window']))
  253. def _main_main_behaviour_creating_button_0_exec(self, parameters):
  254. association_name = parameters[0]
  255. self.big_step.outputEvent(Event("create_new_button", "window_ui_out", [self.association_name, association_name]))
  256. self.big_step.outputEventOM(Event("start_instance", None, [self, association_name]))
  257. def _main_main_behaviour_running_0_exec(self, parameters):
  258. event_name = parameters[0]
  259. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("create_window", None, [])]))
  260. def _main_main_behaviour_running_0_guard(self, parameters):
  261. event_name = parameters[0]
  262. return event_name == 'create_window'
  263. def _main_main_behaviour_running_1_exec(self, parameters):
  264. self.raiseInternalEvent(Event("stop", None, []))
  265. def _main_main_behaviour_running_2_exec(self, parameters):
  266. x = parameters[0]
  267. y = parameters[1]
  268. self.big_step.outputEventOM(Event("create_instance", None, [self, "balls", "Ball"]))
  269. def _main_main_behaviour_running_3_exec(self, parameters):
  270. association_name = parameters[0]
  271. self.big_step.outputEventOM(Event("delete_instance", None, [self, association_name]))
  272. self.big_step.outputEvent(Event("delete_ball", "window_ui_out", [self.association_name, association_name]))
  273. def _main_main_behaviour_creating_ball_0_exec(self, parameters):
  274. association_name = parameters[0]
  275. self.big_step.outputEvent(Event("create_new_ball", "window_ui_out", [self.association_name, association_name]))
  276. self.big_step.outputEventOM(Event("start_instance", None, [self, association_name]))
  277. self.big_step.outputEventOM(Event("narrow_cast", None, [self, association_name, Event("set_association_name", None, [association_name])]))
  278. def _main_size_change_listener_listening_0_exec(self, parameters):
  279. new_height = parameters[0]
  280. new_width = parameters[1]
  281. self.height = height
  282. self.width = width
  283. self.big_step.outputEventOM(Event("narrow_cast", None, [self, balls, Event("window_size_changed", None, [new_height, new_width])]))
  284. def initializeStatechart(self):
  285. # enter default state
  286. self.default_targets = self.states["/main"].getEffectiveTargetStates()
  287. RuntimeClassBase.initializeStatechart(self)
  288. class Button(RuntimeClassBase):
  289. def __init__(self, controller, event_name):
  290. RuntimeClassBase.__init__(self, controller)
  291. self.semantics.big_step_maximality = StatechartSemantics.TakeMany
  292. self.semantics.internal_event_lifeline = StatechartSemantics.Queue
  293. self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
  294. self.semantics.priority = StatechartSemantics.SourceParent
  295. self.semantics.concurrency = StatechartSemantics.Single
  296. # build Statechart structure
  297. self.build_statechart_structure()
  298. self.inports["button_ui_in"] = controller.addInputPort("button_ui_in", self)
  299. # call user defined constructor
  300. Button.user_defined_constructor(self, event_name)
  301. def user_defined_constructor(self, event_name):
  302. self.event_name = event_name
  303. def user_defined_destructor(self):
  304. pass
  305. # builds Statechart structure
  306. def build_statechart_structure(self):
  307. # state <root>
  308. self.states[""] = State(0, "", self)
  309. # state /initializing
  310. self.states["/initializing"] = State(1, "/initializing", self)
  311. self.states["/initializing"].setEnter(self._initializing_enter)
  312. # state /running
  313. self.states["/running"] = State(2, "/running", self)
  314. # add children
  315. self.states[""].addChild(self.states["/initializing"])
  316. self.states[""].addChild(self.states["/running"])
  317. self.states[""].fixTree()
  318. self.states[""].default_state = self.states["/initializing"]
  319. # transition /initializing
  320. _initializing_0 = Transition(self, self.states["/initializing"], [self.states["/running"]])
  321. _initializing_0.setTrigger(None)
  322. self.states["/initializing"].addTransition(_initializing_0)
  323. # transition /running
  324. _running_0 = Transition(self, self.states["/running"], [self.states["/running"]])
  325. _running_0.setAction(self._running_0_exec)
  326. _running_0.setTrigger(Event("clicked", "button_ui_in"))
  327. self.states["/running"].addTransition(_running_0)
  328. def _initializing_enter(self):
  329. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("button_created", None, [self])]))
  330. def _running_0_exec(self, parameters):
  331. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("button_pressed", None, [self.event_name])]))
  332. def initializeStatechart(self):
  333. # enter default state
  334. self.default_targets = self.states["/initializing"].getEffectiveTargetStates()
  335. RuntimeClassBase.initializeStatechart(self)
  336. class Ball(RuntimeClassBase):
  337. def __init__(self, controller, x, y, window_height, window_width):
  338. RuntimeClassBase.__init__(self, controller)
  339. self.semantics.big_step_maximality = StatechartSemantics.TakeMany
  340. self.semantics.internal_event_lifeline = StatechartSemantics.Queue
  341. self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
  342. self.semantics.priority = StatechartSemantics.SourceParent
  343. self.semantics.concurrency = StatechartSemantics.Single
  344. # build Statechart structure
  345. self.build_statechart_structure()
  346. self.inports["ball_ui_in"] = controller.addInputPort("ball_ui_in", self)
  347. self.inports["ball_ui_out"] = controller.addInputPort("ball_ui_out", self)
  348. # call user defined constructor
  349. Ball.user_defined_constructor(self, x, y, window_height, window_width)
  350. def user_defined_constructor(self, x, y, window_height, window_width):
  351. self.x = x
  352. self.y = y
  353. self.window_height = window_height
  354. self.window_width = window_width
  355. self.r = 20.0;
  356. self.vel = {'x': random.uniform(-5.0, 5.0), 'y': random.uniform(-5.0, 5.0)};
  357. self.smooth = 0.4 # value between 0 and 1
  358. def user_defined_destructor(self):
  359. pass
  360. # builds Statechart structure
  361. def build_statechart_structure(self):
  362. # state <root>
  363. self.states[""] = State(0, "", self)
  364. # state /main
  365. self.states["/main"] = ParallelState(1, "/main", self)
  366. # state /main/main_behaviour
  367. self.states["/main/main_behaviour"] = State(2, "/main/main_behaviour", self)
  368. # state /main/main_behaviour/initializing
  369. self.states["/main/main_behaviour/initializing"] = State(3, "/main/main_behaviour/initializing", self)
  370. # state /main/main_behaviour/bouncing
  371. self.states["/main/main_behaviour/bouncing"] = State(4, "/main/main_behaviour/bouncing", self)
  372. self.states["/main/main_behaviour/bouncing"].setEnter(self._main_main_behaviour_bouncing_enter)
  373. self.states["/main/main_behaviour/bouncing"].setExit(self._main_main_behaviour_bouncing_exit)
  374. # state /main/main_behaviour/dragging
  375. self.states["/main/main_behaviour/dragging"] = State(5, "/main/main_behaviour/dragging", self)
  376. # state /main/main_behaviour/selected
  377. self.states["/main/main_behaviour/selected"] = State(6, "/main/main_behaviour/selected", self)
  378. # state /main/size_change_listener
  379. self.states["/main/size_change_listener"] = State(7, "/main/size_change_listener", self)
  380. # state /main/size_change_listener/listening
  381. self.states["/main/size_change_listener/listening"] = State(8, "/main/size_change_listener/listening", self)
  382. # state /deleted
  383. self.states["/deleted"] = State(9, "/deleted", self)
  384. # add children
  385. self.states[""].addChild(self.states["/main"])
  386. self.states[""].addChild(self.states["/deleted"])
  387. self.states["/main"].addChild(self.states["/main/main_behaviour"])
  388. self.states["/main"].addChild(self.states["/main/size_change_listener"])
  389. self.states["/main/main_behaviour"].addChild(self.states["/main/main_behaviour/initializing"])
  390. self.states["/main/main_behaviour"].addChild(self.states["/main/main_behaviour/bouncing"])
  391. self.states["/main/main_behaviour"].addChild(self.states["/main/main_behaviour/dragging"])
  392. self.states["/main/main_behaviour"].addChild(self.states["/main/main_behaviour/selected"])
  393. self.states["/main/size_change_listener"].addChild(self.states["/main/size_change_listener/listening"])
  394. self.states[""].fixTree()
  395. self.states[""].default_state = self.states["/main"]
  396. self.states["/main/main_behaviour"].default_state = self.states["/main/main_behaviour/initializing"]
  397. self.states["/main/size_change_listener"].default_state = self.states["/main/size_change_listener/listening"]
  398. # transition /main/main_behaviour/initializing
  399. _main_main_behaviour_initializing_0 = Transition(self, self.states["/main/main_behaviour/initializing"], [self.states["/main/main_behaviour/bouncing"]])
  400. _main_main_behaviour_initializing_0.setAction(self._main_main_behaviour_initializing_0_exec)
  401. _main_main_behaviour_initializing_0.setTrigger(Event("set_association_name", None))
  402. self.states["/main/main_behaviour/initializing"].addTransition(_main_main_behaviour_initializing_0)
  403. # transition /main/main_behaviour/bouncing
  404. _main_main_behaviour_bouncing_0 = Transition(self, self.states["/main/main_behaviour/bouncing"], [self.states["/main/main_behaviour/bouncing"]])
  405. _main_main_behaviour_bouncing_0.setAction(self._main_main_behaviour_bouncing_0_exec)
  406. _main_main_behaviour_bouncing_0.setTrigger(Event("_0after"))
  407. self.states["/main/main_behaviour/bouncing"].addTransition(_main_main_behaviour_bouncing_0)
  408. _main_main_behaviour_bouncing_1 = Transition(self, self.states["/main/main_behaviour/bouncing"], [self.states["/main/main_behaviour/selected"]])
  409. _main_main_behaviour_bouncing_1.setAction(self._main_main_behaviour_bouncing_1_exec)
  410. _main_main_behaviour_bouncing_1.setTrigger(Event("select_ball", "ball_ui_in"))
  411. self.states["/main/main_behaviour/bouncing"].addTransition(_main_main_behaviour_bouncing_1)
  412. # transition /main/main_behaviour/dragging
  413. _main_main_behaviour_dragging_0 = Transition(self, self.states["/main/main_behaviour/dragging"], [self.states["/main/main_behaviour/dragging"]])
  414. _main_main_behaviour_dragging_0.setAction(self._main_main_behaviour_dragging_0_exec)
  415. _main_main_behaviour_dragging_0.setTrigger(Event("motion", "ball_ui_in"))
  416. self.states["/main/main_behaviour/dragging"].addTransition(_main_main_behaviour_dragging_0)
  417. _main_main_behaviour_dragging_1 = Transition(self, self.states["/main/main_behaviour/dragging"], [self.states["/main/main_behaviour/bouncing"]])
  418. _main_main_behaviour_dragging_1.setAction(self._main_main_behaviour_dragging_1_exec)
  419. _main_main_behaviour_dragging_1.setTrigger(Event("left-release", "input"))
  420. self.states["/main/main_behaviour/dragging"].addTransition(_main_main_behaviour_dragging_1)
  421. # transition /main/main_behaviour/selected
  422. _main_main_behaviour_selected_0 = Transition(self, self.states["/main/main_behaviour/selected"], [self.states["/main/main_behaviour/dragging"]])
  423. _main_main_behaviour_selected_0.setTrigger(Event("clicked", "ball_ui_in"))
  424. self.states["/main/main_behaviour/selected"].addTransition(_main_main_behaviour_selected_0)
  425. _main_main_behaviour_selected_1 = Transition(self, self.states["/main/main_behaviour/selected"], [self.states["/main/main_behaviour/selected"]])
  426. _main_main_behaviour_selected_1.setAction(self._main_main_behaviour_selected_1_exec)
  427. _main_main_behaviour_selected_1.setTrigger(Event("delete", "ball_ui_in"))
  428. self.states["/main/main_behaviour/selected"].addTransition(_main_main_behaviour_selected_1)
  429. # transition /main/size_change_listener/listening
  430. _main_size_change_listener_listening_0 = Transition(self, self.states["/main/size_change_listener/listening"], [self.states["/main/size_change_listener/listening"]])
  431. _main_size_change_listener_listening_0.setAction(self._main_size_change_listener_listening_0_exec)
  432. _main_size_change_listener_listening_0.setTrigger(Event("window_size_changed", None))
  433. self.states["/main/size_change_listener/listening"].addTransition(_main_size_change_listener_listening_0)
  434. # transition /main
  435. _main_0 = Transition(self, self.states["/main"], [self.states["/deleted"]])
  436. _main_0.setTrigger(Event("delete_local", None))
  437. self.states["/main"].addTransition(_main_0)
  438. def _main_main_behaviour_bouncing_enter(self):
  439. self.addTimer(0, (20 - self.getSimulatedTime() % 20) / 1000.0)
  440. def _main_main_behaviour_bouncing_exit(self):
  441. self.removeTimer(0)
  442. def _main_main_behaviour_initializing_0_exec(self, parameters):
  443. association_name = parameters[0]
  444. self.association_name = association_name
  445. def _main_main_behaviour_bouncing_0_exec(self, parameters):
  446. if x <= 0 or x + (self.r * 2) >= self.window_width:
  447. self.vel['x'] = -self.vel['x']
  448. if y <= 0 or y + (self.r * 2) >= self.window_height:
  449. self.vel['y'] = -self.vel['y']
  450. self.x += self.vel['x']
  451. self.y += self.vel['y']
  452. self.big_step.outputEvent(Event("change_position", "ball_ui_out", [self.x, self.y]))
  453. def _main_main_behaviour_bouncing_1_exec(self, parameters):
  454. self.big_step.outputEvent(Event("change_color", "ball_ui_out", [yellow]))
  455. def _main_main_behaviour_dragging_0_exec(self, parameters):
  456. dx = parameters[0]
  457. dy = parameters[1]
  458. self.x += dx
  459. self.y += dy
  460. if self.x - self.r <= 0:
  461. self.x = 1;
  462. elif self.x + self.r >= self.window_width:
  463. self.x = self.window_width - (2 * self.r) - 1
  464. if self.y - self.r <= 0:
  465. self.y = 1
  466. elif self.y + self.r >= self.window_height:
  467. self.y = self.window_height - (2 * self.r) - 1;
  468. self.vel = {
  469. 'x': (1 - self.smooth) * dx + self.smooth * self.vel['x'],
  470. 'y': (1 - self.smooth) * dy + self.smooth * self.vel['y']
  471. }
  472. self.big_step.outputEvent(Event("change_position", "ball_ui_out", [self.x, self.y]))
  473. def _main_main_behaviour_dragging_1_exec(self, parameters):
  474. tagorid = parameters[0]
  475. self.canvas.itemconfig(self.id, fill="red")
  476. def _main_main_behaviour_selected_1_exec(self, parameters):
  477. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("delete_ball", None, [self.association_name])]))
  478. self.raiseInternalEvent(Event("delete_local", None, []))
  479. def _main_size_change_listener_listening_0_exec(self, parameters):
  480. new_height = parameters[0]
  481. new_width = parameters[1]
  482. self.window_height = new_height
  483. self.window_width = new_width
  484. def initializeStatechart(self):
  485. # enter default state
  486. self.default_targets = self.states["/main"].getEffectiveTargetStates()
  487. RuntimeClassBase.initializeStatechart(self)
  488. class ObjectManager(ObjectManagerBase):
  489. def __init__(self, controller):
  490. ObjectManagerBase.__init__(self, controller)
  491. def instantiate(self, class_name, construct_params):
  492. if class_name == "MainApp":
  493. instance = MainApp(self.controller)
  494. instance.associations = {}
  495. instance.associations["windows"] = Association("Window", 0, -1)
  496. elif class_name == "Window":
  497. instance = Window(self.controller, construct_params[0], construct_params[1])
  498. instance.associations = {}
  499. instance.associations["balls"] = Association("Ball", 0, -1)
  500. instance.associations["buttons"] = Association("Button", 0, -1)
  501. instance.associations["parent"] = Association("MainApp", 1, 1)
  502. elif class_name == "Button":
  503. instance = Button(self.controller, construct_params[0])
  504. instance.associations = {}
  505. instance.associations["parent"] = Association("Field", 1, 1)
  506. elif class_name == "Ball":
  507. instance = Ball(self.controller, construct_params[0], construct_params[1], construct_params[2], construct_params[3])
  508. instance.associations = {}
  509. instance.associations["parent"] = Association("Window", 1, 1)
  510. else:
  511. raise Exception("Cannot instantiate class " + class_name)
  512. return instance
  513. class Controller(EventLoopControllerBase):
  514. def __init__(self, event_loop_callbacks, finished_callback = None, behind_schedule_callback = None):
  515. if finished_callback == None: finished_callback = None
  516. if behind_schedule_callback == None: behind_schedule_callback = None
  517. EventLoopControllerBase.__init__(self, ObjectManager(self), event_loop_callbacks, finished_callback, behind_schedule_callback)
  518. self.addInputPort("ui_in")
  519. self.addOutputPort("ui_out")
  520. self.object_manager.createInstance("MainApp", [])