123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119 |
- """
- 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
- import numpy as np
- 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.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("<narrow_cast>", 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 <root>
- 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")
- new_instance = self.constructObject(0, 0, [])
- self.state.instances[new_instance.instance_id] = new_instance
- new_instance.start()
- self.state.next_time = 0
-
- 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.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("<narrow_cast>", start_port_id)
- atomdevs.state.port_mappings[port_name] = id
- port_name = addInputPort("field_ui", start_port_id + 1)
- atomdevs.state.port_mappings[port_name] = id
- self.inports["field_ui"] = port_name
-
- def user_defined_constructor(self):
- self.balls = {}
- self.collisions = []
-
- def user_defined_destructor(self):
- pass
-
-
- # user defined method
- def distance(self, point1, point2):
- return ((point1['x'] - point2['x']) ** 2 + (point1['y'] - point2['y']) ** 2) ** 0.5
-
-
- # user defined method
- def check_collision(self, ball1, ball2):
- # Calculate the distance between the centers of the two balls
- dist = self.distance(ball1['pos'], ball2['pos'])
- # Calculate the sum of the radii
- radii_sum = ball1['r'] + ball2['r']
- # Check if they are colliding
- return dist <= radii_sum
-
-
- # builds Statechart structure
- def build_statechart_structure(self):
-
- # state <root>
- 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/creating_ball"]])
- _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)
- _root_running_main_behaviour_creating_ball_1 = Transition(self, self.states["/root/running/main_behaviour/creating_ball"], [self.states["/root/running/main_behaviour/running"]])
- _root_running_main_behaviour_creating_ball_1.setAction(self._root_running_main_behaviour_creating_ball_1_exec)
- _root_running_main_behaviour_creating_ball_1.setTrigger(Event("init_params", None))
- self.states["/root/running/main_behaviour/creating_ball"].addTransition(_root_running_main_behaviour_creating_ball_1)
-
- # 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)
- _root_running_deleting_behaviour_running_1 = Transition(self, self.states["/root/running/deleting_behaviour/running"], [self.states["/root/running/deleting_behaviour/running"]])
- _root_running_deleting_behaviour_running_1.setAction(self._root_running_deleting_behaviour_running_1_exec)
- _root_running_deleting_behaviour_running_1.setTrigger(Event("move_ball", None))
- self.states["/root/running/deleting_behaviour/running"].addTransition(_root_running_deleting_behaviour_running_1)
- _root_running_deleting_behaviour_running_2 = Transition(self, self.states["/root/running/deleting_behaviour/running"], [self.states["/root/running/deleting_behaviour/running"]])
- _root_running_deleting_behaviour_running_2.setAction(self._root_running_deleting_behaviour_running_2_exec)
- _root_running_deleting_behaviour_running_2.setTrigger(None)
- _root_running_deleting_behaviour_running_2.setGuard(self._root_running_deleting_behaviour_running_2_guard)
- self.states["/root/running/deleting_behaviour/running"].addTransition(_root_running_deleting_behaviour_running_2)
- _root_running_deleting_behaviour_running_3 = Transition(self, self.states["/root/running/deleting_behaviour/running"], [self.states["/root/running/deleting_behaviour/running"]])
- _root_running_deleting_behaviour_running_3.setAction(self._root_running_deleting_behaviour_running_3_exec)
- _root_running_deleting_behaviour_running_3.setTrigger(Event("instance_created", None))
- self.states["/root/running/deleting_behaviour/running"].addTransition(_root_running_deleting_behaviour_running_3)
- _root_running_deleting_behaviour_running_4 = Transition(self, self.states["/root/running/deleting_behaviour/running"], [self.states["/root/running/deleting_behaviour/running"]])
- _root_running_deleting_behaviour_running_4.setAction(self._root_running_deleting_behaviour_running_4_exec)
- _root_running_deleting_behaviour_running_4.setTrigger(Event("update_vel", None))
- self.states["/root/running/deleting_behaviour/running"].addTransition(_root_running_deleting_behaviour_running_4)
- _root_running_deleting_behaviour_running_5 = Transition(self, self.states["/root/running/deleting_behaviour/running"], [self.states["/root/running/deleting_behaviour/running"]])
- _root_running_deleting_behaviour_running_5.setAction(self._root_running_deleting_behaviour_running_5_exec)
- _root_running_deleting_behaviour_running_5.setTrigger(Event("delete_physics", None))
- self.states["/root/running/deleting_behaviour/running"].addTransition(_root_running_deleting_behaviour_running_5)
-
- # 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("get_init_params", None, [association_name])]))
-
- def _root_running_main_behaviour_creating_ball_1_exec(self, parameters):
- link_id = parameters[0]
- ball_r = parameters[1]
- ball_vel = parameters[2]
- ball_pos = parameters[3]
- self.balls[link_id] = {'r': ball_r, 'vel': ball_vel, 'pos': ball_pos}
-
- 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_deleting_behaviour_running_1_exec(self, parameters):
- link_id = parameters[0]
- ball_pos = parameters[1]
- ball_vel = parameters[2]
- # Update the position and velocity
- self.balls[link_id]['pos'] = ball_pos
- self.balls[link_id]['vel'] = ball_vel
-
- # Check for collisions
- collisions = []
- for other_id, other_ball in self.balls.items():
- if other_id != link_id: # Don't check collision with itself
- if self.check_collision(self.balls[link_id], other_ball):
- self.collisions.append((link_id, other_id))
-
- def _root_running_deleting_behaviour_running_2_exec(self, parameters):
- self.big_step.outputEventOM(Event("create_instance", None, [self, "collisions", "CollisionPhysics", self.collisions[-1][0], self.collisions[-1][1], self.balls[self.collisions[-1][0]], self.balls[self.collisions[-1][1]]]))
- self.collisions = self.collisions[:-1]
-
- def _root_running_deleting_behaviour_running_2_guard(self, parameters):
- return self.collisions
-
- def _root_running_deleting_behaviour_running_3_exec(self, parameters):
- association_name = parameters[0]
- self.big_step.outputEventOM(Event("narrow_cast", None, [self, association_name, Event("set_association_name", None, [association_name])]))
- self.big_step.outputEventOM(Event("start_instance", None, [self, association_name]))
-
- def _root_running_deleting_behaviour_running_4_exec(self, parameters):
- ball1_id = parameters[0]
- ball2_id = parameters[1]
- new_vel1 = parameters[2]
- new_vel2 = parameters[3]
- self.big_step.outputEventOM(Event("narrow_cast", None, [self, ball1_id, Event("update_ball_vel", None, [new_vel1])]))
- self.big_step.outputEventOM(Event("narrow_cast", None, [self, ball2_id, Event("update_ball_vel", None, [new_vel2])]))
-
- def _root_running_deleting_behaviour_running_5_exec(self, parameters):
- association_id = parameters[0]
- self.big_step.outputEventOM(Event("delete_instance", None, [self, association_id]))
-
- 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.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.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("<narrow_cast>", start_port_id)
- atomdevs.state.port_mappings[port_name] = id
- port_name = addInputPort("button_ui", start_port_id + 1)
- 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 <root>
- 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.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.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("<narrow_cast>", start_port_id)
- atomdevs.state.port_mappings[port_name] = id
- port_name = addInputPort("ball_ui", start_port_id + 1)
- 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 <root>
- 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("get_init_params", 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/bouncing"]])
- _main_behaviour_bouncing_1.setAction(self._main_behaviour_bouncing_1_exec)
- _main_behaviour_bouncing_1.setTrigger(Event("update_ball_vel", None))
- self.states["/main_behaviour/bouncing"].addTransition(_main_behaviour_bouncing_1)
- _main_behaviour_bouncing_2 = Transition(self, self.states["/main_behaviour/bouncing"], [self.states["/main_behaviour/selected"]])
- _main_behaviour_bouncing_2.setAction(self._main_behaviour_bouncing_2_exec)
- _main_behaviour_bouncing_2.setTrigger(Event("mouse_press", self.getInPortName("ball_ui")))
- _main_behaviour_bouncing_2.setGuard(self._main_behaviour_bouncing_2_guard)
- self.states["/main_behaviour/bouncing"].addTransition(_main_behaviour_bouncing_2)
-
- # 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
- self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("init_params", None, [self.association_name, self.r, self.vel, self.pos])]))
-
- 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.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("move_ball", None, [self.association_name, self.pos, self.vel])]))
- self.pos['x'] += self.vel['x']
- self.pos['y'] += self.vel['y']
-
- def _main_behaviour_bouncing_1_exec(self, parameters):
- new_vel = parameters[0]
- self.vel = new_vel
-
- def _main_behaviour_bouncing_2_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_2_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.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 CollisionPhysicsInstance(RuntimeClassBase):
- def __init__(self, atomdevs, id, start_port_id, ball1_id, ball2_id, ball1_info, ball2_info):
- RuntimeClassBase.__init__(self, atomdevs, id)
-
- 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.ball2_info = None
-
- # call user defined constructor
- CollisionPhysicsInstance.user_defined_constructor(self, ball1_id, ball2_id, ball1_info, ball2_info)
- port_name = addInputPort("ui", start_port_id, True)
- atomdevs.state.port_mappings[port_name] = id
- port_name = addInputPort("<narrow_cast>", start_port_id)
- atomdevs.state.port_mappings[port_name] = id
- port_name = addInputPort("physics_ui", start_port_id + 1)
- atomdevs.state.port_mappings[port_name] = id
- self.inports["physics_ui"] = port_name
-
- def user_defined_constructor(self, ball1_id, ball2_id, ball1_info, ball2_info):
- self.ball1_id = ball1_id
- self.ball2_id = ball2_id
- self.ball1_info = ball1_info
- self.ball2_info = ball2_info
-
- def user_defined_destructor(self):
- pass
-
-
- # user defined method
- def resolve_velocity(self, vel, normal):
- # Resolve the velocity into normal and tangential components.
- normal_velocity = np.dot(vel, normal) * normal
- tangential_velocity = vel - normal_velocity
- return normal_velocity, tangential_velocity
-
-
- # user defined method
- def handle_collision(self):
- pos1 = np.array([self.ball1_info['pos']['x'], self.ball1_info['pos']['y']])
- vel1 = np.array([self.ball1_info['vel']['x'], self.ball1_info['vel']['y']])
- r1 = self.ball1_info['r']
-
- pos2 = np.array([self.ball2_info['pos']['x'], self.ball2_info['pos']['y']])
- vel2 = np.array([self.ball2_info['vel']['x'], self.ball2_info['vel']['y']])
- r2 = self.ball2_info['r']
-
- # Calculate the normal vector from the center of ball1 to the center of ball2
- normal = pos2 - pos1
- normal = normal / np.linalg.norm(normal) # Normalize the normal vector
-
- # Calculate the relative velocity
- relative_velocity = vel1 - vel2
-
- # Calculate the velocities in the normal direction
- vel1_normal, vel1_tangential = self.resolve_velocity(vel1, normal)
- vel2_normal, vel2_tangential = self.resolve_velocity(vel2, normal)
-
- # Calculate new normal velocities after collision (1D elastic collision formula)
- vel1_normal_new = ((r1 - r2) * vel1_normal + 2 * r2 * vel2_normal) / (r1 + r2)
- vel2_normal_new = ((r2 - r1) * vel2_normal + 2 * r1 * vel1_normal) / (r1 + r2)
-
- # Combine the new normal and original tangential components
- vel1_new = vel1_normal_new + vel1_tangential
- vel2_new = vel2_normal_new + vel2_tangential
-
- # Update the velocities in the balls
- self.ball1_info['vel'] = {'x': vel1_new[0], 'y': vel1_new[1]}
- self.ball2_info['vel'] = {'x': vel2_new[0], 'y': vel2_new[1]}
-
-
- # builds Statechart structure
- def build_statechart_structure(self):
-
- # state <root>
- self.states[""] = State(0, "", self)
-
- # state /creating
- self.states["/creating"] = State(1, "/creating", self)
- self.states["/creating"].setEnter(self._creating_enter)
-
- # state /running
- self.states["/running"] = State(2, "/running", self)
-
- # state /delete
- self.states["/delete"] = State(3, "/delete", self)
-
- # add children
- self.states[""].addChild(self.states["/creating"])
- self.states[""].addChild(self.states["/running"])
- self.states[""].addChild(self.states["/delete"])
- self.states[""].fixTree()
- self.states[""].default_state = self.states["/creating"]
-
- # transition /creating
- _creating_0 = Transition(self, self.states["/creating"], [self.states["/running"]])
- _creating_0.setAction(self._creating_0_exec)
- _creating_0.setTrigger(Event("set_association_name", None))
- self.states["/creating"].addTransition(_creating_0)
-
- # transition /running
- _running_0 = Transition(self, self.states["/running"], [self.states["/delete"]])
- _running_0.setAction(self._running_0_exec)
- _running_0.setTrigger(None)
- self.states["/running"].addTransition(_running_0)
-
- def _creating_enter(self):
- self.handle_collision()
-
- def _creating_0_exec(self, parameters):
- association_name = parameters[0]
- self.association_name = association_name
-
- def _running_0_exec(self, parameters):
- self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("update_vel", None, [self.ball1_id, self.ball2_id, self.ball1_info['vel'], self.ball2_info['vel']])]))
- self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("delete_physics", None, [self.association_name])]))
-
- def initializeStatechart(self):
- # enter default state
- self.default_targets = self.states["/creating"].getEffectiveTargetStates()
- RuntimeClassBase.initializeStatechart(self)
- class CollisionPhysics(ClassBase):
- def __init__(self, name):
- ClassBase.__init__(self, name)
- self.input = self.addInPort("input")
- self.glob_outputs["ui"] = self.addOutPort("ui")
- self.physics_ui = self.addInPort("physics_ui")
-
- def constructObject(self, id, start_port_id, parameters):
- new_instance = CollisionPhysicsInstance(self, id, start_port_id, parameters[1], parameters[2], parameters[3], parameters[4])
- return new_instance
- 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"]["collisions"] = Association("CollisionPhysics", 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)
- elif class_name == "CollisionPhysics":
- 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)
- 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.output["CollisionPhysics"] = self.addOutPort()
- self.state.createInstance("MainApp", [])
- 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.atomics.append(self.addSubModel(CollisionPhysics("CollisionPhysics")))
- 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[1].obj_manager_out, self.objectmanager.input)
- self.connectPorts(self.objectmanager.output["Field"], self.atomics[1].obj_manager_in)
- 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[3].obj_manager_out, self.objectmanager.input)
- self.connectPorts(self.objectmanager.output["Ball"], self.atomics[3].obj_manager_in)
- self.connectPorts(self.atomics[4].obj_manager_out, self.objectmanager.input)
- self.connectPorts(self.objectmanager.output["CollisionPhysics"], self.atomics[4].obj_manager_in)
- 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)
- self.connectPorts(self.atomics[4].glob_outputs["ui"], self.out_ui)
- self.connectPorts(self.in_ui, self.atomics[4].input)
|