mvkcontroller.xml 9.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213
  1. <class name="MvKController">
  2. <relationships>
  3. <association name="to_mvs" class="HTTPClient" min="1" max="1"/>
  4. <association name="to_mvi" class="Server" min="1" max="1"/>
  5. <association name="users" class="UserStatechart"/>
  6. <association name="executor" class="Executor" min="1" max="1"/>
  7. </relationships>
  8. <constructor>
  9. <parameter name="params"/>
  10. <body>
  11. <![CDATA[
  12. self.users = []
  13. self.user_statecharts = {"__hierarchy": None}
  14. self.input_queue = []
  15. self.user_queue = {}
  16. self.source = None
  17. self.root = None
  18. self.params = params
  19. ]]>
  20. </body>
  21. </constructor>
  22. <scxml initial="init_server">
  23. <state id="init_server">
  24. <onentry>
  25. <raise scope="cd" event="create_instance">
  26. <parameter expr="'to_mvi'"/>
  27. <parameter expr="'Server'"/>
  28. <parameter expr="''"/>
  29. <parameter expr="8001"/>
  30. </raise>
  31. </onentry>
  32. <transition event="instance_created" target="../init_executor">
  33. <parameter name="instancename"/>
  34. <raise scope="cd" event="start_instance">
  35. <parameter expr="instancename"/>
  36. </raise>
  37. </transition>
  38. </state>
  39. <state id="init_executor">
  40. <onentry>
  41. <raise scope="cd" event="create_instance">
  42. <parameter expr="'executor'"/>
  43. <parameter expr="'Executor'"/>
  44. </raise>
  45. </onentry>
  46. <transition event="instance_created" target="../read_root">
  47. <parameter name="instancename"/>
  48. <raise scope="cd" event="start_instance">
  49. <parameter expr="instancename"/>
  50. </raise>
  51. </transition>
  52. </state>
  53. <state id="read_root">
  54. <onentry>
  55. <raise event="raw_exec" scope="narrow" target="'executor'">
  56. <parameter expr="[['RR', []]]"/>
  57. <parameter expr="'parent'"/>
  58. </raise>
  59. </onentry>
  60. <transition event="raw_exec_reply" target="../running">
  61. <parameter name="data"/>
  62. <script>
  63. self.root = data[0][0]
  64. </script>
  65. </transition>
  66. </state>
  67. <parallel id="running">
  68. <state id="wait_for_requests">
  69. <state id="wait">
  70. <transition event="from_mvi" target=".">
  71. <parameter name="source"/>
  72. <parameter name="data"/>
  73. <script>
  74. # No JSON encoding necessary, as it is not complex
  75. try:
  76. print 'from_mvi %s' % data
  77. args = None
  78. if data["op"] == "set_input":
  79. if "value" in data:
  80. value = [json.loads(data["value"])]
  81. else:
  82. value = json.loads(data["data"])
  83. args = value
  84. self.input_queue.append((source, data["op"], args, data["username"]))
  85. except ValueError:
  86. print("Error when deserializing request: " + str(data))
  87. raise
  88. </script>
  89. </transition>
  90. </state>
  91. </state>
  92. <state id="push" initial="wait">
  93. <state id="wait">
  94. <transition cond="self.input_queue and self.input_queue[0][3] in self.user_statecharts" target="../process"/>
  95. <!-- User is not yet detected, so stall this message -->
  96. <transition cond="self.input_queue and self.input_queue[0][3] not in self.user_statecharts" target=".">
  97. <!-- Move it to the back of the list, so we can process other users first -->
  98. <script>
  99. self.user_queue.setdefault(self.input_queue[0][3], []).append(self.input_queue.pop(0))
  100. </script>
  101. <!-- Force a refresh too -->
  102. <raise event="force_user_refresh"/>
  103. </transition>
  104. </state>
  105. <state id="process">
  106. <transition cond="self.input_queue[0][1] == 'set_input'" target="../wait">
  107. <script>
  108. source, op, args, username = self.input_queue.pop(0)
  109. </script>
  110. <raise event="set_input" scope="narrow" target="self.user_statecharts[username]">
  111. <parameter expr="source"/>
  112. <parameter expr="args"/>
  113. </raise>
  114. </transition>
  115. <transition cond="self.input_queue[0][1] == 'get_output'" target="../wait">
  116. <script>
  117. source, op, args, username = self.input_queue.pop(0)
  118. </script>
  119. <raise event="get_output" scope="narrow" target="self.user_statecharts[username]">
  120. <parameter expr="source"/>
  121. <parameter expr="args"/>
  122. </raise>
  123. </transition>
  124. </state>
  125. </state>
  126. <state id="find_users" initial="get_all_links">
  127. <state id="get_all_links">
  128. <onentry>
  129. <raise event="raw_exec" scope="narrow" target="'executor'">
  130. <parameter expr="[['RDK', [self.root]]]"/>
  131. <parameter expr="'parent'"/>
  132. </raise>
  133. </onentry>
  134. <transition event="raw_exec_reply" target="../retrieve_users">
  135. <parameter name="data"/>
  136. <script>
  137. print("Root: " + str(self.root))
  138. print("Users: " + str(data))
  139. self.users = data[0][0]
  140. </script>
  141. </transition>
  142. </state>
  143. <state id="retrieve_users">
  144. <transition cond="self.users" target="../got_usernames">
  145. <raise event="raw_exec" scope="narrow" target="'executor'">
  146. <parameter expr="[['RV', [user]] for user in self.users]"/>
  147. <parameter expr="'parent'"/>
  148. </raise>
  149. </transition>
  150. <transition cond="not self.users" target="../wait"/>
  151. </state>
  152. <state id="got_usernames">
  153. <transition event="raw_exec_reply" target="../process_users">
  154. <parameter name="data"/>
  155. <script>
  156. self.users = [v[0] for v in data if v[0] not in self.user_statecharts]
  157. print("EXPANDED Users: " + str(data))
  158. </script>
  159. </transition>
  160. </state>
  161. <state id="process_users">
  162. <transition cond="not self.users" target="../wait"/>
  163. <transition cond="self.users" target="../creating_user">
  164. <raise event="create_instance" scope="cd">
  165. <parameter expr="'users'"/>
  166. <parameter expr="'UserStatechart'"/>
  167. <parameter expr="self.users[0]"/>
  168. </raise>
  169. </transition>
  170. </state>
  171. <state id="creating_user">
  172. <transition event="instance_created" target="../retrieve_users">
  173. <parameter name="instancename"/>
  174. <raise scope="cd" event="start_instance">
  175. <parameter expr="instancename"/>
  176. </raise>
  177. <raise scope="narrow" target="instancename" event="set_returnpath">
  178. <parameter expr="instancename"/>
  179. </raise>
  180. <script>
  181. print self.users[0]
  182. self.user_statecharts[self.users[0]] = instancename
  183. # Repush all this user's messages in the input queue
  184. self.input_queue.extend(self.user_queue.pop(self.users[0], []))
  185. self.users.pop(0)
  186. </script>
  187. </transition>
  188. </state>
  189. <state id="wait">
  190. <transition after="1.0" target="../get_all_links"/>
  191. <transition event="force_user_refresh" target="../get_all_links"/>
  192. </state>
  193. </state>
  194. </parallel>
  195. </scxml>
  196. </class>