target_performance.py 42 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774
  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 Aug 09 09:51:00 2016
  4. Model author: Simon Van Mierlo+Raphael Mannadiar
  5. Model name: Bouncing_Balls_Python_Version
  6. Model description:
  7. Tkinter frame with bouncing balls in it.
  8. """
  9. from sccd.runtime.statecharts_core import *
  10. from sccd.runtime.libs.ui import ui
  11. from sccd.runtime.libs.utils import utils
  12. import random
  13. # package "Bouncing_Balls_Python_Version"
  14. class MainApp(RuntimeClassBase):
  15. def __init__(self, controller):
  16. RuntimeClassBase.__init__(self, controller)
  17. self.semantics.big_step_maximality = StatechartSemantics.TakeMany
  18. self.semantics.internal_event_lifeline = StatechartSemantics.Queue
  19. self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
  20. self.semantics.priority = StatechartSemantics.SourceParent
  21. self.semantics.concurrency = StatechartSemantics.Single
  22. # build Statechart structure
  23. self.build_statechart_structure()
  24. # call user defined constructor
  25. MainApp.user_defined_constructor(self)
  26. def user_defined_constructor(self):
  27. self.nr_of_fields = 0
  28. def user_defined_destructor(self):
  29. pass
  30. # builds Statechart structure
  31. def build_statechart_structure(self):
  32. # state <root>
  33. self.states[""] = State(0, self)
  34. # state /running
  35. self.states["/running"] = State(1, self)
  36. # state /running/root
  37. self.states["/running/root"] = ParallelState(2, self)
  38. # state /running/root/main_behaviour
  39. self.states["/running/root/main_behaviour"] = State(3, self)
  40. # state /running/root/main_behaviour/initializing
  41. self.states["/running/root/main_behaviour/initializing"] = State(4, self)
  42. # state /running/root/main_behaviour/running
  43. self.states["/running/root/main_behaviour/running"] = State(5, self)
  44. # state /running/root/cd_behaviour
  45. self.states["/running/root/cd_behaviour"] = State(6, self)
  46. # state /running/root/cd_behaviour/waiting
  47. self.states["/running/root/cd_behaviour/waiting"] = State(7, self)
  48. # state /running/root/cd_behaviour/creating
  49. self.states["/running/root/cd_behaviour/creating"] = State(8, self)
  50. # state /running/root/cd_behaviour/check_nr_of_fields
  51. self.states["/running/root/cd_behaviour/check_nr_of_fields"] = State(9, self)
  52. self.states["/running/root/cd_behaviour/check_nr_of_fields"].setEnter(self._running_root_cd_behaviour_check_nr_of_fields_enter)
  53. self.states["/running/root/cd_behaviour/check_nr_of_fields"].setExit(self._running_root_cd_behaviour_check_nr_of_fields_exit)
  54. # state /running/root/spawn_windows
  55. self.states["/running/root/spawn_windows"] = State(10, self)
  56. # state /running/root/spawn_windows/spawning
  57. self.states["/running/root/spawn_windows/spawning"] = State(11, self)
  58. self.states["/running/root/spawn_windows/spawning"].setEnter(self._running_root_spawn_windows_spawning_enter)
  59. self.states["/running/root/spawn_windows/spawning"].setExit(self._running_root_spawn_windows_spawning_exit)
  60. # state /running/stopped
  61. self.states["/running/stopped"] = State(12, self)
  62. # add children
  63. self.states[""].addChild(self.states["/running"])
  64. self.states["/running"].addChild(self.states["/running/root"])
  65. self.states["/running"].addChild(self.states["/running/stopped"])
  66. self.states["/running/root"].addChild(self.states["/running/root/main_behaviour"])
  67. self.states["/running/root"].addChild(self.states["/running/root/cd_behaviour"])
  68. self.states["/running/root"].addChild(self.states["/running/root/spawn_windows"])
  69. self.states["/running/root/main_behaviour"].addChild(self.states["/running/root/main_behaviour/initializing"])
  70. self.states["/running/root/main_behaviour"].addChild(self.states["/running/root/main_behaviour/running"])
  71. self.states["/running/root/cd_behaviour"].addChild(self.states["/running/root/cd_behaviour/waiting"])
  72. self.states["/running/root/cd_behaviour"].addChild(self.states["/running/root/cd_behaviour/creating"])
  73. self.states["/running/root/cd_behaviour"].addChild(self.states["/running/root/cd_behaviour/check_nr_of_fields"])
  74. self.states["/running/root/spawn_windows"].addChild(self.states["/running/root/spawn_windows/spawning"])
  75. self.states[""].fixTree()
  76. self.states[""].default_state = self.states["/running"]
  77. self.states["/running"].default_state = self.states["/running/root"]
  78. self.states["/running/root/main_behaviour"].default_state = self.states["/running/root/main_behaviour/initializing"]
  79. self.states["/running/root/cd_behaviour"].default_state = self.states["/running/root/cd_behaviour/waiting"]
  80. self.states["/running/root/spawn_windows"].default_state = self.states["/running/root/spawn_windows/spawning"]
  81. # transition /running/root/main_behaviour/initializing
  82. _running_root_main_behaviour_initializing_0 = Transition(self, self.states["/running/root/main_behaviour/initializing"], [self.states["/running/root/main_behaviour/running"]])
  83. _running_root_main_behaviour_initializing_0.setAction(self._running_root_main_behaviour_initializing_0_exec)
  84. _running_root_main_behaviour_initializing_0.setTrigger(None)
  85. self.states["/running/root/main_behaviour/initializing"].addTransition(_running_root_main_behaviour_initializing_0)
  86. # transition /running/root/main_behaviour/running
  87. _running_root_main_behaviour_running_0 = Transition(self, self.states["/running/root/main_behaviour/running"], [self.states["/running/root/main_behaviour/running"]])
  88. _running_root_main_behaviour_running_0.setAction(self._running_root_main_behaviour_running_0_exec)
  89. _running_root_main_behaviour_running_0.setTrigger(Event("button_pressed", None))
  90. _running_root_main_behaviour_running_0.setGuard(self._running_root_main_behaviour_running_0_guard)
  91. self.states["/running/root/main_behaviour/running"].addTransition(_running_root_main_behaviour_running_0)
  92. # transition /running/root/cd_behaviour/waiting
  93. _running_root_cd_behaviour_waiting_0 = Transition(self, self.states["/running/root/cd_behaviour/waiting"], [self.states["/running/root/cd_behaviour/creating"]])
  94. _running_root_cd_behaviour_waiting_0.setAction(self._running_root_cd_behaviour_waiting_0_exec)
  95. _running_root_cd_behaviour_waiting_0.setTrigger(Event("create_field", None))
  96. self.states["/running/root/cd_behaviour/waiting"].addTransition(_running_root_cd_behaviour_waiting_0)
  97. _running_root_cd_behaviour_waiting_1 = Transition(self, self.states["/running/root/cd_behaviour/waiting"], [self.states["/running/root/cd_behaviour/check_nr_of_fields"]])
  98. _running_root_cd_behaviour_waiting_1.setAction(self._running_root_cd_behaviour_waiting_1_exec)
  99. _running_root_cd_behaviour_waiting_1.setTrigger(Event("delete_field", None))
  100. self.states["/running/root/cd_behaviour/waiting"].addTransition(_running_root_cd_behaviour_waiting_1)
  101. # transition /running/root/cd_behaviour/creating
  102. _running_root_cd_behaviour_creating_0 = Transition(self, self.states["/running/root/cd_behaviour/creating"], [self.states["/running/root/cd_behaviour/waiting"]])
  103. _running_root_cd_behaviour_creating_0.setAction(self._running_root_cd_behaviour_creating_0_exec)
  104. _running_root_cd_behaviour_creating_0.setTrigger(Event("instance_created", None))
  105. self.states["/running/root/cd_behaviour/creating"].addTransition(_running_root_cd_behaviour_creating_0)
  106. # transition /running/root/cd_behaviour/check_nr_of_fields
  107. _running_root_cd_behaviour_check_nr_of_fields_0 = Transition(self, self.states["/running/root/cd_behaviour/check_nr_of_fields"], [self.states["/running/root/cd_behaviour/waiting"]])
  108. _running_root_cd_behaviour_check_nr_of_fields_0.setTrigger(None)
  109. _running_root_cd_behaviour_check_nr_of_fields_0.setGuard(self._running_root_cd_behaviour_check_nr_of_fields_0_guard)
  110. self.states["/running/root/cd_behaviour/check_nr_of_fields"].addTransition(_running_root_cd_behaviour_check_nr_of_fields_0)
  111. _running_root_cd_behaviour_check_nr_of_fields_1 = Transition(self, self.states["/running/root/cd_behaviour/check_nr_of_fields"], [self.states["/running/stopped"]])
  112. _running_root_cd_behaviour_check_nr_of_fields_1.setAction(self._running_root_cd_behaviour_check_nr_of_fields_1_exec)
  113. _running_root_cd_behaviour_check_nr_of_fields_1.setTrigger(Event("_0after"))
  114. _running_root_cd_behaviour_check_nr_of_fields_1.setGuard(self._running_root_cd_behaviour_check_nr_of_fields_1_guard)
  115. self.states["/running/root/cd_behaviour/check_nr_of_fields"].addTransition(_running_root_cd_behaviour_check_nr_of_fields_1)
  116. # transition /running/root/spawn_windows/spawning
  117. _running_root_spawn_windows_spawning_0 = Transition(self, self.states["/running/root/spawn_windows/spawning"], [self.states["/running/root/spawn_windows/spawning"]])
  118. _running_root_spawn_windows_spawning_0.setAction(self._running_root_spawn_windows_spawning_0_exec)
  119. _running_root_spawn_windows_spawning_0.setTrigger(Event("_1after"))
  120. _running_root_spawn_windows_spawning_0.setGuard(self._running_root_spawn_windows_spawning_0_guard)
  121. self.states["/running/root/spawn_windows/spawning"].addTransition(_running_root_spawn_windows_spawning_0)
  122. def _running_root_cd_behaviour_check_nr_of_fields_enter(self):
  123. self.addTimer(0, 0.05)
  124. def _running_root_cd_behaviour_check_nr_of_fields_exit(self):
  125. self.removeTimer(0)
  126. def _running_root_spawn_windows_spawning_enter(self):
  127. self.addTimer(1, (1000 - self.getSimulatedTime() % 1000) / 1000.0)
  128. def _running_root_spawn_windows_spawning_exit(self):
  129. self.removeTimer(1)
  130. def _running_root_main_behaviour_initializing_0_exec(self, parameters):
  131. self.raiseInternalEvent(Event("create_field", None, []))
  132. def _running_root_main_behaviour_running_0_exec(self, parameters):
  133. event_name = parameters[0]
  134. self.raiseInternalEvent(Event("create_field", None, []))
  135. def _running_root_main_behaviour_running_0_guard(self, parameters):
  136. event_name = parameters[0]
  137. return event_name == "create_new_field"
  138. def _running_root_cd_behaviour_waiting_0_exec(self, parameters):
  139. self.big_step.outputEventOM(Event("create_instance", None, [self, "fields"]))
  140. def _running_root_cd_behaviour_waiting_1_exec(self, parameters):
  141. association_name = parameters[0]
  142. self.big_step.outputEventOM(Event("delete_instance", None, [self, association_name]))
  143. self.nr_of_fields -= 1
  144. def _running_root_cd_behaviour_creating_0_exec(self, parameters):
  145. association_name = parameters[0]
  146. self.big_step.outputEventOM(Event("start_instance", None, [self, association_name]))
  147. self.big_step.outputEventOM(Event("narrow_cast", None, [self, association_name, Event("set_association_name", None, [association_name])]))
  148. self.nr_of_fields += 1
  149. def _running_root_cd_behaviour_check_nr_of_fields_0_guard(self, parameters):
  150. return self.nr_of_fields != 0
  151. def _running_root_cd_behaviour_check_nr_of_fields_1_exec(self, parameters):
  152. ui.close_window(ui.window)
  153. def _running_root_cd_behaviour_check_nr_of_fields_1_guard(self, parameters):
  154. return self.nr_of_fields == 0
  155. def _running_root_spawn_windows_spawning_0_exec(self, parameters):
  156. self.raiseInternalEvent(Event("button_pressed", None, ['create_new_field']))
  157. def _running_root_spawn_windows_spawning_0_guard(self, parameters):
  158. return self.nr_of_fields < 10
  159. def initializeStatechart(self):
  160. # enter default state
  161. self.default_targets = self.states["/running"].getEffectiveTargetStates()
  162. RuntimeClassBase.initializeStatechart(self)
  163. class Field(RuntimeClassBase):
  164. def __init__(self, controller):
  165. RuntimeClassBase.__init__(self, controller)
  166. self.semantics.big_step_maximality = StatechartSemantics.TakeMany
  167. self.semantics.internal_event_lifeline = StatechartSemantics.Queue
  168. self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
  169. self.semantics.priority = StatechartSemantics.SourceParent
  170. self.semantics.concurrency = StatechartSemantics.Single
  171. # build Statechart structure
  172. self.build_statechart_structure()
  173. self.inports["field_ui"] = controller.addInputPort("field_ui", self)
  174. # user defined attributes
  175. self.canvas = None
  176. self.field_window = None
  177. # call user defined constructor
  178. Field.user_defined_constructor(self)
  179. def user_defined_constructor(self):
  180. self.field_window = ui.new_window(400,450);
  181. self.canvas = ui.append_canvas(self.field_window,400,400,{'background':'#eee'});
  182. ui.bind_event(self.field_window, ui.EVENTS.WINDOW_CLOSE, self.controller, 'window_close', self.inports['field_ui']);
  183. ui.bind_event(self.field_window, ui.EVENTS.KEY_PRESS, self.controller, 'key_press', self.inports['field_ui']);
  184. ui.bind_event(self.canvas.element, ui.EVENTS.MOUSE_RIGHT_CLICK, self.controller, 'right_click', self.inports['field_ui']);
  185. ui.bind_event(self.canvas.element, ui.EVENTS.MOUSE_MOVE, self.controller, 'mouse_move', self.inports['field_ui']);
  186. ui.bind_event(self.canvas.element, ui.EVENTS.MOUSE_RELEASE, self.controller, 'mouse_release', self.inports['field_ui']);
  187. def user_defined_destructor(self):
  188. ui.close_window(self.field_window);
  189. # builds Statechart structure
  190. def build_statechart_structure(self):
  191. # state <root>
  192. self.states[""] = State(0, self)
  193. # state /root
  194. self.states["/root"] = State(1, self)
  195. # state /root/waiting
  196. self.states["/root/waiting"] = State(2, self)
  197. # state /root/initializing
  198. self.states["/root/initializing"] = State(3, self)
  199. # state /root/creating
  200. self.states["/root/creating"] = State(4, self)
  201. # state /root/packing
  202. self.states["/root/packing"] = State(5, self)
  203. # state /root/running
  204. self.states["/root/running"] = ParallelState(6, self)
  205. # state /root/running/main_behaviour
  206. self.states["/root/running/main_behaviour"] = State(7, self)
  207. # state /root/running/main_behaviour/running
  208. self.states["/root/running/main_behaviour/running"] = State(8, self)
  209. # state /root/running/main_behaviour/creating
  210. self.states["/root/running/main_behaviour/creating"] = State(9, self)
  211. # state /root/running/deleting_behaviour
  212. self.states["/root/running/deleting_behaviour"] = State(10, self)
  213. # state /root/running/deleting_behaviour/running
  214. self.states["/root/running/deleting_behaviour/running"] = State(11, self)
  215. # state /root/running/child_behaviour
  216. self.states["/root/running/child_behaviour"] = State(12, self)
  217. # state /root/running/child_behaviour/listening
  218. self.states["/root/running/child_behaviour/listening"] = State(13, self)
  219. # state /root/running/deleting_balls_behaviour
  220. self.states["/root/running/deleting_balls_behaviour"] = State(14, self)
  221. # state /root/running/deleting_balls_behaviour/listening
  222. self.states["/root/running/deleting_balls_behaviour/listening"] = State(15, self)
  223. # state /root/running/spawn_balls
  224. self.states["/root/running/spawn_balls"] = State(16, self)
  225. # state /root/running/spawn_balls/spawning
  226. self.states["/root/running/spawn_balls/spawning"] = State(17, self)
  227. self.states["/root/running/spawn_balls/spawning"].setEnter(self._root_running_spawn_balls_spawning_enter)
  228. self.states["/root/running/spawn_balls/spawning"].setExit(self._root_running_spawn_balls_spawning_exit)
  229. # state /root/deleting
  230. self.states["/root/deleting"] = State(18, self)
  231. # state /root/deleted
  232. self.states["/root/deleted"] = State(19, self)
  233. # add children
  234. self.states[""].addChild(self.states["/root"])
  235. self.states["/root"].addChild(self.states["/root/waiting"])
  236. self.states["/root"].addChild(self.states["/root/initializing"])
  237. self.states["/root"].addChild(self.states["/root/creating"])
  238. self.states["/root"].addChild(self.states["/root/packing"])
  239. self.states["/root"].addChild(self.states["/root/running"])
  240. self.states["/root"].addChild(self.states["/root/deleting"])
  241. self.states["/root"].addChild(self.states["/root/deleted"])
  242. self.states["/root/running"].addChild(self.states["/root/running/main_behaviour"])
  243. self.states["/root/running"].addChild(self.states["/root/running/deleting_behaviour"])
  244. self.states["/root/running"].addChild(self.states["/root/running/child_behaviour"])
  245. self.states["/root/running"].addChild(self.states["/root/running/deleting_balls_behaviour"])
  246. self.states["/root/running"].addChild(self.states["/root/running/spawn_balls"])
  247. self.states["/root/running/main_behaviour"].addChild(self.states["/root/running/main_behaviour/running"])
  248. self.states["/root/running/main_behaviour"].addChild(self.states["/root/running/main_behaviour/creating"])
  249. self.states["/root/running/deleting_behaviour"].addChild(self.states["/root/running/deleting_behaviour/running"])
  250. self.states["/root/running/child_behaviour"].addChild(self.states["/root/running/child_behaviour/listening"])
  251. self.states["/root/running/deleting_balls_behaviour"].addChild(self.states["/root/running/deleting_balls_behaviour/listening"])
  252. self.states["/root/running/spawn_balls"].addChild(self.states["/root/running/spawn_balls/spawning"])
  253. self.states[""].fixTree()
  254. self.states[""].default_state = self.states["/root"]
  255. self.states["/root"].default_state = self.states["/root/waiting"]
  256. self.states["/root/running/main_behaviour"].default_state = self.states["/root/running/main_behaviour/running"]
  257. self.states["/root/running/deleting_behaviour"].default_state = self.states["/root/running/deleting_behaviour/running"]
  258. self.states["/root/running/child_behaviour"].default_state = self.states["/root/running/child_behaviour/listening"]
  259. self.states["/root/running/deleting_balls_behaviour"].default_state = self.states["/root/running/deleting_balls_behaviour/listening"]
  260. self.states["/root/running/spawn_balls"].default_state = self.states["/root/running/spawn_balls/spawning"]
  261. # transition /root/waiting
  262. _root_waiting_0 = Transition(self, self.states["/root/waiting"], [self.states["/root/initializing"]])
  263. _root_waiting_0.setAction(self._root_waiting_0_exec)
  264. _root_waiting_0.setTrigger(Event("set_association_name", None))
  265. self.states["/root/waiting"].addTransition(_root_waiting_0)
  266. # transition /root/initializing
  267. _root_initializing_0 = Transition(self, self.states["/root/initializing"], [self.states["/root/creating"]])
  268. _root_initializing_0.setAction(self._root_initializing_0_exec)
  269. _root_initializing_0.setTrigger(None)
  270. self.states["/root/initializing"].addTransition(_root_initializing_0)
  271. # transition /root/creating
  272. _root_creating_0 = Transition(self, self.states["/root/creating"], [self.states["/root/packing"]])
  273. _root_creating_0.setAction(self._root_creating_0_exec)
  274. _root_creating_0.setTrigger(Event("instance_created", None))
  275. self.states["/root/creating"].addTransition(_root_creating_0)
  276. # transition /root/packing
  277. _root_packing_0 = Transition(self, self.states["/root/packing"], [self.states["/root/running"]])
  278. _root_packing_0.setTrigger(Event("button_created", None))
  279. self.states["/root/packing"].addTransition(_root_packing_0)
  280. # transition /root/running/main_behaviour/running
  281. _root_running_main_behaviour_running_0 = Transition(self, self.states["/root/running/main_behaviour/running"], [self.states["/root/running/main_behaviour/creating"]])
  282. _root_running_main_behaviour_running_0.setAction(self._root_running_main_behaviour_running_0_exec)
  283. _root_running_main_behaviour_running_0.setTrigger(Event("right_click", None))
  284. self.states["/root/running/main_behaviour/running"].addTransition(_root_running_main_behaviour_running_0)
  285. # transition /root/running/main_behaviour/creating
  286. _root_running_main_behaviour_creating_0 = Transition(self, self.states["/root/running/main_behaviour/creating"], [self.states["/root/running/main_behaviour/running"]])
  287. _root_running_main_behaviour_creating_0.setAction(self._root_running_main_behaviour_creating_0_exec)
  288. _root_running_main_behaviour_creating_0.setTrigger(Event("instance_created", None))
  289. self.states["/root/running/main_behaviour/creating"].addTransition(_root_running_main_behaviour_creating_0)
  290. # transition /root/running/deleting_behaviour/running
  291. _root_running_deleting_behaviour_running_0 = Transition(self, self.states["/root/running/deleting_behaviour/running"], [self.states["/root/running/deleting_behaviour/running"]])
  292. _root_running_deleting_behaviour_running_0.setAction(self._root_running_deleting_behaviour_running_0_exec)
  293. _root_running_deleting_behaviour_running_0.setTrigger(Event("delete_ball", None))
  294. self.states["/root/running/deleting_behaviour/running"].addTransition(_root_running_deleting_behaviour_running_0)
  295. # transition /root/running/child_behaviour/listening
  296. _root_running_child_behaviour_listening_0 = Transition(self, self.states["/root/running/child_behaviour/listening"], [self.states["/root/running/child_behaviour/listening"]])
  297. _root_running_child_behaviour_listening_0.setAction(self._root_running_child_behaviour_listening_0_exec)
  298. _root_running_child_behaviour_listening_0.setTrigger(Event("button_pressed", None))
  299. self.states["/root/running/child_behaviour/listening"].addTransition(_root_running_child_behaviour_listening_0)
  300. # transition /root/running/deleting_balls_behaviour/listening
  301. _root_running_deleting_balls_behaviour_listening_0 = Transition(self, self.states["/root/running/deleting_balls_behaviour/listening"], [self.states["/root/running/deleting_balls_behaviour/listening"]])
  302. _root_running_deleting_balls_behaviour_listening_0.setAction(self._root_running_deleting_balls_behaviour_listening_0_exec)
  303. _root_running_deleting_balls_behaviour_listening_0.setTrigger(Event("key_press", "field_ui"))
  304. _root_running_deleting_balls_behaviour_listening_0.setGuard(self._root_running_deleting_balls_behaviour_listening_0_guard)
  305. self.states["/root/running/deleting_balls_behaviour/listening"].addTransition(_root_running_deleting_balls_behaviour_listening_0)
  306. # transition /root/running/spawn_balls/spawning
  307. _root_running_spawn_balls_spawning_0 = Transition(self, self.states["/root/running/spawn_balls/spawning"], [self.states["/root/running/spawn_balls/spawning"]])
  308. _root_running_spawn_balls_spawning_0.setAction(self._root_running_spawn_balls_spawning_0_exec)
  309. _root_running_spawn_balls_spawning_0.setTrigger(Event("_0after"))
  310. self.states["/root/running/spawn_balls/spawning"].addTransition(_root_running_spawn_balls_spawning_0)
  311. # transition /root/deleting
  312. _root_deleting_0 = Transition(self, self.states["/root/deleting"], [self.states["/root/deleted"]])
  313. _root_deleting_0.setAction(self._root_deleting_0_exec)
  314. _root_deleting_0.setTrigger(None)
  315. self.states["/root/deleting"].addTransition(_root_deleting_0)
  316. # transition /root/running
  317. _root_running_0 = Transition(self, self.states["/root/running"], [self.states["/root/deleting"]])
  318. _root_running_0.setAction(self._root_running_0_exec)
  319. _root_running_0.setTrigger(Event("window_close", "field_ui"))
  320. self.states["/root/running"].addTransition(_root_running_0)
  321. def _root_running_spawn_balls_spawning_enter(self):
  322. self.addTimer(0, (50 - self.getSimulatedTime() % 50) / 1000.0)
  323. def _root_running_spawn_balls_spawning_exit(self):
  324. self.removeTimer(0)
  325. def _root_running_0_exec(self, parameters):
  326. self.big_step.outputEventOM(Event("delete_instance", None, [self, "buttons"]))
  327. self.big_step.outputEventOM(Event("delete_instance", None, [self, "balls"]))
  328. def _root_waiting_0_exec(self, parameters):
  329. association_name = parameters[0]
  330. self.association_name = association_name
  331. def _root_initializing_0_exec(self, parameters):
  332. self.big_step.outputEventOM(Event("create_instance", None, [self, "buttons", "Button", self, 'create_new_field', 'Spawn New Window']))
  333. def _root_creating_0_exec(self, parameters):
  334. association_name = parameters[0]
  335. self.big_step.outputEventOM(Event("start_instance", None, [self, association_name]))
  336. def _root_running_main_behaviour_running_0_exec(self, parameters):
  337. x = parameters[0]
  338. y = parameters[1]
  339. button = parameters[2]
  340. self.big_step.outputEventOM(Event("create_instance", None, [self, "balls", "Ball", self.canvas, x, y]))
  341. def _root_running_main_behaviour_creating_0_exec(self, parameters):
  342. association_name = parameters[0]
  343. self.big_step.outputEventOM(Event("start_instance", None, [self, association_name]))
  344. self.big_step.outputEventOM(Event("narrow_cast", None, [self, association_name, Event("set_association_name", None, [association_name])]))
  345. def _root_running_deleting_behaviour_running_0_exec(self, parameters):
  346. association_name = parameters[0]
  347. self.big_step.outputEventOM(Event("delete_instance", None, [self, association_name]))
  348. def _root_running_child_behaviour_listening_0_exec(self, parameters):
  349. event_name = parameters[0]
  350. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("button_pressed", None, [event_name])]))
  351. def _root_running_deleting_balls_behaviour_listening_0_exec(self, parameters):
  352. key = parameters[0]
  353. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'balls', Event("delete_self", None, [])]))
  354. def _root_running_deleting_balls_behaviour_listening_0_guard(self, parameters):
  355. key = parameters[0]
  356. return key == ui.KEYCODES.DELETE
  357. def _root_running_spawn_balls_spawning_0_exec(self, parameters):
  358. self.raiseInternalEvent(Event("right_click", None, [150, 150, None]))
  359. def _root_deleting_0_exec(self, parameters):
  360. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("delete_field", None, [self.association_name])]))
  361. def initializeStatechart(self):
  362. # enter default state
  363. self.default_targets = self.states["/root"].getEffectiveTargetStates()
  364. RuntimeClassBase.initializeStatechart(self)
  365. class Button(RuntimeClassBase):
  366. def __init__(self, controller, parent, event_name, button_text):
  367. RuntimeClassBase.__init__(self, controller)
  368. self.semantics.big_step_maximality = StatechartSemantics.TakeMany
  369. self.semantics.internal_event_lifeline = StatechartSemantics.Queue
  370. self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
  371. self.semantics.priority = StatechartSemantics.SourceParent
  372. self.semantics.concurrency = StatechartSemantics.Single
  373. # build Statechart structure
  374. self.build_statechart_structure()
  375. self.inports["button_ui"] = controller.addInputPort("button_ui", self)
  376. # call user defined constructor
  377. Button.user_defined_constructor(self, parent, event_name, button_text)
  378. def user_defined_constructor(self, parent, event_name, button_text):
  379. self.event_name = event_name;
  380. button = ui.append_button(parent.field_window, event_name);
  381. ui.bind_event(button.element, ui.EVENTS.MOUSE_CLICK, self.controller, 'mouse_click', self.inports['button_ui']);
  382. def user_defined_destructor(self):
  383. pass
  384. # builds Statechart structure
  385. def build_statechart_structure(self):
  386. # state <root>
  387. self.states[""] = State(0, self)
  388. # state /initializing
  389. self.states["/initializing"] = State(1, self)
  390. # state /running
  391. self.states["/running"] = State(2, self)
  392. # add children
  393. self.states[""].addChild(self.states["/initializing"])
  394. self.states[""].addChild(self.states["/running"])
  395. self.states[""].fixTree()
  396. self.states[""].default_state = self.states["/initializing"]
  397. # transition /initializing
  398. _initializing_0 = Transition(self, self.states["/initializing"], [self.states["/running"]])
  399. _initializing_0.setAction(self._initializing_0_exec)
  400. _initializing_0.setTrigger(None)
  401. self.states["/initializing"].addTransition(_initializing_0)
  402. # transition /running
  403. _running_0 = Transition(self, self.states["/running"], [self.states["/running"]])
  404. _running_0.setAction(self._running_0_exec)
  405. _running_0.setTrigger(Event("mouse_click", "button_ui"))
  406. _running_0.setGuard(self._running_0_guard)
  407. self.states["/running"].addTransition(_running_0)
  408. def _initializing_0_exec(self, parameters):
  409. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("button_created", None, [])]))
  410. def _running_0_exec(self, parameters):
  411. x = parameters[0]
  412. y = parameters[1]
  413. button = parameters[2]
  414. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("button_pressed", None, [self.event_name])]))
  415. def _running_0_guard(self, parameters):
  416. x = parameters[0]
  417. y = parameters[1]
  418. button = parameters[2]
  419. return button == ui.MOUSE_BUTTONS.LEFT
  420. def initializeStatechart(self):
  421. # enter default state
  422. self.default_targets = self.states["/initializing"].getEffectiveTargetStates()
  423. RuntimeClassBase.initializeStatechart(self)
  424. class Ball(RuntimeClassBase):
  425. def __init__(self, controller, canvas, x, y):
  426. RuntimeClassBase.__init__(self, controller)
  427. self.semantics.big_step_maximality = StatechartSemantics.TakeMany
  428. self.semantics.internal_event_lifeline = StatechartSemantics.Queue
  429. self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
  430. self.semantics.priority = StatechartSemantics.SourceParent
  431. self.semantics.concurrency = StatechartSemantics.Single
  432. # build Statechart structure
  433. self.build_statechart_structure()
  434. self.inports["ball_ui"] = controller.addInputPort("ball_ui", self)
  435. # user defined attributes
  436. self.canvas = None
  437. # call user defined constructor
  438. Ball.user_defined_constructor(self, canvas, x, y)
  439. def user_defined_constructor(self, canvas, x, y):
  440. self.canvas = canvas;
  441. self.r = 20.0;
  442. self.vel = {'x': random.uniform(-5.0, 5.0), 'y': random.uniform(-5.0, 5.0)};
  443. self.mouse_pos = {};
  444. self.smooth = 0.4; # value between 0 and 1
  445. circle = self.canvas.add_circle(x, y, self.r, {'fill':'#000'});
  446. ui.bind_event(circle, ui.EVENTS.MOUSE_PRESS, self.controller, 'mouse_press', self.inports["ball_ui"]);
  447. ui.bind_event(circle, ui.EVENTS.MOUSE_MOVE, self.controller, 'mouse_move', self.inports['ball_ui']);
  448. ui.bind_event(circle, ui.EVENTS.MOUSE_RELEASE, self.controller, 'mouse_release', self.inports['ball_ui']);
  449. self.element = circle;
  450. def user_defined_destructor(self):
  451. self.canvas.remove_element(self.element);
  452. # builds Statechart structure
  453. def build_statechart_structure(self):
  454. # state <root>
  455. self.states[""] = State(0, self)
  456. # state /main_behaviour
  457. self.states["/main_behaviour"] = State(1, self)
  458. # state /main_behaviour/initializing
  459. self.states["/main_behaviour/initializing"] = State(2, self)
  460. # state /main_behaviour/bouncing
  461. self.states["/main_behaviour/bouncing"] = State(3, self)
  462. self.states["/main_behaviour/bouncing"].setEnter(self._main_behaviour_bouncing_enter)
  463. self.states["/main_behaviour/bouncing"].setExit(self._main_behaviour_bouncing_exit)
  464. # state /main_behaviour/dragging
  465. self.states["/main_behaviour/dragging"] = State(4, self)
  466. # state /main_behaviour/selected
  467. self.states["/main_behaviour/selected"] = State(5, self)
  468. # state /deleted
  469. self.states["/deleted"] = State(6, self)
  470. # add children
  471. self.states[""].addChild(self.states["/main_behaviour"])
  472. self.states[""].addChild(self.states["/deleted"])
  473. self.states["/main_behaviour"].addChild(self.states["/main_behaviour/initializing"])
  474. self.states["/main_behaviour"].addChild(self.states["/main_behaviour/bouncing"])
  475. self.states["/main_behaviour"].addChild(self.states["/main_behaviour/dragging"])
  476. self.states["/main_behaviour"].addChild(self.states["/main_behaviour/selected"])
  477. self.states[""].fixTree()
  478. self.states[""].default_state = self.states["/main_behaviour"]
  479. self.states["/main_behaviour"].default_state = self.states["/main_behaviour/initializing"]
  480. # transition /main_behaviour/initializing
  481. _main_behaviour_initializing_0 = Transition(self, self.states["/main_behaviour/initializing"], [self.states["/main_behaviour/bouncing"]])
  482. _main_behaviour_initializing_0.setAction(self._main_behaviour_initializing_0_exec)
  483. _main_behaviour_initializing_0.setTrigger(Event("set_association_name", None))
  484. self.states["/main_behaviour/initializing"].addTransition(_main_behaviour_initializing_0)
  485. # transition /main_behaviour/bouncing
  486. _main_behaviour_bouncing_0 = Transition(self, self.states["/main_behaviour/bouncing"], [self.states["/main_behaviour/bouncing"]])
  487. _main_behaviour_bouncing_0.setAction(self._main_behaviour_bouncing_0_exec)
  488. _main_behaviour_bouncing_0.setTrigger(Event("_0after"))
  489. self.states["/main_behaviour/bouncing"].addTransition(_main_behaviour_bouncing_0)
  490. _main_behaviour_bouncing_1 = Transition(self, self.states["/main_behaviour/bouncing"], [self.states["/main_behaviour/selected"]])
  491. _main_behaviour_bouncing_1.setAction(self._main_behaviour_bouncing_1_exec)
  492. _main_behaviour_bouncing_1.setTrigger(Event("mouse_press", "ball_ui"))
  493. _main_behaviour_bouncing_1.setGuard(self._main_behaviour_bouncing_1_guard)
  494. self.states["/main_behaviour/bouncing"].addTransition(_main_behaviour_bouncing_1)
  495. # transition /main_behaviour/dragging
  496. _main_behaviour_dragging_0 = Transition(self, self.states["/main_behaviour/dragging"], [self.states["/main_behaviour/dragging"]])
  497. _main_behaviour_dragging_0.setAction(self._main_behaviour_dragging_0_exec)
  498. _main_behaviour_dragging_0.setTrigger(Event("mouse_move", "ball_ui"))
  499. self.states["/main_behaviour/dragging"].addTransition(_main_behaviour_dragging_0)
  500. _main_behaviour_dragging_1 = Transition(self, self.states["/main_behaviour/dragging"], [self.states["/main_behaviour/bouncing"]])
  501. _main_behaviour_dragging_1.setAction(self._main_behaviour_dragging_1_exec)
  502. _main_behaviour_dragging_1.setTrigger(Event("mouse_release", "ball_ui"))
  503. self.states["/main_behaviour/dragging"].addTransition(_main_behaviour_dragging_1)
  504. # transition /main_behaviour/selected
  505. _main_behaviour_selected_0 = Transition(self, self.states["/main_behaviour/selected"], [self.states["/main_behaviour/dragging"]])
  506. _main_behaviour_selected_0.setAction(self._main_behaviour_selected_0_exec)
  507. _main_behaviour_selected_0.setTrigger(Event("mouse_press", "ball_ui"))
  508. _main_behaviour_selected_0.setGuard(self._main_behaviour_selected_0_guard)
  509. self.states["/main_behaviour/selected"].addTransition(_main_behaviour_selected_0)
  510. _main_behaviour_selected_1 = Transition(self, self.states["/main_behaviour/selected"], [self.states["/deleted"]])
  511. _main_behaviour_selected_1.setAction(self._main_behaviour_selected_1_exec)
  512. _main_behaviour_selected_1.setTrigger(Event("delete_self", None))
  513. self.states["/main_behaviour/selected"].addTransition(_main_behaviour_selected_1)
  514. def _main_behaviour_bouncing_enter(self):
  515. self.addTimer(0, (20 - self.getSimulatedTime() % 20) / 1000.0)
  516. def _main_behaviour_bouncing_exit(self):
  517. self.removeTimer(0)
  518. def _main_behaviour_initializing_0_exec(self, parameters):
  519. association_name = parameters[0]
  520. self.association_name = association_name
  521. def _main_behaviour_bouncing_0_exec(self, parameters):
  522. pos = self.element.get_position();
  523. if pos.x-self.r <= 0 or pos.x+self.r >= self.canvas.width :
  524. self.vel['x'] = -self.vel['x'];
  525. if pos.y-self.r <= 0 or pos.y+self.r >= self.canvas.height :
  526. self.vel['y'] = -self.vel['y'];
  527. self.element.move(self.vel['x'], self.vel['y']);
  528. def _main_behaviour_bouncing_1_exec(self, parameters):
  529. x = parameters[0]
  530. y = parameters[1]
  531. button = parameters[2]
  532. self.element.set_color("#ff0");
  533. def _main_behaviour_bouncing_1_guard(self, parameters):
  534. x = parameters[0]
  535. y = parameters[1]
  536. button = parameters[2]
  537. return button == ui.MOUSE_BUTTONS.LEFT
  538. def _main_behaviour_dragging_0_exec(self, parameters):
  539. x = parameters[0]
  540. y = parameters[1]
  541. button = parameters[2]
  542. dx = x - self.mouse_pos['x'];
  543. dy = y - self.mouse_pos['y'];
  544. self.element.move(dx, dy);
  545. # keep ball within boundaries
  546. pos = self.element.get_position();
  547. if pos.x-self.r <= 0 :
  548. pos.x = self.r + 1;
  549. elif pos.x+self.r >= self.canvas.width :
  550. pos.x = self.canvas.width-self.r-1;
  551. if pos.y-self.r <= 0 :
  552. pos.y = self.r + 1;
  553. elif pos.y+self.r >= self.canvas.height :
  554. pos.y = self.canvas.height-self.r-1;
  555. self.element.set_position(pos.x, pos.y);
  556. self.mouse_pos = {'x':x, 'y':y};
  557. self.vel = {
  558. 'x': (1-self.smooth)*dx + self.smooth*self.vel['x'],
  559. 'y': (1-self.smooth)*dy + self.smooth*self.vel['y']
  560. };
  561. def _main_behaviour_dragging_1_exec(self, parameters):
  562. x = parameters[0]
  563. y = parameters[1]
  564. self.element.set_color("#f00");
  565. def _main_behaviour_selected_0_exec(self, parameters):
  566. x = parameters[0]
  567. y = parameters[1]
  568. button = parameters[2]
  569. self.mouse_pos = {'x':x, 'y':y};
  570. def _main_behaviour_selected_0_guard(self, parameters):
  571. x = parameters[0]
  572. y = parameters[1]
  573. button = parameters[2]
  574. return button == ui.MOUSE_BUTTONS.LEFT
  575. def _main_behaviour_selected_1_exec(self, parameters):
  576. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("delete_ball", None, [self.association_name])]))
  577. def initializeStatechart(self):
  578. # enter default state
  579. self.default_targets = self.states["/main_behaviour"].getEffectiveTargetStates()
  580. RuntimeClassBase.initializeStatechart(self)
  581. class ObjectManager(ObjectManagerBase):
  582. def __init__(self, controller):
  583. ObjectManagerBase.__init__(self, controller)
  584. def instantiate(self, class_name, construct_params):
  585. if class_name == "MainApp":
  586. instance = MainApp(self.controller)
  587. instance.associations = {}
  588. instance.associations["fields"] = Association("Field", 0, -1)
  589. elif class_name == "Field":
  590. instance = Field(self.controller)
  591. instance.associations = {}
  592. instance.associations["balls"] = Association("Ball", 0, -1)
  593. instance.associations["buttons"] = Association("Button", 0, -1)
  594. instance.associations["parent"] = Association("MainApp", 1, 1)
  595. elif class_name == "Button":
  596. instance = Button(self.controller, construct_params[0], construct_params[1], construct_params[2])
  597. instance.associations = {}
  598. instance.associations["parent"] = Association("Field", 1, 1)
  599. elif class_name == "Ball":
  600. instance = Ball(self.controller, construct_params[0], construct_params[1], construct_params[2])
  601. instance.associations = {}
  602. instance.associations["parent"] = Association("Field", 1, 1)
  603. else:
  604. raise Exception("Cannot instantiate class " + class_name)
  605. return instance
  606. class Controller(EventLoopControllerBase):
  607. def __init__(self, event_loop_callbacks, finished_callback = None, behind_schedule_callback = None):
  608. if finished_callback == None: finished_callback = None
  609. if behind_schedule_callback == None: behind_schedule_callback = None
  610. EventLoopControllerBase.__init__(self, ObjectManager(self), event_loop_callbacks, finished_callback, behind_schedule_callback)
  611. self.addInputPort("ui")
  612. self.object_manager.createInstance("MainApp", [])