Sākums Izpētīt Palīdzība
Pierakstīties
simon
/
SCCD
Vērot 2
Pievienot zvaigznīti 2
Atdalīts 3
Faili Problēmas 28 Izmaiņu pieprasījumi 0 Vikivietne
Koks: 474ac7c3ea
Atzari Tagi
SCCD
/
tests
/
target_py
/
original_semantics
/
history_deep.py

history_deep.py 12 KB
Vēsture Neapstrādāts

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225 
  1. """
    2. 

  2. Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
    3. 

  3. 

  4. Date:   Wed Aug 03 16:10:23 2016
    5. 

  5. 

  6. Model author: Glenn De Jonghe
    7. 

  7. Model name:   TestHistoryDeep
    8. 

  8. Model description:
    9. 

  9. Testing history deep.
    10. 

  10. """
    11. 

  11. 

  12. from python_runtime.statecharts_core import *
    13. 

  13. 

  14. # package "TestHistoryDeep"
    15. 

  15. 

  16. class Class1(RuntimeClassBase):
    17. 

  17.     def __init__(self, controller):
    18. 

  18.         RuntimeClassBase.__init__(self, controller)
    19. 

  19.         
    20. 

  20.         self.semantics.big_step_maximality = StatechartSemantics.TakeMany
    21. 

  21.         self.semantics.internal_event_lifeline = StatechartSemantics.Queue
    22. 

  22.         self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
    23. 

  23.         self.semantics.priority = StatechartSemantics.SourceParent
    24. 

  24.         self.semantics.concurrency = StatechartSemantics.Single
    25. 

  25.         
    26. 

  26.         # build Statechart structure
    27. 

  27.         self.build_statechart_structure()
    28. 

  28.         
    29. 

  29.         # call user defined constructor
    30. 

  30.         Class1.user_defined_constructor(self)
    31. 

  31.     
    32. 

  32.     def user_defined_constructor(self):
    33. 

  33.         pass
    34. 

  34.     
    35. 

  35.     def user_defined_destructor(self):
    36. 

  36.         pass
    37. 

  37.     
    38. 

  38.     
    39. 

  39.     # builds Statechart structure
    40. 

  40.     def build_statechart_structure(self):
    41. 

  41.         
    42. 

  42.         # state <root>
    43. 

  43.         self.states[""] = State(0, self)
    44. 

  44.         
    45. 

  45.         # state /parallel
    46. 

  46.         self.states["/parallel"] = ParallelState(1, self)
    47. 

  47.         
    48. 

  48.         # state /parallel/orthogonal
    49. 

  49.         self.states["/parallel/orthogonal"] = State(2, self)
    50. 

  50.         
    51. 

  51.         # state /parallel/orthogonal/wrapper
    52. 

  52.         self.states["/parallel/orthogonal/wrapper"] = State(3, self)
    53. 

  53.         
    54. 

  54.         # state /parallel/orthogonal/wrapper/state_1
    55. 

  55.         self.states["/parallel/orthogonal/wrapper/state_1"] = State(4, self)
    56. 

  56.         
    57. 

  57.         # state /parallel/orthogonal/wrapper/state_1/inner_1
    58. 

  58.         self.states["/parallel/orthogonal/wrapper/state_1/inner_1"] = State(5, self)
    59. 

  59.         
    60. 

  60.         # state /parallel/orthogonal/wrapper/state_1/inner_2
    61. 

  61.         self.states["/parallel/orthogonal/wrapper/state_1/inner_2"] = State(6, self)
    62. 

  62.         
    63. 

  63.         # state /parallel/orthogonal/wrapper/state_2
    64. 

  64.         self.states["/parallel/orthogonal/wrapper/state_2"] = State(7, self)
    65. 

  65.         
    66. 

  66.         # state /parallel/orthogonal/wrapper/state_2/inner_3
    67. 

  67.         self.states["/parallel/orthogonal/wrapper/state_2/inner_3"] = State(8, self)
    68. 

  68.         
    69. 

  69.         # state /parallel/orthogonal/wrapper/state_2/inner_4
    70. 

  70.         self.states["/parallel/orthogonal/wrapper/state_2/inner_4"] = State(9, self)
    71. 

  71.         
    72. 

  72.         # state /parallel/orthogonal/wrapper/history
    73. 

  73.         self.states["/parallel/orthogonal/wrapper/history"] = DeepHistoryState(10, self)
    74. 

  74.         
    75. 

  75.         # state /parallel/orthogonal/outer
    76. 

  76.         self.states["/parallel/orthogonal/outer"] = State(11, self)
    77. 

  77.         
    78. 

  78.         # state /parallel/orthogonal_tester
    79. 

  79.         self.states["/parallel/orthogonal_tester"] = State(12, self)
    80. 

  80.         
    81. 

  81.         # state /parallel/orthogonal_tester/start
    82. 

  82.         self.states["/parallel/orthogonal_tester/start"] = State(13, self)
    83. 

  83.         
    84. 

  84.         # state /parallel/orthogonal_tester/step1
    85. 

  85.         self.states["/parallel/orthogonal_tester/step1"] = State(14, self)
    86. 

  86.         
    87. 

  87.         # state /parallel/orthogonal_tester/step2
    88. 

  88.         self.states["/parallel/orthogonal_tester/step2"] = State(15, self)
    89. 

  89.         
    90. 

  90.         # state /parallel/orthogonal_tester/step3
    91. 

  91.         self.states["/parallel/orthogonal_tester/step3"] = State(16, self)
    92. 

  92.         
    93. 

  93.         # state /parallel/orthogonal_tester/end
    94. 

  94.         self.states["/parallel/orthogonal_tester/end"] = State(17, self)
    95. 

  95.         
    96. 

  96.         # add children
    97. 

  97.         self.states[""].addChild(self.states["/parallel"])
    98. 

  98.         self.states["/parallel"].addChild(self.states["/parallel/orthogonal"])
    99. 

  99.         self.states["/parallel"].addChild(self.states["/parallel/orthogonal_tester"])
    100. 

  100.         self.states["/parallel/orthogonal"].addChild(self.states["/parallel/orthogonal/wrapper"])
    101. 

  101.         self.states["/parallel/orthogonal"].addChild(self.states["/parallel/orthogonal/outer"])
    102. 

  102.         self.states["/parallel/orthogonal/wrapper"].addChild(self.states["/parallel/orthogonal/wrapper/state_1"])
    103. 

  103.         self.states["/parallel/orthogonal/wrapper"].addChild(self.states["/parallel/orthogonal/wrapper/state_2"])
    104. 

  104.         self.states["/parallel/orthogonal/wrapper"].addChild(self.states["/parallel/orthogonal/wrapper/history"])
    105. 

  105.         self.states["/parallel/orthogonal/wrapper/state_1"].addChild(self.states["/parallel/orthogonal/wrapper/state_1/inner_1"])
    106. 

  106.         self.states["/parallel/orthogonal/wrapper/state_1"].addChild(self.states["/parallel/orthogonal/wrapper/state_1/inner_2"])
    107. 

  107.         self.states["/parallel/orthogonal/wrapper/state_2"].addChild(self.states["/parallel/orthogonal/wrapper/state_2/inner_3"])
    108. 

  108.         self.states["/parallel/orthogonal/wrapper/state_2"].addChild(self.states["/parallel/orthogonal/wrapper/state_2/inner_4"])
    109. 

  109.         self.states["/parallel/orthogonal_tester"].addChild(self.states["/parallel/orthogonal_tester/start"])
    110. 

  110.         self.states["/parallel/orthogonal_tester"].addChild(self.states["/parallel/orthogonal_tester/step1"])
    111. 

  111.         self.states["/parallel/orthogonal_tester"].addChild(self.states["/parallel/orthogonal_tester/step2"])
    112. 

  112.         self.states["/parallel/orthogonal_tester"].addChild(self.states["/parallel/orthogonal_tester/step3"])
    113. 

  113.         self.states["/parallel/orthogonal_tester"].addChild(self.states["/parallel/orthogonal_tester/end"])
    114. 

  114.         self.states[""].fixTree()
    115. 

  115.         self.states[""].default_state = self.states["/parallel"]
    116. 

  116.         self.states["/parallel/orthogonal"].default_state = self.states["/parallel/orthogonal/wrapper"]
    117. 

  117.         self.states["/parallel/orthogonal/wrapper"].default_state = self.states["/parallel/orthogonal/wrapper/state_1"]
    118. 

  118.         self.states["/parallel/orthogonal/wrapper/state_1"].default_state = self.states["/parallel/orthogonal/wrapper/state_1/inner_1"]
    119. 

  119.         self.states["/parallel/orthogonal/wrapper/state_2"].default_state = self.states["/parallel/orthogonal/wrapper/state_2/inner_3"]
    120. 

  120.         self.states["/parallel/orthogonal_tester"].default_state = self.states["/parallel/orthogonal_tester/start"]
    121. 

  121.         
    122. 

  122.         # transition /parallel/orthogonal/wrapper/state_2/inner_3
    123. 

  123.         _parallel_orthogonal_wrapper_state_2_inner_3_0 = Transition(self, self.states["/parallel/orthogonal/wrapper/state_2/inner_3"], [self.states["/parallel/orthogonal/wrapper/state_2/inner_4"]])
    124. 

  124.         _parallel_orthogonal_wrapper_state_2_inner_3_0.trigger = Event("to_inner_4", None)
    125. 

  125.         self.states["/parallel/orthogonal/wrapper/state_2/inner_3"].addTransition(_parallel_orthogonal_wrapper_state_2_inner_3_0)
    126. 

  126.         
    127. 

  127.         # transition /parallel/orthogonal/outer
    128. 

  128.         _parallel_orthogonal_outer_0 = Transition(self, self.states["/parallel/orthogonal/outer"], [self.states["/parallel/orthogonal/wrapper/history"]])
    129. 

  129.         _parallel_orthogonal_outer_0.trigger = Event("to_history", None)
    130. 

  130.         self.states["/parallel/orthogonal/outer"].addTransition(_parallel_orthogonal_outer_0)
    131. 

  131.         
    132. 

  132.         # transition /parallel/orthogonal_tester/start
    133. 

  133.         _parallel_orthogonal_tester_start_0 = Transition(self, self.states["/parallel/orthogonal_tester/start"], [self.states["/parallel/orthogonal_tester/step1"]])
    134. 

  134.         _parallel_orthogonal_tester_start_0.setAction(self._parallel_orthogonal_tester_start_0_exec)
    135. 

  135.         self.states["/parallel/orthogonal_tester/start"].addTransition(_parallel_orthogonal_tester_start_0)
    136. 

  136.         
    137. 

  137.         # transition /parallel/orthogonal_tester/step1
    138. 

  138.         _parallel_orthogonal_tester_step1_0 = Transition(self, self.states["/parallel/orthogonal_tester/step1"], [self.states["/parallel/orthogonal_tester/step2"]])
    139. 

  139.         _parallel_orthogonal_tester_step1_0.setAction(self._parallel_orthogonal_tester_step1_0_exec)
    140. 

  140.         _parallel_orthogonal_tester_step1_0.setGuard(self._parallel_orthogonal_tester_step1_0_guard)
    141. 

  141.         self.states["/parallel/orthogonal_tester/step1"].addTransition(_parallel_orthogonal_tester_step1_0)
    142. 

  142.         
    143. 

  143.         # transition /parallel/orthogonal_tester/step2
    144. 

  144.         _parallel_orthogonal_tester_step2_0 = Transition(self, self.states["/parallel/orthogonal_tester/step2"], [self.states["/parallel/orthogonal_tester/step3"]])
    145. 

  145.         _parallel_orthogonal_tester_step2_0.setAction(self._parallel_orthogonal_tester_step2_0_exec)
    146. 

  146.         _parallel_orthogonal_tester_step2_0.setGuard(self._parallel_orthogonal_tester_step2_0_guard)
    147. 

  147.         self.states["/parallel/orthogonal_tester/step2"].addTransition(_parallel_orthogonal_tester_step2_0)
    148. 

  148.         
    149. 

  149.         # transition /parallel/orthogonal_tester/step3
    150. 

  150.         _parallel_orthogonal_tester_step3_0 = Transition(self, self.states["/parallel/orthogonal_tester/step3"], [self.states["/parallel/orthogonal_tester/end"]])
    151. 

  151.         _parallel_orthogonal_tester_step3_0.setAction(self._parallel_orthogonal_tester_step3_0_exec)
    152. 

  152.         _parallel_orthogonal_tester_step3_0.setGuard(self._parallel_orthogonal_tester_step3_0_guard)
    153. 

  153.         self.states["/parallel/orthogonal_tester/step3"].addTransition(_parallel_orthogonal_tester_step3_0)
    154. 

  154.         
    155. 

  155.         # transition /parallel/orthogonal/wrapper
    156. 

  156.         _parallel_orthogonal_wrapper_0 = Transition(self, self.states["/parallel/orthogonal/wrapper"], [self.states["/parallel/orthogonal/outer"]])
    157. 

  157.         _parallel_orthogonal_wrapper_0.trigger = Event("to_outer", None)
    158. 

  158.         self.states["/parallel/orthogonal/wrapper"].addTransition(_parallel_orthogonal_wrapper_0)
    159. 

  159.         
    160. 

  160.         # transition /parallel/orthogonal/wrapper/state_1
    161. 

  161.         _parallel_orthogonal_wrapper_state_1_0 = Transition(self, self.states["/parallel/orthogonal/wrapper/state_1"], [self.states["/parallel/orthogonal/wrapper/state_2"]])
    162. 

  162.         _parallel_orthogonal_wrapper_state_1_0.trigger = Event("to_state_2", None)
    163. 

  163.         self.states["/parallel/orthogonal/wrapper/state_1"].addTransition(_parallel_orthogonal_wrapper_state_1_0)
    164. 

  164.     
    165. 

  165.     def _parallel_orthogonal_tester_start_0_exec(self, parameters):
    166. 

  166.         self.raiseInternalEvent(Event("to_state_2", None, []))
    167. 

  167.         self.raiseInternalEvent(Event("to_inner_4", None, []))
    168. 

  168.     
    169. 

  169.     def _parallel_orthogonal_tester_step1_0_exec(self, parameters):
    170. 

  170.         self.big_step.outputEvent(Event("check1", "test_output", []))
    171. 

  171.         self.raiseInternalEvent(Event("to_outer", None, []))
    172. 

  172.     
    173. 

  173.     def _parallel_orthogonal_tester_step1_0_guard(self, parameters):
    174. 

  174.         return self.inState(["/parallel/orthogonal/wrapper/state_2/inner_4"])
    175. 

  175.     
    176. 

  176.     def _parallel_orthogonal_tester_step2_0_exec(self, parameters):
    177. 

  177.         self.big_step.outputEvent(Event("check2", "test_output", []))
    178. 

  178.         self.raiseInternalEvent(Event("to_history", None, []))
    179. 

  179.     
    180. 

  180.     def _parallel_orthogonal_tester_step2_0_guard(self, parameters):
    181. 

  181.         return self.inState(["/parallel/orthogonal/outer"])
    182. 

  182.     
    183. 

  183.     def _parallel_orthogonal_tester_step3_0_exec(self, parameters):
    184. 

  184.         self.big_step.outputEvent(Event("check3", "test_output", []))
    185. 

  185.     
    186. 

  186.     def _parallel_orthogonal_tester_step3_0_guard(self, parameters):
    187. 

  187.         return self.inState(["/parallel/orthogonal/wrapper/state_2/inner_4"])
    188. 

  188.     
    189. 

  189.     def initializeStatechart(self):
    190. 

  190.         # enter default state
    191. 

  191.         states = self.states["/parallel"].getEffectiveTargetStates()
    192. 

  192.         self.updateConfiguration(states)
    193. 

  193.         for state in states:
    194. 

  194.             if state.enter:
    195. 

  195.                 state.enter()
    196. 

  196. 

  197. class ObjectManager(ObjectManagerBase):
    198. 

  198.     def __init__(self, controller):
    199. 

  199.         ObjectManagerBase.__init__(self, controller)
    200. 

  200.     
    201. 

  201.     def instantiate(self, class_name, construct_params):
    202. 

  202.         if class_name == "Class1":
    203. 

  203.             instance = Class1(self.controller)
    204. 

  204.             instance.associations = {}
    205. 

  205.         return instance
    206. 

  206. 

  207. class Controller(ThreadsControllerBase):
    208. 

  208.     def __init__(self, keep_running = None):
    209. 

  209.         if keep_running == None: keep_running = True
    210. 

  210.         ThreadsControllerBase.__init__(self, ObjectManager(self), keep_running)
    211. 

  211.         self.addOutputPort("test_output")
    212. 

  212.         self.object_manager.createInstance("Class1", [])
    213. 

  213. 

  214. class InputEvent:
    215. 

  215.     def __init__(self, name, port, parameters, time_offset):
    216. 

  216.         self.name = name
    217. 

  217.         self.port = port
    218. 

  218.         self.parameters = parameters
    219. 

  219.         self.time_offset = time_offset
    220. 

  220. 

  221. class Test:
    222. 

  222.     def __init__(self):
    223. 

  223.         pass
    224. 

  224.     input_events = []
    225. 

  225.     expected_events = [[Event("check1", "test_output", [])], [Event("check2", "test_output", [])], [Event("check3", "test_output", [])]]
    226.