executor.xml 4.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120
  1. <class name="Executor">
  2. <relationships>
  3. <association name="parent" class="MvKController" min="1" max="1"/>
  4. </relationships>
  5. <constructor>
  6. <body>
  7. <![CDATA[
  8. self.mvs = ModelverseState("../../bootstrap/bootstrap.m.gz")
  9. self.request_queue = [("", "", "load_primitives", [], None)]
  10. self.mvs.GC = True
  11. self.mvk = ModelverseKernel(self.mvs.read_root()[0])
  12. self.first = True
  13. self.mvs_response = None
  14. self.mvs_operations = {
  15. "CN": self.mvs.create_node,
  16. "CE": self.mvs.create_edge,
  17. "CNV": self.mvs.create_nodevalue,
  18. "CD": self.mvs.create_dict,
  19. "RV": self.mvs.read_value,
  20. "RO": self.mvs.read_outgoing,
  21. "RI": self.mvs.read_incoming,
  22. "RE": self.mvs.read_edge,
  23. "RD": self.mvs.read_dict,
  24. "RDN": self.mvs.read_dict_node,
  25. "RDNE": self.mvs.read_dict_node_edge,
  26. "RDE": self.mvs.read_dict_edge,
  27. "RRD": self.mvs.read_reverse_dict,
  28. "RR": self.mvs.read_root,
  29. "RDK": self.mvs.read_dict_keys,
  30. "DE": self.mvs.delete_edge,
  31. "DN": self.mvs.delete_node,
  32. }
  33. ]]>
  34. </body>
  35. </constructor>
  36. <scxml initial="init">
  37. <parallel id="init">
  38. <state id="raw_exec">
  39. <state id="raw_exec">
  40. <transition event="raw_exec" target=".">
  41. <parameter name="operations"/>
  42. <parameter name="source"/>
  43. <script>
  44. reply = [self.mvs_operations[command[0]](*command[1]) for command in operations]
  45. </script>
  46. <raise event="raw_exec_reply" scope="narrow" target="source">
  47. <parameter expr="reply"/>
  48. </raise>
  49. </transition>
  50. </state>
  51. </state>
  52. <state id="queue">
  53. <state id="queue">
  54. <transition event="execute" target=".">
  55. <parameter name="returnpath"/>
  56. <parameter name="username"/>
  57. <parameter name="operation"/>
  58. <parameter name="params"/>
  59. <parameter name="request_id"/>
  60. <script>
  61. print 'got execute event'
  62. self.request_queue.append(("/" + returnpath, username, operation, params, request_id))
  63. </script>
  64. </transition>
  65. </state>
  66. </state>
  67. <state id="execute" initial="idle">
  68. <state id="idle">
  69. <onentry>
  70. <script>
  71. print 'in idle'
  72. </script>
  73. </onentry>
  74. <transition cond="self.request_queue" target="../execution"/>
  75. </state>
  76. <state id="execution">
  77. <onentry>
  78. <script>
  79. _, username, operation, params, _ = self.request_queue[0]
  80. reply = None
  81. commands = []
  82. print("Execute operation: " + operation)
  83. while 1:
  84. commands = self.mvk.execute_yields(username, operation, params, reply)
  85. if commands is None:
  86. break
  87. reply = [self.mvs_operations[command[0]](*(command[1]))[0] for command in commands]
  88. </script>
  89. </onentry>
  90. <transition target="../idle">
  91. <script>
  92. returnpath, _, _, _, request_id = self.request_queue.pop(0)
  93. </script>
  94. <raise event="executed" scope="narrow" target="'parent' + returnpath">
  95. <parameter expr="self.mvk.returnvalue"/>
  96. <parameter expr="self.mvk.success"/>
  97. <parameter expr="request_id"/>
  98. </raise>
  99. <script>
  100. print("Executed action --> " + str(self.mvk.returnvalue))
  101. self.mvk.returnvalue = None
  102. self.mvk.success = True
  103. self.first = True
  104. </script>
  105. </transition>
  106. </state>
  107. </state>
  108. </parallel>
  109. </scxml>
  110. </class>