""" Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration) and Sam Pieters (DEVS) Model author: Sam Pieters Model name: Bouncing_Balls_DEVS_Version Model description: Tkinter frame with bouncing balls in it. """ from sccd.runtime.DEVS_statecharts_core import * from sccd.runtime.libs import ui_v2 as ui import random CANVAS_DIMS = (800, 550) # package "Bouncing_Balls_DEVS_Version" class MainAppInstance(RuntimeClassBase): def __init__(self, atomdevs, id, start_port_id): RuntimeClassBase.__init__(self, atomdevs, id) self.associations = {} self.associations["fields"] = Association("Field", 0, -1) 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 MainAppInstance.user_defined_constructor(self) port_name = addInputPort("ui", start_port_id, True) atomdevs.state.port_mappings[port_name] = id port_name = addInputPort("", start_port_id) atomdevs.state.port_mappings[port_name] = id def user_defined_constructor(self): self.nr_of_fields = 0 def user_defined_destructor(self): pass # builds Statechart structure def build_statechart_structure(self): # state self.states[""] = State(0, "", self) # state /running self.states["/running"] = State(1, "/running", self) # state /running/root self.states["/running/root"] = ParallelState(2, "/running/root", self) # state /running/root/main_behaviour self.states["/running/root/main_behaviour"] = State(3, "/running/root/main_behaviour", self) # state /running/root/main_behaviour/initializing self.states["/running/root/main_behaviour/initializing"] = State(4, "/running/root/main_behaviour/initializing", self) # state /running/root/main_behaviour/running self.states["/running/root/main_behaviour/running"] = State(5, "/running/root/main_behaviour/running", self) # state /running/root/cd_behaviour self.states["/running/root/cd_behaviour"] = State(6, "/running/root/cd_behaviour", self) # state /running/root/cd_behaviour/waiting self.states["/running/root/cd_behaviour/waiting"] = State(7, "/running/root/cd_behaviour/waiting", self) # state /running/root/cd_behaviour/creating self.states["/running/root/cd_behaviour/creating"] = State(8, "/running/root/cd_behaviour/creating", self) # state /running/root/cd_behaviour/check_nr_of_fields self.states["/running/root/cd_behaviour/check_nr_of_fields"] = State(9, "/running/root/cd_behaviour/check_nr_of_fields", self) self.states["/running/root/cd_behaviour/check_nr_of_fields"].setEnter(self._running_root_cd_behaviour_check_nr_of_fields_enter) self.states["/running/root/cd_behaviour/check_nr_of_fields"].setExit(self._running_root_cd_behaviour_check_nr_of_fields_exit) # state /running/root/cd_behaviour/stopped self.states["/running/root/cd_behaviour/stopped"] = State(10, "/running/root/cd_behaviour/stopped", self) # state /running/stopped self.states["/running/stopped"] = State(11, "/running/stopped", self) # add children self.states[""].addChild(self.states["/running"]) self.states["/running"].addChild(self.states["/running/root"]) self.states["/running"].addChild(self.states["/running/stopped"]) self.states["/running/root"].addChild(self.states["/running/root/main_behaviour"]) self.states["/running/root"].addChild(self.states["/running/root/cd_behaviour"]) self.states["/running/root/main_behaviour"].addChild(self.states["/running/root/main_behaviour/initializing"]) self.states["/running/root/main_behaviour"].addChild(self.states["/running/root/main_behaviour/running"]) self.states["/running/root/cd_behaviour"].addChild(self.states["/running/root/cd_behaviour/waiting"]) self.states["/running/root/cd_behaviour"].addChild(self.states["/running/root/cd_behaviour/creating"]) self.states["/running/root/cd_behaviour"].addChild(self.states["/running/root/cd_behaviour/check_nr_of_fields"]) self.states["/running/root/cd_behaviour"].addChild(self.states["/running/root/cd_behaviour/stopped"]) self.states[""].fixTree() self.states[""].default_state = self.states["/running"] self.states["/running"].default_state = self.states["/running/root"] self.states["/running/root/main_behaviour"].default_state = self.states["/running/root/main_behaviour/initializing"] self.states["/running/root/cd_behaviour"].default_state = self.states["/running/root/cd_behaviour/waiting"] # transition /running/root/main_behaviour/initializing _running_root_main_behaviour_initializing_0 = Transition(self, self.states["/running/root/main_behaviour/initializing"], [self.states["/running/root/main_behaviour/running"]]) _running_root_main_behaviour_initializing_0.setAction(self._running_root_main_behaviour_initializing_0_exec) _running_root_main_behaviour_initializing_0.setTrigger(None) self.states["/running/root/main_behaviour/initializing"].addTransition(_running_root_main_behaviour_initializing_0) # transition /running/root/main_behaviour/running _running_root_main_behaviour_running_0 = Transition(self, self.states["/running/root/main_behaviour/running"], [self.states["/running/root/main_behaviour/running"]]) _running_root_main_behaviour_running_0.setAction(self._running_root_main_behaviour_running_0_exec) _running_root_main_behaviour_running_0.setTrigger(Event("button_pressed", None)) _running_root_main_behaviour_running_0.setGuard(self._running_root_main_behaviour_running_0_guard) self.states["/running/root/main_behaviour/running"].addTransition(_running_root_main_behaviour_running_0) # transition /running/root/cd_behaviour/waiting _running_root_cd_behaviour_waiting_0 = Transition(self, self.states["/running/root/cd_behaviour/waiting"], [self.states["/running/root/cd_behaviour/creating"]]) _running_root_cd_behaviour_waiting_0.setAction(self._running_root_cd_behaviour_waiting_0_exec) _running_root_cd_behaviour_waiting_0.setTrigger(Event("create_field", None)) self.states["/running/root/cd_behaviour/waiting"].addTransition(_running_root_cd_behaviour_waiting_0) _running_root_cd_behaviour_waiting_1 = Transition(self, self.states["/running/root/cd_behaviour/waiting"], [self.states["/running/root/cd_behaviour/check_nr_of_fields"]]) _running_root_cd_behaviour_waiting_1.setAction(self._running_root_cd_behaviour_waiting_1_exec) _running_root_cd_behaviour_waiting_1.setTrigger(Event("delete_field", None)) self.states["/running/root/cd_behaviour/waiting"].addTransition(_running_root_cd_behaviour_waiting_1) # transition /running/root/cd_behaviour/creating _running_root_cd_behaviour_creating_0 = Transition(self, self.states["/running/root/cd_behaviour/creating"], [self.states["/running/root/cd_behaviour/waiting"]]) _running_root_cd_behaviour_creating_0.setAction(self._running_root_cd_behaviour_creating_0_exec) _running_root_cd_behaviour_creating_0.setTrigger(Event("instance_created", None)) self.states["/running/root/cd_behaviour/creating"].addTransition(_running_root_cd_behaviour_creating_0) # transition /running/root/cd_behaviour/check_nr_of_fields _running_root_cd_behaviour_check_nr_of_fields_0 = Transition(self, self.states["/running/root/cd_behaviour/check_nr_of_fields"], [self.states["/running/root/cd_behaviour/stopped"]]) _running_root_cd_behaviour_check_nr_of_fields_0.setAction(self._running_root_cd_behaviour_check_nr_of_fields_0_exec) _running_root_cd_behaviour_check_nr_of_fields_0.setTrigger(Event("_0after")) _running_root_cd_behaviour_check_nr_of_fields_0.setGuard(self._running_root_cd_behaviour_check_nr_of_fields_0_guard) self.states["/running/root/cd_behaviour/check_nr_of_fields"].addTransition(_running_root_cd_behaviour_check_nr_of_fields_0) _running_root_cd_behaviour_check_nr_of_fields_1 = Transition(self, self.states["/running/root/cd_behaviour/check_nr_of_fields"], [self.states["/running/root/cd_behaviour/waiting"]]) _running_root_cd_behaviour_check_nr_of_fields_1.setTrigger(None) _running_root_cd_behaviour_check_nr_of_fields_1.setGuard(self._running_root_cd_behaviour_check_nr_of_fields_1_guard) self.states["/running/root/cd_behaviour/check_nr_of_fields"].addTransition(_running_root_cd_behaviour_check_nr_of_fields_1) # transition /running/root _running_root_0 = Transition(self, self.states["/running/root"], [self.states["/running/stopped"]]) _running_root_0.setAction(self._running_root_0_exec) _running_root_0.setTrigger(Event("stop", None)) self.states["/running/root"].addTransition(_running_root_0) def _running_root_cd_behaviour_check_nr_of_fields_enter(self): self.addTimer(0, 0.05) def _running_root_cd_behaviour_check_nr_of_fields_exit(self): self.removeTimer(0) def _running_root_0_exec(self, parameters): self.big_step.outputEvent(Event("destroy_all", self.getOutPortName("ui"), [])) def _running_root_main_behaviour_initializing_0_exec(self, parameters): self.raiseInternalEvent(Event("create_field", None, [])) def _running_root_main_behaviour_running_0_exec(self, parameters): event_name = parameters[0] self.raiseInternalEvent(Event("create_field", None, [])) def _running_root_main_behaviour_running_0_guard(self, parameters): event_name = parameters[0] return event_name == "create_new_field" def _running_root_cd_behaviour_waiting_0_exec(self, parameters): self.big_step.outputEventOM(Event("create_instance", None, [self, "fields"])) def _running_root_cd_behaviour_waiting_1_exec(self, parameters): association_name = parameters[0] self.big_step.outputEventOM(Event("delete_instance", None, [self, association_name])) self.nr_of_fields -= 1 def _running_root_cd_behaviour_creating_0_exec(self, parameters): association_name = parameters[0] self.big_step.outputEventOM(Event("start_instance", None, [self, association_name])) self.big_step.outputEventOM(Event("narrow_cast", None, [self, association_name, Event("set_association_name", None, [association_name])])) self.nr_of_fields += 1 def _running_root_cd_behaviour_check_nr_of_fields_0_exec(self, parameters): self.raiseInternalEvent(Event("stop", None, [])) def _running_root_cd_behaviour_check_nr_of_fields_0_guard(self, parameters): return self.nr_of_fields == 0 def _running_root_cd_behaviour_check_nr_of_fields_1_guard(self, parameters): return self.nr_of_fields != 0 def initializeStatechart(self): # enter default state self.default_targets = self.states["/running"].getEffectiveTargetStates() RuntimeClassBase.initializeStatechart(self) class MainApp(ClassBase): def __init__(self, name): ClassBase.__init__(self, name) self.input = self.addInPort("input") self.glob_outputs["ui"] = self.addOutPort("ui") self.outputs["fields"] = self.addOutPort("fields") new_instance = self.constructObject(0, 0, []) self.state.instances[new_instance.instance_id] = new_instance self.state.next_instance = self.state.next_instance + 1 def constructObject(self, id, start_port_id, parameters): new_instance = MainAppInstance(self, id, start_port_id) return new_instance class FieldInstance(RuntimeClassBase): def __init__(self, atomdevs, id, start_port_id): RuntimeClassBase.__init__(self, atomdevs, id) self.associations = {} self.associations["balls"] = Association("Ball", 0, -1) self.associations["buttons"] = Association("Button", 0, -1) self.associations["parent"] = Association("MainApp", 1, 1) 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() # user defined attributes self.window_id = None self.canvas_id = None # call user defined constructor FieldInstance.user_defined_constructor(self) port_name = addInputPort("ui", start_port_id, True) atomdevs.state.port_mappings[port_name] = id port_name = addInputPort("", start_port_id) atomdevs.state.port_mappings[port_name] = id port_name = addInputPort("field_ui", start_port_id) atomdevs.state.port_mappings[port_name] = id self.inports["field_ui"] = port_name def user_defined_constructor(self): pass def user_defined_destructor(self): pass # builds Statechart structure def build_statechart_structure(self): # state self.states[""] = State(0, "", self) # state /root self.states["/root"] = State(1, "/root", self) # state /root/waiting self.states["/root/waiting"] = State(2, "/root/waiting", self) # state /root/creating_window self.states["/root/creating_window"] = State(3, "/root/creating_window", self) self.states["/root/creating_window"].setEnter(self._root_creating_window_enter) # state /root/creating_canvas self.states["/root/creating_canvas"] = State(4, "/root/creating_canvas", self) self.states["/root/creating_canvas"].setEnter(self._root_creating_canvas_enter) # state /root/creating_button self.states["/root/creating_button"] = State(5, "/root/creating_button", self) self.states["/root/creating_button"].setEnter(self._root_creating_button_enter) # state /root/running self.states["/root/running"] = ParallelState(6, "/root/running", self) # state /root/running/main_behaviour self.states["/root/running/main_behaviour"] = State(7, "/root/running/main_behaviour", self) # state /root/running/main_behaviour/running self.states["/root/running/main_behaviour/running"] = State(8, "/root/running/main_behaviour/running", self) # state /root/running/main_behaviour/creating_ball self.states["/root/running/main_behaviour/creating_ball"] = State(9, "/root/running/main_behaviour/creating_ball", self) # state /root/running/deleting_behaviour self.states["/root/running/deleting_behaviour"] = State(10, "/root/running/deleting_behaviour", self) # state /root/running/deleting_behaviour/running self.states["/root/running/deleting_behaviour/running"] = State(11, "/root/running/deleting_behaviour/running", self) # state /root/running/child_behaviour self.states["/root/running/child_behaviour"] = State(12, "/root/running/child_behaviour", self) # state /root/running/child_behaviour/listening self.states["/root/running/child_behaviour/listening"] = State(13, "/root/running/child_behaviour/listening", self) # state /root/running/deleting_balls_behaviour self.states["/root/running/deleting_balls_behaviour"] = State(14, "/root/running/deleting_balls_behaviour", self) # state /root/running/deleting_balls_behaviour/listening self.states["/root/running/deleting_balls_behaviour/listening"] = State(15, "/root/running/deleting_balls_behaviour/listening", self) # state /root/deleting self.states["/root/deleting"] = State(16, "/root/deleting", self) # state /root/deleted self.states["/root/deleted"] = State(17, "/root/deleted", self) # add children self.states[""].addChild(self.states["/root"]) self.states["/root"].addChild(self.states["/root/waiting"]) self.states["/root"].addChild(self.states["/root/creating_window"]) self.states["/root"].addChild(self.states["/root/creating_canvas"]) self.states["/root"].addChild(self.states["/root/creating_button"]) self.states["/root"].addChild(self.states["/root/running"]) self.states["/root"].addChild(self.states["/root/deleting"]) self.states["/root"].addChild(self.states["/root/deleted"]) self.states["/root/running"].addChild(self.states["/root/running/main_behaviour"]) self.states["/root/running"].addChild(self.states["/root/running/deleting_behaviour"]) self.states["/root/running"].addChild(self.states["/root/running/child_behaviour"]) self.states["/root/running"].addChild(self.states["/root/running/deleting_balls_behaviour"]) self.states["/root/running/main_behaviour"].addChild(self.states["/root/running/main_behaviour/running"]) self.states["/root/running/main_behaviour"].addChild(self.states["/root/running/main_behaviour/creating_ball"]) self.states["/root/running/deleting_behaviour"].addChild(self.states["/root/running/deleting_behaviour/running"]) self.states["/root/running/child_behaviour"].addChild(self.states["/root/running/child_behaviour/listening"]) self.states["/root/running/deleting_balls_behaviour"].addChild(self.states["/root/running/deleting_balls_behaviour/listening"]) self.states[""].fixTree() self.states[""].default_state = self.states["/root"] self.states["/root"].default_state = self.states["/root/waiting"] self.states["/root/running/main_behaviour"].default_state = self.states["/root/running/main_behaviour/running"] self.states["/root/running/deleting_behaviour"].default_state = self.states["/root/running/deleting_behaviour/running"] self.states["/root/running/child_behaviour"].default_state = self.states["/root/running/child_behaviour/listening"] self.states["/root/running/deleting_balls_behaviour"].default_state = self.states["/root/running/deleting_balls_behaviour/listening"] # transition /root/waiting _root_waiting_0 = Transition(self, self.states["/root/waiting"], [self.states["/root/creating_window"]]) _root_waiting_0.setAction(self._root_waiting_0_exec) _root_waiting_0.setTrigger(Event("set_association_name", None)) self.states["/root/waiting"].addTransition(_root_waiting_0) # transition /root/creating_window _root_creating_window_0 = Transition(self, self.states["/root/creating_window"], [self.states["/root/creating_canvas"]]) _root_creating_window_0.setAction(self._root_creating_window_0_exec) _root_creating_window_0.setTrigger(Event("window_created", None)) self.states["/root/creating_window"].addTransition(_root_creating_window_0) # transition /root/creating_canvas _root_creating_canvas_0 = Transition(self, self.states["/root/creating_canvas"], [self.states["/root/creating_button"]]) _root_creating_canvas_0.setAction(self._root_creating_canvas_0_exec) _root_creating_canvas_0.setTrigger(Event("canvas_created", None)) self.states["/root/creating_canvas"].addTransition(_root_creating_canvas_0) # transition /root/creating_button _root_creating_button_0 = Transition(self, self.states["/root/creating_button"], [self.states["/root/running"]]) _root_creating_button_0.setAction(self._root_creating_button_0_exec) _root_creating_button_0.setTrigger(Event("instance_created", None)) self.states["/root/creating_button"].addTransition(_root_creating_button_0) # transition /root/running/main_behaviour/running _root_running_main_behaviour_running_0 = Transition(self, self.states["/root/running/main_behaviour/running"], [self.states["/root/running/main_behaviour/creating_ball"]]) _root_running_main_behaviour_running_0.setAction(self._root_running_main_behaviour_running_0_exec) _root_running_main_behaviour_running_0.setTrigger(Event("right_click", self.getInPortName("field_ui"))) self.states["/root/running/main_behaviour/running"].addTransition(_root_running_main_behaviour_running_0) # transition /root/running/main_behaviour/creating_ball _root_running_main_behaviour_creating_ball_0 = Transition(self, self.states["/root/running/main_behaviour/creating_ball"], [self.states["/root/running/main_behaviour/running"]]) _root_running_main_behaviour_creating_ball_0.setAction(self._root_running_main_behaviour_creating_ball_0_exec) _root_running_main_behaviour_creating_ball_0.setTrigger(Event("instance_created", None)) self.states["/root/running/main_behaviour/creating_ball"].addTransition(_root_running_main_behaviour_creating_ball_0) # transition /root/running/deleting_behaviour/running _root_running_deleting_behaviour_running_0 = Transition(self, self.states["/root/running/deleting_behaviour/running"], [self.states["/root/running/deleting_behaviour/running"]]) _root_running_deleting_behaviour_running_0.setAction(self._root_running_deleting_behaviour_running_0_exec) _root_running_deleting_behaviour_running_0.setTrigger(Event("delete_ball", None)) self.states["/root/running/deleting_behaviour/running"].addTransition(_root_running_deleting_behaviour_running_0) # transition /root/running/child_behaviour/listening _root_running_child_behaviour_listening_0 = Transition(self, self.states["/root/running/child_behaviour/listening"], [self.states["/root/running/child_behaviour/listening"]]) _root_running_child_behaviour_listening_0.setAction(self._root_running_child_behaviour_listening_0_exec) _root_running_child_behaviour_listening_0.setTrigger(Event("button_pressed", None)) self.states["/root/running/child_behaviour/listening"].addTransition(_root_running_child_behaviour_listening_0) # transition /root/running/deleting_balls_behaviour/listening _root_running_deleting_balls_behaviour_listening_0 = Transition(self, self.states["/root/running/deleting_balls_behaviour/listening"], [self.states["/root/running/deleting_balls_behaviour/listening"]]) _root_running_deleting_balls_behaviour_listening_0.setAction(self._root_running_deleting_balls_behaviour_listening_0_exec) _root_running_deleting_balls_behaviour_listening_0.setTrigger(Event("key_press", self.getInPortName("field_ui"))) _root_running_deleting_balls_behaviour_listening_0.setGuard(self._root_running_deleting_balls_behaviour_listening_0_guard) self.states["/root/running/deleting_balls_behaviour/listening"].addTransition(_root_running_deleting_balls_behaviour_listening_0) # transition /root/deleting _root_deleting_0 = Transition(self, self.states["/root/deleting"], [self.states["/root/deleted"]]) _root_deleting_0.setAction(self._root_deleting_0_exec) _root_deleting_0.setTrigger(None) self.states["/root/deleting"].addTransition(_root_deleting_0) # transition /root/running _root_running_0 = Transition(self, self.states["/root/running"], [self.states["/root/deleting"]]) _root_running_0.setAction(self._root_running_0_exec) _root_running_0.setTrigger(Event("window_close", self.getInPortName("field_ui"))) self.states["/root/running"].addTransition(_root_running_0) def _root_creating_window_enter(self): self.big_step.outputEvent(Event("create_window", self.getOutPortName("ui"), [800, 600, "BouncingBalls", self.inports['field_ui']])) def _root_creating_canvas_enter(self): self.big_step.outputEvent(Event("create_canvas", self.getOutPortName("ui"), [self.window_id, CANVAS_DIMS[0], CANVAS_DIMS[1], {'background':'#eee'}, self.inports['field_ui']])) def _root_creating_button_enter(self): self.big_step.outputEventOM(Event("create_instance", None, [self, "buttons", "Button", self.window_id, 'create_new_field', 'Spawn New Window'])) def _root_running_0_exec(self, parameters): self.big_step.outputEventOM(Event("delete_instance", None, [self, "buttons"])) self.big_step.outputEventOM(Event("delete_instance", None, [self, "balls"])) def _root_waiting_0_exec(self, parameters): association_name = parameters[0] self.association_name = association_name def _root_creating_window_0_exec(self, parameters): window_id = parameters[0] self.window_id = window_id self.big_step.outputEvent(Event("bind_event", self.getOutPortName("ui"), [window_id, ui.EVENTS.WINDOW_CLOSE, 'window_close', self.inports['field_ui']])) self.big_step.outputEvent(Event("bind_event", self.getOutPortName("ui"), [window_id, ui.EVENTS.KEY_PRESS, 'key_press', self.inports['field_ui']])) def _root_creating_canvas_0_exec(self, parameters): canvas_id = parameters[0] self.canvas_id = canvas_id self.big_step.outputEvent(Event("bind_event", self.getOutPortName("ui"), [canvas_id, ui.EVENTS.MOUSE_RIGHT_CLICK, 'right_click', self.inports['field_ui']])) self.big_step.outputEvent(Event("bind_event", self.getOutPortName("ui"), [canvas_id, ui.EVENTS.MOUSE_MOVE, 'mouse_move', self.inports['field_ui']])) self.big_step.outputEvent(Event("bind_event", self.getOutPortName("ui"), [canvas_id, ui.EVENTS.MOUSE_RELEASE, 'mouse_release', self.inports['field_ui']])) def _root_creating_button_0_exec(self, parameters): association_name = parameters[0] self.big_step.outputEventOM(Event("start_instance", None, [self, association_name])) def _root_running_main_behaviour_running_0_exec(self, parameters): x = parameters[0] y = parameters[1] button = parameters[2] self.big_step.outputEventOM(Event("create_instance", None, [self, "balls", "Ball", self.canvas_id, x, y])) def _root_running_main_behaviour_creating_ball_0_exec(self, parameters): association_name = parameters[0] self.big_step.outputEventOM(Event("start_instance", None, [self, association_name])) self.big_step.outputEventOM(Event("narrow_cast", None, [self, association_name, Event("set_association_name", None, [association_name])])) def _root_running_deleting_behaviour_running_0_exec(self, parameters): association_name = parameters[0] self.big_step.outputEventOM(Event("delete_instance", None, [self, association_name])) def _root_running_child_behaviour_listening_0_exec(self, parameters): event_name = parameters[0] self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("button_pressed", None, [event_name])])) def _root_running_deleting_balls_behaviour_listening_0_exec(self, parameters): key = parameters[0] self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'balls', Event("delete_self", None, [])])) def _root_running_deleting_balls_behaviour_listening_0_guard(self, parameters): key = parameters[0] return key == ui.KEYCODES.DELETE def _root_deleting_0_exec(self, parameters): self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("delete_field", None, [self.association_name])])) self.big_step.outputEvent(Event("destroy_window", self.getOutPortName("ui"), [self.window_id])) def initializeStatechart(self): # enter default state self.default_targets = self.states["/root"].getEffectiveTargetStates() RuntimeClassBase.initializeStatechart(self) class Field(ClassBase): def __init__(self, name): ClassBase.__init__(self, name) self.input = self.addInPort("input") self.glob_outputs["ui"] = self.addOutPort("ui") self.outputs["balls"] = self.addOutPort("balls") self.outputs["buttons"] = self.addOutPort("buttons") self.outputs["parent"] = self.addOutPort("parent") self.field_ui = self.addInPort("field_ui") def constructObject(self, id, start_port_id, parameters): new_instance = FieldInstance(self, id, start_port_id) return new_instance class ButtonInstance(RuntimeClassBase): def __init__(self, atomdevs, id, start_port_id, window_id, event_name, button_text): RuntimeClassBase.__init__(self, atomdevs, id) self.associations = {} self.associations["parent"] = Association("Field", 1, 1) 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() # user defined attributes self.window_id = None self.event_name = None self.button_id = None # call user defined constructor ButtonInstance.user_defined_constructor(self, window_id, event_name, button_text) port_name = addInputPort("ui", start_port_id, True) atomdevs.state.port_mappings[port_name] = id port_name = addInputPort("", start_port_id) atomdevs.state.port_mappings[port_name] = id port_name = addInputPort("button_ui", start_port_id) atomdevs.state.port_mappings[port_name] = id self.inports["button_ui"] = port_name def user_defined_constructor(self, window_id, event_name, button_text): self.window_id = window_id; self.event_name = event_name; def user_defined_destructor(self): pass # builds Statechart structure def build_statechart_structure(self): # state self.states[""] = State(0, "", self) # state /creating_button self.states["/creating_button"] = State(1, "/creating_button", self) self.states["/creating_button"].setEnter(self._creating_button_enter) # state /running self.states["/running"] = State(2, "/running", self) # add children self.states[""].addChild(self.states["/creating_button"]) self.states[""].addChild(self.states["/running"]) self.states[""].fixTree() self.states[""].default_state = self.states["/creating_button"] # transition /creating_button _creating_button_0 = Transition(self, self.states["/creating_button"], [self.states["/running"]]) _creating_button_0.setAction(self._creating_button_0_exec) _creating_button_0.setTrigger(Event("button_created", None)) self.states["/creating_button"].addTransition(_creating_button_0) # transition /running _running_0 = Transition(self, self.states["/running"], [self.states["/running"]]) _running_0.setAction(self._running_0_exec) _running_0.setTrigger(Event("mouse_click", self.getInPortName("button_ui"))) _running_0.setGuard(self._running_0_guard) self.states["/running"].addTransition(_running_0) def _creating_button_enter(self): self.big_step.outputEvent(Event("create_button", self.getOutPortName("ui"), [self.window_id, self.event_name, self.inports['button_ui']])) def _creating_button_0_exec(self, parameters): button_id = parameters[0] self.button_id = button_id self.big_step.outputEvent(Event("bind_event", self.getOutPortName("ui"), [button_id, ui.EVENTS.MOUSE_CLICK, "mouse_click", self.inports['button_ui']])) def _running_0_exec(self, parameters): x = parameters[0] y = parameters[1] button = parameters[2] self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("button_pressed", None, [self.event_name])])) def _running_0_guard(self, parameters): x = parameters[0] y = parameters[1] button = parameters[2] return button == ui.MOUSE_BUTTONS.LEFT def initializeStatechart(self): # enter default state self.default_targets = self.states["/creating_button"].getEffectiveTargetStates() RuntimeClassBase.initializeStatechart(self) class Button(ClassBase): def __init__(self, name): ClassBase.__init__(self, name) self.input = self.addInPort("input") self.glob_outputs["ui"] = self.addOutPort("ui") self.outputs["parent"] = self.addOutPort("parent") self.button_ui = self.addInPort("button_ui") def constructObject(self, id, start_port_id, parameters): new_instance = ButtonInstance(self, id, start_port_id, parameters[1], parameters[2], parameters[3]) return new_instance class BallInstance(RuntimeClassBase): def __init__(self, atomdevs, id, start_port_id, canvas_id, x, y): RuntimeClassBase.__init__(self, atomdevs, id) self.associations = {} self.associations["parent"] = Association("Field", 1, 1) 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() # user defined attributes self.canvas_id = None self.pos = None # call user defined constructor BallInstance.user_defined_constructor(self, canvas_id, x, y) port_name = addInputPort("ui", start_port_id, True) atomdevs.state.port_mappings[port_name] = id port_name = addInputPort("", start_port_id) atomdevs.state.port_mappings[port_name] = id port_name = addInputPort("ball_ui", start_port_id) atomdevs.state.port_mappings[port_name] = id self.inports["ball_ui"] = port_name def user_defined_constructor(self, canvas_id, x, y): self.canvas_id = canvas_id; self.r = 20.0; self.vel = {'x': random.uniform(-5.0, 5.0), 'y': random.uniform(-5.0, 5.0)}; self.pos = {'x': x, 'y': y}; self.smooth = 0.6; # value between 0 and 1 def user_defined_destructor(self): pass # builds Statechart structure def build_statechart_structure(self): # state self.states[""] = State(0, "", self) # state /main_behaviour self.states["/main_behaviour"] = State(1, "/main_behaviour", self) # state /main_behaviour/initializing self.states["/main_behaviour/initializing"] = State(2, "/main_behaviour/initializing", self) # state /main_behaviour/creating_circle self.states["/main_behaviour/creating_circle"] = State(3, "/main_behaviour/creating_circle", self) self.states["/main_behaviour/creating_circle"].setEnter(self._main_behaviour_creating_circle_enter) # state /main_behaviour/bouncing self.states["/main_behaviour/bouncing"] = State(4, "/main_behaviour/bouncing", self) self.states["/main_behaviour/bouncing"].setEnter(self._main_behaviour_bouncing_enter) self.states["/main_behaviour/bouncing"].setExit(self._main_behaviour_bouncing_exit) # state /main_behaviour/dragging self.states["/main_behaviour/dragging"] = State(5, "/main_behaviour/dragging", self) # state /main_behaviour/selected self.states["/main_behaviour/selected"] = State(6, "/main_behaviour/selected", self) # state /deleted self.states["/deleted"] = State(7, "/deleted", self) # add children self.states[""].addChild(self.states["/main_behaviour"]) self.states[""].addChild(self.states["/deleted"]) self.states["/main_behaviour"].addChild(self.states["/main_behaviour/initializing"]) self.states["/main_behaviour"].addChild(self.states["/main_behaviour/creating_circle"]) self.states["/main_behaviour"].addChild(self.states["/main_behaviour/bouncing"]) self.states["/main_behaviour"].addChild(self.states["/main_behaviour/dragging"]) self.states["/main_behaviour"].addChild(self.states["/main_behaviour/selected"]) self.states[""].fixTree() self.states[""].default_state = self.states["/main_behaviour"] self.states["/main_behaviour"].default_state = self.states["/main_behaviour/initializing"] # transition /main_behaviour/initializing _main_behaviour_initializing_0 = Transition(self, self.states["/main_behaviour/initializing"], [self.states["/main_behaviour/creating_circle"]]) _main_behaviour_initializing_0.setAction(self._main_behaviour_initializing_0_exec) _main_behaviour_initializing_0.setTrigger(Event("set_association_name", None)) self.states["/main_behaviour/initializing"].addTransition(_main_behaviour_initializing_0) # transition /main_behaviour/creating_circle _main_behaviour_creating_circle_0 = Transition(self, self.states["/main_behaviour/creating_circle"], [self.states["/main_behaviour/bouncing"]]) _main_behaviour_creating_circle_0.setAction(self._main_behaviour_creating_circle_0_exec) _main_behaviour_creating_circle_0.setTrigger(Event("circle_created", None)) self.states["/main_behaviour/creating_circle"].addTransition(_main_behaviour_creating_circle_0) # transition /main_behaviour/bouncing _main_behaviour_bouncing_0 = Transition(self, self.states["/main_behaviour/bouncing"], [self.states["/main_behaviour/bouncing"]]) _main_behaviour_bouncing_0.setAction(self._main_behaviour_bouncing_0_exec) _main_behaviour_bouncing_0.setTrigger(Event("_0after")) self.states["/main_behaviour/bouncing"].addTransition(_main_behaviour_bouncing_0) _main_behaviour_bouncing_1 = Transition(self, self.states["/main_behaviour/bouncing"], [self.states["/main_behaviour/selected"]]) _main_behaviour_bouncing_1.setAction(self._main_behaviour_bouncing_1_exec) _main_behaviour_bouncing_1.setTrigger(Event("mouse_press", self.getInPortName("ball_ui"))) _main_behaviour_bouncing_1.setGuard(self._main_behaviour_bouncing_1_guard) self.states["/main_behaviour/bouncing"].addTransition(_main_behaviour_bouncing_1) # transition /main_behaviour/dragging _main_behaviour_dragging_0 = Transition(self, self.states["/main_behaviour/dragging"], [self.states["/main_behaviour/dragging"]]) _main_behaviour_dragging_0.setAction(self._main_behaviour_dragging_0_exec) _main_behaviour_dragging_0.setTrigger(Event("mouse_move", self.getInPortName("ball_ui"))) self.states["/main_behaviour/dragging"].addTransition(_main_behaviour_dragging_0) _main_behaviour_dragging_1 = Transition(self, self.states["/main_behaviour/dragging"], [self.states["/main_behaviour/bouncing"]]) _main_behaviour_dragging_1.setAction(self._main_behaviour_dragging_1_exec) _main_behaviour_dragging_1.setTrigger(Event("mouse_release", self.getInPortName("ball_ui"))) self.states["/main_behaviour/dragging"].addTransition(_main_behaviour_dragging_1) # transition /main_behaviour/selected _main_behaviour_selected_0 = Transition(self, self.states["/main_behaviour/selected"], [self.states["/main_behaviour/dragging"]]) _main_behaviour_selected_0.setAction(self._main_behaviour_selected_0_exec) _main_behaviour_selected_0.setTrigger(Event("mouse_press", self.getInPortName("ball_ui"))) _main_behaviour_selected_0.setGuard(self._main_behaviour_selected_0_guard) self.states["/main_behaviour/selected"].addTransition(_main_behaviour_selected_0) _main_behaviour_selected_1 = Transition(self, self.states["/main_behaviour/selected"], [self.states["/deleted"]]) _main_behaviour_selected_1.setAction(self._main_behaviour_selected_1_exec) _main_behaviour_selected_1.setTrigger(Event("delete_self", None)) self.states["/main_behaviour/selected"].addTransition(_main_behaviour_selected_1) def _main_behaviour_creating_circle_enter(self): self.big_step.outputEvent(Event("create_circle", self.getOutPortName("ui"), [self.canvas_id, self.pos['x'], self.pos['y'], self.r, {'fill':'#000'}, self.inports['ball_ui']])) def _main_behaviour_bouncing_enter(self): self.addTimer(0, 0.02) def _main_behaviour_bouncing_exit(self): self.removeTimer(0) def _main_behaviour_initializing_0_exec(self, parameters): association_name = parameters[0] self.association_name = association_name def _main_behaviour_creating_circle_0_exec(self, parameters): canvas_id = parameters[0] circle_id = parameters[1] self.circle_id = circle_id self.big_step.outputEvent(Event("bind_canvas_event", self.getOutPortName("ui"), [self.canvas_id, circle_id, ui.EVENTS.MOUSE_PRESS, 'mouse_press', self.inports['ball_ui']])) self.big_step.outputEvent(Event("bind_canvas_event", self.getOutPortName("ui"), [self.canvas_id, circle_id, ui.EVENTS.MOUSE_MOVE, 'mouse_move', self.inports['ball_ui']])) self.big_step.outputEvent(Event("bind_canvas_event", self.getOutPortName("ui"), [self.canvas_id, circle_id, ui.EVENTS.MOUSE_RELEASE, 'mouse_release', self.inports['ball_ui']])) def _main_behaviour_bouncing_0_exec(self, parameters): # Invert velocity when colliding with canvas border: if self.pos['x']-self.r <= 0 or self.pos['x']+self.r >= CANVAS_DIMS[0]: self.vel['x'] = -self.vel['x']; if self.pos['y']-self.r <= 0 or self.pos['y']+self.r >= CANVAS_DIMS[1]: self.vel['y'] = -self.vel['y']; self.big_step.outputEvent(Event("move_element", self.getOutPortName("ui"), [self.canvas_id, self.circle_id, self.vel['x'], self.vel['y']])) self.pos['x'] += self.vel['x'] self.pos['y'] += self.vel['y'] def _main_behaviour_bouncing_1_exec(self, parameters): x = parameters[0] y = parameters[1] button = parameters[2] self.big_step.outputEvent(Event("set_element_color", self.getOutPortName("ui"), [self.canvas_id, self.circle_id, '#ff0'])) def _main_behaviour_bouncing_1_guard(self, parameters): x = parameters[0] y = parameters[1] button = parameters[2] return button == ui.MOUSE_BUTTONS.LEFT def _main_behaviour_dragging_0_exec(self, parameters): x = parameters[0] y = parameters[1] button = parameters[2] # Always keep ball within canvas: x = min(max(0+self.r, x), CANVAS_DIMS[0]-self.r) y = min(max(0+self.r, y), CANVAS_DIMS[1]-self.r) dx = x - self.pos['x'] dy = y - self.pos['y'] self.vel = { 'x': (1-self.smooth)*dx + self.smooth*self.vel['x'], 'y': (1-self.smooth)*dy + self.smooth*self.vel['y'] } self.pos = {'x': x, 'y': y} self.big_step.outputEvent(Event("set_element_pos", self.getOutPortName("ui"), [self.canvas_id, self.circle_id, x-self.r, y-self.r])) def _main_behaviour_dragging_1_exec(self, parameters): x = parameters[0] y = parameters[1] self.big_step.outputEvent(Event("set_element_color", self.getOutPortName("ui"), [self.canvas_id, self.circle_id, '#f00'])) def _main_behaviour_selected_0_exec(self, parameters): x = parameters[0] y = parameters[1] button = parameters[2] self.mouse_pos = {'x':x, 'y':y}; def _main_behaviour_selected_0_guard(self, parameters): x = parameters[0] y = parameters[1] button = parameters[2] return button == ui.MOUSE_BUTTONS.LEFT def _main_behaviour_selected_1_exec(self, parameters): self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("delete_ball", None, [self.association_name])])) self.big_step.outputEvent(Event("destroy_element", self.getOutPortName("ui"), [self.canvas_id, self.element_id])) def initializeStatechart(self): # enter default state self.default_targets = self.states["/main_behaviour"].getEffectiveTargetStates() RuntimeClassBase.initializeStatechart(self) class Ball(ClassBase): def __init__(self, name): ClassBase.__init__(self, name) self.input = self.addInPort("input") self.glob_outputs["ui"] = self.addOutPort("ui") self.outputs["parent"] = self.addOutPort("parent") self.ball_ui = self.addInPort("ball_ui") def constructObject(self, id, start_port_id, parameters): new_instance = BallInstance(self, id, start_port_id, parameters[1], parameters[2], parameters[3]) return new_instance #class Dummy(ObjectManagerState): #def __init__(self): #ObjectManagerState.__init__(self) def instantiate(self, class_name, construct_params): instance = {} instance["name"] = class_name if class_name == "MainApp": self.narrow_cast_id = self.narrow_cast_id + 0 instance["associations"] = {} instance["associations"]["fields"] = Association("Field", 0, -1) elif class_name == "Field": self.narrow_cast_id = self.narrow_cast_id + 1 instance["associations"] = {} instance["associations"]["balls"] = Association("Ball", 0, -1) instance["associations"]["buttons"] = Association("Button", 0, -1) instance["associations"]["parent"] = Association("MainApp", 1, 1) elif class_name == "Button": self.narrow_cast_id = self.narrow_cast_id + 1 instance["associations"] = {} instance["associations"]["parent"] = Association("Field", 1, 1) elif class_name == "Ball": self.narrow_cast_id = self.narrow_cast_id + 1 instance["associations"] = {} instance["associations"]["parent"] = Association("Field", 1, 1) else: raise Exception("Cannot instantiate class " + class_name) return instance ObjectManagerState.instantiate = instantiate class ObjectManager(ObjectManagerBase): def __init__(self, name): ObjectManagerBase.__init__(self, name) # TODO: changed self.state = ObjectManagerState() self.input = self.addInPort("input") self.output["MainApp"] = self.addOutPort() self.output["Field"] = self.addOutPort() self.output["Button"] = self.addOutPort() self.output["Ball"] = self.addOutPort() self.state.createInstance("MainApp", []) self.state.to_send.append((("MainApp", 0), ("MainApp", 0), Event("start_instance", None, ["MainApp[0]"]))) class Controller(CoupledDEVS): def __init__(self, name): CoupledDEVS.__init__(self, name) self.in_ui = self.addInPort("ui") self.out_ui = self.addOutPort("ui") self.objectmanager = self.addSubModel(ObjectManager("ObjectManager")) self.atomics = [] self.atomics.append(self.addSubModel(MainApp("MainApp"))) self.atomics.append(self.addSubModel(Field("Field"))) self.atomics.append(self.addSubModel(Button("Button"))) self.atomics.append(self.addSubModel(Ball("Ball"))) self.connectPorts(self.atomics[0].obj_manager_out, self.objectmanager.input) self.connectPorts(self.objectmanager.output["MainApp"], self.atomics[0].obj_manager_in) self.connectPorts(self.atomics[0].outputs["fields"], self.atomics[1].input) self.connectPorts(self.atomics[1].obj_manager_out, self.objectmanager.input) self.connectPorts(self.objectmanager.output["Field"], self.atomics[1].obj_manager_in) self.connectPorts(self.atomics[1].outputs["balls"], self.atomics[3].input) self.connectPorts(self.atomics[1].outputs["buttons"], self.atomics[2].input) self.connectPorts(self.atomics[1].outputs["parent"], self.atomics[0].input) self.connectPorts(self.atomics[2].obj_manager_out, self.objectmanager.input) self.connectPorts(self.objectmanager.output["Button"], self.atomics[2].obj_manager_in) self.connectPorts(self.atomics[2].outputs["parent"], self.atomics[1].input) self.connectPorts(self.atomics[3].obj_manager_out, self.objectmanager.input) self.connectPorts(self.objectmanager.output["Ball"], self.atomics[3].obj_manager_in) self.connectPorts(self.atomics[3].outputs["parent"], self.atomics[1].input) self.connectPorts(self.atomics[0].glob_outputs["ui"], self.out_ui) self.connectPorts(self.in_ui, self.atomics[0].input) self.connectPorts(self.atomics[1].glob_outputs["ui"], self.out_ui) self.connectPorts(self.in_ui, self.atomics[1].input) self.connectPorts(self.atomics[2].glob_outputs["ui"], self.out_ui) self.connectPorts(self.in_ui, self.atomics[2].input) self.connectPorts(self.atomics[3].glob_outputs["ui"], self.out_ui) self.connectPorts(self.in_ui, self.atomics[3].input)