| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798 |
- """
- 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: AfterTransitionTest
- Model description:
- Test 3: Check if a state can transition to itself
- """
- from sccd.runtime.statecharts_core import *
- # package "AfterTransitionTest"
- 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):
- self.value = 0
-
- 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)
-
- # state /state2
- self.states["/state2"] = State(2, "/state2", self)
-
- # add children
- self.states[""].addChild(self.states["/state1"])
- self.states[""].addChild(self.states["/state2"])
- 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(None)
- _state1_0.setGuard(self._state1_0_guard)
- self.states["/state1"].addTransition(_state1_0)
- _state1_1 = Transition(self, self.states["/state1"], [self.states["/state2"]])
- _state1_1.setTrigger(None)
- _state1_1.setGuard(self._state1_1_guard)
- self.states["/state1"].addTransition(_state1_1)
-
- def _state1_0_exec(self, parameters):
- self.value = 1
-
- def _state1_0_guard(self, parameters):
- return self.value == 0
-
- def _state1_1_guard(self, parameters):
- return self.value == 1
-
- 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 = {}
- 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.object_manager.createInstance("MainApp", [])
|
