|
|
@@ -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: Thu Oct 5 09:29:40 2017
|
|
|
+Date: Thu Oct 5 10:31:58 2017
|
|
|
|
|
|
Model author: Yentl Van Tendeloo
|
|
|
Model name: Modelverse Visual Editor - Tkinter Version
|
|
|
@@ -4454,7 +4454,7 @@ class MainWindow(RuntimeClassBase, tk.Toplevel, SCCDWidget):
|
|
|
self.states["/running/custom_MM/wait_for_metamodel/mv_processing"].addTransition(_running_custom_MM_wait_for_metamodel_mv_processing_0)
|
|
|
|
|
|
# transition /running/change_mapper
|
|
|
- _running_change_mapper_0 = Transition(self, self.states["/running/change_mapper"], [self.states["/running/rerender_model"]])
|
|
|
+ _running_change_mapper_0 = Transition(self, self.states["/running/change_mapper"], [self.states["/running/open_model/search_CS_mappers"]])
|
|
|
_running_change_mapper_0.setTrigger(None)
|
|
|
self.states["/running/change_mapper"].addTransition(_running_change_mapper_0)
|
|
|
|
|
|
@@ -4874,6 +4874,7 @@ class MainWindow(RuntimeClassBase, tk.Toplevel, SCCDWidget):
|
|
|
new_mapper = parameters[0]
|
|
|
global current_mapper
|
|
|
current_mapper = new_mapper
|
|
|
+ print("Switch mapper to " + str(new_mapper))
|
|
|
|
|
|
def _running_idle_11_exec(self, parameters):
|
|
|
new_rendered = parameters[0]
|
|
|
@@ -4977,8 +4978,10 @@ class MainWindow(RuntimeClassBase, tk.Toplevel, SCCDWidget):
|
|
|
if len(result) > 0:
|
|
|
if current_mapper not in result:
|
|
|
current_mapper = next(iter(result))
|
|
|
+ print("CHANGING MAPPER TO " + str(current_mapper))
|
|
|
else:
|
|
|
current_mapper = None
|
|
|
+ print("REMOVING MAPPER")
|
|
|
|
|
|
def _running_open_model_check_CS_mapper_0_exec(self, parameters):
|
|
|
global current_rendered_model
|
|
|
@@ -4995,6 +4998,7 @@ class MainWindow(RuntimeClassBase, tk.Toplevel, SCCDWidget):
|
|
|
def _running_open_model_search_CS_rendered_0_exec(self, parameters):
|
|
|
result = parameters[0]
|
|
|
print("Allowed rendered: " + str(result))
|
|
|
+ print("Current mapper: " + str(current_mapper))
|
|
|
self.allowed_rendered = list(result)
|
|
|
global current_rendered_model
|
|
|
|