sccd_multiwindow.xml 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369
  1. <?xml version="1.0" ?>
  2. <diagram author="Simon Van Mierlo" name="Bouncing Balls - Tkinter Version ">
  3. <description>
  4. Tkinter frame with bouncing balls in it.
  5. </description>
  6. <top>
  7. import random
  8. import Tkinter as tk
  9. from widget import Widget
  10. </top>
  11. <inport name="input"/>
  12. <class name="MainApp" default="true">
  13. <relationships>
  14. <association name="windows" class="Window" />
  15. </relationships>
  16. <constructor>
  17. <parameter name="root"/>
  18. <body>
  19. self.nr_of_windows = 0
  20. self.root = root
  21. </body>
  22. </constructor>
  23. <scxml initial="main">
  24. <parallel id="main">
  25. <state id="main_behaviour" initial="initializing">
  26. <state id="initializing">
  27. <onentry>
  28. <raise event="create_window" scope="local" />
  29. </onentry>
  30. <transition target="../running" />
  31. </state>
  32. <state id="running">
  33. <transition event="window_created" target=".">
  34. <script>
  35. self.nr_of_windows += 1
  36. </script>
  37. </transition>
  38. <transition event="window_deleted" target="." cond="self.nr_of_windows > 1">
  39. <script>
  40. self.nr_of_windows -= 1
  41. </script>
  42. </transition>
  43. <transition event="window_deleted" target="." cond="self.nr_of_windows == 1">
  44. <raise event="stop" scope="local" />
  45. </transition>
  46. </state>
  47. </state>
  48. <state id="creating_behaviour" initial="waiting">
  49. <state id="waiting">
  50. <transition event="create_window" target="../creating">
  51. <raise event="create_instance" scope="cd">
  52. <parameter expr="'windows'" />
  53. <paremeter expr="'Window'" />
  54. </raise>
  55. </transition>
  56. </state>
  57. <state id="creating">
  58. <transition event="instance_created" target="../waiting">
  59. <parameter name="association_name" />
  60. <raise event="start_instance" scope="cd">
  61. <parameter expr="association_name" />
  62. </raise>
  63. <raise event="set_association_name" scope="narrow" target="association_name">
  64. <parameter expr="association_name" />
  65. </raise>
  66. <raise event="window_created" scope="local" />
  67. </transition>
  68. </state>
  69. </state>
  70. <state id="deleting_behaviour" initial="waiting">
  71. <state id="waiting">
  72. <transition event="delete_window" target="../deleting">
  73. <parameter name="association_name" />
  74. <raise event="delete_instance" scope="cd">
  75. <parameter expr="association_name" />
  76. </raise>
  77. </transition>
  78. </state>
  79. <state id="deleting">
  80. <transition event="instance_deleted" target="../waiting">
  81. <raise event="window_deleted" scope="local" />
  82. </transition>
  83. </state>
  84. </state>
  85. <transition event="stop" target="../stopped" />
  86. </parallel>
  87. <state id="stopped">
  88. <onentry>
  89. <script>
  90. self.root.quit()
  91. </script>
  92. </onentry>
  93. </state>
  94. </scxml>
  95. </class>
  96. <class name="Window">
  97. <relationships>
  98. <association name="parent" class="MainApp" min="1" max="1" />
  99. <association name="buttons" class="Button" />
  100. <association name="balls" class="Ball" />
  101. <inheritance class="tk.Toplevel" priority="1" />
  102. <inheritance class="Widget" priority="0" />
  103. </relationships>
  104. <constructor>
  105. <super class="tk.Toplevel" />
  106. <super class="Widget">
  107. <parameter expr="True" />
  108. </super>
  109. <body>
  110. <![CDATA[
  111. self.title('BouncingBalls')
  112. CANVAS_SIZE_TUPLE = (0, 0, self.winfo_screenwidth() * 2, self.winfo_screenheight() * 2)
  113. self.c = tk.Canvas(self, relief=tk.RIDGE, scrollregion=CANVAS_SIZE_TUPLE)
  114. self.set_bindable_and_tagorid(self.c)
  115. ]]>
  116. </body>
  117. </constructor>
  118. <destructor>
  119. <body>
  120. self.destroy()
  121. </body>
  122. </destructor>
  123. <scxml initial="main">
  124. <parallel id="main">
  125. <state id="main_behaviour" initial="initializing">
  126. <state id="initializing">
  127. <transition event="set_association_name" target="../creating_button">
  128. <parameter name="association_name" />
  129. <script>
  130. self.association_name = association_name
  131. </script>
  132. <raise scope="cd" event="create_instance">
  133. <parameter expr="'buttons'" />
  134. <parameter expr="'Button'" />
  135. <parameter expr="self" />
  136. <parameter expr="'create_window'" />
  137. <parameter expr="'Create Window'" />
  138. </raise>
  139. </transition>
  140. </state>
  141. <state id="creating_button">
  142. <transition event="instance_created" target="../packing_button">
  143. <parameter name="association_name" type="string"/>
  144. <raise scope="cd" event="start_instance">
  145. <parameter expr="association_name" />
  146. </raise>
  147. </transition>
  148. </state>
  149. <state id="packing_button">
  150. <transition event="button_created" target="../running">
  151. <parameter name="button" type="Button"/>
  152. <script>
  153. button.pack(expand=False, fill=tk.X, side=tk.TOP)
  154. self.c.focus_force()
  155. self.c.pack(expand=True, fill=tk.BOTH)
  156. </script>
  157. </transition>
  158. </state>
  159. <state id="running">
  160. <transition event="window-close" port="input" target="." cond="tagorid == id(self)">
  161. <parameter name="tagorid" type="int" default="None" />
  162. <raise event="stop" scope="local" />
  163. </transition>
  164. <transition event="button_pressed" target="." cond="event_name == 'create_window'">
  165. <parameter name="event_name" type="string" />
  166. <raise event="create_window" scope="narrow" target="'parent'" />
  167. </transition>
  168. <transition event="right-click" port="input" target="../creating_ball" cond="tagorid == id(self)">
  169. <parameter name="tagorid" type="int" default="None" />
  170. <raise scope="cd" event="create_instance">
  171. <parameter expr='"balls"' />
  172. <parameter expr='"Ball"' />
  173. <parameter expr="self.c" />
  174. <parameter expr="self.last_x" />
  175. <parameter expr="self.last_y" />
  176. </raise>
  177. </transition>
  178. <transition event="delete_ball" target=".">
  179. <parameter name="association_name" type="string" />
  180. <raise event="delete_instance" scope="cd">
  181. <parameter expr="association_name" />
  182. </raise>
  183. </transition>
  184. </state>
  185. <state id="creating_ball">
  186. <transition event="instance_created" target="../running">
  187. <parameter name="association_name" type="string"/>
  188. <raise event="start_instance" scope="cd">
  189. <parameter expr="association_name" />
  190. </raise>
  191. <raise event="set_association_name" scope="narrow" target="association_name">
  192. <parameter expr="association_name" />
  193. </raise>
  194. </transition>
  195. </state>
  196. </state>
  197. <transition event="stop" target="../stopped">
  198. <raise event="delete_instance" scope="cd">
  199. <parameter expr="'buttons'" />
  200. </raise>
  201. <raise event="delete_instance" scope="cd">
  202. <parameter expr="'balls'" />
  203. </raise>
  204. </transition>
  205. </parallel>
  206. <state id="stopped">
  207. <onentry>
  208. <raise event="delete_window" scope="narrow" target="'parent'">
  209. <parameter expr="self.association_name" />
  210. </raise>
  211. </onentry>
  212. </state>
  213. </scxml>
  214. </class>
  215. <class name="Button">
  216. <relationships>
  217. <association name="parent" class="Field" min="1" max="1" />
  218. <inheritance class="tk.Button" priority="1" />
  219. <inheritance class="Widget" priority="0" />
  220. </relationships>
  221. <constructor>
  222. <parameter name="parent" type="Field" />
  223. <parameter name="event_name" type="str" />
  224. <parameter name="button_text" type="str" />
  225. <super class="tk.Button">
  226. <parameter expr="parent" />
  227. <parameter expr="**{'text': button_text}" />
  228. </super>
  229. <body>
  230. self.event_name = event_name
  231. </body>
  232. </constructor>
  233. <destructor>
  234. <body>
  235. self.destroy()
  236. </body>
  237. </destructor>
  238. <scxml initial="initializing">
  239. <state id="initializing">
  240. <onentry>
  241. <raise event="button_created" scope="narrow" target="'parent'">
  242. <parameter expr="self" />
  243. </raise>
  244. </onentry>
  245. <transition target="../running" />
  246. </state>
  247. <state id="running">
  248. <transition event="left-click" port="input" target="." cond="tagorid == id(self)">
  249. <parameter name="tagorid" type="int" default="None" />
  250. <raise event="button_pressed" scope="narrow" target="'parent'">
  251. <parameter expr="self.event_name" />
  252. </raise>
  253. </transition>
  254. </state>
  255. </scxml>
  256. </class>
  257. <class name="Ball">
  258. <relationships>
  259. <association name="parent" class="Window" min="1" max="1" />
  260. <inheritance class="Widget" priority="0" />
  261. </relationships>
  262. <attribute name="canvas" />
  263. <constructor>
  264. <parameter name="canvas" />
  265. <parameter name="x" />
  266. <parameter name="y" />
  267. <super class="Widget">
  268. <parameter expr="True" />
  269. </super>
  270. <body>
  271. self.canvas = canvas
  272. self.r = 20.0;
  273. self.vel = {'x': random.uniform(-5.0, 5.0), 'y': random.uniform(-5.0, 5.0)};
  274. self.smooth = 0.4 # value between 0 and 1
  275. self.id = self.canvas.create_oval(x, y, x + (self.r * 2), y + (self.r * 2), fill="black")
  276. self.set_bindable_and_tagorid(self.canvas, self.id)
  277. </body>
  278. </constructor>
  279. <destructor>
  280. <body>
  281. self.canvas.delete(self.id)
  282. </body>
  283. </destructor>
  284. <scxml initial="initializing">
  285. <state id="initializing">
  286. <transition event="set_association_name" target="../bouncing">
  287. <parameter name="association_name" type="str" />
  288. <script>
  289. self.association_name = association_name
  290. </script>
  291. </transition>
  292. </state>
  293. <state id="bouncing">
  294. <transition after="(20 - self.getSimulatedTime() % 20) / 1000.0" target=".">
  295. <script>
  296. <![CDATA[
  297. pos = self.canvas.coords(self.id)
  298. x = self.canvas.canvasx(pos[0])
  299. y = self.canvas.canvasy(pos[1])
  300. if x <= 0 or x + (self.r * 2) >= self.canvas.canvasx(self.canvas.winfo_width()):
  301. self.vel['x'] = -self.vel['x']
  302. if y <= 0 or y + (self.r * 2) >= self.canvas.canvasy(self.canvas.winfo_height()):
  303. self.vel['y'] = -self.vel['y']
  304. self.canvas.move(self.id, self.vel['x'], self.vel['y']);
  305. ]]>
  306. </script>
  307. </transition>
  308. <transition port="input" event="left-click" target="../selected" cond="tagorid == id(self)">
  309. <parameter name="tagorid" type="int" default="None" />
  310. <script>
  311. self.canvas.itemconfig(self.id, fill="yellow")
  312. </script>
  313. </transition>
  314. </state>
  315. <state id="dragging">
  316. <transition port="input" event="motion" target=".">
  317. <parameter name="tagorid" type="int" default="None" />
  318. <script>
  319. <![CDATA[
  320. coords = self.canvas.coords(self.id)
  321. dx = self.canvas.canvasx(self.last_x) - self.canvas.canvasx(coords[0])
  322. dy = self.canvas.canvasx(self.last_y) - self.canvas.canvasy(coords[1])
  323. self.canvas.move(self.id, dx, dy);
  324. # keep ball within boundaries
  325. coords = self.canvas.coords(self.id)
  326. x = self.canvas.canvasx(coords[0])
  327. y = self.canvas.canvasy(coords[1])
  328. if x - self.r <= 0:
  329. x = 1;
  330. elif x + self.r >= self.canvas.winfo_width():
  331. x = self.canvas.winfo_width() - (2 * self.r) - 1
  332. if y - self.r <= 0:
  333. y = 1
  334. elif y + self.r >= self.canvas.winfo_height():
  335. y = self.canvas.winfo_height() - (2 * self.r) - 1;
  336. self.canvas.coords(self.id, x, y, x + (self.r * 2), y + (self.r * 2));
  337. self.vel = {
  338. 'x': (1 - self.smooth) * dx + self.smooth * self.vel['x'],
  339. 'y': (1 - self.smooth) * dy + self.smooth * self.vel['y']
  340. }
  341. ]]>
  342. </script>
  343. </transition>
  344. <transition port="input" event="left-release" target="../bouncing">
  345. <parameter name="tagorid" type="int" default="None" />
  346. <script>
  347. self.canvas.itemconfig(self.id, fill="red")
  348. </script>
  349. </transition>
  350. </state>
  351. <state id="selected">
  352. <transition port="input" event="left-click" target="../dragging" cond="tagorid == id(self)">
  353. <parameter name="tagorid" type="int" default="None" />
  354. </transition>
  355. <transition port="input" event="delete" target="../deleted">
  356. <parameter name="tagorid" type="int" default="None" />
  357. <raise event="delete_ball" scope="narrow" target="'parent'">
  358. <parameter expr="self.association_name" />
  359. </raise>
  360. </transition>
  361. </state>
  362. <state id="deleted" />
  363. </scxml>
  364. </class>
  365. </diagram>