|
|
@@ -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: Wed Oct 4 09:14:41 2017
|
|
|
+Date: Wed Oct 4 11:30:36 2017
|
|
|
|
|
|
Model author: Yentl Van Tendeloo
|
|
|
Model name: Modelverse Visual Editor - Tkinter Version
|
|
|
@@ -4015,188 +4015,198 @@ class MainWindow(RuntimeClassBase, tk.Toplevel, SCCDWidget):
|
|
|
self.states["/running/idle"] = State(7, "/running/idle", self)
|
|
|
self.states["/running/idle"].setEnter(self._running_idle_enter)
|
|
|
|
|
|
+ # state /running/upload_MVC
|
|
|
+ self.states["/running/upload_MVC"] = State(8, "/running/upload_MVC", self)
|
|
|
+
|
|
|
+ # state /running/upload_MVC/load_code
|
|
|
+ self.states["/running/upload_MVC/load_code"] = State(9, "/running/upload_MVC/load_code", self)
|
|
|
+ self.states["/running/upload_MVC/load_code"].setEnter(self._running_upload_MVC_load_code_enter)
|
|
|
+
|
|
|
+ # state /running/upload_MVC/overwriting_model
|
|
|
+ self.states["/running/upload_MVC/overwriting_model"] = State(10, "/running/upload_MVC/overwriting_model", self)
|
|
|
+
|
|
|
# state /running/change_metamodel
|
|
|
- self.states["/running/change_metamodel"] = State(8, "/running/change_metamodel", self)
|
|
|
+ self.states["/running/change_metamodel"] = State(11, "/running/change_metamodel", self)
|
|
|
self.states["/running/change_metamodel"].setEnter(self._running_change_metamodel_enter)
|
|
|
|
|
|
# state /running/conf_bottom
|
|
|
- self.states["/running/conf_bottom"] = State(9, "/running/conf_bottom", self)
|
|
|
+ self.states["/running/conf_bottom"] = State(12, "/running/conf_bottom", self)
|
|
|
|
|
|
# state /running/conf_bottom/check_if_exists
|
|
|
- self.states["/running/conf_bottom/check_if_exists"] = State(10, "/running/conf_bottom/check_if_exists", self)
|
|
|
+ self.states["/running/conf_bottom/check_if_exists"] = State(13, "/running/conf_bottom/check_if_exists", self)
|
|
|
|
|
|
# state /running/conf_bottom/add_bottom
|
|
|
- self.states["/running/conf_bottom/add_bottom"] = State(11, "/running/conf_bottom/add_bottom", self)
|
|
|
+ self.states["/running/conf_bottom/add_bottom"] = State(14, "/running/conf_bottom/add_bottom", self)
|
|
|
self.states["/running/conf_bottom/add_bottom"].setEnter(self._running_conf_bottom_add_bottom_enter)
|
|
|
|
|
|
# state /running/custom_MM
|
|
|
- self.states["/running/custom_MM"] = State(12, "/running/custom_MM", self)
|
|
|
+ self.states["/running/custom_MM"] = State(15, "/running/custom_MM", self)
|
|
|
|
|
|
# state /running/custom_MM/query
|
|
|
- self.states["/running/custom_MM/query"] = State(13, "/running/custom_MM/query", self)
|
|
|
+ self.states["/running/custom_MM/query"] = State(16, "/running/custom_MM/query", self)
|
|
|
self.states["/running/custom_MM/query"].setEnter(self._running_custom_MM_query_enter)
|
|
|
|
|
|
# state /running/custom_MM/wait_for_metamodel
|
|
|
- self.states["/running/custom_MM/wait_for_metamodel"] = State(14, "/running/custom_MM/wait_for_metamodel", self)
|
|
|
+ self.states["/running/custom_MM/wait_for_metamodel"] = State(17, "/running/custom_MM/wait_for_metamodel", self)
|
|
|
self.states["/running/custom_MM/wait_for_metamodel"].setEnter(self._running_custom_MM_wait_for_metamodel_enter)
|
|
|
|
|
|
# state /running/custom_MM/wait_for_metamodel/wait_for_result
|
|
|
- self.states["/running/custom_MM/wait_for_metamodel/wait_for_result"] = State(15, "/running/custom_MM/wait_for_metamodel/wait_for_result", self)
|
|
|
+ self.states["/running/custom_MM/wait_for_metamodel/wait_for_result"] = State(18, "/running/custom_MM/wait_for_metamodel/wait_for_result", self)
|
|
|
|
|
|
# state /running/custom_MM/wait_for_metamodel/got_result
|
|
|
- self.states["/running/custom_MM/wait_for_metamodel/got_result"] = State(16, "/running/custom_MM/wait_for_metamodel/got_result", self)
|
|
|
+ self.states["/running/custom_MM/wait_for_metamodel/got_result"] = State(19, "/running/custom_MM/wait_for_metamodel/got_result", self)
|
|
|
|
|
|
# state /running/custom_MM/wait_for_metamodel/mv_processing
|
|
|
- self.states["/running/custom_MM/wait_for_metamodel/mv_processing"] = State(17, "/running/custom_MM/wait_for_metamodel/mv_processing", self)
|
|
|
+ self.states["/running/custom_MM/wait_for_metamodel/mv_processing"] = State(20, "/running/custom_MM/wait_for_metamodel/mv_processing", self)
|
|
|
|
|
|
# state /running/change_mapper
|
|
|
- self.states["/running/change_mapper"] = State(18, "/running/change_mapper", self)
|
|
|
+ self.states["/running/change_mapper"] = State(21, "/running/change_mapper", self)
|
|
|
|
|
|
# state /running/change_rendered
|
|
|
- self.states["/running/change_rendered"] = State(19, "/running/change_rendered", self)
|
|
|
+ self.states["/running/change_rendered"] = State(22, "/running/change_rendered", self)
|
|
|
|
|
|
# state /running/verify_model
|
|
|
- self.states["/running/verify_model"] = State(20, "/running/verify_model", self)
|
|
|
+ self.states["/running/verify_model"] = State(23, "/running/verify_model", self)
|
|
|
|
|
|
# state /running/verify_model/request
|
|
|
- self.states["/running/verify_model/request"] = State(21, "/running/verify_model/request", self)
|
|
|
+ self.states["/running/verify_model/request"] = State(24, "/running/verify_model/request", self)
|
|
|
self.states["/running/verify_model/request"].setEnter(self._running_verify_model_request_enter)
|
|
|
|
|
|
# state /running/verify_model/show_result
|
|
|
- self.states["/running/verify_model/show_result"] = State(22, "/running/verify_model/show_result", self)
|
|
|
+ self.states["/running/verify_model/show_result"] = State(25, "/running/verify_model/show_result", self)
|
|
|
|
|
|
# state /running/verify_model/wait_for_close
|
|
|
- self.states["/running/verify_model/wait_for_close"] = State(23, "/running/verify_model/wait_for_close", self)
|
|
|
+ self.states["/running/verify_model/wait_for_close"] = State(26, "/running/verify_model/wait_for_close", self)
|
|
|
|
|
|
# state /running/open_model
|
|
|
- self.states["/running/open_model"] = State(24, "/running/open_model", self)
|
|
|
+ self.states["/running/open_model"] = State(27, "/running/open_model", self)
|
|
|
|
|
|
# state /running/open_model/query_model
|
|
|
- self.states["/running/open_model/query_model"] = State(25, "/running/open_model/query_model", self)
|
|
|
+ self.states["/running/open_model/query_model"] = State(28, "/running/open_model/query_model", self)
|
|
|
self.states["/running/open_model/query_model"].setEnter(self._running_open_model_query_model_enter)
|
|
|
|
|
|
# state /running/open_model/wait_for_model
|
|
|
- self.states["/running/open_model/wait_for_model"] = State(26, "/running/open_model/wait_for_model", self)
|
|
|
+ self.states["/running/open_model/wait_for_model"] = State(29, "/running/open_model/wait_for_model", self)
|
|
|
|
|
|
# state /running/open_model/got_model
|
|
|
- self.states["/running/open_model/got_model"] = State(27, "/running/open_model/got_model", self)
|
|
|
+ self.states["/running/open_model/got_model"] = State(30, "/running/open_model/got_model", self)
|
|
|
|
|
|
# state /running/open_model/search_metamodels
|
|
|
- self.states["/running/open_model/search_metamodels"] = State(28, "/running/open_model/search_metamodels", self)
|
|
|
+ self.states["/running/open_model/search_metamodels"] = State(31, "/running/open_model/search_metamodels", self)
|
|
|
self.states["/running/open_model/search_metamodels"].setEnter(self._running_open_model_search_metamodels_enter)
|
|
|
|
|
|
# state /running/open_model/search_CS_mappers
|
|
|
- self.states["/running/open_model/search_CS_mappers"] = State(29, "/running/open_model/search_CS_mappers", self)
|
|
|
+ self.states["/running/open_model/search_CS_mappers"] = State(32, "/running/open_model/search_CS_mappers", self)
|
|
|
self.states["/running/open_model/search_CS_mappers"].setEnter(self._running_open_model_search_CS_mappers_enter)
|
|
|
|
|
|
# state /running/open_model/check_CS_mapper
|
|
|
- self.states["/running/open_model/check_CS_mapper"] = State(30, "/running/open_model/check_CS_mapper", self)
|
|
|
+ self.states["/running/open_model/check_CS_mapper"] = State(33, "/running/open_model/check_CS_mapper", self)
|
|
|
|
|
|
# state /running/open_model/search_CS_rendered
|
|
|
- self.states["/running/open_model/search_CS_rendered"] = State(31, "/running/open_model/search_CS_rendered", self)
|
|
|
+ self.states["/running/open_model/search_CS_rendered"] = State(34, "/running/open_model/search_CS_rendered", self)
|
|
|
self.states["/running/open_model/search_CS_rendered"].setEnter(self._running_open_model_search_CS_rendered_enter)
|
|
|
|
|
|
# state /running/open_model/store_metamodel
|
|
|
- self.states["/running/open_model/store_metamodel"] = State(32, "/running/open_model/store_metamodel", self)
|
|
|
+ self.states["/running/open_model/store_metamodel"] = State(35, "/running/open_model/store_metamodel", self)
|
|
|
self.states["/running/open_model/store_metamodel"].setEnter(self._running_open_model_store_metamodel_enter)
|
|
|
|
|
|
# state /running/new_rendered
|
|
|
- self.states["/running/new_rendered"] = State(33, "/running/new_rendered", self)
|
|
|
+ self.states["/running/new_rendered"] = State(36, "/running/new_rendered", self)
|
|
|
self.states["/running/new_rendered"].setEnter(self._running_new_rendered_enter)
|
|
|
|
|
|
# state /running/create_new_model
|
|
|
- self.states["/running/create_new_model"] = State(34, "/running/create_new_model", self)
|
|
|
+ self.states["/running/create_new_model"] = State(37, "/running/create_new_model", self)
|
|
|
|
|
|
# state /running/create_new_model/query_metamodel
|
|
|
- self.states["/running/create_new_model/query_metamodel"] = State(35, "/running/create_new_model/query_metamodel", self)
|
|
|
+ self.states["/running/create_new_model/query_metamodel"] = State(38, "/running/create_new_model/query_metamodel", self)
|
|
|
self.states["/running/create_new_model/query_metamodel"].setEnter(self._running_create_new_model_query_metamodel_enter)
|
|
|
|
|
|
# state /running/create_new_model/wait_for_metamodel
|
|
|
- self.states["/running/create_new_model/wait_for_metamodel"] = State(36, "/running/create_new_model/wait_for_metamodel", self)
|
|
|
+ self.states["/running/create_new_model/wait_for_metamodel"] = State(39, "/running/create_new_model/wait_for_metamodel", self)
|
|
|
|
|
|
# state /running/create_new_model/got_mm
|
|
|
- self.states["/running/create_new_model/got_mm"] = State(37, "/running/create_new_model/got_mm", self)
|
|
|
+ self.states["/running/create_new_model/got_mm"] = State(40, "/running/create_new_model/got_mm", self)
|
|
|
|
|
|
# state /running/create_new_model/prompt_model_name
|
|
|
- self.states["/running/create_new_model/prompt_model_name"] = State(38, "/running/create_new_model/prompt_model_name", self)
|
|
|
+ self.states["/running/create_new_model/prompt_model_name"] = State(41, "/running/create_new_model/prompt_model_name", self)
|
|
|
self.states["/running/create_new_model/prompt_model_name"].setEnter(self._running_create_new_model_prompt_model_name_enter)
|
|
|
|
|
|
# state /running/create_new_model/waiting_for_model_name
|
|
|
- self.states["/running/create_new_model/waiting_for_model_name"] = State(39, "/running/create_new_model/waiting_for_model_name", self)
|
|
|
+ self.states["/running/create_new_model/waiting_for_model_name"] = State(42, "/running/create_new_model/waiting_for_model_name", self)
|
|
|
|
|
|
# state /running/create_new_model/creating_model
|
|
|
- self.states["/running/create_new_model/creating_model"] = State(40, "/running/create_new_model/creating_model", self)
|
|
|
+ self.states["/running/create_new_model/creating_model"] = State(43, "/running/create_new_model/creating_model", self)
|
|
|
self.states["/running/create_new_model/creating_model"].setEnter(self._running_create_new_model_creating_model_enter)
|
|
|
|
|
|
# state /running/rerender_model
|
|
|
- self.states["/running/rerender_model"] = State(41, "/running/rerender_model", self)
|
|
|
+ self.states["/running/rerender_model"] = State(44, "/running/rerender_model", self)
|
|
|
|
|
|
# state /running/rerender_model/initial_render
|
|
|
- self.states["/running/rerender_model/initial_render"] = State(42, "/running/rerender_model/initial_render", self)
|
|
|
+ self.states["/running/rerender_model/initial_render"] = State(45, "/running/rerender_model/initial_render", self)
|
|
|
|
|
|
# state /running/rerender_model/recreate_toolbars
|
|
|
- self.states["/running/rerender_model/recreate_toolbars"] = State(43, "/running/rerender_model/recreate_toolbars", self)
|
|
|
+ self.states["/running/rerender_model/recreate_toolbars"] = State(46, "/running/rerender_model/recreate_toolbars", self)
|
|
|
self.states["/running/rerender_model/recreate_toolbars"].setEnter(self._running_rerender_model_recreate_toolbars_enter)
|
|
|
|
|
|
# state /running/rerender_model/recreate_toolbars/waiting
|
|
|
- self.states["/running/rerender_model/recreate_toolbars/waiting"] = State(44, "/running/rerender_model/recreate_toolbars/waiting", self)
|
|
|
+ self.states["/running/rerender_model/recreate_toolbars/waiting"] = State(47, "/running/rerender_model/recreate_toolbars/waiting", self)
|
|
|
|
|
|
# state /running/rerender_model/recreate_toolbars/close_all
|
|
|
- self.states["/running/rerender_model/recreate_toolbars/close_all"] = State(45, "/running/rerender_model/recreate_toolbars/close_all", self)
|
|
|
+ self.states["/running/rerender_model/recreate_toolbars/close_all"] = State(48, "/running/rerender_model/recreate_toolbars/close_all", self)
|
|
|
|
|
|
# state /running/rerender_model/canvas
|
|
|
- self.states["/running/rerender_model/canvas"] = State(46, "/running/rerender_model/canvas", self)
|
|
|
+ self.states["/running/rerender_model/canvas"] = State(49, "/running/rerender_model/canvas", self)
|
|
|
self.states["/running/rerender_model/canvas"].setEnter(self._running_rerender_model_canvas_enter)
|
|
|
|
|
|
# state /running/rerender_model/pack_canvas
|
|
|
- self.states["/running/rerender_model/pack_canvas"] = State(47, "/running/rerender_model/pack_canvas", self)
|
|
|
+ self.states["/running/rerender_model/pack_canvas"] = State(50, "/running/rerender_model/pack_canvas", self)
|
|
|
|
|
|
# state /running/rerender_model/model_toolbars
|
|
|
- self.states["/running/rerender_model/model_toolbars"] = State(48, "/running/rerender_model/model_toolbars", self)
|
|
|
+ self.states["/running/rerender_model/model_toolbars"] = State(51, "/running/rerender_model/model_toolbars", self)
|
|
|
|
|
|
# state /running/rerender_model/model_toolbars/mm_toolbar
|
|
|
- self.states["/running/rerender_model/model_toolbars/mm_toolbar"] = State(49, "/running/rerender_model/model_toolbars/mm_toolbar", self)
|
|
|
+ self.states["/running/rerender_model/model_toolbars/mm_toolbar"] = State(52, "/running/rerender_model/model_toolbars/mm_toolbar", self)
|
|
|
self.states["/running/rerender_model/model_toolbars/mm_toolbar"].setEnter(self._running_rerender_model_model_toolbars_mm_toolbar_enter)
|
|
|
|
|
|
# state /running/rerender_model/model_toolbars/pack_mm_toolbar
|
|
|
- self.states["/running/rerender_model/model_toolbars/pack_mm_toolbar"] = State(50, "/running/rerender_model/model_toolbars/pack_mm_toolbar", self)
|
|
|
+ self.states["/running/rerender_model/model_toolbars/pack_mm_toolbar"] = State(53, "/running/rerender_model/model_toolbars/pack_mm_toolbar", self)
|
|
|
|
|
|
# state /running/rerender_model/model_toolbars/cs_toolbar
|
|
|
- self.states["/running/rerender_model/model_toolbars/cs_toolbar"] = State(51, "/running/rerender_model/model_toolbars/cs_toolbar", self)
|
|
|
+ self.states["/running/rerender_model/model_toolbars/cs_toolbar"] = State(54, "/running/rerender_model/model_toolbars/cs_toolbar", self)
|
|
|
self.states["/running/rerender_model/model_toolbars/cs_toolbar"].setEnter(self._running_rerender_model_model_toolbars_cs_toolbar_enter)
|
|
|
|
|
|
# state /running/rerender_model/model_toolbars/pack_cs_toolbar
|
|
|
- self.states["/running/rerender_model/model_toolbars/pack_cs_toolbar"] = State(52, "/running/rerender_model/model_toolbars/pack_cs_toolbar", self)
|
|
|
+ self.states["/running/rerender_model/model_toolbars/pack_cs_toolbar"] = State(55, "/running/rerender_model/model_toolbars/pack_cs_toolbar", self)
|
|
|
|
|
|
# state /running/rerender_model/model_toolbars/dsl_toolbar
|
|
|
- self.states["/running/rerender_model/model_toolbars/dsl_toolbar"] = State(53, "/running/rerender_model/model_toolbars/dsl_toolbar", self)
|
|
|
+ self.states["/running/rerender_model/model_toolbars/dsl_toolbar"] = State(56, "/running/rerender_model/model_toolbars/dsl_toolbar", self)
|
|
|
self.states["/running/rerender_model/model_toolbars/dsl_toolbar"].setEnter(self._running_rerender_model_model_toolbars_dsl_toolbar_enter)
|
|
|
|
|
|
# state /running/rerender_model/model_toolbars/pack_dsl_toolbar
|
|
|
- self.states["/running/rerender_model/model_toolbars/pack_dsl_toolbar"] = State(54, "/running/rerender_model/model_toolbars/pack_dsl_toolbar", self)
|
|
|
+ self.states["/running/rerender_model/model_toolbars/pack_dsl_toolbar"] = State(57, "/running/rerender_model/model_toolbars/pack_dsl_toolbar", self)
|
|
|
|
|
|
# state /running/rerender_model/request_render
|
|
|
- self.states["/running/rerender_model/request_render"] = State(55, "/running/rerender_model/request_render", self)
|
|
|
+ self.states["/running/rerender_model/request_render"] = State(58, "/running/rerender_model/request_render", self)
|
|
|
self.states["/running/rerender_model/request_render"].setEnter(self._running_rerender_model_request_render_enter)
|
|
|
|
|
|
# state /running/rerender_model/render_model
|
|
|
- self.states["/running/rerender_model/render_model"] = State(56, "/running/rerender_model/render_model", self)
|
|
|
+ self.states["/running/rerender_model/render_model"] = State(59, "/running/rerender_model/render_model", self)
|
|
|
self.states["/running/rerender_model/render_model"].setEnter(self._running_rerender_model_render_model_enter)
|
|
|
|
|
|
# state /running/rerender_model/render_model/allocate_groups
|
|
|
- self.states["/running/rerender_model/render_model/allocate_groups"] = State(57, "/running/rerender_model/render_model/allocate_groups", self)
|
|
|
+ self.states["/running/rerender_model/render_model/allocate_groups"] = State(60, "/running/rerender_model/render_model/allocate_groups", self)
|
|
|
|
|
|
# state /running/rerender_model/render_model/allocating_group
|
|
|
- self.states["/running/rerender_model/render_model/allocating_group"] = State(58, "/running/rerender_model/render_model/allocating_group", self)
|
|
|
+ self.states["/running/rerender_model/render_model/allocating_group"] = State(61, "/running/rerender_model/render_model/allocating_group", self)
|
|
|
|
|
|
# state /running/rerender_model/render_model/allocate_contains
|
|
|
- self.states["/running/rerender_model/render_model/allocate_contains"] = State(59, "/running/rerender_model/render_model/allocate_contains", self)
|
|
|
+ self.states["/running/rerender_model/render_model/allocate_contains"] = State(62, "/running/rerender_model/render_model/allocate_contains", self)
|
|
|
|
|
|
# state /running/rerender_model/render_model/render_elements
|
|
|
- self.states["/running/rerender_model/render_model/render_elements"] = State(60, "/running/rerender_model/render_model/render_elements", self)
|
|
|
+ self.states["/running/rerender_model/render_model/render_elements"] = State(63, "/running/rerender_model/render_model/render_elements", self)
|
|
|
|
|
|
# state /close
|
|
|
- self.states["/close"] = State(61, "/close", self)
|
|
|
+ self.states["/close"] = State(64, "/close", self)
|
|
|
self.states["/close"].setEnter(self._close_enter)
|
|
|
|
|
|
# add children
|
|
|
@@ -4208,6 +4218,7 @@ class MainWindow(RuntimeClassBase, tk.Toplevel, SCCDWidget):
|
|
|
self.states["/init"].addChild(self.states["/init/progressbar"])
|
|
|
self.states["/init"].addChild(self.states["/init/pack_progressbar"])
|
|
|
self.states["/running"].addChild(self.states["/running/idle"])
|
|
|
+ self.states["/running"].addChild(self.states["/running/upload_MVC"])
|
|
|
self.states["/running"].addChild(self.states["/running/change_metamodel"])
|
|
|
self.states["/running"].addChild(self.states["/running/conf_bottom"])
|
|
|
self.states["/running"].addChild(self.states["/running/custom_MM"])
|
|
|
@@ -4218,6 +4229,8 @@ class MainWindow(RuntimeClassBase, tk.Toplevel, SCCDWidget):
|
|
|
self.states["/running"].addChild(self.states["/running/new_rendered"])
|
|
|
self.states["/running"].addChild(self.states["/running/create_new_model"])
|
|
|
self.states["/running"].addChild(self.states["/running/rerender_model"])
|
|
|
+ self.states["/running/upload_MVC"].addChild(self.states["/running/upload_MVC/load_code"])
|
|
|
+ self.states["/running/upload_MVC"].addChild(self.states["/running/upload_MVC/overwriting_model"])
|
|
|
self.states["/running/conf_bottom"].addChild(self.states["/running/conf_bottom/check_if_exists"])
|
|
|
self.states["/running/conf_bottom"].addChild(self.states["/running/conf_bottom/add_bottom"])
|
|
|
self.states["/running/custom_MM"].addChild(self.states["/running/custom_MM/query"])
|
|
|
@@ -4265,6 +4278,7 @@ class MainWindow(RuntimeClassBase, tk.Toplevel, SCCDWidget):
|
|
|
self.states[""].default_state = self.states["/init"]
|
|
|
self.states["/init"].default_state = self.states["/init/generic_toolbar"]
|
|
|
self.states["/running"].default_state = self.states["/running/idle"]
|
|
|
+ self.states["/running/upload_MVC"].default_state = self.states["/running/upload_MVC/load_code"]
|
|
|
self.states["/running/conf_bottom"].default_state = self.states["/running/conf_bottom/check_if_exists"]
|
|
|
self.states["/running/custom_MM"].default_state = self.states["/running/custom_MM/query"]
|
|
|
self.states["/running/custom_MM/wait_for_metamodel"].default_state = self.states["/running/custom_MM/wait_for_metamodel/wait_for_result"]
|
|
|
@@ -4323,18 +4337,37 @@ class MainWindow(RuntimeClassBase, tk.Toplevel, SCCDWidget):
|
|
|
_running_idle_6 = Transition(self, self.states["/running/idle"], [self.states["/running/custom_MM"]])
|
|
|
_running_idle_6.setTrigger(Event("custom_MM", None))
|
|
|
self.states["/running/idle"].addTransition(_running_idle_6)
|
|
|
- _running_idle_7 = Transition(self, self.states["/running/idle"], [self.states["/running/change_metamodel"]])
|
|
|
- _running_idle_7.setAction(self._running_idle_7_exec)
|
|
|
- _running_idle_7.setTrigger(Event("change_metamodel", None))
|
|
|
+ _running_idle_7 = Transition(self, self.states["/running/idle"], [self.states["/running/upload_MVC"]])
|
|
|
+ _running_idle_7.setTrigger(Event("upload_MVC", None))
|
|
|
self.states["/running/idle"].addTransition(_running_idle_7)
|
|
|
- _running_idle_8 = Transition(self, self.states["/running/idle"], [self.states["/running/change_mapper"]])
|
|
|
+ _running_idle_8 = Transition(self, self.states["/running/idle"], [self.states["/running/change_metamodel"]])
|
|
|
_running_idle_8.setAction(self._running_idle_8_exec)
|
|
|
- _running_idle_8.setTrigger(Event("change_mapper", None))
|
|
|
+ _running_idle_8.setTrigger(Event("change_metamodel", None))
|
|
|
self.states["/running/idle"].addTransition(_running_idle_8)
|
|
|
- _running_idle_9 = Transition(self, self.states["/running/idle"], [self.states["/running/change_rendered"]])
|
|
|
+ _running_idle_9 = Transition(self, self.states["/running/idle"], [self.states["/running/change_mapper"]])
|
|
|
_running_idle_9.setAction(self._running_idle_9_exec)
|
|
|
- _running_idle_9.setTrigger(Event("change_rendered", None))
|
|
|
+ _running_idle_9.setTrigger(Event("change_mapper", None))
|
|
|
self.states["/running/idle"].addTransition(_running_idle_9)
|
|
|
+ _running_idle_10 = Transition(self, self.states["/running/idle"], [self.states["/running/change_rendered"]])
|
|
|
+ _running_idle_10.setAction(self._running_idle_10_exec)
|
|
|
+ _running_idle_10.setTrigger(Event("change_rendered", None))
|
|
|
+ self.states["/running/idle"].addTransition(_running_idle_10)
|
|
|
+
|
|
|
+ # transition /running/upload_MVC/load_code
|
|
|
+ _running_upload_MVC_load_code_0 = Transition(self, self.states["/running/upload_MVC/load_code"], [self.states["/running/upload_MVC/overwriting_model"]])
|
|
|
+ _running_upload_MVC_load_code_0.setAction(self._running_upload_MVC_load_code_0_exec)
|
|
|
+ _running_upload_MVC_load_code_0.setTrigger(None)
|
|
|
+ _running_upload_MVC_load_code_0.setGuard(self._running_upload_MVC_load_code_0_guard)
|
|
|
+ self.states["/running/upload_MVC/load_code"].addTransition(_running_upload_MVC_load_code_0)
|
|
|
+ _running_upload_MVC_load_code_1 = Transition(self, self.states["/running/upload_MVC/load_code"], [self.states["/running/idle"]])
|
|
|
+ _running_upload_MVC_load_code_1.setTrigger(None)
|
|
|
+ _running_upload_MVC_load_code_1.setGuard(self._running_upload_MVC_load_code_1_guard)
|
|
|
+ self.states["/running/upload_MVC/load_code"].addTransition(_running_upload_MVC_load_code_1)
|
|
|
+
|
|
|
+ # transition /running/upload_MVC/overwriting_model
|
|
|
+ _running_upload_MVC_overwriting_model_0 = Transition(self, self.states["/running/upload_MVC/overwriting_model"], [self.states["/running/rerender_model"]])
|
|
|
+ _running_upload_MVC_overwriting_model_0.setTrigger(Event("mv_response", None))
|
|
|
+ self.states["/running/upload_MVC/overwriting_model"].addTransition(_running_upload_MVC_overwriting_model_0)
|
|
|
|
|
|
# transition /running/change_metamodel
|
|
|
_running_change_metamodel_0 = Transition(self, self.states["/running/change_metamodel"], [self.states["/running/open_model/search_CS_mappers"]])
|
|
|
@@ -4522,7 +4555,7 @@ class MainWindow(RuntimeClassBase, tk.Toplevel, SCCDWidget):
|
|
|
self.states["/running/create_new_model/waiting_for_model_name"].addTransition(_running_create_new_model_waiting_for_model_name_2)
|
|
|
|
|
|
# transition /running/create_new_model/creating_model
|
|
|
- _running_create_new_model_creating_model_0 = Transition(self, self.states["/running/create_new_model/creating_model"], [self.states["/running/rerender_model"]])
|
|
|
+ _running_create_new_model_creating_model_0 = Transition(self, self.states["/running/create_new_model/creating_model"], [self.states["/running/open_model/search_metamodels"]])
|
|
|
_running_create_new_model_creating_model_0.setAction(self._running_create_new_model_creating_model_0_exec)
|
|
|
_running_create_new_model_creating_model_0.setTrigger(Event("mv_response", None))
|
|
|
self.states["/running/create_new_model/creating_model"].addTransition(_running_create_new_model_creating_model_0)
|
|
|
@@ -4686,6 +4719,10 @@ class MainWindow(RuntimeClassBase, tk.Toplevel, SCCDWidget):
|
|
|
def _running_idle_enter(self):
|
|
|
self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'progress_bar', Event("update_status", None, [0, 'Ready for action!'])]))
|
|
|
|
|
|
+ def _running_upload_MVC_load_code_enter(self):
|
|
|
+ from tkFileDialog import askopenfilename
|
|
|
+ self.filename = askopenfilename()
|
|
|
+
|
|
|
def _running_change_metamodel_enter(self):
|
|
|
print("MM -> " + current_metamodel)
|
|
|
self.big_step.outputEventOM(Event("broad_cast", None, [self, Event("mv_request", None, ['alter_context', [current_model, current_metamodel]])]))
|
|
|
@@ -4781,21 +4818,30 @@ class MainWindow(RuntimeClassBase, tk.Toplevel, SCCDWidget):
|
|
|
def _running_idle_3_guard(self, parameters):
|
|
|
return current_mapper is not None
|
|
|
|
|
|
- def _running_idle_7_exec(self, parameters):
|
|
|
+ def _running_idle_8_exec(self, parameters):
|
|
|
new_metamodel = parameters[0]
|
|
|
global current_metamodel
|
|
|
current_metamodel = new_metamodel
|
|
|
|
|
|
- def _running_idle_8_exec(self, parameters):
|
|
|
+ def _running_idle_9_exec(self, parameters):
|
|
|
new_mapper = parameters[0]
|
|
|
global current_mapper
|
|
|
current_mapper = new_mapper
|
|
|
|
|
|
- def _running_idle_9_exec(self, parameters):
|
|
|
+ def _running_idle_10_exec(self, parameters):
|
|
|
new_rendered = parameters[0]
|
|
|
global current_rendered_model
|
|
|
current_rendered_model = new_rendered
|
|
|
|
|
|
+ def _running_upload_MVC_load_code_0_exec(self, parameters):
|
|
|
+ self.big_step.outputEventOM(Event("broad_cast", None, [self, Event("mv_request", None, ['model_overwrite', [current_model, open(self.filename, 'r').read()]])]))
|
|
|
+
|
|
|
+ def _running_upload_MVC_load_code_0_guard(self, parameters):
|
|
|
+ return self.filename is not None
|
|
|
+
|
|
|
+ def _running_upload_MVC_load_code_1_guard(self, parameters):
|
|
|
+ return self.filename is None
|
|
|
+
|
|
|
def _running_conf_bottom_check_if_exists_0_guard(self, parameters):
|
|
|
return 'formalisms/Bottom' in self.allowed_metamodels
|
|
|
|
|
|
@@ -4925,11 +4971,13 @@ class MainWindow(RuntimeClassBase, tk.Toplevel, SCCDWidget):
|
|
|
def _running_create_new_model_prompt_model_name_0_exec(self, parameters):
|
|
|
association_name = parameters[0]
|
|
|
self.big_step.outputEventOM(Event("start_instance", None, [self, association_name]))
|
|
|
+ global current_model
|
|
|
self.subwindow = association_name
|
|
|
current_model = ""
|
|
|
|
|
|
def _running_create_new_model_waiting_for_model_name_0_exec(self, parameters):
|
|
|
results = parameters[0]
|
|
|
+ global current_model
|
|
|
current_model = results["Model name"]
|
|
|
|
|
|
def _running_create_new_model_waiting_for_model_name_1_exec(self, parameters):
|
|
|
@@ -6220,11 +6268,10 @@ class MetamodellingToolbar(Toolbar):
|
|
|
|
|
|
def user_defined_constructor(self, parent, selected_metamodel, metamodels):
|
|
|
Toolbar.user_defined_constructor(self, parent)
|
|
|
- self.to_create = ["verify", "custom_MM", "conf_bottom", "upload_ALC", "upload_MVC"]
|
|
|
+ self.to_create = ["verify", "custom_MM", "conf_bottom", "upload_MVC"]
|
|
|
self.button_info = {"verify": "Verify if the current model conforms to the current metamodel.",
|
|
|
"custom_MM": "Browse for a custom metamodel for the current model.",
|
|
|
"conf_bottom": "Open the current model as its physical graph representation.",
|
|
|
- "upload_ALC": "Replace the current model with an Action Language fragment.",
|
|
|
"upload_MVC": "Replace the current model with a textual representation.",
|
|
|
}
|
|
|
self.buttons = {}
|
|
|
@@ -6323,12 +6370,17 @@ class MetamodellingToolbar(Toolbar):
|
|
|
self.states["/root"].addTransition(_root_2)
|
|
|
_root_3 = Transition(self, self.states["/root"], [self.states["/root"]])
|
|
|
_root_3.setAction(self._root_3_exec)
|
|
|
- _root_3.setTrigger(Event("changed_metamodel", None))
|
|
|
+ _root_3.setTrigger(Event("button_pressed", None))
|
|
|
_root_3.setGuard(self._root_3_guard)
|
|
|
self.states["/root"].addTransition(_root_3)
|
|
|
- _root_4 = Transition(self, self.states["/root"], [self.states["/closing"]])
|
|
|
- _root_4.setTrigger(Event("close", None))
|
|
|
+ _root_4 = Transition(self, self.states["/root"], [self.states["/root"]])
|
|
|
+ _root_4.setAction(self._root_4_exec)
|
|
|
+ _root_4.setTrigger(Event("changed_metamodel", None))
|
|
|
+ _root_4.setGuard(self._root_4_guard)
|
|
|
self.states["/root"].addTransition(_root_4)
|
|
|
+ _root_5 = Transition(self, self.states["/root"], [self.states["/closing"]])
|
|
|
+ _root_5.setTrigger(Event("close", None))
|
|
|
+ self.states["/root"].addTransition(_root_5)
|
|
|
|
|
|
# transition /closing
|
|
|
_closing_0 = Transition(self, self.states["/closing"], [self.states["/closing"]])
|
|
|
@@ -6393,11 +6445,19 @@ class MetamodellingToolbar(Toolbar):
|
|
|
return event_name == 'custom_MM'
|
|
|
|
|
|
def _root_3_exec(self, parameters):
|
|
|
+ event_name = parameters[0]
|
|
|
+ self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("upload_MVC", None, [])]))
|
|
|
+
|
|
|
+ def _root_3_guard(self, parameters):
|
|
|
+ event_name = parameters[0]
|
|
|
+ return event_name == 'upload_MVC'
|
|
|
+
|
|
|
+ def _root_4_exec(self, parameters):
|
|
|
ID = parameters[0]
|
|
|
new_metamodel = parameters[1]
|
|
|
self.big_step.outputEventOM(Event("narrow_cast", None, [self, 'parent', Event("change_metamodel", None, [new_metamodel])]))
|
|
|
|
|
|
- def _root_3_guard(self, parameters):
|
|
|
+ def _root_4_guard(self, parameters):
|
|
|
ID = parameters[0]
|
|
|
new_metamodel = parameters[1]
|
|
|
return ID == id(self) and new_metamodel != current_metamodel
|
