123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192 |
- """
- Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
- Model author: Sam Pieters
- Model name: Create and Delete Multiple Running Instance (other than the MainApp)
- Model description:
- # TODO: Still need to do this
- Test 15: Check if multiple running instances can be deleted after the creation.
- """
- from sccd.runtime.statecharts_core import *
- # package "Create and Delete Multiple Running Instance (other than the MainApp)"
- class MainApp(RuntimeClassBase):
- def __init__(self, controller):
- RuntimeClassBase.__init__(self, controller)
-
-
- self.semantics.big_step_maximality = StatechartSemantics.TakeMany
- self.semantics.internal_event_lifeline = StatechartSemantics.Queue
- self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
- self.semantics.priority = StatechartSemantics.SourceParent
- self.semantics.concurrency = StatechartSemantics.Single
-
- # build Statechart structure
- self.build_statechart_structure()
-
- # call user defined constructor
- MainApp.user_defined_constructor(self)
-
- def user_defined_constructor(self):
- pass
-
- def user_defined_destructor(self):
- pass
-
-
- # builds Statechart structure
- def build_statechart_structure(self):
-
- # state <root>
- self.states[""] = State(0, "", self)
-
- # state /state1
- self.states["/state1"] = State(1, "/state1", self)
- self.states["/state1"].setEnter(self._state1_enter)
-
- # state /state2
- self.states["/state2"] = State(2, "/state2", self)
-
- # state /state3
- self.states["/state3"] = State(3, "/state3", self)
- self.states["/state3"].setEnter(self._state3_enter)
-
- # state /state4
- self.states["/state4"] = State(4, "/state4", self)
- self.states["/state4"].setEnter(self._state4_enter)
-
- # add children
- self.states[""].addChild(self.states["/state1"])
- self.states[""].addChild(self.states["/state2"])
- self.states[""].addChild(self.states["/state3"])
- self.states[""].addChild(self.states["/state4"])
- self.states[""].fixTree()
- self.states[""].default_state = self.states["/state1"]
-
- # transition /state1
- _state1_0 = Transition(self, self.states["/state1"], [self.states["/state2"]])
- _state1_0.setAction(self._state1_0_exec)
- _state1_0.setTrigger(Event("instance_created", None))
- self.states["/state1"].addTransition(_state1_0)
-
- # transition /state2
- _state2_0 = Transition(self, self.states["/state2"], [self.states["/state3"]])
- _state2_0.setAction(self._state2_0_exec)
- _state2_0.setTrigger(Event("instance_started", None))
- self.states["/state2"].addTransition(_state2_0)
-
- # transition /state3
- _state3_0 = Transition(self, self.states["/state3"], [self.states["/state4"]])
- _state3_0.setAction(self._state3_0_exec)
- _state3_0.setTrigger(Event("instance_deleted", None))
- self.states["/state3"].addTransition(_state3_0)
-
- def _state1_enter(self):
- self.big_step.outputEventOM(Event("create_instance", None, [self, "linkA", "A"]))
-
- def _state3_enter(self):
- self.big_step.outputEventOM(Event("delete_instance", None, [self, 'linkA[0]']))
-
- def _state4_enter(self):
- self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'linkA[0]', Event("sanity_check", None, [])]))
-
- def _state1_0_exec(self, parameters):
- association_name = parameters[0]
- self.big_step.outputEvent(Event("instance_created_succesfully", self.getOutPortName("ui"), [str('%.2f' % (self.getSimulatedTime() / 1000.0)), association_name]))
- self.big_step.outputEventOM(Event("start_instance", None, [self, association_name]))
-
- def _state2_0_exec(self, parameters):
- association_name = parameters[0]
- self.big_step.outputEvent(Event("instance_started_succesfully", self.getOutPortName("ui"), [str('%.2f' % (self.getSimulatedTime() / 1000.0)), association_name]))
-
- def _state3_0_exec(self, parameters):
- deleted_links = parameters[0]
- self.big_step.outputEvent(Event("instance_deleted_succesfully", self.getOutPortName("ui"), [str('%.2f' % (self.getSimulatedTime() / 1000.0)), deleted_links]))
-
- def initializeStatechart(self):
- # enter default state
- self.default_targets = self.states["/state1"].getEffectiveTargetStates()
- RuntimeClassBase.initializeStatechart(self)
- class A(RuntimeClassBase):
- def __init__(self, controller):
- RuntimeClassBase.__init__(self, controller)
-
-
- self.semantics.big_step_maximality = StatechartSemantics.TakeMany
- self.semantics.internal_event_lifeline = StatechartSemantics.Queue
- self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
- self.semantics.priority = StatechartSemantics.SourceParent
- self.semantics.concurrency = StatechartSemantics.Single
-
- # build Statechart structure
- self.build_statechart_structure()
-
- # call user defined constructor
- A.user_defined_constructor(self)
-
- def user_defined_constructor(self):
- pass
-
- def user_defined_destructor(self):
- pass
-
-
- # builds Statechart structure
- def build_statechart_structure(self):
-
- # state <root>
- self.states[""] = State(0, "", self)
-
- # state /state1
- self.states["/state1"] = State(1, "/state1", self)
- self.states["/state1"].setEnter(self._state1_enter)
-
- # add children
- self.states[""].addChild(self.states["/state1"])
- self.states[""].fixTree()
- self.states[""].default_state = self.states["/state1"]
-
- # transition /state1
- _state1_0 = Transition(self, self.states["/state1"], [self.states["/state1"]])
- _state1_0.setAction(self._state1_0_exec)
- _state1_0.setTrigger(Event("sanity_check", None))
- self.states["/state1"].addTransition(_state1_0)
-
- def _state1_enter(self):
- self.big_step.outputEvent(Event("statechart_started_succesfully", self.getOutPortName("ui"), [str('%.2f' % (self.getSimulatedTime() / 1000.0))]))
-
- def _state1_0_exec(self, parameters):
- self.big_step.outputEvent(Event("not_possible", self.getOutPortName("ui"), [str('%.2f' % (self.getSimulatedTime() / 1000.0))]))
-
- def initializeStatechart(self):
- # enter default state
- self.default_targets = self.states["/state1"].getEffectiveTargetStates()
- RuntimeClassBase.initializeStatechart(self)
- class ObjectManager(ObjectManagerBase):
- def __init__(self, controller):
- ObjectManagerBase.__init__(self, controller)
-
- def instantiate(self, class_name, construct_params):
- if class_name == "MainApp":
- instance = MainApp(self.controller)
- instance.associations = {}
- instance.associations["linkA"] = Association("A", 0, -1)
- elif class_name == "A":
- instance = A(self.controller)
- instance.associations = {}
- else:
- raise Exception("Cannot instantiate class " + class_name)
- return instance
- class Controller(ThreadsControllerBase):
- def __init__(self, keep_running = None, behind_schedule_callback = None):
- if keep_running == None: keep_running = True
- if behind_schedule_callback == None: behind_schedule_callback = None
- ThreadsControllerBase.__init__(self, ObjectManager(self), keep_running, behind_schedule_callback)
- self.addInputPort("ui")
- self.addOutputPort("ui")
- self.object_manager.createInstance("MainApp", [])
|