|
|
@@ -1,7 +1,7 @@
|
|
|
"""
|
|
|
Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
|
|
|
|
|
|
-Date: Mon Oct 9 16:07:22 2017
|
|
|
+Date: Mon Oct 9 16:33:03 2017
|
|
|
|
|
|
Model author: Yentl Van Tendeloo
|
|
|
Model name: Modelverse Visual Editor - Tkinter Version
|
|
|
@@ -7144,7 +7144,6 @@ class Canvas(RuntimeClassBase, tk.Canvas, SCCDWidget):
|
|
|
self.connecting_lines = {}
|
|
|
self.lines = set()
|
|
|
self.layers = []
|
|
|
- print("RESET CANVAS")
|
|
|
self.to_move = {}
|
|
|
|
|
|
self.elems = []
|
|
|
@@ -7153,7 +7152,6 @@ class Canvas(RuntimeClassBase, tk.Canvas, SCCDWidget):
|
|
|
self.loading = [tk.PhotoImage(file="icons/loading.gif", format="gif -index %i" % i) for i in range(8)]
|
|
|
|
|
|
def user_defined_destructor(self):
|
|
|
- print("CANVAS DESTROYED")
|
|
|
self.destroy()
|
|
|
# call super class destructors
|
|
|
if hasattr(tk.Canvas, "__del__"):
|
|
|
@@ -7187,30 +7185,47 @@ class Canvas(RuntimeClassBase, tk.Canvas, SCCDWidget):
|
|
|
|
|
|
# state /ready/process_events/creating_line/drawing
|
|
|
self.states["/ready/process_events/creating_line/drawing"] = State(6, "/ready/process_events/creating_line/drawing", self)
|
|
|
- self.states["/ready/process_events/creating_line/drawing"].setEnter(self._ready_process_events_creating_line_drawing_enter)
|
|
|
- self.states["/ready/process_events/creating_line/drawing"].setExit(self._ready_process_events_creating_line_drawing_exit)
|
|
|
|
|
|
# state /ready/process_events/creating_line/create_in_mv
|
|
|
self.states["/ready/process_events/creating_line/create_in_mv"] = State(7, "/ready/process_events/creating_line/create_in_mv", self)
|
|
|
|
|
|
+ # state /ready/process_events/creating_line/create_in_mv/query_type
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/query_type"] = State(8, "/ready/process_events/creating_line/create_in_mv/query_type", self)
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/query_type"].setEnter(self._ready_process_events_creating_line_create_in_mv_query_type_enter)
|
|
|
+
|
|
|
+ # state /ready/process_events/creating_line/create_in_mv/check_types
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/check_types"] = State(9, "/ready/process_events/creating_line/create_in_mv/check_types", self)
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/check_types"].setEnter(self._ready_process_events_creating_line_create_in_mv_check_types_enter)
|
|
|
+
|
|
|
+ # state /ready/process_events/creating_line/create_in_mv/request_user
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/request_user"] = State(10, "/ready/process_events/creating_line/create_in_mv/request_user", self)
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/request_user"].setEnter(self._ready_process_events_creating_line_create_in_mv_request_user_enter)
|
|
|
+
|
|
|
+ # state /ready/process_events/creating_line/create_in_mv/wait_for_response
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/wait_for_response"] = State(11, "/ready/process_events/creating_line/create_in_mv/wait_for_response", self)
|
|
|
+
|
|
|
+ # state /ready/process_events/creating_line/create_in_mv/create
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/create"] = State(12, "/ready/process_events/creating_line/create_in_mv/create", self)
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/create"].setEnter(self._ready_process_events_creating_line_create_in_mv_create_enter)
|
|
|
+
|
|
|
# state /ready/process_events/creating_group
|
|
|
- self.states["/ready/process_events/creating_group"] = State(8, "/ready/process_events/creating_group", self)
|
|
|
+ self.states["/ready/process_events/creating_group"] = State(13, "/ready/process_events/creating_group", self)
|
|
|
|
|
|
# state /ready/process_events/wait_canvas_element_ready
|
|
|
- self.states["/ready/process_events/wait_canvas_element_ready"] = State(9, "/ready/process_events/wait_canvas_element_ready", self)
|
|
|
+ self.states["/ready/process_events/wait_canvas_element_ready"] = State(14, "/ready/process_events/wait_canvas_element_ready", self)
|
|
|
|
|
|
# state /ready/process_events/creating_element
|
|
|
- self.states["/ready/process_events/creating_element"] = State(10, "/ready/process_events/creating_element", self)
|
|
|
+ self.states["/ready/process_events/creating_element"] = State(15, "/ready/process_events/creating_element", self)
|
|
|
self.states["/ready/process_events/creating_element"].setEnter(self._ready_process_events_creating_element_enter)
|
|
|
|
|
|
# state /ready/process_events/waiting_for_clear
|
|
|
- self.states["/ready/process_events/waiting_for_clear"] = State(11, "/ready/process_events/waiting_for_clear", self)
|
|
|
+ self.states["/ready/process_events/waiting_for_clear"] = State(16, "/ready/process_events/waiting_for_clear", self)
|
|
|
|
|
|
# state /ready/update_loading
|
|
|
- self.states["/ready/update_loading"] = State(12, "/ready/update_loading", self)
|
|
|
+ self.states["/ready/update_loading"] = State(17, "/ready/update_loading", self)
|
|
|
|
|
|
# state /ready/update_loading/updating
|
|
|
- self.states["/ready/update_loading/updating"] = State(13, "/ready/update_loading/updating", self)
|
|
|
+ self.states["/ready/update_loading/updating"] = State(18, "/ready/update_loading/updating", self)
|
|
|
self.states["/ready/update_loading/updating"].setEnter(self._ready_update_loading_updating_enter)
|
|
|
self.states["/ready/update_loading/updating"].setExit(self._ready_update_loading_updating_exit)
|
|
|
|
|
|
@@ -7227,11 +7242,17 @@ class Canvas(RuntimeClassBase, tk.Canvas, SCCDWidget):
|
|
|
self.states["/ready/process_events"].addChild(self.states["/ready/process_events/waiting_for_clear"])
|
|
|
self.states["/ready/process_events/creating_line"].addChild(self.states["/ready/process_events/creating_line/drawing"])
|
|
|
self.states["/ready/process_events/creating_line"].addChild(self.states["/ready/process_events/creating_line/create_in_mv"])
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv"].addChild(self.states["/ready/process_events/creating_line/create_in_mv/query_type"])
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv"].addChild(self.states["/ready/process_events/creating_line/create_in_mv/check_types"])
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv"].addChild(self.states["/ready/process_events/creating_line/create_in_mv/request_user"])
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv"].addChild(self.states["/ready/process_events/creating_line/create_in_mv/wait_for_response"])
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv"].addChild(self.states["/ready/process_events/creating_line/create_in_mv/create"])
|
|
|
self.states["/ready/update_loading"].addChild(self.states["/ready/update_loading/updating"])
|
|
|
self.states[""].fixTree()
|
|
|
self.states[""].default_state = self.states["/main"]
|
|
|
self.states["/ready/process_events"].default_state = self.states["/ready/process_events/ready"]
|
|
|
self.states["/ready/process_events/creating_line"].default_state = self.states["/ready/process_events/creating_line/drawing"]
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv"].default_state = self.states["/ready/process_events/creating_line/create_in_mv/query_type"]
|
|
|
self.states["/ready/update_loading"].default_state = self.states["/ready/update_loading/updating"]
|
|
|
|
|
|
# transition /main
|
|
|
@@ -7291,7 +7312,6 @@ class Canvas(RuntimeClassBase, tk.Canvas, SCCDWidget):
|
|
|
_ready_process_events_creating_line_drawing_0.setTrigger(Event("motion", None))
|
|
|
self.states["/ready/process_events/creating_line/drawing"].addTransition(_ready_process_events_creating_line_drawing_0)
|
|
|
_ready_process_events_creating_line_drawing_1 = Transition(self, self.states["/ready/process_events/creating_line/drawing"], [self.states["/ready/process_events/ready"]])
|
|
|
- _ready_process_events_creating_line_drawing_1.setAction(self._ready_process_events_creating_line_drawing_1_exec)
|
|
|
_ready_process_events_creating_line_drawing_1.setTrigger(Event("right-click", None))
|
|
|
_ready_process_events_creating_line_drawing_1.setGuard(self._ready_process_events_creating_line_drawing_1_guard)
|
|
|
self.states["/ready/process_events/creating_line/drawing"].addTransition(_ready_process_events_creating_line_drawing_1)
|
|
|
@@ -7300,6 +7320,52 @@ class Canvas(RuntimeClassBase, tk.Canvas, SCCDWidget):
|
|
|
_ready_process_events_creating_line_drawing_2.setTrigger(Event("create_line", None))
|
|
|
self.states["/ready/process_events/creating_line/drawing"].addTransition(_ready_process_events_creating_line_drawing_2)
|
|
|
|
|
|
+ # transition /ready/process_events/creating_line/create_in_mv/query_type
|
|
|
+ _ready_process_events_creating_line_create_in_mv_query_type_0 = Transition(self, self.states["/ready/process_events/creating_line/create_in_mv/query_type"], [self.states["/ready/process_events/creating_line/create_in_mv/check_types"]])
|
|
|
+ _ready_process_events_creating_line_create_in_mv_query_type_0.setAction(self._ready_process_events_creating_line_create_in_mv_query_type_0_exec)
|
|
|
+ _ready_process_events_creating_line_create_in_mv_query_type_0.setTrigger(Event("mv_response", None))
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/query_type"].addTransition(_ready_process_events_creating_line_create_in_mv_query_type_0)
|
|
|
+
|
|
|
+ # transition /ready/process_events/creating_line/create_in_mv/check_types
|
|
|
+ _ready_process_events_creating_line_create_in_mv_check_types_0 = Transition(self, self.states["/ready/process_events/creating_line/create_in_mv/check_types"], [self.states["/ready/process_events/ready"]])
|
|
|
+ _ready_process_events_creating_line_create_in_mv_check_types_0.setTrigger(None)
|
|
|
+ _ready_process_events_creating_line_create_in_mv_check_types_0.setGuard(self._ready_process_events_creating_line_create_in_mv_check_types_0_guard)
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/check_types"].addTransition(_ready_process_events_creating_line_create_in_mv_check_types_0)
|
|
|
+ _ready_process_events_creating_line_create_in_mv_check_types_1 = Transition(self, self.states["/ready/process_events/creating_line/create_in_mv/check_types"], [self.states["/ready/process_events/creating_line/create_in_mv/create"]])
|
|
|
+ _ready_process_events_creating_line_create_in_mv_check_types_1.setAction(self._ready_process_events_creating_line_create_in_mv_check_types_1_exec)
|
|
|
+ _ready_process_events_creating_line_create_in_mv_check_types_1.setTrigger(None)
|
|
|
+ _ready_process_events_creating_line_create_in_mv_check_types_1.setGuard(self._ready_process_events_creating_line_create_in_mv_check_types_1_guard)
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/check_types"].addTransition(_ready_process_events_creating_line_create_in_mv_check_types_1)
|
|
|
+ _ready_process_events_creating_line_create_in_mv_check_types_2 = Transition(self, self.states["/ready/process_events/creating_line/create_in_mv/check_types"], [self.states["/ready/process_events/creating_line/create_in_mv/request_user"]])
|
|
|
+ _ready_process_events_creating_line_create_in_mv_check_types_2.setTrigger(None)
|
|
|
+ _ready_process_events_creating_line_create_in_mv_check_types_2.setGuard(self._ready_process_events_creating_line_create_in_mv_check_types_2_guard)
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/check_types"].addTransition(_ready_process_events_creating_line_create_in_mv_check_types_2)
|
|
|
+
|
|
|
+ # transition /ready/process_events/creating_line/create_in_mv/request_user
|
|
|
+ _ready_process_events_creating_line_create_in_mv_request_user_0 = Transition(self, self.states["/ready/process_events/creating_line/create_in_mv/request_user"], [self.states["/ready/process_events/creating_line/create_in_mv/wait_for_response"]])
|
|
|
+ _ready_process_events_creating_line_create_in_mv_request_user_0.setAction(self._ready_process_events_creating_line_create_in_mv_request_user_0_exec)
|
|
|
+ _ready_process_events_creating_line_create_in_mv_request_user_0.setTrigger(Event("instance_created", None))
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/request_user"].addTransition(_ready_process_events_creating_line_create_in_mv_request_user_0)
|
|
|
+
|
|
|
+ # transition /ready/process_events/creating_line/create_in_mv/wait_for_response
|
|
|
+ _ready_process_events_creating_line_create_in_mv_wait_for_response_0 = Transition(self, self.states["/ready/process_events/creating_line/create_in_mv/wait_for_response"], [self.states["/ready/process_events/creating_line/create_in_mv/wait_for_response"]])
|
|
|
+ _ready_process_events_creating_line_create_in_mv_wait_for_response_0.setAction(self._ready_process_events_creating_line_create_in_mv_wait_for_response_0_exec)
|
|
|
+ _ready_process_events_creating_line_create_in_mv_wait_for_response_0.setTrigger(Event("choice_result", None))
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/wait_for_response"].addTransition(_ready_process_events_creating_line_create_in_mv_wait_for_response_0)
|
|
|
+ _ready_process_events_creating_line_create_in_mv_wait_for_response_1 = Transition(self, self.states["/ready/process_events/creating_line/create_in_mv/wait_for_response"], [self.states["/ready/process_events/creating_line/create_in_mv/create"]])
|
|
|
+ _ready_process_events_creating_line_create_in_mv_wait_for_response_1.setTrigger(Event("window_close", None))
|
|
|
+ _ready_process_events_creating_line_create_in_mv_wait_for_response_1.setGuard(self._ready_process_events_creating_line_create_in_mv_wait_for_response_1_guard)
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/wait_for_response"].addTransition(_ready_process_events_creating_line_create_in_mv_wait_for_response_1)
|
|
|
+ _ready_process_events_creating_line_create_in_mv_wait_for_response_2 = Transition(self, self.states["/ready/process_events/creating_line/create_in_mv/wait_for_response"], [self.states["/ready/process_events/ready"]])
|
|
|
+ _ready_process_events_creating_line_create_in_mv_wait_for_response_2.setTrigger(Event("window_close", None))
|
|
|
+ _ready_process_events_creating_line_create_in_mv_wait_for_response_2.setGuard(self._ready_process_events_creating_line_create_in_mv_wait_for_response_2_guard)
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/wait_for_response"].addTransition(_ready_process_events_creating_line_create_in_mv_wait_for_response_2)
|
|
|
+
|
|
|
+ # transition /ready/process_events/creating_line/create_in_mv/create
|
|
|
+ _ready_process_events_creating_line_create_in_mv_create_0 = Transition(self, self.states["/ready/process_events/creating_line/create_in_mv/create"], [self.states["/ready/process_events/ready"]])
|
|
|
+ _ready_process_events_creating_line_create_in_mv_create_0.setTrigger(Event("mv_response", None))
|
|
|
+ self.states["/ready/process_events/creating_line/create_in_mv/create"].addTransition(_ready_process_events_creating_line_create_in_mv_create_0)
|
|
|
+
|
|
|
# transition /ready/process_events/creating_group
|
|
|
_ready_process_events_creating_group_0 = Transition(self, self.states["/ready/process_events/creating_group"], [self.states["/ready/process_events/wait_canvas_element_ready"]])
|
|
|
_ready_process_events_creating_group_0.setAction(self._ready_process_events_creating_group_0_exec)
|
|
|
@@ -7340,11 +7406,17 @@ class Canvas(RuntimeClassBase, tk.Canvas, SCCDWidget):
|
|
|
def _ready_process_events_creating_line_exit(self):
|
|
|
self.delete(self.tmp_line)
|
|
|
|
|
|
- def _ready_process_events_creating_line_drawing_enter(self):
|
|
|
- print("Drawing")
|
|
|
+ def _ready_process_events_creating_line_create_in_mv_query_type_enter(self):
|
|
|
+ self.big_step.outputEventOM(Event("broad_cast", None, [self, Event("mv_request", None, ['connections_between', [current_model, self.creating_line[1], self.creating_line[3]]])]))
|
|
|
+
|
|
|
+ def _ready_process_events_creating_line_create_in_mv_check_types_enter(self):
|
|
|
+ print("Got allowed types: " + str(self.allowed_types))
|
|
|
|
|
|
- def _ready_process_events_creating_line_drawing_exit(self):
|
|
|
- print("NOT drawing")
|
|
|
+ def _ready_process_events_creating_line_create_in_mv_request_user_enter(self):
|
|
|
+ self.big_step.outputEventOM(Event("create_instance", None, [self, 'prompt', 'ChoicePrompt', self.allowed_types]))
|
|
|
+
|
|
|
+ def _ready_process_events_creating_line_create_in_mv_create_enter(self):
|
|
|
+ self.big_step.outputEventOM(Event("broad_cast", None, [self, Event("mv_request", None, ['instantiate', [current_model, self.assoc_type, '', (self.creating_line[1], self.creating_line[3])]])]))
|
|
|
|
|
|
def _ready_process_events_creating_element_enter(self):
|
|
|
self.big_step.outputEventOM(Event("broad_cast", None, [self, Event("mv_request", None, ['instantiate', [current_model, self.currently_selected, None, '']])]))
|
|
|
@@ -7362,6 +7434,9 @@ class Canvas(RuntimeClassBase, tk.Canvas, SCCDWidget):
|
|
|
def _ready_process_events_ready_0_exec(self, parameters):
|
|
|
self.big_step.outputEventOM(Event("delete_instance", None, [self, 'elements']))
|
|
|
self.big_step.outputEventOM(Event("delete_instance", None, [self, 'connecting_lines']))
|
|
|
+ for f in self.elems:
|
|
|
+ self.delete(f[1])
|
|
|
+ self.elems = []
|
|
|
self.group_location = {}
|
|
|
self.layers = []
|
|
|
|
|
|
@@ -7435,10 +7510,6 @@ class Canvas(RuntimeClassBase, tk.Canvas, SCCDWidget):
|
|
|
|
|
|
self.coords(self.tmp_line, x, y, self.last_x, self.last_y)
|
|
|
|
|
|
- def _ready_process_events_creating_line_drawing_1_exec(self, parameters):
|
|
|
- ID = parameters[0]
|
|
|
- print("Release on canvas " + str(ID))
|
|
|
-
|
|
|
def _ready_process_events_creating_line_drawing_1_guard(self, parameters):
|
|
|
ID = parameters[0]
|
|
|
return ID == id(self)
|
|
|
@@ -7449,6 +7520,37 @@ class Canvas(RuntimeClassBase, tk.Canvas, SCCDWidget):
|
|
|
origin_cs, origin_as, _ = self.creating_line
|
|
|
self.creating_line = (origin_cs, origin_as, cs_element, as_element)
|
|
|
|
|
|
+ def _ready_process_events_creating_line_create_in_mv_query_type_0_exec(self, parameters):
|
|
|
+ result = parameters[0]
|
|
|
+ self.allowed_types = result
|
|
|
+
|
|
|
+ def _ready_process_events_creating_line_create_in_mv_check_types_0_guard(self, parameters):
|
|
|
+ return len(self.allowed_types) == 0
|
|
|
+
|
|
|
+ def _ready_process_events_creating_line_create_in_mv_check_types_1_exec(self, parameters):
|
|
|
+ self.assoc_type = self.allowed_types.pop()
|
|
|
+
|
|
|
+ def _ready_process_events_creating_line_create_in_mv_check_types_1_guard(self, parameters):
|
|
|
+ return len(self.allowed_types) == 1
|
|
|
+
|
|
|
+ def _ready_process_events_creating_line_create_in_mv_check_types_2_guard(self, parameters):
|
|
|
+ return len(self.allowed_types) > 1
|
|
|
+
|
|
|
+ def _ready_process_events_creating_line_create_in_mv_request_user_0_exec(self, parameters):
|
|
|
+ assoc_name = parameters[0]
|
|
|
+ self.big_step.outputEventOM(Event("start_instance", None, [self, assoc_name]))
|
|
|
+ self.assoc_type = None
|
|
|
+
|
|
|
+ def _ready_process_events_creating_line_create_in_mv_wait_for_response_0_exec(self, parameters):
|
|
|
+ result = parameters[0]
|
|
|
+ self.assoc_type = result
|
|
|
+
|
|
|
+ def _ready_process_events_creating_line_create_in_mv_wait_for_response_1_guard(self, parameters):
|
|
|
+ return self.assoc_type is not None
|
|
|
+
|
|
|
+ def _ready_process_events_creating_line_create_in_mv_wait_for_response_2_guard(self, parameters):
|
|
|
+ return self.assoc_type is None
|
|
|
+
|
|
|
def _ready_process_events_creating_group_0_exec(self, parameters):
|
|
|
assoc_name = parameters[0]
|
|
|
self.big_step.outputEventOM(Event("start_instance", None, [self, assoc_name]))
|
|
|
@@ -7471,6 +7573,8 @@ class Canvas(RuntimeClassBase, tk.Canvas, SCCDWidget):
|
|
|
def _ready_process_events_waiting_for_clear_0_exec(self, parameters):
|
|
|
self.big_step.outputEventOM(Event("delete_instance", None, [self, 'elements']))
|
|
|
self.big_step.outputEventOM(Event("delete_instance", None, [self, 'connecting_lines']))
|
|
|
+ for f in self.elems:
|
|
|
+ self.delete(f[1])
|
|
|
self.group_location = {}
|
|
|
self.layers = []
|
|
|
|
|
|
@@ -8052,8 +8156,6 @@ class CanvasElement(RuntimeClassBase, SCCDWidget):
|
|
|
def _init_init_1_exec(self, parameters):
|
|
|
self.coordinates = self.containing_canvas.to_move.pop(self.as_element)
|
|
|
self.move_group(self.coordinates)
|
|
|
-
|
|
|
- self.containing_canvas.delete(self.containing_canvas.elems.pop(0)[1])
|
|
|
|
|
|
def _init_init_1_guard(self, parameters):
|
|
|
return self.as_element in self.containing_canvas.to_move
|
|
|
@@ -8257,6 +8359,7 @@ class ObjectManager(ObjectManagerBase):
|
|
|
instance.associations["parent"] = Association("A", 1, 1)
|
|
|
instance.associations["elements"] = Association("CanvasElement", 0, -1)
|
|
|
instance.associations["connecting_lines"] = Association("ConnectingLines", 0, -1)
|
|
|
+ instance.associations["prompt"] = Association("ChoicePrompt", 0, -1)
|
|
|
elif class_name == "ConnectingLine":
|
|
|
instance = ConnectingLine(self.controller, construct_params[0], construct_params[1])
|
|
|
instance.associations = {}
|
