MLE/debugging_fsa_cbd_composition/cbdsimulator/target.py

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

Date:   Tue Oct 11 15:57:15 2016

Model author: Sadaf Mustafiz and Claudio Gomes and Simon Van Mierlo
Model name:   CBDSimulator
Model description:
SCCD HUTN model of a CBD simulator
"""

from sccd.runtime.statecharts_core import *
from sccd.runtime.libs.ui import *
from sccd.runtime.libs.utils import *
from CBD_Controller import CBDController
import Options
import sccd.runtime.accurate_time as accurate_time

class Breakpoint:
    def __init__(self, name, function, enabled, disable_on_trigger):
        self.name = name
        self.function = function
        self.enabled = enabled
        self.disable_on_trigger = disable_on_trigger

# package "CBDSimulator"

class CBDSimulator(RuntimeClassBase):
    def __init__(self, controller, options, model):
        RuntimeClassBase.__init__(self, controller)
        
        self.semantics.big_step_maximality = StatechartSemantics.TakeMany
        self.semantics.internal_event_lifeline = StatechartSemantics.NextComboStep
        self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
        self.semantics.priority = StatechartSemantics.SourceParent
        self.semantics.concurrency = StatechartSemantics.Single
        
        # build Statechart structure
        self.build_statechart_structure()
        
        # user defined attributes
        self.iteration = None
        self.cbdController = None
        self.delta = None
        self.clock = None
        self.model = None
        self.depGraph = None
        self.strongComponentList = None
        self.currentCompIdx = None
        
        # call user defined constructor
        CBDSimulator.user_defined_constructor(self, options, model)
    
    def user_defined_constructor(self, options, model):
        self.options = options
        self.delta = self.options.getDeltaT() * 1000.0
        self.model = model
    
    def user_defined_destructor(self):
        pass
    
    
    # user defined method
    def initialize(self):
        self.iteration = 0
        self.clock = 0
        self.time_next = self.delta
        self.cbdController = CBDController(self.model, self.delta)
        self.cbdController.initSimulation()
        self.state = {b.getBlockName(): b.getSignal() for b in self.model.getBlocks()}
        self.breakpoints = []
        self.triggered_bp = None
    
    
    # user defined method
    def endCondition(self):
        return self.iteration >= self.options.getMaxIterations()
    
    
    # user defined method
    def advanceTime(self):
        self.iteration = self.iteration + 1
        self.clock = self.time_next
        self.cbdController.advanceTimeStep()
        self.time_next = self.clock + self.delta
    
    
    # user defined method
    def currentComponentIsCycle(self):
        return self.cbdController.componentIsCycle(self.strongComponentList[self.currentCompIdx], self.depGraph)
    
    
    # user defined method
    def hasNextStrongComponent(self):
        return (self.currentCompIdx + 1) < len(self.strongComponentList)
    
    
    # user defined method
    def finalize(self):
        from bokeh.plotting import figure, output_file, show    
        times = []
        values = []
        for timeValuePair in self.model.getSignal("neg"):
            times.append(timeValuePair.time)
            values.append(timeValuePair.value)
        
        output_file("./plot.html", title="Plot")
        p = figure(title="Something vs Otherthing", x_axis_label="Time", y_axis_label="Values")
        p.line(times, values, legend="Something", line_width=1, line_color="red")
        show(p)
    
    
    # user defined method
    def waitTime(self):
        # First, we convert from wall-clock time to simulated time.
        # This means the elapsed time in wall-clock time needs to be scaled according to the realtime scale (for example, if the realtime scale is 2, an elapsed time of 1 second in wall-clock time is equal to an elapsed time of 2 seconds in simulated time).
        simulated_diff = (accurate_time.time() - self.realtime_start_time) * self.realtime_scale
        # time_next and simulated_diff are both in simulated time: so now scale back to wall-clock time by dividing.
        # This function returns an amount of miliseconds.
        return ((self.time_next - simulated_diff) / self.realtime_scale)
    
    
    # user defined method
    def addBreakpoint(self, name, function, enabled = None, disable_on_trigger = None):
        if enabled == None: enabled = true
        if disable_on_trigger == None: disable_on_trigger = true
        if len([bp for bp in self.breakpoints if bp.name == name]) > 0:
            return -1
        self.breakpoints.append(Breakpoint(name, function, enabled, disable_on_trigger))
        return 0
    
    
    # user defined method
    def delBreakpoint(self, name):
        if len([bp for bp in self.breakpoints if bp.name == name]) == 0:
            return -1
        self.breakpoints = [bp for bp in self.breakpoints if bp.name != name]
        return 0
    
    
    # user defined method
    def toggleBreakpoint(self, name):
        if len([bp for bp in self.breakpoints if bp.name == name]) == 0:
            return -1
        for bp in self.breakpoints:
            if bp.name == name:
                bp.enabled = enabled
                break
        return 0
    
    
    # user defined method
    def breakpointTriggers(self, is_realtime_simulation):
        self.triggered_bp = None
        for bp in self.breakpoints:
            if not bp.enabled:
                continue
            # include the function in the scope...
            exec(bp.function)
            # ... and execute it, note that the breakpoint thus has to start with "def breakpoint("
            # note that we pass self.time_next instead of self.simulated_time in the case of as-fast-as-possible simulation (or stepping)
            # this is to make sure that the simulation is stopped BEFORE the specified time is reached, and not AFTER (because we don't necessarily implement 'step back')
            # in case of realtime simulation, we do pass the current simulated time, since we can stop at (more or less) exactly the right time
            if breakpoint({'clock': (self.clock if is_realtime_simulation else self.time_next) / 1000.0, 'state': self.state}):
                # triggered!
                self.triggered_bp = bp.name
                if bp.disable_on_trigger:
                    bp.enabled = False
                return True
            else:
                # not triggered, so continue
                continue
        return False
    
    
    # user defined method
    def godEvent(self, block_name, new_val):
        if block_name not in self.state:
            return -1
        for b in self.model.getBlocks():
            if b.getBlockName() == block_name:
                b.setSignal(new_val)
        self.state = {b.getBlockName(): b.getSignal() for b in self.model.getBlocks()}
        return 0
    
    
    # builds Statechart structure
    def build_statechart_structure(self):
        
        # state <root>
        self.states[""] = State(0, self)
        
        # state /Main
        self.states["/Main"] = ParallelState(1, self)
        
        # state /Main/SimulationState
        self.states["/Main/SimulationState"] = State(2, self)
        
        # state /Main/SimulationState/Paused
        self.states["/Main/SimulationState/Paused"] = State(3, self)
        self.states["/Main/SimulationState/Paused"].setEnter(self._Main_SimulationState_Paused_enter)
        self.states["/Main/SimulationState/Paused"].setExit(self._Main_SimulationState_Paused_exit)
        
        # state /Main/SimulationState/PrePaused
        self.states["/Main/SimulationState/PrePaused"] = State(4, self)
        self.states["/Main/SimulationState/PrePaused"].setEnter(self._Main_SimulationState_PrePaused_enter)
        self.states["/Main/SimulationState/PrePaused"].setExit(self._Main_SimulationState_PrePaused_exit)
        
        # state /Main/SimulationState/PreBreakpointTriggered
        self.states["/Main/SimulationState/PreBreakpointTriggered"] = State(5, self)
        self.states["/Main/SimulationState/PreBreakpointTriggered"].setEnter(self._Main_SimulationState_PreBreakpointTriggered_enter)
        self.states["/Main/SimulationState/PreBreakpointTriggered"].setExit(self._Main_SimulationState_PreBreakpointTriggered_exit)
        
        # state /Main/SimulationState/Running
        self.states["/Main/SimulationState/Running"] = State(6, self)
        self.states["/Main/SimulationState/Running"].setEnter(self._Main_SimulationState_Running_enter)
        self.states["/Main/SimulationState/Running"].setExit(self._Main_SimulationState_Running_exit)
        
        # state /Main/SimulationState/Running/Continuous
        self.states["/Main/SimulationState/Running/Continuous"] = State(7, self)
        
        # state /Main/SimulationState/Running/BigStep
        self.states["/Main/SimulationState/Running/BigStep"] = State(8, self)
        
        # state /Main/SimulationState/Running/BigStepDone
        self.states["/Main/SimulationState/Running/BigStepDone"] = State(9, self)
        self.states["/Main/SimulationState/Running/BigStepDone"].setEnter(self._Main_SimulationState_Running_BigStepDone_enter)
        self.states["/Main/SimulationState/Running/BigStepDone"].setExit(self._Main_SimulationState_Running_BigStepDone_exit)
        
        # state /Main/SimulationState/Running/Realtime
        self.states["/Main/SimulationState/Running/Realtime"] = State(10, self)
        self.states["/Main/SimulationState/Running/Realtime"].setEnter(self._Main_SimulationState_Running_Realtime_enter)
        
        # state /Main/SimulationState/Stopped
        self.states["/Main/SimulationState/Stopped"] = State(11, self)
        self.states["/Main/SimulationState/Stopped"].setEnter(self._Main_SimulationState_Stopped_enter)
        self.states["/Main/SimulationState/Stopped"].setExit(self._Main_SimulationState_Stopped_exit)
        
        # state /Main/SimulationFlow
        self.states["/Main/SimulationFlow"] = State(12, self)
        
        # state /Main/SimulationFlow/Initialize
        self.states["/Main/SimulationFlow/Initialize"] = State(13, self)
        self.states["/Main/SimulationFlow/Initialize"].setEnter(self._Main_SimulationFlow_Initialize_enter)
        
        # state /Main/SimulationFlow/CheckTerminationCondition
        self.states["/Main/SimulationFlow/CheckTerminationCondition"] = State(14, self)
        self.states["/Main/SimulationFlow/CheckTerminationCondition"].setEnter(self._Main_SimulationFlow_CheckTerminationCondition_enter)
        self.states["/Main/SimulationFlow/CheckTerminationCondition"].setExit(self._Main_SimulationFlow_CheckTerminationCondition_exit)
        
        # state /Main/SimulationFlow/Waiting
        self.states["/Main/SimulationFlow/Waiting"] = State(15, self)
        self.states["/Main/SimulationFlow/Waiting"].setEnter(self._Main_SimulationFlow_Waiting_enter)
        self.states["/Main/SimulationFlow/Waiting"].setExit(self._Main_SimulationFlow_Waiting_exit)
        
        # state /Main/SimulationFlow/CreateDependencyGraph
        self.states["/Main/SimulationFlow/CreateDependencyGraph"] = State(16, self)
        self.states["/Main/SimulationFlow/CreateDependencyGraph"].setEnter(self._Main_SimulationFlow_CreateDependencyGraph_enter)
        
        # state /Main/SimulationFlow/IsolateStrongComponents
        self.states["/Main/SimulationFlow/IsolateStrongComponents"] = State(17, self)
        self.states["/Main/SimulationFlow/IsolateStrongComponents"].setEnter(self._Main_SimulationFlow_IsolateStrongComponents_enter)
        
        # state /Main/SimulationFlow/ExecuteSimulationStep
        self.states["/Main/SimulationFlow/ExecuteSimulationStep"] = State(18, self)
        
        # state /Main/SimulationFlow/ExecuteSimulationStep/CheckNextComponent
        self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckNextComponent"] = State(19, self)
        self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckNextComponent"].setEnter(self._Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_enter)
        self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckNextComponent"].setExit(self._Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_exit)
        
        # state /Main/SimulationFlow/ExecuteSimulationStep/CheckCycle
        self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckCycle"] = State(20, self)
        
        # state /Main/SimulationFlow/Stopped
        self.states["/Main/SimulationFlow/Stopped"] = State(21, self)
        
        # state /Main/BreakpointManager
        self.states["/Main/BreakpointManager"] = State(22, self)
        
        # state /Main/BreakpointManager/Listening
        self.states["/Main/BreakpointManager/Listening"] = State(23, self)
        
        # state /Main/GodEventManager
        self.states["/Main/GodEventManager"] = State(24, self)
        
        # state /Main/GodEventManager/Listening
        self.states["/Main/GodEventManager/Listening"] = State(25, self)
        
        # state /Main/UserOutput
        self.states["/Main/UserOutput"] = State(26, self)
        
        # state /Main/UserOutput/Waiting
        self.states["/Main/UserOutput/Waiting"] = State(27, self)
        
        # state /SimulationComplete
        self.states["/SimulationComplete"] = State(28, self)
        
        # add children
        self.states[""].addChild(self.states["/Main"])
        self.states[""].addChild(self.states["/SimulationComplete"])
        self.states["/Main"].addChild(self.states["/Main/SimulationState"])
        self.states["/Main"].addChild(self.states["/Main/SimulationFlow"])
        self.states["/Main"].addChild(self.states["/Main/BreakpointManager"])
        self.states["/Main"].addChild(self.states["/Main/GodEventManager"])
        self.states["/Main"].addChild(self.states["/Main/UserOutput"])
        self.states["/Main/SimulationState"].addChild(self.states["/Main/SimulationState/Paused"])
        self.states["/Main/SimulationState"].addChild(self.states["/Main/SimulationState/PrePaused"])
        self.states["/Main/SimulationState"].addChild(self.states["/Main/SimulationState/PreBreakpointTriggered"])
        self.states["/Main/SimulationState"].addChild(self.states["/Main/SimulationState/Running"])
        self.states["/Main/SimulationState"].addChild(self.states["/Main/SimulationState/Stopped"])
        self.states["/Main/SimulationState/Running"].addChild(self.states["/Main/SimulationState/Running/Continuous"])
        self.states["/Main/SimulationState/Running"].addChild(self.states["/Main/SimulationState/Running/BigStep"])
        self.states["/Main/SimulationState/Running"].addChild(self.states["/Main/SimulationState/Running/BigStepDone"])
        self.states["/Main/SimulationState/Running"].addChild(self.states["/Main/SimulationState/Running/Realtime"])
        self.states["/Main/SimulationFlow"].addChild(self.states["/Main/SimulationFlow/Initialize"])
        self.states["/Main/SimulationFlow"].addChild(self.states["/Main/SimulationFlow/CheckTerminationCondition"])
        self.states["/Main/SimulationFlow"].addChild(self.states["/Main/SimulationFlow/Waiting"])
        self.states["/Main/SimulationFlow"].addChild(self.states["/Main/SimulationFlow/CreateDependencyGraph"])
        self.states["/Main/SimulationFlow"].addChild(self.states["/Main/SimulationFlow/IsolateStrongComponents"])
        self.states["/Main/SimulationFlow"].addChild(self.states["/Main/SimulationFlow/ExecuteSimulationStep"])
        self.states["/Main/SimulationFlow"].addChild(self.states["/Main/SimulationFlow/Stopped"])
        self.states["/Main/SimulationFlow/ExecuteSimulationStep"].addChild(self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckNextComponent"])
        self.states["/Main/SimulationFlow/ExecuteSimulationStep"].addChild(self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckCycle"])
        self.states["/Main/BreakpointManager"].addChild(self.states["/Main/BreakpointManager/Listening"])
        self.states["/Main/GodEventManager"].addChild(self.states["/Main/GodEventManager/Listening"])
        self.states["/Main/UserOutput"].addChild(self.states["/Main/UserOutput/Waiting"])
        self.states[""].fixTree()
        self.states[""].default_state = self.states["/Main"]
        self.states["/Main/SimulationState"].default_state = self.states["/Main/SimulationState/Paused"]
        self.states["/Main/SimulationState/Running"].default_state = self.states["/Main/SimulationState/Running/Continuous"]
        self.states["/Main/SimulationFlow"].default_state = self.states["/Main/SimulationFlow/Initialize"]
        self.states["/Main/SimulationFlow/ExecuteSimulationStep"].default_state = self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckNextComponent"]
        self.states["/Main/BreakpointManager"].default_state = self.states["/Main/BreakpointManager/Listening"]
        self.states["/Main/GodEventManager"].default_state = self.states["/Main/GodEventManager/Listening"]
        self.states["/Main/UserOutput"].default_state = self.states["/Main/UserOutput/Waiting"]
        
        # transition /Main/SimulationState/Paused
        _Main_SimulationState_Paused_0 = Transition(self, self.states["/Main/SimulationState/Paused"], [self.states["/Main/SimulationState/Running/Continuous"]])
        _Main_SimulationState_Paused_0.setTrigger(Event("continuous", "user_input"))
        self.states["/Main/SimulationState/Paused"].addTransition(_Main_SimulationState_Paused_0)
        _Main_SimulationState_Paused_1 = Transition(self, self.states["/Main/SimulationState/Paused"], [self.states["/Main/SimulationState/Running/Realtime"]])
        _Main_SimulationState_Paused_1.setAction(self._Main_SimulationState_Paused_1_exec)
        _Main_SimulationState_Paused_1.setTrigger(Event("realtime", "user_input"))
        self.states["/Main/SimulationState/Paused"].addTransition(_Main_SimulationState_Paused_1)
        _Main_SimulationState_Paused_2 = Transition(self, self.states["/Main/SimulationState/Paused"], [self.states["/Main/SimulationState/Running/BigStep"]])
        _Main_SimulationState_Paused_2.setTrigger(Event("big_step", "user_input"))
        self.states["/Main/SimulationState/Paused"].addTransition(_Main_SimulationState_Paused_2)
        
        # transition /Main/SimulationState/PrePaused
        _Main_SimulationState_PrePaused_0 = Transition(self, self.states["/Main/SimulationState/PrePaused"], [self.states["/Main/SimulationState/Paused"]])
        _Main_SimulationState_PrePaused_0.setAction(self._Main_SimulationState_PrePaused_0_exec)
        _Main_SimulationState_PrePaused_0.setTrigger(Event("_0after"))
        self.states["/Main/SimulationState/PrePaused"].addTransition(_Main_SimulationState_PrePaused_0)
        
        # transition /Main/SimulationState/PreBreakpointTriggered
        _Main_SimulationState_PreBreakpointTriggered_0 = Transition(self, self.states["/Main/SimulationState/PreBreakpointTriggered"], [self.states["/Main/SimulationState/Paused"]])
        _Main_SimulationState_PreBreakpointTriggered_0.setAction(self._Main_SimulationState_PreBreakpointTriggered_0_exec)
        _Main_SimulationState_PreBreakpointTriggered_0.setTrigger(Event("_1after"))
        self.states["/Main/SimulationState/PreBreakpointTriggered"].addTransition(_Main_SimulationState_PreBreakpointTriggered_0)
        
        # transition /Main/SimulationState/Running/BigStep
        _Main_SimulationState_Running_BigStep_0 = Transition(self, self.states["/Main/SimulationState/Running/BigStep"], [self.states["/Main/SimulationState/Running/BigStepDone"]])
        _Main_SimulationState_Running_BigStep_0.setTrigger(Event("big_step_done", None))
        self.states["/Main/SimulationState/Running/BigStep"].addTransition(_Main_SimulationState_Running_BigStep_0)
        
        # transition /Main/SimulationState/Running/BigStepDone
        _Main_SimulationState_Running_BigStepDone_0 = Transition(self, self.states["/Main/SimulationState/Running/BigStepDone"], [self.states["/Main/SimulationState/Paused"]])
        _Main_SimulationState_Running_BigStepDone_0.setTrigger(Event("_2after"))
        self.states["/Main/SimulationState/Running/BigStepDone"].addTransition(_Main_SimulationState_Running_BigStepDone_0)
        
        # transition /Main/SimulationFlow/Initialize
        _Main_SimulationFlow_Initialize_0 = Transition(self, self.states["/Main/SimulationFlow/Initialize"], [self.states["/Main/SimulationFlow/CheckTerminationCondition"]])
        _Main_SimulationFlow_Initialize_0.setTrigger(None)
        self.states["/Main/SimulationFlow/Initialize"].addTransition(_Main_SimulationFlow_Initialize_0)
        
        # transition /Main/SimulationFlow/CheckTerminationCondition
        _Main_SimulationFlow_CheckTerminationCondition_0 = Transition(self, self.states["/Main/SimulationFlow/CheckTerminationCondition"], [self.states["/Main/SimulationFlow/CreateDependencyGraph"]])
        _Main_SimulationFlow_CheckTerminationCondition_0.setTrigger(None)
        _Main_SimulationFlow_CheckTerminationCondition_0.setGuard(self._Main_SimulationFlow_CheckTerminationCondition_0_guard)
        self.states["/Main/SimulationFlow/CheckTerminationCondition"].addTransition(_Main_SimulationFlow_CheckTerminationCondition_0)
        _Main_SimulationFlow_CheckTerminationCondition_1 = Transition(self, self.states["/Main/SimulationFlow/CheckTerminationCondition"], [self.states["/Main/SimulationFlow/Waiting"]])
        _Main_SimulationFlow_CheckTerminationCondition_1.setTrigger(None)
        _Main_SimulationFlow_CheckTerminationCondition_1.setGuard(self._Main_SimulationFlow_CheckTerminationCondition_1_guard)
        self.states["/Main/SimulationFlow/CheckTerminationCondition"].addTransition(_Main_SimulationFlow_CheckTerminationCondition_1)
        _Main_SimulationFlow_CheckTerminationCondition_2 = Transition(self, self.states["/Main/SimulationFlow/CheckTerminationCondition"], [self.states["/Main/SimulationFlow/Stopped"]])
        _Main_SimulationFlow_CheckTerminationCondition_2.setTrigger(Event("_3after"))
        _Main_SimulationFlow_CheckTerminationCondition_2.setGuard(self._Main_SimulationFlow_CheckTerminationCondition_2_guard)
        self.states["/Main/SimulationFlow/CheckTerminationCondition"].addTransition(_Main_SimulationFlow_CheckTerminationCondition_2)
        
        # transition /Main/SimulationFlow/Waiting
        _Main_SimulationFlow_Waiting_0 = Transition(self, self.states["/Main/SimulationFlow/Waiting"], [self.states["/Main/SimulationFlow/CheckTerminationCondition"]])
        _Main_SimulationFlow_Waiting_0.setTrigger(Event("_4after"))
        self.states["/Main/SimulationFlow/Waiting"].addTransition(_Main_SimulationFlow_Waiting_0)
        _Main_SimulationFlow_Waiting_1 = Transition(self, self.states["/Main/SimulationFlow/Waiting"], [self.states["/Main/SimulationFlow/CreateDependencyGraph"]])
        _Main_SimulationFlow_Waiting_1.setTrigger(None)
        _Main_SimulationFlow_Waiting_1.setGuard(self._Main_SimulationFlow_Waiting_1_guard)
        self.states["/Main/SimulationFlow/Waiting"].addTransition(_Main_SimulationFlow_Waiting_1)
        
        # transition /Main/SimulationFlow/CreateDependencyGraph
        _Main_SimulationFlow_CreateDependencyGraph_0 = Transition(self, self.states["/Main/SimulationFlow/CreateDependencyGraph"], [self.states["/Main/SimulationFlow/IsolateStrongComponents"]])
        _Main_SimulationFlow_CreateDependencyGraph_0.setTrigger(None)
        self.states["/Main/SimulationFlow/CreateDependencyGraph"].addTransition(_Main_SimulationFlow_CreateDependencyGraph_0)
        
        # transition /Main/SimulationFlow/IsolateStrongComponents
        _Main_SimulationFlow_IsolateStrongComponents_0 = Transition(self, self.states["/Main/SimulationFlow/IsolateStrongComponents"], [self.states["/Main/SimulationFlow/ExecuteSimulationStep"]])
        _Main_SimulationFlow_IsolateStrongComponents_0.setAction(self._Main_SimulationFlow_IsolateStrongComponents_0_exec)
        _Main_SimulationFlow_IsolateStrongComponents_0.setTrigger(None)
        self.states["/Main/SimulationFlow/IsolateStrongComponents"].addTransition(_Main_SimulationFlow_IsolateStrongComponents_0)
        
        # transition /Main/SimulationFlow/ExecuteSimulationStep/CheckNextComponent
        _Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_0 = Transition(self, self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckNextComponent"], [self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckCycle"]])
        _Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_0.setAction(self._Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_0_exec)
        _Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_0.setTrigger(None)
        _Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_0.setGuard(self._Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_0_guard)
        self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckNextComponent"].addTransition(_Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_0)
        _Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_1 = Transition(self, self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckNextComponent"], [self.states["/Main/SimulationFlow/CheckTerminationCondition"]])
        _Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_1.setAction(self._Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_1_exec)
        _Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_1.setTrigger(Event("_5after"))
        _Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_1.setGuard(self._Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_1_guard)
        self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckNextComponent"].addTransition(_Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_1)
        
        # transition /Main/SimulationFlow/ExecuteSimulationStep/CheckCycle
        _Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_0 = Transition(self, self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckCycle"], [self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckNextComponent"]])
        _Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_0.setAction(self._Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_0_exec)
        _Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_0.setTrigger(None)
        _Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_0.setGuard(self._Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_0_guard)
        self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckCycle"].addTransition(_Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_0)
        _Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_1 = Transition(self, self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckCycle"], [self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckNextComponent"]])
        _Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_1.setAction(self._Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_1_exec)
        _Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_1.setTrigger(None)
        _Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_1.setGuard(self._Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_1_guard)
        self.states["/Main/SimulationFlow/ExecuteSimulationStep/CheckCycle"].addTransition(_Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_1)
        
        # transition /Main/BreakpointManager/Listening
        _Main_BreakpointManager_Listening_0 = Transition(self, self.states["/Main/BreakpointManager/Listening"], [self.states["/Main/BreakpointManager/Listening"]])
        _Main_BreakpointManager_Listening_0.setAction(self._Main_BreakpointManager_Listening_0_exec)
        _Main_BreakpointManager_Listening_0.setTrigger(Event("add_breakpoint", "user_input"))
        self.states["/Main/BreakpointManager/Listening"].addTransition(_Main_BreakpointManager_Listening_0)
        _Main_BreakpointManager_Listening_1 = Transition(self, self.states["/Main/BreakpointManager/Listening"], [self.states["/Main/BreakpointManager/Listening"]])
        _Main_BreakpointManager_Listening_1.setAction(self._Main_BreakpointManager_Listening_1_exec)
        _Main_BreakpointManager_Listening_1.setTrigger(Event("del_breakpoint", "user_input"))
        self.states["/Main/BreakpointManager/Listening"].addTransition(_Main_BreakpointManager_Listening_1)
        _Main_BreakpointManager_Listening_2 = Transition(self, self.states["/Main/BreakpointManager/Listening"], [self.states["/Main/BreakpointManager/Listening"]])
        _Main_BreakpointManager_Listening_2.setAction(self._Main_BreakpointManager_Listening_2_exec)
        _Main_BreakpointManager_Listening_2.setTrigger(Event("toggle_breakpoint", "user_input"))
        self.states["/Main/BreakpointManager/Listening"].addTransition(_Main_BreakpointManager_Listening_2)
        _Main_BreakpointManager_Listening_3 = Transition(self, self.states["/Main/BreakpointManager/Listening"], [self.states["/Main/BreakpointManager/Listening"]])
        _Main_BreakpointManager_Listening_3.setAction(self._Main_BreakpointManager_Listening_3_exec)
        _Main_BreakpointManager_Listening_3.setTrigger(Event("list_breakpoints", "user_input"))
        self.states["/Main/BreakpointManager/Listening"].addTransition(_Main_BreakpointManager_Listening_3)
        
        # transition /Main/GodEventManager/Listening
        _Main_GodEventManager_Listening_0 = Transition(self, self.states["/Main/GodEventManager/Listening"], [self.states["/Main/GodEventManager/Listening"]])
        _Main_GodEventManager_Listening_0.setAction(self._Main_GodEventManager_Listening_0_exec)
        _Main_GodEventManager_Listening_0.setTrigger(Event("god_event", "user_input"))
        _Main_GodEventManager_Listening_0.setGuard(self._Main_GodEventManager_Listening_0_guard)
        self.states["/Main/GodEventManager/Listening"].addTransition(_Main_GodEventManager_Listening_0)
        
        # transition /Main/UserOutput/Waiting
        _Main_UserOutput_Waiting_0 = Transition(self, self.states["/Main/UserOutput/Waiting"], [self.states["/Main/UserOutput/Waiting"]])
        _Main_UserOutput_Waiting_0.setAction(self._Main_UserOutput_Waiting_0_exec)
        _Main_UserOutput_Waiting_0.setTrigger(Event("termination_condition", None))
        self.states["/Main/UserOutput/Waiting"].addTransition(_Main_UserOutput_Waiting_0)
        _Main_UserOutput_Waiting_1 = Transition(self, self.states["/Main/UserOutput/Waiting"], [self.states["/Main/UserOutput/Waiting"]])
        _Main_UserOutput_Waiting_1.setAction(self._Main_UserOutput_Waiting_1_exec)
        _Main_UserOutput_Waiting_1.setTrigger(Event("paused", None))
        self.states["/Main/UserOutput/Waiting"].addTransition(_Main_UserOutput_Waiting_1)
        _Main_UserOutput_Waiting_2 = Transition(self, self.states["/Main/UserOutput/Waiting"], [self.states["/Main/UserOutput/Waiting"]])
        _Main_UserOutput_Waiting_2.setAction(self._Main_UserOutput_Waiting_2_exec)
        _Main_UserOutput_Waiting_2.setTrigger(Event("big_step_done", None))
        _Main_UserOutput_Waiting_2.setGuard(self._Main_UserOutput_Waiting_2_guard)
        self.states["/Main/UserOutput/Waiting"].addTransition(_Main_UserOutput_Waiting_2)
        _Main_UserOutput_Waiting_3 = Transition(self, self.states["/Main/UserOutput/Waiting"], [self.states["/Main/UserOutput/Waiting"]])
        _Main_UserOutput_Waiting_3.setAction(self._Main_UserOutput_Waiting_3_exec)
        _Main_UserOutput_Waiting_3.setTrigger(Event("breakpoint_triggered", None))
        self.states["/Main/UserOutput/Waiting"].addTransition(_Main_UserOutput_Waiting_3)
        
        # transition /Main
        _Main_0 = Transition(self, self.states["/Main"], [self.states["/SimulationComplete"]])
        _Main_0.setAction(self._Main_0_exec)
        _Main_0.setTrigger(None)
        _Main_0.setGuard(self._Main_0_guard)
        self.states["/Main"].addTransition(_Main_0)
        
        # transition /Main/SimulationState/Running
        _Main_SimulationState_Running_0 = Transition(self, self.states["/Main/SimulationState/Running"], [self.states["/Main/SimulationState/Stopped"]])
        _Main_SimulationState_Running_0.setAction(self._Main_SimulationState_Running_0_exec)
        _Main_SimulationState_Running_0.setTrigger(None)
        _Main_SimulationState_Running_0.setGuard(self._Main_SimulationState_Running_0_guard)
        self.states["/Main/SimulationState/Running"].addTransition(_Main_SimulationState_Running_0)
        _Main_SimulationState_Running_1 = Transition(self, self.states["/Main/SimulationState/Running"], [self.states["/Main/SimulationState/PrePaused"]])
        _Main_SimulationState_Running_1.setTrigger(Event("pause", "user_input"))
        self.states["/Main/SimulationState/Running"].addTransition(_Main_SimulationState_Running_1)
        _Main_SimulationState_Running_2 = Transition(self, self.states["/Main/SimulationState/Running"], [self.states["/Main/SimulationState/PreBreakpointTriggered"]])
        _Main_SimulationState_Running_2.setTrigger(None)
        _Main_SimulationState_Running_2.setGuard(self._Main_SimulationState_Running_2_guard)
        self.states["/Main/SimulationState/Running"].addTransition(_Main_SimulationState_Running_2)
    
    def _Main_SimulationState_Running_enter(self):
        print 'entering SimulationState/Running'
    
    def _Main_SimulationState_Running_exit(self):
        print 'exiting SimulationState/Running'
    
    def _Main_SimulationState_Paused_enter(self):
        print 'entering SimulationState/Paused'
    
    def _Main_SimulationState_Paused_exit(self):
        print 'exiting SimulationState/Paused'
    
    def _Main_SimulationState_PrePaused_enter(self):
        self.addTimer(0, self.sccd_yield())
    
    def _Main_SimulationState_PrePaused_exit(self):
        self.removeTimer(0)
    
    def _Main_SimulationState_PreBreakpointTriggered_enter(self):
        self.addTimer(1, self.sccd_yield())
    
    def _Main_SimulationState_PreBreakpointTriggered_exit(self):
        self.removeTimer(1)
    
    def _Main_SimulationState_Running_BigStepDone_enter(self):
        self.addTimer(2, self.sccd_yield())
    
    def _Main_SimulationState_Running_BigStepDone_exit(self):
        self.removeTimer(2)
    
    def _Main_SimulationState_Running_Realtime_enter(self):
        # If the simulation was paused, we need to reset the start time of the simulation.
        # The start time of the simulation is equal to the point in wall-clock time where simulated time is 0.
        # If the simulation was paused, we have to recompute this point in time: it is the difference of the wall-clock time and the simulated time.
        # If the scale was changed after the pause, this point of course moves backwards (for scales smaller than 1) or forwards (for scales larger than 1)
        self.realtime_start_time = accurate_time.time() - (self.clock / self.realtime_scale)
    
    def _Main_SimulationState_Stopped_enter(self):
        print 'entering SimulationState/Stopped'
    
    def _Main_SimulationState_Stopped_exit(self):
        print 'exiting SimulationState/Stopped'
    
    def _Main_SimulationFlow_Initialize_enter(self):
        self.initialize()
    
    def _Main_SimulationFlow_CheckTerminationCondition_enter(self):
        self.addTimer(3, self.sccd_yield())
    
    def _Main_SimulationFlow_CheckTerminationCondition_exit(self):
        self.removeTimer(3)
    
    def _Main_SimulationFlow_Waiting_enter(self):
        self.addTimer(4, self.sccd_yield())
    
    def _Main_SimulationFlow_Waiting_exit(self):
        self.removeTimer(4)
        diff = accurate_time.time() - self.realtime_start_time
        self.clock = diff * self.realtime_scale
    
    def _Main_SimulationFlow_CreateDependencyGraph_enter(self):
        self.depGraph = self.cbdController.createDepGraph(self.iteration)
    
    def _Main_SimulationFlow_IsolateStrongComponents_enter(self):
        self.strongComponentList = self.cbdController.createStrongComponents(self.depGraph, self.iteration)
    
    def _Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_enter(self):
        self.addTimer(5, self.sccd_yield())
    
    def _Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_exit(self):
        self.removeTimer(5)
    
    def _Main_0_exec(self, parameters):
        self.finalize()
    
    def _Main_0_guard(self, parameters):
        return self.inState(["/Main/SimulationState/Stopped"]) and self.inState(["/Main/SimulationFlow/Stopped"])
    
    def _Main_SimulationState_Running_0_exec(self, parameters):
        self.raiseInternalEvent(Event("termination_condition", None, []))
    
    def _Main_SimulationState_Running_0_guard(self, parameters):
        return self.endCondition()
    
    def _Main_SimulationState_Running_2_guard(self, parameters):
        return self.breakpointTriggers(self.inState(["/Main/SimulationState/Running/Realtime"]))
    
    def _Main_SimulationState_Paused_1_exec(self, parameters):
        realtime_scale = parameters[0]
        self.realtime_scale = float(realtime_scale)
    
    def _Main_SimulationState_PrePaused_0_exec(self, parameters):
        self.raiseInternalEvent(Event("paused", None, []))
    
    def _Main_SimulationState_PreBreakpointTriggered_0_exec(self, parameters):
        self.raiseInternalEvent(Event("breakpoint_triggered", None, []))
    
    def _Main_SimulationFlow_CheckTerminationCondition_0_guard(self, parameters):
        return self.inState(["/Main/SimulationState/Running/Continuous"]) or self.inState(["/Main/SimulationState/Running/BigStep"])
    
    def _Main_SimulationFlow_CheckTerminationCondition_1_guard(self, parameters):
        return self.inState(["/Main/SimulationState/Running/Realtime"])
    
    def _Main_SimulationFlow_CheckTerminationCondition_2_guard(self, parameters):
        return self.inState(["/Main/SimulationState/Stopped"])
    
    def _Main_SimulationFlow_Waiting_1_guard(self, parameters):
        return self.waitTime() / 1000.0 <= self.sccd_yield()
    
    def _Main_SimulationFlow_IsolateStrongComponents_0_exec(self, parameters):
        self.currentCompIdx = -1
    
    def _Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_0_exec(self, parameters):
        self.currentCompIdx = self.currentCompIdx + 1
    
    def _Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_0_guard(self, parameters):
        return self.hasNextStrongComponent()
    
    def _Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_1_exec(self, parameters):
        self.advanceTime()
        self.state = {b.getBlockName(): b.getSignal() for b in self.model.getBlocks()}
        self.raiseInternalEvent(Event("big_step_done", None, []))
    
    def _Main_SimulationFlow_ExecuteSimulationStep_CheckNextComponent_1_guard(self, parameters):
        return not self.hasNextStrongComponent()
    
    def _Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_0_exec(self, parameters):
        self.cbdController.computeNextBlock(self.strongComponentList[self.currentCompIdx], self.iteration)
    
    def _Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_0_guard(self, parameters):
        return not self.currentComponentIsCycle()
    
    def _Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_1_exec(self, parameters):
        self.cbdController.computeNextAlgebraicLoop(self.strongComponentList[self.currentCompIdx], self.iteration)
    
    def _Main_SimulationFlow_ExecuteSimulationStep_CheckCycle_1_guard(self, parameters):
        return self.currentComponentIsCycle()
    
    def _Main_BreakpointManager_Listening_0_exec(self, parameters):
        name = parameters[0]
        function = parameters[1]
        enabled = parameters[2]
        disable_on_trigger = parameters[3]
        result = self.addBreakpoint(name, function, bool(enabled), bool(disable_on_trigger))
        self.big_step.outputEvent(Event("add_breakpoint_result", "user_output", [result]))
    
    def _Main_BreakpointManager_Listening_1_exec(self, parameters):
        name = parameters[0]
        result = self.delBreakpoint(name)
        self.big_step.outputEvent(Event("del_breakpoint_result", "user_output", [result]))
    
    def _Main_BreakpointManager_Listening_2_exec(self, parameters):
        name = parameters[0]
        result = self.toggleBreakpoint(name)
        self.big_step.outputEvent(Event("toggle_breakpoint_result", "user_output", [result]))
    
    def _Main_BreakpointManager_Listening_3_exec(self, parameters):
        self.big_step.outputEvent(Event("list_breakpoints_result", "user_output", [[bp.name for bp in self.breakpoints]]))
    
    def _Main_GodEventManager_Listening_0_exec(self, parameters):
        block_name = parameters[0]
        new_val = parameters[1]
        result = self.godEvent(block_name, new_val)
        self.big_step.outputEvent(Event("god_event_result", "user_output", [result]))
    
    def _Main_GodEventManager_Listening_0_guard(self, parameters):
        block_name = parameters[0]
        new_val = parameters[1]
        return self.inState(["/Main/SimulationState/Paused"])
    
    def _Main_UserOutput_Waiting_0_exec(self, parameters):
        self.big_step.outputEvent(Event("terminated", "user_output", []))
        self.big_step.outputEvent(Event("current_state", "user_output", [self.clock / 1000.0, self.state]))
    
    def _Main_UserOutput_Waiting_1_exec(self, parameters):
        self.big_step.outputEvent(Event("paused", "user_output", []))
        self.big_step.outputEvent(Event("current_state", "user_output", [self.clock / 1000.0, self.state]))
    
    def _Main_UserOutput_Waiting_2_exec(self, parameters):
        self.big_step.outputEvent(Event("stepped", "user_output", []))
        self.big_step.outputEvent(Event("current_state", "user_output", [self.clock / 1000.0, self.state]))
    
    def _Main_UserOutput_Waiting_2_guard(self, parameters):
        return self.inState(["/Main/SimulationState/Running/Realtime"]) or self.inState(["/Main/SimulationState/Running/BigStep"]) or self.inState(["/Main/SimulationState/Running/BigStepDone"])
    
    def _Main_UserOutput_Waiting_3_exec(self, parameters):
        self.big_step.outputEvent(Event("breakpoint_triggered", "user_output", [self.triggered_bp]))
        self.big_step.outputEvent(Event("current_state", "user_output", [self.clock / 1000.0, self.state]))
    
    def initializeStatechart(self):
        # enter default state
        self.default_targets = self.states["/Main"].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 == "CBDSimulator":
            instance = CBDSimulator(self.controller, construct_params[0], construct_params[1])
            instance.associations = {}
        else:
            raise Exception("Cannot instantiate class " + class_name)
        return instance

class Controller(ThreadsControllerBase):
    def __init__(self, options, model, 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("user_input")
        self.addInputPort("user_output")
        self.object_manager.createInstance("CBDSimulator", [options, model])