target.py 56 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004
  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. import numpy as np
  12. CANVAS_DIMS = (800, 550)
  13. # package "Bouncing_Balls_DEVS_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, "/running", self)
  36. # state /running/root
  37. self.states["/running/root"] = ParallelState(2, "/running/root", self)
  38. # state /running/root/main_behaviour
  39. self.states["/running/root/main_behaviour"] = State(3, "/running/root/main_behaviour", self)
  40. # state /running/root/main_behaviour/initializing
  41. self.states["/running/root/main_behaviour/initializing"] = State(4, "/running/root/main_behaviour/initializing", self)
  42. # state /running/root/main_behaviour/running
  43. self.states["/running/root/main_behaviour/running"] = State(5, "/running/root/main_behaviour/running", self)
  44. # state /running/root/cd_behaviour
  45. self.states["/running/root/cd_behaviour"] = State(6, "/running/root/cd_behaviour", self)
  46. # state /running/root/cd_behaviour/waiting
  47. self.states["/running/root/cd_behaviour/waiting"] = State(7, "/running/root/cd_behaviour/waiting", self)
  48. # state /running/root/cd_behaviour/creating
  49. self.states["/running/root/cd_behaviour/creating"] = State(8, "/running/root/cd_behaviour/creating", self)
  50. # state /running/root/cd_behaviour/check_nr_of_fields
  51. self.states["/running/root/cd_behaviour/check_nr_of_fields"] = State(9, "/running/root/cd_behaviour/check_nr_of_fields", 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/cd_behaviour/stopped
  55. self.states["/running/root/cd_behaviour/stopped"] = State(10, "/running/root/cd_behaviour/stopped", self)
  56. # state /running/stopped
  57. self.states["/running/stopped"] = State(11, "/running/stopped", self)
  58. # add children
  59. self.states[""].addChild(self.states["/running"])
  60. self.states["/running"].addChild(self.states["/running/root"])
  61. self.states["/running"].addChild(self.states["/running/stopped"])
  62. self.states["/running/root"].addChild(self.states["/running/root/main_behaviour"])
  63. self.states["/running/root"].addChild(self.states["/running/root/cd_behaviour"])
  64. self.states["/running/root/main_behaviour"].addChild(self.states["/running/root/main_behaviour/initializing"])
  65. self.states["/running/root/main_behaviour"].addChild(self.states["/running/root/main_behaviour/running"])
  66. self.states["/running/root/cd_behaviour"].addChild(self.states["/running/root/cd_behaviour/waiting"])
  67. self.states["/running/root/cd_behaviour"].addChild(self.states["/running/root/cd_behaviour/creating"])
  68. self.states["/running/root/cd_behaviour"].addChild(self.states["/running/root/cd_behaviour/check_nr_of_fields"])
  69. self.states["/running/root/cd_behaviour"].addChild(self.states["/running/root/cd_behaviour/stopped"])
  70. self.states[""].fixTree()
  71. self.states[""].default_state = self.states["/running"]
  72. self.states["/running"].default_state = self.states["/running/root"]
  73. self.states["/running/root/main_behaviour"].default_state = self.states["/running/root/main_behaviour/initializing"]
  74. self.states["/running/root/cd_behaviour"].default_state = self.states["/running/root/cd_behaviour/waiting"]
  75. # transition /running/root/main_behaviour/initializing
  76. _running_root_main_behaviour_initializing_0 = Transition(self, self.states["/running/root/main_behaviour/initializing"], [self.states["/running/root/main_behaviour/running"]])
  77. _running_root_main_behaviour_initializing_0.setAction(self._running_root_main_behaviour_initializing_0_exec)
  78. _running_root_main_behaviour_initializing_0.setTrigger(None)
  79. self.states["/running/root/main_behaviour/initializing"].addTransition(_running_root_main_behaviour_initializing_0)
  80. # transition /running/root/main_behaviour/running
  81. _running_root_main_behaviour_running_0 = Transition(self, self.states["/running/root/main_behaviour/running"], [self.states["/running/root/main_behaviour/running"]])
  82. _running_root_main_behaviour_running_0.setAction(self._running_root_main_behaviour_running_0_exec)
  83. _running_root_main_behaviour_running_0.setTrigger(Event("button_pressed", None))
  84. _running_root_main_behaviour_running_0.setGuard(self._running_root_main_behaviour_running_0_guard)
  85. self.states["/running/root/main_behaviour/running"].addTransition(_running_root_main_behaviour_running_0)
  86. # transition /running/root/cd_behaviour/waiting
  87. _running_root_cd_behaviour_waiting_0 = Transition(self, self.states["/running/root/cd_behaviour/waiting"], [self.states["/running/root/cd_behaviour/creating"]])
  88. _running_root_cd_behaviour_waiting_0.setAction(self._running_root_cd_behaviour_waiting_0_exec)
  89. _running_root_cd_behaviour_waiting_0.setTrigger(Event("create_field", None))
  90. self.states["/running/root/cd_behaviour/waiting"].addTransition(_running_root_cd_behaviour_waiting_0)
  91. _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"]])
  92. _running_root_cd_behaviour_waiting_1.setAction(self._running_root_cd_behaviour_waiting_1_exec)
  93. _running_root_cd_behaviour_waiting_1.setTrigger(Event("delete_field", None))
  94. self.states["/running/root/cd_behaviour/waiting"].addTransition(_running_root_cd_behaviour_waiting_1)
  95. # transition /running/root/cd_behaviour/creating
  96. _running_root_cd_behaviour_creating_0 = Transition(self, self.states["/running/root/cd_behaviour/creating"], [self.states["/running/root/cd_behaviour/waiting"]])
  97. _running_root_cd_behaviour_creating_0.setAction(self._running_root_cd_behaviour_creating_0_exec)
  98. _running_root_cd_behaviour_creating_0.setTrigger(Event("instance_created", None))
  99. self.states["/running/root/cd_behaviour/creating"].addTransition(_running_root_cd_behaviour_creating_0)
  100. # transition /running/root/cd_behaviour/check_nr_of_fields
  101. _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"]])
  102. _running_root_cd_behaviour_check_nr_of_fields_0.setAction(self._running_root_cd_behaviour_check_nr_of_fields_0_exec)
  103. _running_root_cd_behaviour_check_nr_of_fields_0.setTrigger(Event("_0after"))
  104. _running_root_cd_behaviour_check_nr_of_fields_0.setGuard(self._running_root_cd_behaviour_check_nr_of_fields_0_guard)
  105. self.states["/running/root/cd_behaviour/check_nr_of_fields"].addTransition(_running_root_cd_behaviour_check_nr_of_fields_0)
  106. _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"]])
  107. _running_root_cd_behaviour_check_nr_of_fields_1.setTrigger(None)
  108. _running_root_cd_behaviour_check_nr_of_fields_1.setGuard(self._running_root_cd_behaviour_check_nr_of_fields_1_guard)
  109. self.states["/running/root/cd_behaviour/check_nr_of_fields"].addTransition(_running_root_cd_behaviour_check_nr_of_fields_1)
  110. # transition /running/root
  111. _running_root_0 = Transition(self, self.states["/running/root"], [self.states["/running/stopped"]])
  112. _running_root_0.setAction(self._running_root_0_exec)
  113. _running_root_0.setTrigger(Event("stop", None))
  114. self.states["/running/root"].addTransition(_running_root_0)
  115. def _running_root_cd_behaviour_check_nr_of_fields_enter(self):
  116. self.addTimer(0, 0.05)
  117. def _running_root_cd_behaviour_check_nr_of_fields_exit(self):
  118. self.removeTimer(0)
  119. def _running_root_0_exec(self, parameters):
  120. self.big_step.outputEvent(Event("destroy_all", self.getOutPortName("ui"), []))
  121. def _running_root_main_behaviour_initializing_0_exec(self, parameters):
  122. self.raiseInternalEvent(Event("create_field", None, []))
  123. def _running_root_main_behaviour_running_0_exec(self, parameters):
  124. event_name = parameters[0]
  125. self.raiseInternalEvent(Event("create_field", None, []))
  126. def _running_root_main_behaviour_running_0_guard(self, parameters):
  127. event_name = parameters[0]
  128. return event_name == "create_new_field"
  129. def _running_root_cd_behaviour_waiting_0_exec(self, parameters):
  130. self.big_step.outputEventOM(Event("create_instance", None, [self, "fields"]))
  131. def _running_root_cd_behaviour_waiting_1_exec(self, parameters):
  132. association_name = parameters[0]
  133. self.big_step.outputEventOM(Event("delete_instance", None, [self, association_name]))
  134. self.nr_of_fields -= 1
  135. def _running_root_cd_behaviour_creating_0_exec(self, parameters):
  136. association_name = parameters[0]
  137. self.big_step.outputEventOM(Event("start_instance", None, [self, association_name]))
  138. self.big_step.outputEventOM(Event("narrow_cast", None, [self, association_name, Event("set_association_name", None, [association_name])]))
  139. self.nr_of_fields += 1
  140. def _running_root_cd_behaviour_check_nr_of_fields_0_exec(self, parameters):
  141. self.raiseInternalEvent(Event("stop", None, []))
  142. def _running_root_cd_behaviour_check_nr_of_fields_0_guard(self, parameters):
  143. return self.nr_of_fields == 0
  144. def _running_root_cd_behaviour_check_nr_of_fields_1_guard(self, parameters):
  145. return self.nr_of_fields != 0
  146. def initializeStatechart(self):
  147. # enter default state
  148. self.default_targets = self.states["/running"].getEffectiveTargetStates()
  149. RuntimeClassBase.initializeStatechart(self)
  150. class Field(RuntimeClassBase):
  151. def __init__(self, controller):
  152. RuntimeClassBase.__init__(self, controller)
  153. self.inports["field_ui"] = controller.addInputPort("field_ui", self)
  154. self.semantics.big_step_maximality = StatechartSemantics.TakeMany
  155. self.semantics.internal_event_lifeline = StatechartSemantics.Queue
  156. self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
  157. self.semantics.priority = StatechartSemantics.SourceParent
  158. self.semantics.concurrency = StatechartSemantics.Single
  159. # build Statechart structure
  160. self.build_statechart_structure()
  161. # user defined attributes
  162. self.window_id = None
  163. self.canvas_id = None
  164. # call user defined constructor
  165. Field.user_defined_constructor(self)
  166. def user_defined_constructor(self):
  167. self.balls = {}
  168. self.collisions = []
  169. def user_defined_destructor(self):
  170. pass
  171. # user defined method
  172. def distance(self, point1, point2):
  173. return ((point1['x'] - point2['x']) ** 2 + (point1['y'] - point2['y']) ** 2) ** 0.5
  174. # user defined method
  175. def check_collision(self, ball1, ball2):
  176. # Calculate the distance between the centers of the two balls
  177. dist = self.distance(ball1['pos'], ball2['pos'])
  178. # Calculate the sum of the radii
  179. radii_sum = ball1['r'] + ball2['r']
  180. # Check if they are colliding
  181. return dist <= radii_sum
  182. # builds Statechart structure
  183. def build_statechart_structure(self):
  184. # state <root>
  185. self.states[""] = State(0, "", self)
  186. # state /root
  187. self.states["/root"] = State(1, "/root", self)
  188. # state /root/waiting
  189. self.states["/root/waiting"] = State(2, "/root/waiting", self)
  190. # state /root/creating_window
  191. self.states["/root/creating_window"] = State(3, "/root/creating_window", self)
  192. self.states["/root/creating_window"].setEnter(self._root_creating_window_enter)
  193. # state /root/creating_canvas
  194. self.states["/root/creating_canvas"] = State(4, "/root/creating_canvas", self)
  195. self.states["/root/creating_canvas"].setEnter(self._root_creating_canvas_enter)
  196. # state /root/creating_button
  197. self.states["/root/creating_button"] = State(5, "/root/creating_button", self)
  198. self.states["/root/creating_button"].setEnter(self._root_creating_button_enter)
  199. # state /root/running
  200. self.states["/root/running"] = ParallelState(6, "/root/running", self)
  201. # state /root/running/main_behaviour
  202. self.states["/root/running/main_behaviour"] = State(7, "/root/running/main_behaviour", self)
  203. # state /root/running/main_behaviour/running
  204. self.states["/root/running/main_behaviour/running"] = State(8, "/root/running/main_behaviour/running", self)
  205. # state /root/running/main_behaviour/creating_ball
  206. self.states["/root/running/main_behaviour/creating_ball"] = State(9, "/root/running/main_behaviour/creating_ball", self)
  207. # state /root/running/deleting_behaviour
  208. self.states["/root/running/deleting_behaviour"] = State(10, "/root/running/deleting_behaviour", self)
  209. # state /root/running/deleting_behaviour/running
  210. self.states["/root/running/deleting_behaviour/running"] = State(11, "/root/running/deleting_behaviour/running", self)
  211. # state /root/running/child_behaviour
  212. self.states["/root/running/child_behaviour"] = State(12, "/root/running/child_behaviour", self)
  213. # state /root/running/child_behaviour/listening
  214. self.states["/root/running/child_behaviour/listening"] = State(13, "/root/running/child_behaviour/listening", self)
  215. # state /root/running/deleting_balls_behaviour
  216. self.states["/root/running/deleting_balls_behaviour"] = State(14, "/root/running/deleting_balls_behaviour", self)
  217. # state /root/running/deleting_balls_behaviour/listening
  218. self.states["/root/running/deleting_balls_behaviour/listening"] = State(15, "/root/running/deleting_balls_behaviour/listening", self)
  219. # state /root/deleting
  220. self.states["/root/deleting"] = State(16, "/root/deleting", self)
  221. # state /root/deleted
  222. self.states["/root/deleted"] = State(17, "/root/deleted", self)
  223. # add children
  224. self.states[""].addChild(self.states["/root"])
  225. self.states["/root"].addChild(self.states["/root/waiting"])
  226. self.states["/root"].addChild(self.states["/root/creating_window"])
  227. self.states["/root"].addChild(self.states["/root/creating_canvas"])
  228. self.states["/root"].addChild(self.states["/root/creating_button"])
  229. self.states["/root"].addChild(self.states["/root/running"])
  230. self.states["/root"].addChild(self.states["/root/deleting"])
  231. self.states["/root"].addChild(self.states["/root/deleted"])
  232. self.states["/root/running"].addChild(self.states["/root/running/main_behaviour"])
  233. self.states["/root/running"].addChild(self.states["/root/running/deleting_behaviour"])
  234. self.states["/root/running"].addChild(self.states["/root/running/child_behaviour"])
  235. self.states["/root/running"].addChild(self.states["/root/running/deleting_balls_behaviour"])
  236. self.states["/root/running/main_behaviour"].addChild(self.states["/root/running/main_behaviour/running"])
  237. self.states["/root/running/main_behaviour"].addChild(self.states["/root/running/main_behaviour/creating_ball"])
  238. self.states["/root/running/deleting_behaviour"].addChild(self.states["/root/running/deleting_behaviour/running"])
  239. self.states["/root/running/child_behaviour"].addChild(self.states["/root/running/child_behaviour/listening"])
  240. self.states["/root/running/deleting_balls_behaviour"].addChild(self.states["/root/running/deleting_balls_behaviour/listening"])
  241. self.states[""].fixTree()
  242. self.states[""].default_state = self.states["/root"]
  243. self.states["/root"].default_state = self.states["/root/waiting"]
  244. self.states["/root/running/main_behaviour"].default_state = self.states["/root/running/main_behaviour/running"]
  245. self.states["/root/running/deleting_behaviour"].default_state = self.states["/root/running/deleting_behaviour/running"]
  246. self.states["/root/running/child_behaviour"].default_state = self.states["/root/running/child_behaviour/listening"]
  247. self.states["/root/running/deleting_balls_behaviour"].default_state = self.states["/root/running/deleting_balls_behaviour/listening"]
  248. # transition /root/waiting
  249. _root_waiting_0 = Transition(self, self.states["/root/waiting"], [self.states["/root/creating_window"]])
  250. _root_waiting_0.setAction(self._root_waiting_0_exec)
  251. _root_waiting_0.setTrigger(Event("set_association_name", None))
  252. self.states["/root/waiting"].addTransition(_root_waiting_0)
  253. # transition /root/creating_window
  254. _root_creating_window_0 = Transition(self, self.states["/root/creating_window"], [self.states["/root/creating_canvas"]])
  255. _root_creating_window_0.setAction(self._root_creating_window_0_exec)
  256. _root_creating_window_0.setTrigger(Event("window_created", None))
  257. self.states["/root/creating_window"].addTransition(_root_creating_window_0)
  258. # transition /root/creating_canvas
  259. _root_creating_canvas_0 = Transition(self, self.states["/root/creating_canvas"], [self.states["/root/creating_button"]])
  260. _root_creating_canvas_0.setAction(self._root_creating_canvas_0_exec)
  261. _root_creating_canvas_0.setTrigger(Event("canvas_created", None))
  262. self.states["/root/creating_canvas"].addTransition(_root_creating_canvas_0)
  263. # transition /root/creating_button
  264. _root_creating_button_0 = Transition(self, self.states["/root/creating_button"], [self.states["/root/running"]])
  265. _root_creating_button_0.setAction(self._root_creating_button_0_exec)
  266. _root_creating_button_0.setTrigger(Event("instance_created", None))
  267. self.states["/root/creating_button"].addTransition(_root_creating_button_0)
  268. # transition /root/running/main_behaviour/running
  269. _root_running_main_behaviour_running_0 = Transition(self, self.states["/root/running/main_behaviour/running"], [self.states["/root/running/main_behaviour/creating_ball"]])
  270. _root_running_main_behaviour_running_0.setAction(self._root_running_main_behaviour_running_0_exec)
  271. _root_running_main_behaviour_running_0.setTrigger(Event("right_click", self.getInPortName("field_ui")))
  272. self.states["/root/running/main_behaviour/running"].addTransition(_root_running_main_behaviour_running_0)
  273. # transition /root/running/main_behaviour/creating_ball
  274. _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"]])
  275. _root_running_main_behaviour_creating_ball_0.setAction(self._root_running_main_behaviour_creating_ball_0_exec)
  276. _root_running_main_behaviour_creating_ball_0.setTrigger(Event("instance_created", None))
  277. self.states["/root/running/main_behaviour/creating_ball"].addTransition(_root_running_main_behaviour_creating_ball_0)
  278. _root_running_main_behaviour_creating_ball_1 = Transition(self, self.states["/root/running/main_behaviour/creating_ball"], [self.states["/root/running/main_behaviour/running"]])
  279. _root_running_main_behaviour_creating_ball_1.setAction(self._root_running_main_behaviour_creating_ball_1_exec)
  280. _root_running_main_behaviour_creating_ball_1.setTrigger(Event("init_params", None))
  281. self.states["/root/running/main_behaviour/creating_ball"].addTransition(_root_running_main_behaviour_creating_ball_1)
  282. # transition /root/running/deleting_behaviour/running
  283. _root_running_deleting_behaviour_running_0 = Transition(self, self.states["/root/running/deleting_behaviour/running"], [self.states["/root/running/deleting_behaviour/running"]])
  284. _root_running_deleting_behaviour_running_0.setAction(self._root_running_deleting_behaviour_running_0_exec)
  285. _root_running_deleting_behaviour_running_0.setTrigger(Event("delete_ball", None))
  286. self.states["/root/running/deleting_behaviour/running"].addTransition(_root_running_deleting_behaviour_running_0)
  287. _root_running_deleting_behaviour_running_1 = Transition(self, self.states["/root/running/deleting_behaviour/running"], [self.states["/root/running/deleting_behaviour/running"]])
  288. _root_running_deleting_behaviour_running_1.setAction(self._root_running_deleting_behaviour_running_1_exec)
  289. _root_running_deleting_behaviour_running_1.setTrigger(Event("move_ball", None))
  290. self.states["/root/running/deleting_behaviour/running"].addTransition(_root_running_deleting_behaviour_running_1)
  291. _root_running_deleting_behaviour_running_2 = Transition(self, self.states["/root/running/deleting_behaviour/running"], [self.states["/root/running/deleting_behaviour/running"]])
  292. _root_running_deleting_behaviour_running_2.setAction(self._root_running_deleting_behaviour_running_2_exec)
  293. _root_running_deleting_behaviour_running_2.setTrigger(None)
  294. _root_running_deleting_behaviour_running_2.setGuard(self._root_running_deleting_behaviour_running_2_guard)
  295. self.states["/root/running/deleting_behaviour/running"].addTransition(_root_running_deleting_behaviour_running_2)
  296. _root_running_deleting_behaviour_running_3 = Transition(self, self.states["/root/running/deleting_behaviour/running"], [self.states["/root/running/deleting_behaviour/running"]])
  297. _root_running_deleting_behaviour_running_3.setAction(self._root_running_deleting_behaviour_running_3_exec)
  298. _root_running_deleting_behaviour_running_3.setTrigger(Event("instance_created", None))
  299. self.states["/root/running/deleting_behaviour/running"].addTransition(_root_running_deleting_behaviour_running_3)
  300. _root_running_deleting_behaviour_running_4 = Transition(self, self.states["/root/running/deleting_behaviour/running"], [self.states["/root/running/deleting_behaviour/running"]])
  301. _root_running_deleting_behaviour_running_4.setAction(self._root_running_deleting_behaviour_running_4_exec)
  302. _root_running_deleting_behaviour_running_4.setTrigger(Event("update_vel", None))
  303. self.states["/root/running/deleting_behaviour/running"].addTransition(_root_running_deleting_behaviour_running_4)
  304. _root_running_deleting_behaviour_running_5 = Transition(self, self.states["/root/running/deleting_behaviour/running"], [self.states["/root/running/deleting_behaviour/running"]])
  305. _root_running_deleting_behaviour_running_5.setAction(self._root_running_deleting_behaviour_running_5_exec)
  306. _root_running_deleting_behaviour_running_5.setTrigger(Event("delete_physics", None))
  307. self.states["/root/running/deleting_behaviour/running"].addTransition(_root_running_deleting_behaviour_running_5)
  308. # transition /root/running/child_behaviour/listening
  309. _root_running_child_behaviour_listening_0 = Transition(self, self.states["/root/running/child_behaviour/listening"], [self.states["/root/running/child_behaviour/listening"]])
  310. _root_running_child_behaviour_listening_0.setAction(self._root_running_child_behaviour_listening_0_exec)
  311. _root_running_child_behaviour_listening_0.setTrigger(Event("button_pressed", None))
  312. self.states["/root/running/child_behaviour/listening"].addTransition(_root_running_child_behaviour_listening_0)
  313. # transition /root/running/deleting_balls_behaviour/listening
  314. _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"]])
  315. _root_running_deleting_balls_behaviour_listening_0.setAction(self._root_running_deleting_balls_behaviour_listening_0_exec)
  316. _root_running_deleting_balls_behaviour_listening_0.setTrigger(Event("key_press", self.getInPortName("field_ui")))
  317. _root_running_deleting_balls_behaviour_listening_0.setGuard(self._root_running_deleting_balls_behaviour_listening_0_guard)
  318. self.states["/root/running/deleting_balls_behaviour/listening"].addTransition(_root_running_deleting_balls_behaviour_listening_0)
  319. # transition /root/deleting
  320. _root_deleting_0 = Transition(self, self.states["/root/deleting"], [self.states["/root/deleted"]])
  321. _root_deleting_0.setAction(self._root_deleting_0_exec)
  322. _root_deleting_0.setTrigger(None)
  323. self.states["/root/deleting"].addTransition(_root_deleting_0)
  324. # transition /root/running
  325. _root_running_0 = Transition(self, self.states["/root/running"], [self.states["/root/deleting"]])
  326. _root_running_0.setAction(self._root_running_0_exec)
  327. _root_running_0.setTrigger(Event("window_close", self.getInPortName("field_ui")))
  328. self.states["/root/running"].addTransition(_root_running_0)
  329. def _root_creating_window_enter(self):
  330. self.big_step.outputEvent(Event("create_window", self.getOutPortName("ui"), [800, 600, "BouncingBalls", self.inports['field_ui']]))
  331. def _root_creating_canvas_enter(self):
  332. 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']]))
  333. def _root_creating_button_enter(self):
  334. self.big_step.outputEventOM(Event("create_instance", None, [self, "buttons", "Button", self.window_id, 'create_new_field', 'Spawn New Window']))
  335. def _root_running_0_exec(self, parameters):
  336. self.big_step.outputEventOM(Event("delete_instance", None, [self, "buttons"]))
  337. self.big_step.outputEventOM(Event("delete_instance", None, [self, "balls"]))
  338. def _root_waiting_0_exec(self, parameters):
  339. association_name = parameters[0]
  340. self.association_name = association_name
  341. def _root_creating_window_0_exec(self, parameters):
  342. window_id = parameters[0]
  343. self.window_id = window_id
  344. self.big_step.outputEvent(Event("bind_event", self.getOutPortName("ui"), [window_id, ui.EVENTS.WINDOW_CLOSE, 'window_close', self.inports['field_ui']]))
  345. self.big_step.outputEvent(Event("bind_event", self.getOutPortName("ui"), [window_id, ui.EVENTS.KEY_PRESS, 'key_press', self.inports['field_ui']]))
  346. def _root_creating_canvas_0_exec(self, parameters):
  347. canvas_id = parameters[0]
  348. self.canvas_id = canvas_id
  349. self.big_step.outputEvent(Event("bind_event", self.getOutPortName("ui"), [canvas_id, ui.EVENTS.MOUSE_RIGHT_CLICK, 'right_click', self.inports['field_ui']]))
  350. self.big_step.outputEvent(Event("bind_event", self.getOutPortName("ui"), [canvas_id, ui.EVENTS.MOUSE_MOVE, 'mouse_move', self.inports['field_ui']]))
  351. self.big_step.outputEvent(Event("bind_event", self.getOutPortName("ui"), [canvas_id, ui.EVENTS.MOUSE_RELEASE, 'mouse_release', self.inports['field_ui']]))
  352. def _root_creating_button_0_exec(self, parameters):
  353. association_name = parameters[0]
  354. self.big_step.outputEventOM(Event("start_instance", None, [self, association_name]))
  355. def _root_running_main_behaviour_running_0_exec(self, parameters):
  356. x = parameters[0]
  357. y = parameters[1]
  358. button = parameters[2]
  359. self.big_step.outputEventOM(Event("create_instance", None, [self, "balls", "Ball", self.canvas_id, x, y]))
  360. def _root_running_main_behaviour_creating_ball_0_exec(self, parameters):
  361. association_name = parameters[0]
  362. self.big_step.outputEventOM(Event("start_instance", None, [self, association_name]))
  363. self.big_step.outputEventOM(Event("narrow_cast", None, [self, association_name, Event("get_init_params", None, [association_name])]))
  364. def _root_running_main_behaviour_creating_ball_1_exec(self, parameters):
  365. link_id = parameters[0]
  366. ball_r = parameters[1]
  367. ball_vel = parameters[2]
  368. ball_pos = parameters[3]
  369. self.balls[link_id] = {'r': ball_r, 'vel': ball_vel, 'pos': ball_pos}
  370. def _root_running_deleting_behaviour_running_0_exec(self, parameters):
  371. association_name = parameters[0]
  372. self.big_step.outputEventOM(Event("delete_instance", None, [self, association_name]))
  373. def _root_running_deleting_behaviour_running_1_exec(self, parameters):
  374. link_id = parameters[0]
  375. ball_pos = parameters[1]
  376. ball_vel = parameters[2]
  377. # Update the position and velocity
  378. self.balls[link_id]['pos'] = ball_pos
  379. self.balls[link_id]['vel'] = ball_vel
  380. # Check for collisions
  381. collisions = []
  382. for other_id, other_ball in self.balls.items():
  383. if other_id != link_id: # Don't check collision with itself
  384. if self.check_collision(self.balls[link_id], other_ball):
  385. self.collisions.append((link_id, other_id))
  386. def _root_running_deleting_behaviour_running_2_exec(self, parameters):
  387. self.big_step.outputEventOM(Event("create_instance", None, [self, "collisions", "CollisionPhysics", self.collisions[-1][0], self.collisions[-1][1], self.balls[self.collisions[-1][0]], self.balls[self.collisions[-1][1]]]))
  388. print("COLLISION")
  389. self.collisions = self.collisions[:-1]
  390. def _root_running_deleting_behaviour_running_2_guard(self, parameters):
  391. return self.collisions
  392. def _root_running_deleting_behaviour_running_3_exec(self, parameters):
  393. association_name = parameters[0]
  394. self.big_step.outputEventOM(Event("narrow_cast", None, [self, association_name, Event("set_association_name", None, [association_name])]))
  395. self.big_step.outputEventOM(Event("start_instance", None, [self, association_name]))
  396. def _root_running_deleting_behaviour_running_4_exec(self, parameters):
  397. ball1_id = parameters[0]
  398. ball2_id = parameters[1]
  399. new_vel1 = parameters[2]
  400. new_vel2 = parameters[3]
  401. self.big_step.outputEventOM(Event("narrow_cast", None, [self, ball1_id, Event("update_ball_vel", None, [new_vel1])]))
  402. self.big_step.outputEventOM(Event("narrow_cast", None, [self, ball2_id, Event("update_ball_vel", None, [new_vel2])]))
  403. def _root_running_deleting_behaviour_running_5_exec(self, parameters):
  404. association_id = parameters[0]
  405. self.big_step.outputEventOM(Event("delete_instance", None, [self, association_id]))
  406. def _root_running_child_behaviour_listening_0_exec(self, parameters):
  407. event_name = parameters[0]
  408. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("button_pressed", None, [event_name])]))
  409. def _root_running_deleting_balls_behaviour_listening_0_exec(self, parameters):
  410. key = parameters[0]
  411. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'balls', Event("delete_self", None, [])]))
  412. def _root_running_deleting_balls_behaviour_listening_0_guard(self, parameters):
  413. key = parameters[0]
  414. return key == ui.KEYCODES.DELETE
  415. def _root_deleting_0_exec(self, parameters):
  416. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("delete_field", None, [self.association_name])]))
  417. self.big_step.outputEvent(Event("destroy_window", self.getOutPortName("ui"), [self.window_id]))
  418. def initializeStatechart(self):
  419. # enter default state
  420. self.default_targets = self.states["/root"].getEffectiveTargetStates()
  421. RuntimeClassBase.initializeStatechart(self)
  422. class Button(RuntimeClassBase):
  423. def __init__(self, controller, window_id, event_name, button_text):
  424. RuntimeClassBase.__init__(self, controller)
  425. self.inports["button_ui"] = controller.addInputPort("button_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.window_id = None
  435. self.event_name = None
  436. self.button_id = None
  437. # call user defined constructor
  438. Button.user_defined_constructor(self, window_id, event_name, button_text)
  439. def user_defined_constructor(self, window_id, event_name, button_text):
  440. self.window_id = window_id;
  441. self.event_name = event_name;
  442. def user_defined_destructor(self):
  443. pass
  444. # builds Statechart structure
  445. def build_statechart_structure(self):
  446. # state <root>
  447. self.states[""] = State(0, "", self)
  448. # state /creating_button
  449. self.states["/creating_button"] = State(1, "/creating_button", self)
  450. self.states["/creating_button"].setEnter(self._creating_button_enter)
  451. # state /running
  452. self.states["/running"] = State(2, "/running", self)
  453. # add children
  454. self.states[""].addChild(self.states["/creating_button"])
  455. self.states[""].addChild(self.states["/running"])
  456. self.states[""].fixTree()
  457. self.states[""].default_state = self.states["/creating_button"]
  458. # transition /creating_button
  459. _creating_button_0 = Transition(self, self.states["/creating_button"], [self.states["/running"]])
  460. _creating_button_0.setAction(self._creating_button_0_exec)
  461. _creating_button_0.setTrigger(Event("button_created", None))
  462. self.states["/creating_button"].addTransition(_creating_button_0)
  463. # transition /running
  464. _running_0 = Transition(self, self.states["/running"], [self.states["/running"]])
  465. _running_0.setAction(self._running_0_exec)
  466. _running_0.setTrigger(Event("mouse_click", self.getInPortName("button_ui")))
  467. _running_0.setGuard(self._running_0_guard)
  468. self.states["/running"].addTransition(_running_0)
  469. def _creating_button_enter(self):
  470. self.big_step.outputEvent(Event("create_button", self.getOutPortName("ui"), [self.window_id, self.event_name, self.inports['button_ui']]))
  471. def _creating_button_0_exec(self, parameters):
  472. button_id = parameters[0]
  473. self.button_id = button_id
  474. self.big_step.outputEvent(Event("bind_event", self.getOutPortName("ui"), [button_id, ui.EVENTS.MOUSE_CLICK, "mouse_click", self.inports['button_ui']]))
  475. def _running_0_exec(self, parameters):
  476. x = parameters[0]
  477. y = parameters[1]
  478. button = parameters[2]
  479. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("button_pressed", None, [self.event_name])]))
  480. def _running_0_guard(self, parameters):
  481. x = parameters[0]
  482. y = parameters[1]
  483. button = parameters[2]
  484. return button == ui.MOUSE_BUTTONS.LEFT
  485. def initializeStatechart(self):
  486. # enter default state
  487. self.default_targets = self.states["/creating_button"].getEffectiveTargetStates()
  488. RuntimeClassBase.initializeStatechart(self)
  489. class Ball(RuntimeClassBase):
  490. def __init__(self, controller, canvas_id, x, y):
  491. RuntimeClassBase.__init__(self, controller)
  492. self.inports["ball_ui"] = controller.addInputPort("ball_ui", self)
  493. self.semantics.big_step_maximality = StatechartSemantics.TakeMany
  494. self.semantics.internal_event_lifeline = StatechartSemantics.Queue
  495. self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
  496. self.semantics.priority = StatechartSemantics.SourceParent
  497. self.semantics.concurrency = StatechartSemantics.Single
  498. # build Statechart structure
  499. self.build_statechart_structure()
  500. # user defined attributes
  501. self.canvas_id = None
  502. self.pos = None
  503. # call user defined constructor
  504. Ball.user_defined_constructor(self, canvas_id, x, y)
  505. def user_defined_constructor(self, canvas_id, x, y):
  506. self.canvas_id = canvas_id;
  507. self.r = 20.0;
  508. self.vel = {'x': random.uniform(-5.0, 5.0), 'y': random.uniform(-5.0, 5.0)};
  509. self.pos = {'x': x, 'y': y};
  510. self.smooth = 0.6; # value between 0 and 1
  511. def user_defined_destructor(self):
  512. pass
  513. # builds Statechart structure
  514. def build_statechart_structure(self):
  515. # state <root>
  516. self.states[""] = State(0, "", self)
  517. # state /main_behaviour
  518. self.states["/main_behaviour"] = State(1, "/main_behaviour", self)
  519. # state /main_behaviour/initializing
  520. self.states["/main_behaviour/initializing"] = State(2, "/main_behaviour/initializing", self)
  521. # state /main_behaviour/creating_circle
  522. self.states["/main_behaviour/creating_circle"] = State(3, "/main_behaviour/creating_circle", self)
  523. self.states["/main_behaviour/creating_circle"].setEnter(self._main_behaviour_creating_circle_enter)
  524. # state /main_behaviour/bouncing
  525. self.states["/main_behaviour/bouncing"] = State(4, "/main_behaviour/bouncing", self)
  526. self.states["/main_behaviour/bouncing"].setEnter(self._main_behaviour_bouncing_enter)
  527. self.states["/main_behaviour/bouncing"].setExit(self._main_behaviour_bouncing_exit)
  528. # state /main_behaviour/dragging
  529. self.states["/main_behaviour/dragging"] = State(5, "/main_behaviour/dragging", self)
  530. # state /main_behaviour/selected
  531. self.states["/main_behaviour/selected"] = State(6, "/main_behaviour/selected", self)
  532. # state /deleted
  533. self.states["/deleted"] = State(7, "/deleted", self)
  534. # add children
  535. self.states[""].addChild(self.states["/main_behaviour"])
  536. self.states[""].addChild(self.states["/deleted"])
  537. self.states["/main_behaviour"].addChild(self.states["/main_behaviour/initializing"])
  538. self.states["/main_behaviour"].addChild(self.states["/main_behaviour/creating_circle"])
  539. self.states["/main_behaviour"].addChild(self.states["/main_behaviour/bouncing"])
  540. self.states["/main_behaviour"].addChild(self.states["/main_behaviour/dragging"])
  541. self.states["/main_behaviour"].addChild(self.states["/main_behaviour/selected"])
  542. self.states[""].fixTree()
  543. self.states[""].default_state = self.states["/main_behaviour"]
  544. self.states["/main_behaviour"].default_state = self.states["/main_behaviour/initializing"]
  545. # transition /main_behaviour/initializing
  546. _main_behaviour_initializing_0 = Transition(self, self.states["/main_behaviour/initializing"], [self.states["/main_behaviour/creating_circle"]])
  547. _main_behaviour_initializing_0.setAction(self._main_behaviour_initializing_0_exec)
  548. _main_behaviour_initializing_0.setTrigger(Event("get_init_params", None))
  549. self.states["/main_behaviour/initializing"].addTransition(_main_behaviour_initializing_0)
  550. # transition /main_behaviour/creating_circle
  551. _main_behaviour_creating_circle_0 = Transition(self, self.states["/main_behaviour/creating_circle"], [self.states["/main_behaviour/bouncing"]])
  552. _main_behaviour_creating_circle_0.setAction(self._main_behaviour_creating_circle_0_exec)
  553. _main_behaviour_creating_circle_0.setTrigger(Event("circle_created", None))
  554. self.states["/main_behaviour/creating_circle"].addTransition(_main_behaviour_creating_circle_0)
  555. # transition /main_behaviour/bouncing
  556. _main_behaviour_bouncing_0 = Transition(self, self.states["/main_behaviour/bouncing"], [self.states["/main_behaviour/bouncing"]])
  557. _main_behaviour_bouncing_0.setAction(self._main_behaviour_bouncing_0_exec)
  558. _main_behaviour_bouncing_0.setTrigger(Event("_0after"))
  559. self.states["/main_behaviour/bouncing"].addTransition(_main_behaviour_bouncing_0)
  560. _main_behaviour_bouncing_1 = Transition(self, self.states["/main_behaviour/bouncing"], [self.states["/main_behaviour/bouncing"]])
  561. _main_behaviour_bouncing_1.setAction(self._main_behaviour_bouncing_1_exec)
  562. _main_behaviour_bouncing_1.setTrigger(Event("update_ball_vel", None))
  563. self.states["/main_behaviour/bouncing"].addTransition(_main_behaviour_bouncing_1)
  564. _main_behaviour_bouncing_2 = Transition(self, self.states["/main_behaviour/bouncing"], [self.states["/main_behaviour/selected"]])
  565. _main_behaviour_bouncing_2.setAction(self._main_behaviour_bouncing_2_exec)
  566. _main_behaviour_bouncing_2.setTrigger(Event("mouse_press", self.getInPortName("ball_ui")))
  567. _main_behaviour_bouncing_2.setGuard(self._main_behaviour_bouncing_2_guard)
  568. self.states["/main_behaviour/bouncing"].addTransition(_main_behaviour_bouncing_2)
  569. # transition /main_behaviour/dragging
  570. _main_behaviour_dragging_0 = Transition(self, self.states["/main_behaviour/dragging"], [self.states["/main_behaviour/dragging"]])
  571. _main_behaviour_dragging_0.setAction(self._main_behaviour_dragging_0_exec)
  572. _main_behaviour_dragging_0.setTrigger(Event("mouse_move", self.getInPortName("ball_ui")))
  573. self.states["/main_behaviour/dragging"].addTransition(_main_behaviour_dragging_0)
  574. _main_behaviour_dragging_1 = Transition(self, self.states["/main_behaviour/dragging"], [self.states["/main_behaviour/bouncing"]])
  575. _main_behaviour_dragging_1.setAction(self._main_behaviour_dragging_1_exec)
  576. _main_behaviour_dragging_1.setTrigger(Event("mouse_release", self.getInPortName("ball_ui")))
  577. self.states["/main_behaviour/dragging"].addTransition(_main_behaviour_dragging_1)
  578. # transition /main_behaviour/selected
  579. _main_behaviour_selected_0 = Transition(self, self.states["/main_behaviour/selected"], [self.states["/main_behaviour/dragging"]])
  580. _main_behaviour_selected_0.setAction(self._main_behaviour_selected_0_exec)
  581. _main_behaviour_selected_0.setTrigger(Event("mouse_press", self.getInPortName("ball_ui")))
  582. _main_behaviour_selected_0.setGuard(self._main_behaviour_selected_0_guard)
  583. self.states["/main_behaviour/selected"].addTransition(_main_behaviour_selected_0)
  584. _main_behaviour_selected_1 = Transition(self, self.states["/main_behaviour/selected"], [self.states["/deleted"]])
  585. _main_behaviour_selected_1.setAction(self._main_behaviour_selected_1_exec)
  586. _main_behaviour_selected_1.setTrigger(Event("delete_self", None))
  587. self.states["/main_behaviour/selected"].addTransition(_main_behaviour_selected_1)
  588. def _main_behaviour_creating_circle_enter(self):
  589. 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']]))
  590. def _main_behaviour_bouncing_enter(self):
  591. self.addTimer(0, 0.02)
  592. def _main_behaviour_bouncing_exit(self):
  593. self.removeTimer(0)
  594. def _main_behaviour_initializing_0_exec(self, parameters):
  595. association_name = parameters[0]
  596. self.association_name = association_name
  597. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("init_params", None, [self.association_name, self.r, self.vel, self.pos])]))
  598. def _main_behaviour_creating_circle_0_exec(self, parameters):
  599. canvas_id = parameters[0]
  600. circle_id = parameters[1]
  601. self.circle_id = circle_id
  602. 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']]))
  603. 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']]))
  604. 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']]))
  605. def _main_behaviour_bouncing_0_exec(self, parameters):
  606. # Invert velocity when colliding with canvas border:
  607. if self.pos['x']-self.r <= 0 or self.pos['x']+self.r >= CANVAS_DIMS[0]:
  608. self.vel['x'] = -self.vel['x'];
  609. if self.pos['y']-self.r <= 0 or self.pos['y']+self.r >= CANVAS_DIMS[1]:
  610. self.vel['y'] = -self.vel['y'];
  611. self.big_step.outputEvent(Event("move_element", self.getOutPortName("ui"), [self.canvas_id, self.circle_id, self.vel['x'], self.vel['y']]))
  612. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("move_ball", None, [self.association_name, self.pos, self.vel])]))
  613. self.pos['x'] += self.vel['x']
  614. self.pos['y'] += self.vel['y']
  615. def _main_behaviour_bouncing_1_exec(self, parameters):
  616. new_vel = parameters[0]
  617. self.vel = new_vel
  618. def _main_behaviour_bouncing_2_exec(self, parameters):
  619. x = parameters[0]
  620. y = parameters[1]
  621. button = parameters[2]
  622. self.big_step.outputEvent(Event("set_element_color", self.getOutPortName("ui"), [self.canvas_id, self.circle_id, '#ff0']))
  623. def _main_behaviour_bouncing_2_guard(self, parameters):
  624. x = parameters[0]
  625. y = parameters[1]
  626. button = parameters[2]
  627. return button == ui.MOUSE_BUTTONS.LEFT
  628. def _main_behaviour_dragging_0_exec(self, parameters):
  629. x = parameters[0]
  630. y = parameters[1]
  631. button = parameters[2]
  632. # Always keep ball within canvas:
  633. x = min(max(0+self.r, x), CANVAS_DIMS[0]-self.r)
  634. y = min(max(0+self.r, y), CANVAS_DIMS[1]-self.r)
  635. dx = x - self.pos['x']
  636. dy = y - self.pos['y']
  637. self.vel = {
  638. 'x': (1-self.smooth)*dx + self.smooth*self.vel['x'],
  639. 'y': (1-self.smooth)*dy + self.smooth*self.vel['y']
  640. }
  641. self.pos = {'x': x, 'y': y}
  642. self.big_step.outputEvent(Event("set_element_pos", self.getOutPortName("ui"), [self.canvas_id, self.circle_id, x-self.r, y-self.r]))
  643. def _main_behaviour_dragging_1_exec(self, parameters):
  644. x = parameters[0]
  645. y = parameters[1]
  646. self.big_step.outputEvent(Event("set_element_color", self.getOutPortName("ui"), [self.canvas_id, self.circle_id, '#f00']))
  647. def _main_behaviour_selected_0_exec(self, parameters):
  648. x = parameters[0]
  649. y = parameters[1]
  650. button = parameters[2]
  651. self.mouse_pos = {'x':x, 'y':y};
  652. def _main_behaviour_selected_0_guard(self, parameters):
  653. x = parameters[0]
  654. y = parameters[1]
  655. button = parameters[2]
  656. return button == ui.MOUSE_BUTTONS.LEFT
  657. def _main_behaviour_selected_1_exec(self, parameters):
  658. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("delete_ball", None, [self.association_name])]))
  659. self.big_step.outputEvent(Event("destroy_element", self.getOutPortName("ui"), [self.canvas_id, self.element_id]))
  660. def initializeStatechart(self):
  661. # enter default state
  662. self.default_targets = self.states["/main_behaviour"].getEffectiveTargetStates()
  663. RuntimeClassBase.initializeStatechart(self)
  664. class CollisionPhysics(RuntimeClassBase):
  665. def __init__(self, controller, ball1_id, ball2_id, ball1_info, ball2_info):
  666. RuntimeClassBase.__init__(self, controller)
  667. self.inports["physics_ui"] = controller.addInputPort("physics_ui", self)
  668. self.semantics.big_step_maximality = StatechartSemantics.TakeMany
  669. self.semantics.internal_event_lifeline = StatechartSemantics.Queue
  670. self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
  671. self.semantics.priority = StatechartSemantics.SourceParent
  672. self.semantics.concurrency = StatechartSemantics.Single
  673. # build Statechart structure
  674. self.build_statechart_structure()
  675. # user defined attributes
  676. self.ball2_info = None
  677. # call user defined constructor
  678. CollisionPhysics.user_defined_constructor(self, ball1_id, ball2_id, ball1_info, ball2_info)
  679. def user_defined_constructor(self, ball1_id, ball2_id, ball1_info, ball2_info):
  680. self.ball1_id = ball1_id
  681. self.ball2_id = ball2_id
  682. self.ball1_info = ball1_info
  683. self.ball2_info = ball2_info
  684. def user_defined_destructor(self):
  685. pass
  686. # user defined method
  687. def resolve_velocity(self, vel, normal):
  688. # Resolve the velocity into normal and tangential components.
  689. normal_velocity = np.dot(vel, normal) * normal
  690. tangential_velocity = vel - normal_velocity
  691. return normal_velocity, tangential_velocity
  692. # user defined method
  693. def handle_collision(self):
  694. pos1 = np.array([self.ball1_info['pos']['x'], self.ball1_info['pos']['y']])
  695. vel1 = np.array([self.ball1_info['vel']['x'], self.ball1_info['vel']['y']])
  696. r1 = self.ball1_info['r']
  697. pos2 = np.array([self.ball2_info['pos']['x'], self.ball2_info['pos']['y']])
  698. vel2 = np.array([self.ball2_info['vel']['x'], self.ball2_info['vel']['y']])
  699. r2 = self.ball2_info['r']
  700. # Calculate the normal vector from the center of ball1 to the center of ball2
  701. normal = pos2 - pos1
  702. normal = normal / np.linalg.norm(normal) # Normalize the normal vector
  703. # Calculate the relative velocity
  704. relative_velocity = vel1 - vel2
  705. # Calculate the velocities in the normal direction
  706. vel1_normal, vel1_tangential = self.resolve_velocity(vel1, normal)
  707. vel2_normal, vel2_tangential = self.resolve_velocity(vel2, normal)
  708. # Calculate new normal velocities after collision (1D elastic collision formula)
  709. vel1_normal_new = ((r1 - r2) * vel1_normal + 2 * r2 * vel2_normal) / (r1 + r2)
  710. vel2_normal_new = ((r2 - r1) * vel2_normal + 2 * r1 * vel1_normal) / (r1 + r2)
  711. # Combine the new normal and original tangential components
  712. vel1_new = vel1_normal_new + vel1_tangential
  713. vel2_new = vel2_normal_new + vel2_tangential
  714. # Update the velocities in the balls
  715. self.ball1_info['vel'] = {'x': vel1_new[0], 'y': vel1_new[1]}
  716. self.ball2_info['vel'] = {'x': vel2_new[0], 'y': vel2_new[1]}
  717. # builds Statechart structure
  718. def build_statechart_structure(self):
  719. # state <root>
  720. self.states[""] = State(0, "", self)
  721. # state /creating
  722. self.states["/creating"] = State(1, "/creating", self)
  723. self.states["/creating"].setEnter(self._creating_enter)
  724. # state /running
  725. self.states["/running"] = State(2, "/running", self)
  726. # state /delete
  727. self.states["/delete"] = State(3, "/delete", self)
  728. # add children
  729. self.states[""].addChild(self.states["/creating"])
  730. self.states[""].addChild(self.states["/running"])
  731. self.states[""].addChild(self.states["/delete"])
  732. self.states[""].fixTree()
  733. self.states[""].default_state = self.states["/creating"]
  734. # transition /creating
  735. _creating_0 = Transition(self, self.states["/creating"], [self.states["/running"]])
  736. _creating_0.setAction(self._creating_0_exec)
  737. _creating_0.setTrigger(Event("set_association_name", None))
  738. self.states["/creating"].addTransition(_creating_0)
  739. # transition /running
  740. _running_0 = Transition(self, self.states["/running"], [self.states["/delete"]])
  741. _running_0.setAction(self._running_0_exec)
  742. _running_0.setTrigger(None)
  743. self.states["/running"].addTransition(_running_0)
  744. def _creating_enter(self):
  745. self.handle_collision()
  746. def _creating_0_exec(self, parameters):
  747. association_name = parameters[0]
  748. self.association_name = association_name
  749. def _running_0_exec(self, parameters):
  750. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("update_vel", None, [self.ball1_id, self.ball2_id, self.ball1_info['vel'], self.ball2_info['vel']])]))
  751. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("delete_physics", None, [self.association_name])]))
  752. def initializeStatechart(self):
  753. # enter default state
  754. self.default_targets = self.states["/creating"].getEffectiveTargetStates()
  755. RuntimeClassBase.initializeStatechart(self)
  756. class ObjectManager(ObjectManagerBase):
  757. def __init__(self, controller):
  758. ObjectManagerBase.__init__(self, controller)
  759. def instantiate(self, class_name, construct_params):
  760. if class_name == "MainApp":
  761. instance = MainApp(self.controller)
  762. instance.associations = {}
  763. instance.associations["fields"] = Association("Field", 0, -1)
  764. elif class_name == "Field":
  765. instance = Field(self.controller)
  766. instance.associations = {}
  767. instance.associations["balls"] = Association("Ball", 0, -1)
  768. instance.associations["buttons"] = Association("Button", 0, -1)
  769. instance.associations["collisions"] = Association("CollisionPhysics", 0, -1)
  770. instance.associations["parent"] = Association("MainApp", 1, 1)
  771. elif class_name == "Button":
  772. instance = Button(self.controller, construct_params[0], construct_params[1], construct_params[2])
  773. instance.associations = {}
  774. instance.associations["parent"] = Association("Field", 1, 1)
  775. elif class_name == "Ball":
  776. instance = Ball(self.controller, construct_params[0], construct_params[1], construct_params[2])
  777. instance.associations = {}
  778. instance.associations["parent"] = Association("Field", 1, 1)
  779. elif class_name == "CollisionPhysics":
  780. instance = CollisionPhysics(self.controller, construct_params[0], construct_params[1], construct_params[2], construct_params[3])
  781. instance.associations = {}
  782. instance.associations["parent"] = Association("Field", 1, 1)
  783. else:
  784. raise Exception("Cannot instantiate class " + class_name)
  785. return instance
  786. class Controller(EventLoopControllerBase):
  787. def __init__(self, event_loop_callbacks, finished_callback = None, behind_schedule_callback = None):
  788. if finished_callback == None: finished_callback = None
  789. if behind_schedule_callback == None: behind_schedule_callback = None
  790. EventLoopControllerBase.__init__(self, ObjectManager(self), event_loop_callbacks, finished_callback, behind_schedule_callback)
  791. self.addInputPort("ui")
  792. self.addOutputPort("ui")
  793. self.object_manager.createInstance("MainApp", [])