log_output.py 4.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114
  1. """
  2. Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
  3. Date: Wed Jun 6 13:25:52 2018
  4. Model author: Yentl Van Tendeloo
  5. Model name: Logging
  6. Model description:
  7. For testing: append all input to a log until finished
  8. """
  9. from sccd.runtime.statecharts_core import *
  10. # package "Logging"
  11. class Logging(RuntimeClassBase):
  12. def __init__(self, controller, log):
  13. RuntimeClassBase.__init__(self, controller)
  14. self.semantics.big_step_maximality = StatechartSemantics.TakeMany
  15. self.semantics.internal_event_lifeline = StatechartSemantics.Queue
  16. self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
  17. self.semantics.priority = StatechartSemantics.SourceParent
  18. self.semantics.concurrency = StatechartSemantics.Single
  19. # build Statechart structure
  20. self.build_statechart_structure()
  21. # call user defined constructor
  22. Logging.user_defined_constructor(self, log)
  23. def user_defined_constructor(self, log):
  24. self.log = log
  25. def user_defined_destructor(self):
  26. pass
  27. # builds Statechart structure
  28. def build_statechart_structure(self):
  29. # state <root>
  30. self.states[""] = State(0, "", self)
  31. # state /init
  32. self.states["/init"] = State(1, "/init", self)
  33. self.states["/init"].setEnter(self._init_enter)
  34. self.states["/init"].setExit(self._init_exit)
  35. # state /finished
  36. self.states["/finished"] = State(2, "/finished", self)
  37. self.states["/finished"].setEnter(self._finished_enter)
  38. # add children
  39. self.states[""].addChild(self.states["/init"])
  40. self.states[""].addChild(self.states["/finished"])
  41. self.states[""].fixTree()
  42. self.states[""].default_state = self.states["/init"]
  43. # transition /init
  44. _init_0 = Transition(self, self.states["/init"], [self.states["/init"]])
  45. _init_0.setAction(self._init_0_exec)
  46. _init_0.setTrigger(Event("input", "inp"))
  47. self.states["/init"].addTransition(_init_0)
  48. _init_1 = Transition(self, self.states["/init"], [self.states["/init"]])
  49. _init_1.setTrigger(Event("_0after"))
  50. self.states["/init"].addTransition(_init_1)
  51. _init_2 = Transition(self, self.states["/init"], [self.states["/finished"]])
  52. _init_2.setAction(self._init_2_exec)
  53. _init_2.setTrigger(Event("terminate", "inp"))
  54. self.states["/init"].addTransition(_init_2)
  55. def _init_enter(self):
  56. self.addTimer(0, 0.1)
  57. def _init_exit(self):
  58. self.removeTimer(0)
  59. def _finished_enter(self):
  60. print("FINISHED")
  61. def _init_0_exec(self, parameters):
  62. value = parameters[0]
  63. print("Logging " + str(value))
  64. self.log.append(value)
  65. def _init_2_exec(self, parameters):
  66. print("Got terminate")
  67. def initializeStatechart(self):
  68. # enter default state
  69. self.default_targets = self.states["/init"].getEffectiveTargetStates()
  70. RuntimeClassBase.initializeStatechart(self)
  71. class ObjectManager(ObjectManagerBase):
  72. def __init__(self, controller):
  73. ObjectManagerBase.__init__(self, controller)
  74. def instantiate(self, class_name, construct_params):
  75. if class_name == "Logging":
  76. instance = Logging(self.controller, construct_params[0])
  77. instance.associations = {}
  78. else:
  79. raise Exception("Cannot instantiate class " + class_name)
  80. return instance
  81. class Controller(ThreadsControllerBase):
  82. def __init__(self, log, keep_running = None, behind_schedule_callback = None):
  83. if keep_running == None: keep_running = True
  84. if behind_schedule_callback == None: behind_schedule_callback = None
  85. ThreadsControllerBase.__init__(self, ObjectManager(self), keep_running, behind_schedule_callback)
  86. self.addInputPort("inp")
  87. self.addOutputPort("outp")
  88. self.object_manager.createInstance("Logging", [log])