target.py 44 KB

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