target.py 36 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727
  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: Elevator Balls
  5. """
  6. from sccd.runtime.statecharts_core import *
  7. import sccd.runtime.libs.ui_v2 as ui
  8. import random
  9. import time
  10. CANVAS_DIMS = (800, 550)
  11. FLOOR_LENGTH = 350
  12. FLOOR_SPACE = 50
  13. FLOORS = 4
  14. # package "Elevator Balls"
  15. class MainApp(RuntimeClassBase):
  16. def __init__(self, controller):
  17. RuntimeClassBase.__init__(self, controller)
  18. self.inports["field_ui"] = controller.addInputPort("field_ui", self)
  19. self.semantics.big_step_maximality = StatechartSemantics.TakeMany
  20. self.semantics.internal_event_lifeline = StatechartSemantics.Queue
  21. self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
  22. self.semantics.priority = StatechartSemantics.SourceParent
  23. self.semantics.concurrency = StatechartSemantics.Single
  24. # build Statechart structure
  25. self.build_statechart_structure()
  26. # user defined attributes
  27. self.window_id = None
  28. self.canvas_id = None
  29. self.num_floors = None
  30. self.floor_dimensions = None
  31. # call user defined constructor
  32. MainApp.user_defined_constructor(self)
  33. def user_defined_constructor(self):
  34. self.num_floors = 0
  35. def user_defined_destructor(self):
  36. pass
  37. # builds Statechart structure
  38. def build_statechart_structure(self):
  39. # state <root>
  40. self.states[""] = State(0, "", self)
  41. # state /creating_window
  42. self.states["/creating_window"] = State(1, "/creating_window", self)
  43. self.states["/creating_window"].setEnter(self._creating_window_enter)
  44. # state /creating_canvas
  45. self.states["/creating_canvas"] = State(2, "/creating_canvas", self)
  46. self.states["/creating_canvas"].setEnter(self._creating_canvas_enter)
  47. # state /create_floors
  48. self.states["/create_floors"] = State(3, "/create_floors", self)
  49. # state /wait
  50. self.states["/wait"] = State(4, "/wait", self)
  51. # state /create_elevator
  52. self.states["/create_elevator"] = State(5, "/create_elevator", self)
  53. # state /creating
  54. self.states["/creating"] = State(6, "/creating", self)
  55. # state /waiting
  56. self.states["/waiting"] = State(7, "/waiting", self)
  57. # add children
  58. self.states[""].addChild(self.states["/creating_window"])
  59. self.states[""].addChild(self.states["/creating_canvas"])
  60. self.states[""].addChild(self.states["/create_floors"])
  61. self.states[""].addChild(self.states["/wait"])
  62. self.states[""].addChild(self.states["/create_elevator"])
  63. self.states[""].addChild(self.states["/creating"])
  64. self.states[""].addChild(self.states["/waiting"])
  65. self.states[""].fixTree()
  66. self.states[""].default_state = self.states["/creating_window"]
  67. # transition /creating_window
  68. _creating_window_0 = Transition(self, self.states["/creating_window"], [self.states["/creating_canvas"]])
  69. _creating_window_0.setAction(self._creating_window_0_exec)
  70. _creating_window_0.setTrigger(Event("window_created", None))
  71. self.states["/creating_window"].addTransition(_creating_window_0)
  72. # transition /creating_canvas
  73. _creating_canvas_0 = Transition(self, self.states["/creating_canvas"], [self.states["/create_floors"]])
  74. _creating_canvas_0.setAction(self._creating_canvas_0_exec)
  75. _creating_canvas_0.setTrigger(Event("canvas_created", None))
  76. self.states["/creating_canvas"].addTransition(_creating_canvas_0)
  77. # transition /create_floors
  78. _create_floors_0 = Transition(self, self.states["/create_floors"], [self.states["/create_elevator"]])
  79. _create_floors_0.setTrigger(None)
  80. _create_floors_0.setGuard(self._create_floors_0_guard)
  81. self.states["/create_floors"].addTransition(_create_floors_0)
  82. _create_floors_1 = Transition(self, self.states["/create_floors"], [self.states["/wait"]])
  83. _create_floors_1.setAction(self._create_floors_1_exec)
  84. _create_floors_1.setTrigger(None)
  85. _create_floors_1.setGuard(self._create_floors_1_guard)
  86. self.states["/create_floors"].addTransition(_create_floors_1)
  87. # transition /wait
  88. _wait_0 = Transition(self, self.states["/wait"], [self.states["/wait"]])
  89. _wait_0.setAction(self._wait_0_exec)
  90. _wait_0.setTrigger(Event("instance_created", None))
  91. self.states["/wait"].addTransition(_wait_0)
  92. _wait_1 = Transition(self, self.states["/wait"], [self.states["/create_floors"]])
  93. _wait_1.setTrigger(Event("instance_started", None))
  94. self.states["/wait"].addTransition(_wait_1)
  95. # transition /create_elevator
  96. _create_elevator_0 = Transition(self, self.states["/create_elevator"], [self.states["/creating"]])
  97. _create_elevator_0.setAction(self._create_elevator_0_exec)
  98. _create_elevator_0.setTrigger(None)
  99. self.states["/create_elevator"].addTransition(_create_elevator_0)
  100. # transition /creating
  101. _creating_0 = Transition(self, self.states["/creating"], [self.states["/waiting"]])
  102. _creating_0.setAction(self._creating_0_exec)
  103. _creating_0.setTrigger(Event("instance_created", None))
  104. self.states["/creating"].addTransition(_creating_0)
  105. def _creating_window_enter(self):
  106. self.big_step.outputEvent(Event("create_window", self.getOutPortName("ui"), [CANVAS_DIMS[0], CANVAS_DIMS[1], "Bouncing Balls Elevator", self.inports['field_ui']]))
  107. def _creating_canvas_enter(self):
  108. self.big_step.outputEvent(Event("create_canvas", self.getOutPortName("ui"), [self.window_id, CANVAS_DIMS[0], CANVAS_DIMS[1] - 200, {'background':'#fff'}, self.inports['field_ui']]))
  109. def _creating_window_0_exec(self, parameters):
  110. window_id = parameters[0]
  111. self.window_id = window_id
  112. self.big_step.outputEvent(Event("bind_event", self.getOutPortName("ui"), [window_id, ui.EVENTS.WINDOW_CLOSE, 'window_close', self.inports['field_ui']]))
  113. self.big_step.outputEvent(Event("bind_event", self.getOutPortName("ui"), [window_id, ui.EVENTS.KEY_PRESS, 'key_press', self.inports['field_ui']]))
  114. def _creating_canvas_0_exec(self, parameters):
  115. canvas_id = parameters[0]
  116. self.canvas_id = canvas_id
  117. def _create_floors_0_guard(self, parameters):
  118. return self.num_floors == FLOORS
  119. def _create_floors_1_exec(self, parameters):
  120. self.big_step.outputEventOM(Event("create_instance", None, [self, "floor", "Floor", self.canvas_id, self.num_floors]))
  121. self.num_floors += 1
  122. def _create_floors_1_guard(self, parameters):
  123. return self.num_floors != FLOORS
  124. def _wait_0_exec(self, parameters):
  125. association_name = parameters[0]
  126. self.big_step.outputEventOM(Event("start_instance", None, [self, association_name]))
  127. def _create_elevator_0_exec(self, parameters):
  128. self.big_step.outputEventOM(Event("create_instance", None, [self, "elevator", "Elevator", self.canvas_id]))
  129. def _creating_0_exec(self, parameters):
  130. association_name = parameters[0]
  131. self.big_step.outputEventOM(Event("start_instance", None, [self, association_name]))
  132. self.big_step.outputEventOM(Event("narrow_cast", None, [self, association_name, Event("set_association_name", None, [association_name, self.canvas_id, self.window_id])]))
  133. def initializeStatechart(self):
  134. # enter default state
  135. self.default_targets = self.states["/creating_window"].getEffectiveTargetStates()
  136. RuntimeClassBase.initializeStatechart(self)
  137. class Floor(RuntimeClassBase):
  138. def __init__(self, controller, canvas_id, floor_num):
  139. RuntimeClassBase.__init__(self, controller)
  140. self.inports["floor_ui"] = controller.addInputPort("floor_ui", self)
  141. self.semantics.big_step_maximality = StatechartSemantics.TakeMany
  142. self.semantics.internal_event_lifeline = StatechartSemantics.Queue
  143. self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
  144. self.semantics.priority = StatechartSemantics.SourceParent
  145. self.semantics.concurrency = StatechartSemantics.Single
  146. # build Statechart structure
  147. self.build_statechart_structure()
  148. # user defined attributes
  149. self.window_id = None
  150. self.canvas_id = None
  151. self.elevator_id = None
  152. # call user defined constructor
  153. Floor.user_defined_constructor(self, canvas_id, floor_num)
  154. def user_defined_constructor(self, canvas_id, floor_num):
  155. self.canvas_id = canvas_id;
  156. self.floor_num = floor_num;
  157. y_dim = (CANVAS_DIMS[1] - ((FLOORS - 1) * FLOOR_SPACE)) / FLOORS
  158. self.dim = {'x': FLOOR_LENGTH, 'y': y_dim};
  159. self.pos = {'x': FLOOR_LENGTH / 2, 'y': (y_dim /2) + (self.floor_num * (y_dim + FLOOR_SPACE))};
  160. def user_defined_destructor(self):
  161. pass
  162. # builds Statechart structure
  163. def build_statechart_structure(self):
  164. # state <root>
  165. self.states[""] = State(0, "", self)
  166. # state /creating_floor
  167. self.states["/creating_floor"] = State(1, "/creating_floor", self)
  168. self.states["/creating_floor"].setEnter(self._creating_floor_enter)
  169. # state /running
  170. self.states["/running"] = State(2, "/running", self)
  171. # state /running/create_random_ball
  172. self.states["/running/create_random_ball"] = State(3, "/running/create_random_ball", self)
  173. self.states["/running/create_random_ball"].setEnter(self._running_create_random_ball_enter)
  174. self.states["/running/create_random_ball"].setExit(self._running_create_random_ball_exit)
  175. # state /running/wait
  176. self.states["/running/wait"] = State(4, "/running/wait", self)
  177. # add children
  178. self.states[""].addChild(self.states["/creating_floor"])
  179. self.states[""].addChild(self.states["/running"])
  180. self.states["/running"].addChild(self.states["/running/create_random_ball"])
  181. self.states["/running"].addChild(self.states["/running/wait"])
  182. self.states[""].fixTree()
  183. self.states[""].default_state = self.states["/creating_floor"]
  184. self.states["/running"].default_state = self.states["/running/create_random_ball"]
  185. # transition /creating_floor
  186. _creating_floor_0 = Transition(self, self.states["/creating_floor"], [self.states["/running"]])
  187. _creating_floor_0.setTrigger(Event("rectangle_created", None))
  188. self.states["/creating_floor"].addTransition(_creating_floor_0)
  189. # transition /running/create_random_ball
  190. _running_create_random_ball_0 = Transition(self, self.states["/running/create_random_ball"], [self.states["/running/wait"]])
  191. _running_create_random_ball_0.setAction(self._running_create_random_ball_0_exec)
  192. _running_create_random_ball_0.setTrigger(Event("_0after"))
  193. self.states["/running/create_random_ball"].addTransition(_running_create_random_ball_0)
  194. # transition /running/wait
  195. _running_wait_0 = Transition(self, self.states["/running/wait"], [self.states["/running/create_random_ball"]])
  196. _running_wait_0.setAction(self._running_wait_0_exec)
  197. _running_wait_0.setTrigger(Event("instance_created", None))
  198. self.states["/running/wait"].addTransition(_running_wait_0)
  199. def _creating_floor_enter(self):
  200. self.big_step.outputEvent(Event("create_rectangle", self.getOutPortName("ui"), [self.canvas_id, self.pos['x'], self.pos['y'], self.dim['x'], self.dim['y'], {'fill':'white', 'outline': 'black'}, self.inports['floor_ui']]))
  201. def _running_create_random_ball_enter(self):
  202. self.addTimer(0, random.randint(2, 10))
  203. def _running_create_random_ball_exit(self):
  204. self.removeTimer(0)
  205. def _running_create_random_ball_0_exec(self, parameters):
  206. self.big_step.outputEventOM(Event("create_instance", None, [self, "balls", "Ball", self.canvas_id, self.floor_num, 10, self.pos['y']]))
  207. def _running_wait_0_exec(self, parameters):
  208. association_name = parameters[0]
  209. self.big_step.outputEventOM(Event("start_instance", None, [self, association_name]))
  210. self.big_step.outputEventOM(Event("narrow_cast", None, [self, association_name, Event("set_association_name", None, [association_name])]))
  211. def initializeStatechart(self):
  212. # enter default state
  213. self.default_targets = self.states["/creating_floor"].getEffectiveTargetStates()
  214. RuntimeClassBase.initializeStatechart(self)
  215. class Elevator(RuntimeClassBase):
  216. def __init__(self, controller, canvas_id):
  217. RuntimeClassBase.__init__(self, controller)
  218. self.inports["elevator_ui"] = controller.addInputPort("elevator_ui", self)
  219. self.semantics.big_step_maximality = StatechartSemantics.TakeMany
  220. self.semantics.internal_event_lifeline = StatechartSemantics.Queue
  221. self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
  222. self.semantics.priority = StatechartSemantics.SourceParent
  223. self.semantics.concurrency = StatechartSemantics.Single
  224. # build Statechart structure
  225. self.build_statechart_structure()
  226. # user defined attributes
  227. self.window_id = None
  228. self.canvas_id = None
  229. self.elevator_id = None
  230. # call user defined constructor
  231. Elevator.user_defined_constructor(self, canvas_id)
  232. def user_defined_constructor(self, canvas_id):
  233. self.canvas_id = canvas_id;
  234. self.button_ids = {
  235. 'up': None,
  236. 'down': None,
  237. 'open': None
  238. };
  239. self.open_button = None;
  240. self.is_open = False;
  241. elevator_height = (CANVAS_DIMS[1] - ((FLOORS - 1) * FLOOR_SPACE)) / FLOORS
  242. self.dim = {'x': elevator_height, 'y': elevator_height};
  243. self.vel = {'x': 0, 'y': -2};
  244. self.pos = {'x': FLOOR_LENGTH + (elevator_height / 2), 'y': 75};
  245. self.smooth = 0.6; # value between 0 and 1
  246. def user_defined_destructor(self):
  247. pass
  248. # builds Statechart structure
  249. def build_statechart_structure(self):
  250. # state <root>
  251. self.states[""] = State(0, "", self)
  252. # state /root
  253. self.states["/root"] = State(1, "/root", self)
  254. # state /root/waiting
  255. self.states["/root/waiting"] = State(2, "/root/waiting", self)
  256. # state /root/creating_elevator
  257. self.states["/root/creating_elevator"] = State(3, "/root/creating_elevator", self)
  258. self.states["/root/creating_elevator"].setEnter(self._root_creating_elevator_enter)
  259. # state /root/running
  260. self.states["/root/running"] = State(4, "/root/running", self)
  261. self.states["/root/running"].setEnter(self._root_running_enter)
  262. self.states["/root/running"].setExit(self._root_running_exit)
  263. # add children
  264. self.states[""].addChild(self.states["/root"])
  265. self.states["/root"].addChild(self.states["/root/waiting"])
  266. self.states["/root"].addChild(self.states["/root/creating_elevator"])
  267. self.states["/root"].addChild(self.states["/root/running"])
  268. self.states[""].fixTree()
  269. self.states[""].default_state = self.states["/root"]
  270. self.states["/root"].default_state = self.states["/root/waiting"]
  271. # transition /root/waiting
  272. _root_waiting_0 = Transition(self, self.states["/root/waiting"], [self.states["/root/creating_elevator"]])
  273. _root_waiting_0.setAction(self._root_waiting_0_exec)
  274. _root_waiting_0.setTrigger(Event("set_association_name", None))
  275. self.states["/root/waiting"].addTransition(_root_waiting_0)
  276. # transition /root/creating_elevator
  277. _root_creating_elevator_0 = Transition(self, self.states["/root/creating_elevator"], [self.states["/root/running"]])
  278. _root_creating_elevator_0.setAction(self._root_creating_elevator_0_exec)
  279. _root_creating_elevator_0.setTrigger(Event("rectangle_created", None))
  280. self.states["/root/creating_elevator"].addTransition(_root_creating_elevator_0)
  281. # transition /root/running
  282. _root_running_0 = Transition(self, self.states["/root/running"], [self.states["/root/running"]])
  283. _root_running_0.setAction(self._root_running_0_exec)
  284. _root_running_0.setTrigger(Event("_0after"))
  285. self.states["/root/running"].addTransition(_root_running_0)
  286. _root_running_1 = Transition(self, self.states["/root/running"], [self.states["/root/running"]])
  287. _root_running_1.setAction(self._root_running_1_exec)
  288. _root_running_1.setTrigger(Event("right_click", self.getInPortName("elevator_ui")))
  289. self.states["/root/running"].addTransition(_root_running_1)
  290. _root_running_2 = Transition(self, self.states["/root/running"], [self.states["/root/running"]])
  291. _root_running_2.setAction(self._root_running_2_exec)
  292. _root_running_2.setTrigger(Event("instance_created", None))
  293. self.states["/root/running"].addTransition(_root_running_2)
  294. def _root_creating_elevator_enter(self):
  295. self.big_step.outputEvent(Event("create_rectangle", self.getOutPortName("ui"), [self.canvas_id, self.pos['x'], self.pos['y'], self.dim['x'], self.dim['y'], {'fill':'white', 'outline': 'black'}, self.inports['elevator_ui']]))
  296. def _root_running_enter(self):
  297. self.addTimer(0, 0.02)
  298. def _root_running_exit(self):
  299. self.removeTimer(0)
  300. def _root_waiting_0_exec(self, parameters):
  301. association_name = parameters[0]
  302. canvas_id = parameters[1]
  303. window_id = parameters[2]
  304. self.association_name = association_name
  305. self.canvas_id = canvas_id
  306. self.window_id = window_id
  307. def _root_creating_elevator_0_exec(self, parameters):
  308. canvas_id = parameters[0]
  309. rect_id = parameters[1]
  310. self.elevator_id = rect_id
  311. self.big_step.outputEvent(Event("bind_event", self.getOutPortName("ui"), [canvas_id, ui.EVENTS.MOUSE_RIGHT_CLICK, 'right_click', self.inports['elevator_ui']]))
  312. def _root_running_0_exec(self, parameters):
  313. # Invert velocity when colliding with canvas border:
  314. if self.pos['y']-(self.dim['y']/2) <= 0 or self.pos['y']+(self.dim['y']/2) >= CANVAS_DIMS[1]:
  315. self.vel['y'] = -self.vel['y'];
  316. self.big_step.outputEvent(Event("move_element", self.getOutPortName("ui"), [self.canvas_id, self.elevator_id, self.vel['x'], self.vel['y']]))
  317. self.pos['x'] += self.vel['x']
  318. self.pos['y'] += self.vel['y']
  319. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'balls', Event("update_bounds", None, [self.pos, self.dim, self.vel])]))
  320. def _root_running_1_exec(self, parameters):
  321. x = parameters[0]
  322. y = parameters[1]
  323. button = parameters[2]
  324. self.big_step.outputEventOM(Event("create_instance", None, [self, "balls", "Ball", self.canvas_id, -1, x, y]))
  325. def _root_running_2_exec(self, parameters):
  326. association_name = parameters[0]
  327. self.big_step.outputEventOM(Event("start_instance", None, [self, association_name]))
  328. self.big_step.outputEventOM(Event("narrow_cast", None, [self, association_name, Event("set_association_name", None, [association_name])]))
  329. def initializeStatechart(self):
  330. # enter default state
  331. self.default_targets = self.states["/root"].getEffectiveTargetStates()
  332. RuntimeClassBase.initializeStatechart(self)
  333. class Ball(RuntimeClassBase):
  334. def __init__(self, controller, canvas_id, floor_num, x, y):
  335. RuntimeClassBase.__init__(self, controller)
  336. self.inports["ball_ui"] = controller.addInputPort("ball_ui", self)
  337. self.semantics.big_step_maximality = StatechartSemantics.TakeMany
  338. self.semantics.internal_event_lifeline = StatechartSemantics.Queue
  339. self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
  340. self.semantics.priority = StatechartSemantics.SourceParent
  341. self.semantics.concurrency = StatechartSemantics.Single
  342. # build Statechart structure
  343. self.build_statechart_structure()
  344. # user defined attributes
  345. self.canvas_id = None
  346. self.pos = None
  347. # call user defined constructor
  348. Ball.user_defined_constructor(self, canvas_id, floor_num, x, y)
  349. def user_defined_constructor(self, canvas_id, floor_num, x, y):
  350. self.canvas_id = canvas_id;
  351. self.floor_num = floor_num;
  352. self.r = 5.0;
  353. self.vel = {'x': random.uniform(-5.0, 5.0), 'y': random.uniform(-5.0, 5.0)};
  354. self.pos = {'x': x, 'y': y};
  355. self.smooth = 0.6; # value between 0 and 1
  356. def user_defined_destructor(self):
  357. pass
  358. # builds Statechart structure
  359. def build_statechart_structure(self):
  360. # state <root>
  361. self.states[""] = State(0, "", self)
  362. # state /main_behaviour
  363. self.states["/main_behaviour"] = State(1, "/main_behaviour", self)
  364. # state /main_behaviour/initializing
  365. self.states["/main_behaviour/initializing"] = State(2, "/main_behaviour/initializing", self)
  366. # state /main_behaviour/creating_circle
  367. self.states["/main_behaviour/creating_circle"] = State(3, "/main_behaviour/creating_circle", self)
  368. self.states["/main_behaviour/creating_circle"].setEnter(self._main_behaviour_creating_circle_enter)
  369. # state /main_behaviour/bouncing
  370. self.states["/main_behaviour/bouncing"] = State(4, "/main_behaviour/bouncing", self)
  371. self.states["/main_behaviour/bouncing"].setEnter(self._main_behaviour_bouncing_enter)
  372. self.states["/main_behaviour/bouncing"].setExit(self._main_behaviour_bouncing_exit)
  373. # state /main_behaviour/dragging
  374. self.states["/main_behaviour/dragging"] = State(5, "/main_behaviour/dragging", self)
  375. # state /main_behaviour/selected
  376. self.states["/main_behaviour/selected"] = State(6, "/main_behaviour/selected", self)
  377. # state /deleted
  378. self.states["/deleted"] = State(7, "/deleted", self)
  379. # add children
  380. self.states[""].addChild(self.states["/main_behaviour"])
  381. self.states[""].addChild(self.states["/deleted"])
  382. self.states["/main_behaviour"].addChild(self.states["/main_behaviour/initializing"])
  383. self.states["/main_behaviour"].addChild(self.states["/main_behaviour/creating_circle"])
  384. self.states["/main_behaviour"].addChild(self.states["/main_behaviour/bouncing"])
  385. self.states["/main_behaviour"].addChild(self.states["/main_behaviour/dragging"])
  386. self.states["/main_behaviour"].addChild(self.states["/main_behaviour/selected"])
  387. self.states[""].fixTree()
  388. self.states[""].default_state = self.states["/main_behaviour"]
  389. self.states["/main_behaviour"].default_state = self.states["/main_behaviour/initializing"]
  390. # transition /main_behaviour/initializing
  391. _main_behaviour_initializing_0 = Transition(self, self.states["/main_behaviour/initializing"], [self.states["/main_behaviour/creating_circle"]])
  392. _main_behaviour_initializing_0.setAction(self._main_behaviour_initializing_0_exec)
  393. _main_behaviour_initializing_0.setTrigger(Event("set_association_name", None))
  394. self.states["/main_behaviour/initializing"].addTransition(_main_behaviour_initializing_0)
  395. # transition /main_behaviour/creating_circle
  396. _main_behaviour_creating_circle_0 = Transition(self, self.states["/main_behaviour/creating_circle"], [self.states["/main_behaviour/bouncing"]])
  397. _main_behaviour_creating_circle_0.setAction(self._main_behaviour_creating_circle_0_exec)
  398. _main_behaviour_creating_circle_0.setTrigger(Event("circle_created", None))
  399. self.states["/main_behaviour/creating_circle"].addTransition(_main_behaviour_creating_circle_0)
  400. # transition /main_behaviour/bouncing
  401. _main_behaviour_bouncing_0 = Transition(self, self.states["/main_behaviour/bouncing"], [self.states["/main_behaviour/bouncing"]])
  402. _main_behaviour_bouncing_0.setAction(self._main_behaviour_bouncing_0_exec)
  403. _main_behaviour_bouncing_0.setTrigger(Event("_0after"))
  404. self.states["/main_behaviour/bouncing"].addTransition(_main_behaviour_bouncing_0)
  405. _main_behaviour_bouncing_1 = Transition(self, self.states["/main_behaviour/bouncing"], [self.states["/main_behaviour/bouncing"]])
  406. _main_behaviour_bouncing_1.setAction(self._main_behaviour_bouncing_1_exec)
  407. _main_behaviour_bouncing_1.setTrigger(None)
  408. _main_behaviour_bouncing_1.setGuard(self._main_behaviour_bouncing_1_guard)
  409. self.states["/main_behaviour/bouncing"].addTransition(_main_behaviour_bouncing_1)
  410. _main_behaviour_bouncing_2 = Transition(self, self.states["/main_behaviour/bouncing"], [self.states["/main_behaviour/selected"]])
  411. _main_behaviour_bouncing_2.setAction(self._main_behaviour_bouncing_2_exec)
  412. _main_behaviour_bouncing_2.setTrigger(Event("mouse_press", self.getInPortName("ball_ui")))
  413. _main_behaviour_bouncing_2.setGuard(self._main_behaviour_bouncing_2_guard)
  414. self.states["/main_behaviour/bouncing"].addTransition(_main_behaviour_bouncing_2)
  415. _main_behaviour_bouncing_3 = Transition(self, self.states["/main_behaviour/bouncing"], [self.states["/main_behaviour/bouncing"]])
  416. _main_behaviour_bouncing_3.setAction(self._main_behaviour_bouncing_3_exec)
  417. _main_behaviour_bouncing_3.setTrigger(Event("update_bounds", None))
  418. self.states["/main_behaviour/bouncing"].addTransition(_main_behaviour_bouncing_3)
  419. # transition /main_behaviour/dragging
  420. _main_behaviour_dragging_0 = Transition(self, self.states["/main_behaviour/dragging"], [self.states["/main_behaviour/dragging"]])
  421. _main_behaviour_dragging_0.setAction(self._main_behaviour_dragging_0_exec)
  422. _main_behaviour_dragging_0.setTrigger(Event("mouse_move", self.getInPortName("ball_ui")))
  423. self.states["/main_behaviour/dragging"].addTransition(_main_behaviour_dragging_0)
  424. _main_behaviour_dragging_1 = Transition(self, self.states["/main_behaviour/dragging"], [self.states["/main_behaviour/bouncing"]])
  425. _main_behaviour_dragging_1.setAction(self._main_behaviour_dragging_1_exec)
  426. _main_behaviour_dragging_1.setTrigger(Event("mouse_release", self.getInPortName("ball_ui")))
  427. self.states["/main_behaviour/dragging"].addTransition(_main_behaviour_dragging_1)
  428. # transition /main_behaviour/selected
  429. _main_behaviour_selected_0 = Transition(self, self.states["/main_behaviour/selected"], [self.states["/main_behaviour/dragging"]])
  430. _main_behaviour_selected_0.setAction(self._main_behaviour_selected_0_exec)
  431. _main_behaviour_selected_0.setTrigger(Event("mouse_press", self.getInPortName("ball_ui")))
  432. _main_behaviour_selected_0.setGuard(self._main_behaviour_selected_0_guard)
  433. self.states["/main_behaviour/selected"].addTransition(_main_behaviour_selected_0)
  434. _main_behaviour_selected_1 = Transition(self, self.states["/main_behaviour/selected"], [self.states["/deleted"]])
  435. _main_behaviour_selected_1.setAction(self._main_behaviour_selected_1_exec)
  436. _main_behaviour_selected_1.setTrigger(Event("delete_self", None))
  437. self.states["/main_behaviour/selected"].addTransition(_main_behaviour_selected_1)
  438. def _main_behaviour_creating_circle_enter(self):
  439. 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']]))
  440. def _main_behaviour_bouncing_enter(self):
  441. self.addTimer(0, 0.02)
  442. def _main_behaviour_bouncing_exit(self):
  443. self.removeTimer(0)
  444. def _main_behaviour_initializing_0_exec(self, parameters):
  445. association_name = parameters[0]
  446. self.association_name = association_name
  447. def _main_behaviour_creating_circle_0_exec(self, parameters):
  448. canvas_id = parameters[0]
  449. circle_id = parameters[1]
  450. self.circle_id = circle_id
  451. 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']]))
  452. 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']]))
  453. 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']]))
  454. def _main_behaviour_bouncing_0_exec(self, parameters):
  455. if self.floor_num == -1:
  456. if self.pos['x'] - self.r < self.rect_pos['x'] - (self.rect_dim['x'] / 2):
  457. self.pos['x'] = self.rect_pos['x'] - (self.rect_dim['x'] / 2) + self.r # Correct position
  458. self.vel['x'] = -self.vel['x'] + self.rect_vel['x']
  459. elif self.pos['x'] + self.r > self.rect_pos['x'] + (self.rect_dim['x'] / 2):
  460. self.pos['x'] = self.rect_pos['x'] + (self.rect_dim['x'] / 2) - self.r # Correct position
  461. self.vel['x'] = -self.vel['x'] + self.rect_vel['x']
  462. # Check collision with the top and bottom borders
  463. if self.pos['y'] - self.r < self.rect_pos['y'] - (self.rect_dim['y'] / 2):
  464. self.pos['y'] = self.rect_pos['y'] - (self.rect_dim['y'] / 2) + self.r # Correct position
  465. self.vel['y'] = -self.vel['y'] + self.rect_vel['y']
  466. elif self.pos['y'] + self.r > self.rect_pos['y'] + (self.rect_dim['y'] / 2):
  467. self.pos['y'] = self.rect_pos['y'] + (self.rect_dim['y'] / 2) - self.r # Correct position
  468. self.vel['y'] = -self.vel['y'] + self.rect_vel['y']
  469. else:
  470. floor_height = (CANVAS_DIMS[1] - ((FLOORS - 1) * FLOOR_SPACE)) / FLOORS
  471. floor_dim = {'x': FLOOR_LENGTH, 'y': floor_height};
  472. floor_pos = {'x': FLOOR_LENGTH / 2, 'y': (floor_height /2) + (self.floor_num * (floor_height + FLOOR_SPACE))};
  473. if self.pos['x'] - self.r < floor_pos['x'] - (floor_dim['x'] / 2):
  474. self.pos['x'] = floor_pos['x'] - (floor_dim['x'] / 2) + self.r # Correct position
  475. self.vel['x'] = -self.vel['x']
  476. elif self.pos['x'] + self.r > floor_pos['x'] + (floor_dim['x'] / 2):
  477. self.pos['x'] = floor_pos['x'] + (floor_dim['x'] / 2) - self.r # Correct position
  478. self.vel['x'] = -self.vel['x']
  479. # Check collision with the top and bottom borders
  480. if self.pos['y'] - self.r < floor_pos['y'] - (floor_dim['y'] / 2):
  481. self.pos['y'] = floor_pos['y'] - (floor_dim['y'] / 2) + self.r # Correct position
  482. self.vel['y'] = -self.vel['y']
  483. elif self.pos['y'] + self.r > floor_pos['y'] + (floor_dim['y'] / 2):
  484. self.pos['y'] = floor_pos['y'] + (floor_dim['y'] / 2) - self.r # Correct position
  485. self.vel['y'] = -self.vel['y']
  486. self.big_step.outputEvent(Event("move_element", self.getOutPortName("ui"), [self.canvas_id, self.circle_id, self.vel['x'], self.vel['y']]))
  487. self.pos['x'] += self.vel['x']
  488. self.pos['y'] += self.vel['y']
  489. def _main_behaviour_bouncing_1_exec(self, parameters):
  490. self.big_step.outputEvent(Event("destroy_element", self.getOutPortName("ui"), [self.canvas_id, self.element_id]))
  491. def _main_behaviour_bouncing_1_guard(self, parameters):
  492. return self.pos['x'] - self.r == 6
  493. def _main_behaviour_bouncing_2_exec(self, parameters):
  494. x = parameters[0]
  495. y = parameters[1]
  496. button = parameters[2]
  497. self.big_step.outputEvent(Event("set_element_color", self.getOutPortName("ui"), [self.canvas_id, self.circle_id, '#ff0']))
  498. def _main_behaviour_bouncing_2_guard(self, parameters):
  499. x = parameters[0]
  500. y = parameters[1]
  501. button = parameters[2]
  502. return button == ui.MOUSE_BUTTONS.LEFT
  503. def _main_behaviour_bouncing_3_exec(self, parameters):
  504. pos = parameters[0]
  505. dim = parameters[1]
  506. vel = parameters[2]
  507. self.rect_pos = pos
  508. self.rect_dim = dim
  509. self.rect_vel = vel
  510. def _main_behaviour_dragging_0_exec(self, parameters):
  511. x = parameters[0]
  512. y = parameters[1]
  513. button = parameters[2]
  514. # Always keep ball within canvas:
  515. x = min(max(0+self.r, x), CANVAS_DIMS[0]-self.r)
  516. y = min(max(0+self.r, y), CANVAS_DIMS[1]-self.r)
  517. dx = x - self.pos['x']
  518. dy = y - self.pos['y']
  519. self.vel = {
  520. 'x': (1-self.smooth)*dx + self.smooth*self.vel['x'],
  521. 'y': (1-self.smooth)*dy + self.smooth*self.vel['y']
  522. }
  523. self.pos = {'x': x, 'y': y}
  524. self.big_step.outputEvent(Event("set_element_pos", self.getOutPortName("ui"), [self.canvas_id, self.circle_id, x-self.r, y-self.r]))
  525. def _main_behaviour_dragging_1_exec(self, parameters):
  526. x = parameters[0]
  527. y = parameters[1]
  528. self.big_step.outputEvent(Event("set_element_color", self.getOutPortName("ui"), [self.canvas_id, self.circle_id, '#f00']))
  529. def _main_behaviour_selected_0_exec(self, parameters):
  530. x = parameters[0]
  531. y = parameters[1]
  532. button = parameters[2]
  533. self.mouse_pos = {'x':x, 'y':y};
  534. def _main_behaviour_selected_0_guard(self, parameters):
  535. x = parameters[0]
  536. y = parameters[1]
  537. button = parameters[2]
  538. return button == ui.MOUSE_BUTTONS.LEFT
  539. def _main_behaviour_selected_1_exec(self, parameters):
  540. self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("delete_ball", None, [self.association_name])]))
  541. self.big_step.outputEvent(Event("destroy_element", self.getOutPortName("ui"), [self.canvas_id, self.element_id]))
  542. def initializeStatechart(self):
  543. # enter default state
  544. self.default_targets = self.states["/main_behaviour"].getEffectiveTargetStates()
  545. RuntimeClassBase.initializeStatechart(self)
  546. class ObjectManager(ObjectManagerBase):
  547. def __init__(self, controller):
  548. ObjectManagerBase.__init__(self, controller)
  549. def instantiate(self, class_name, construct_params):
  550. if class_name == "MainApp":
  551. instance = MainApp(self.controller)
  552. instance.associations = {}
  553. instance.associations["floor"] = Association("Floor", 2, -1)
  554. instance.associations["elevator"] = Association("Elevator", 1, 1)
  555. elif class_name == "Floor":
  556. instance = Floor(self.controller, construct_params[0], construct_params[1])
  557. instance.associations = {}
  558. instance.associations["balls"] = Association("Ball", 0, -1)
  559. instance.associations["parent"] = Association("MainApp", 1, 1)
  560. elif class_name == "Elevator":
  561. instance = Elevator(self.controller, construct_params[0])
  562. instance.associations = {}
  563. instance.associations["balls"] = Association("Ball", 0, -1)
  564. instance.associations["parent"] = Association("MainApp", 1, 1)
  565. elif class_name == "Ball":
  566. instance = Ball(self.controller, construct_params[0], construct_params[1], construct_params[2], construct_params[3])
  567. instance.associations = {}
  568. instance.associations["parent"] = Association("MainApp", 1, 1)
  569. else:
  570. raise Exception("Cannot instantiate class " + class_name)
  571. return instance
  572. class Controller(EventLoopControllerBase):
  573. def __init__(self, event_loop_callbacks, finished_callback = None, behind_schedule_callback = None):
  574. if finished_callback == None: finished_callback = None
  575. if behind_schedule_callback == None: behind_schedule_callback = None
  576. EventLoopControllerBase.__init__(self, ObjectManager(self), event_loop_callbacks, finished_callback, behind_schedule_callback)
  577. self.addInputPort("ui")
  578. self.addOutputPort("ui")
  579. self.object_manager.createInstance("MainApp", [])