yentl
/
modelverse_GUI


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499
							<class name="CanvasElement">
    <relationships>
        <association name="parent" class="A" min="1" max="1" />
        <inheritance class="SCCDWidget" priority='0'/>
        <association name="prompt" class="PromptWindow"/>
    </relationships>
    <constructor>
        <parameter name="parent"/>
        <parameter name="coordinates"/>
        <parameter name="cs_element"/>
        <parameter name="as_element"/>
        <super class="SCCDWidget">
            <parameter expr="True"/>
        </super>
        <body>
            self.containing_canvas = parent
            self.coordinates = coordinates
            self.elements = {}
            self.tmp = {}
            self.cs_element = cs_element
            self.as_element = as_element
            self.diff_results = {}
        </body>
    </constructor>
    <destructor>
        <body>
            for f in self.elements:
                self.containing_canvas.delete(f)
        </body>
    </destructor>

    <method name="add_to_layer">
        <parameter name="layer"/>
        <parameter name="ID"/>
        <body>
            # Code adapted from: https://stackoverflow.com/questions/9576063/stacking-order-maintenance-in-tkinter
            layer_tag = "layer %s" % layer
            if layer_tag not in self.containing_canvas.layers: self.containing_canvas.layers.append(layer_tag)
            self.containing_canvas.itemconfigure(ID, tags=[layer_tag])

            for layer in sorted(self.containing_canvas.layers):
                self.containing_canvas.lift(layer)
        </body>
    </method>

    <method name="move_group">
        <parameter name="new_location"/>
        <body>
            for f in self.elements:
                old_coords = self.containing_canvas.coords(f)

                new_x = new_location[0] + self.elements[f]['x']
                new_y = new_location[1] + self.elements[f]['y']

                if len(old_coords) == 2:
                    self.containing_canvas.coords(f, (new_x, new_y))
                elif len(old_coords) == 4:
                    height = old_coords[3] - old_coords[1]
                    width = old_coords[2] - old_coords[0]
                    self.containing_canvas.coords(f, (new_x, new_y, new_x + width, new_y + height))
        </body>
    </method>

    <scxml initial="init">
        <state id="init" initial="init">
            <onexit>
                <raise event="canvas_element_ready" target="'parent'"/>
            </onexit>

            <state id="init">
                <transition cond="self.as_element not in self.containing_canvas.to_move" target="../../main">
                    <script>
                        print("Not found: %s in %s" % (self.as_element, self.containing_canvas.to_move))
                    </script>
                </transition>

                <transition cond="self.as_element in self.containing_canvas.to_move" target="../update_mv">
                    <script>
                        self.coordinates = self.containing_canvas.to_move.pop(self.as_element)
                        self.move_group(self.coordinates)
                    </script>
                </transition>
            </state>

            <state id="update_mv" initial="check">
                <state id="check">
                    <transition cond="current_rendered_model" target="../x"/>
                    <transition cond="not current_rendered_model" target="../../../main">
                        <raise event="move" scope="narrow" target="'parent/parent'">
                            <parameter expr="self.as_element"/>
                            <parameter expr="self.coordinates"/>
                        </raise>
                    </transition>
                </state>

                <state id="x">
                    <onentry>
                        <raise event="mv_request" scope="broad">
                            <parameter expr="'attr_assign'"/>
                            <parameter expr="[current_rendered_model, self.cs_element, 'x', self.coordinates[0]]"/>
                        </raise>
                    </onentry>

                    <transition event="mv_response" target="../y"/>
                    <transition event="mv_exception" target="../../../main">
                        <parameter name="ID"/>
                        <parameter name="exception_name"/>
                        <parameter name="description"/>
                        <raise event="errorlog_log" scope="broad">
                            <parameter expr="'Failed to update X attribute: %s -- %s' % (exception_name, description)"/>
                        </raise>
                    </transition>
                </state>

                <state id="y">
                    <onentry>
                        <raise event="mv_request" scope="broad">
                            <parameter expr="'attr_assign'"/>
                            <parameter expr="[current_rendered_model, self.cs_element, 'y', self.coordinates[1]]"/>
                        </raise>
                    </onentry>

                    <transition event="mv_response" target="../../../main"/>
                    <transition event="mv_exception" target="../../../main">
                        <parameter name="ID"/>
                        <parameter name="exception_name"/>
                        <parameter name="description"/>
                        <raise event="errorlog_log" scope="broad">
                            <parameter expr="'Failed to update Y attribute: %s -- %s' % (exception_name, description)"/>
                        </raise>
                    </transition>
                </state>
            </state>
        </state>

        <state id="main">
            <transition event="draw_element" target=".">
                <parameter name="element"/>
                <script>
                    elem_x = self.coordinates[0] + element["x"]
                    elem_y = self.coordinates[1] + element["y"]
                    if element["type"] == "Rectangle":
                        result = self.containing_canvas.create_rectangle(elem_x, elem_y, elem_x + element["width"], elem_y + element["height"], fill=element["fillColour"], outline=element["lineColour"])
                    elif element["type"] == "Text":
                        result = self.containing_canvas.create_text(elem_x, elem_y, fill=element["lineColour"], text=element["text"], anchor=tk.NW)
                    elif element["type"] == "Line":
                        result = self.containing_canvas.create_line(elem_x, elem_y, self.coordinates[0] + element["targetX"], self.coordinates[1] + element["targetY"], fill=element["lineColour"], width=element["lineWidth"], arrow=tk.LAST if element["arrow"] else tk.NONE)
                    else:
                        raise Exception("Undefined render format: " + str(element))
                        result = None

                    if result is not None:
                        self.elements[result] = element
                        self.set_bindable_and_tagorid(self.containing_canvas, result)
                        self.add_to_layer(element["layer"], result)
                </script>
            </transition>

            <transition event="left-click" cond="id(self) == ID and not control_pressed" target="../dragging">
                <parameter name="ID"/>
                <script>
                    self.original_coords = self.last_x, self.last_y
                </script>
            </transition>

            <transition event="middle-click" cond="id(self) == ID and not control_pressed" target="../update_attrs">
                <parameter name="ID"/>
            </transition>

            <transition event="middle-click" cond="id(self) == ID and control_pressed and current_metamodel == 'formalisms/SimpleClassDiagrams'" target=".">
                <parameter name="ID"/>
                <raise event="modify_defined_attrs" scope="narrow" target="'parent/parent'">
                    <parameter expr="self.as_element"/>
                    <parameter expr="self.cs_element"/>
                </raise>
            </transition>

            <transition event="right-click" cond="id(self) == ID and not control_pressed" target=".">
                <parameter name="ID"/>
                <raise event="create_line" scope="narrow" target="'parent'">
                    <parameter expr="self.cs_element"/>
                    <parameter expr="self.as_element"/>
                    <parameter expr="(self.last_x, self.last_y)"/>
                </raise>
            </transition>

            <transition event="right-click" cond="id(self) == ID and control_pressed" target="../remove_element">
                <parameter name="ID"/>
            </transition>
        </state>

        <state id="remove_element">
            <onentry>
                <raise event="mv_request" scope="broad">
                    <parameter expr="'delete_element'"/>
                    <parameter expr="[current_model, self.as_element]"/>
                </raise>
                <raise event="deleted_group" scope="narrow" target="'parent'">
                    <parameter expr="self.cs_element"/>
                </raise>
                <script>
                    for f in self.elements:
                        self.containing_canvas.delete(f)
                    self.elements = {}
                </script>
            </onentry>

            <transition event="mv_response" target="../main"/>
            <transition event="mv_exception" target="../main">
                <parameter name="ID"/>
                <parameter name="exception_name"/>
                <parameter name="description"/>
                <raise event="errorlog_log" scope="broad">
                    <parameter expr="'Could not remove element: %s -- %s' % (exception_name, description)"/>
                </raise>
            </transition>
        </state>

        <state id="dragging">
            <transition event="motion" cond="id(self) == ID" target=".">
                <parameter name="ID"/>
                <script>
                    new_x = self.coordinates[0] + (self.last_x - self.original_coords[0])
                    new_y = self.coordinates[1] + (self.last_y - self.original_coords[1])
                    self.move_group((new_x, new_y))
                </script>
                <raise event="moved_group" scope="narrow" target="'parent'">
                    <parameter expr="self.cs_element"/>
                    <parameter expr="(new_x, new_y)"/>
                </raise>
            </transition>

            <transition event="left-release" cond="id(self) == ID" target="../update_mv">
                <parameter name="ID"/>
                <script>
                    delta_x = self.original_coords[0] - self.last_x
                    delta_y = self.original_coords[1] - self.last_y
                    self.coordinates = self.coordinates[0] - delta_x, self.coordinates[1] - delta_y
                </script>
            </transition>
        </state>

        <state id="update_attrs" initial="query">
            <state id="query">
                <onentry>
                    <raise event="mv_request" scope="broad">
                        <parameter expr="'read_attrs'"/>
                        <parameter expr="[current_model, self.as_element]"/>
                    </raise>
                </onentry>

                <transition event="mv_exception" target="../../main">
                    <parameter name="ID"/>
                    <parameter name="exception_name"/>
                    <parameter name="description"/>
                    <raise event="errorlog_log" scope="broad">
                        <parameter expr="'Failed to read attributes: %s -- %s' % (exception_name, description)"/>
                    </raise>
                </transition>

                <transition event="mv_response" target="../translate_AL">
                    <parameter name="result"/>
                    <script>
                        self.prev_results = {}
                        for k, v in result.items():
                            if not isinstance(v, dict):
                                if v is not None:
                                    try:
                                        self.prev_results[k] = json.dumps(v)
                                    except:
                                        self.prev_results[k] = "!! ERROR -- cannot decode attribute !!"
                                else:
                                    self.prev_results[k] = ""
                        self.al = {k: v for k, v in result.items() if isinstance(v, dict)}
                        self.al_keys = self.al.keys()
                    </script>
                </transition>
            </state>

            <state id="translate_AL" initial="check">
                <state id="check">
                    <transition cond="not self.al" target="../../prompt"/>
                    <transition cond="self.al" target="../process">
                        <script>
                            self.attr_name, self.attr_dict = self.al.popitem()
                        </script>
                        <raise event="mv_request" scope="broad">
                            <parameter expr="'AL_text'"/>
                            <parameter expr="[self.attr_dict['AL']]"/>
                        </raise>
                    </transition>
                </state>

                <state id="process">
                    <transition event="mv_exception" target="../../../main">
                        <parameter name="ID"/>
                        <parameter name="exception_name"/>
                        <parameter name="description"/>
                        <raise event="errorlog_log" scope="broad">
                            <parameter expr="'Failed to read Action Language fragment: %s -- %s' % (exception_name, description)"/>
                        </raise>
                    </transition>

                    <transition event="mv_response" target="../check">
                        <parameter name="result"/>
                        <script>
                            self.prev_results[self.attr_name] = result.rstrip() + "\n"
                        </script>
                    </transition>
                </state>
            </state>

            <state id="prompt">
                <onentry>
                    <raise event="create_instance" scope="cd">
                        <parameter expr="'prompt'"/>
                        <parameter expr="'PromptWindow'"/>
                        <parameter expr="self.prev_results"/>
                        <parameter expr="{}"/>
                    </raise>
                </onentry>

                <transition event="instance_created" target="../wait_for_results">
                    <parameter name="name"/>
                    <raise event="start_instance" scope="cd">
                        <parameter expr="name"/>
                    </raise>
                    <script>
                        self.remaining_responses = 0
                    </script>
                </transition>
            </state>

            <state id="wait_for_results">
                <transition event="prompt_results" target=".">
                    <parameter name="results"/>
                    <script>
                        for k in results:
                            if results[k] != self.prev_results[k]:
                                if k in self.al_keys:
                                    if results[k].strip() != self.prev_results[k].strip():
                                        self.diff_results[k] = results[k]
                                else:
                                    self.diff_results[k] = results[k]
                        self.remaining_responses = len(self.diff_results)
                    </script>
                </transition>

                <transition event="close_window" cond="self.remaining_responses > 0" target="../process_results">
                    <raise event="delete_instance" scope="cd">
                        <parameter expr="'prompt'"/>
                    </raise>
                </transition>

                <transition event="close_window" cond="self.remaining_responses == 0" target="../../main">
                    <raise event="delete_instance" scope="cd">
                        <parameter expr="'prompt'"/>
                    </raise>
                </transition>
            </state>

            <state id="process_results">
                <onentry>
                    <script>
                    </script>
                </onentry>

                <transition cond="len(self.diff_results) > 0" target=".">
                    <script>
                        k, v = self.diff_results.popitem()
                        v = v.strip()
                        if v == "":
                            op = "attr_delete"
                            params = [current_model, self.as_element, k]
                        else:
                            if k in self.al_keys:
                                op = "attr_assign_code"
                                params = [current_model, self.as_element, k, v]
                            else:
                                op = "attr_assign"
                                try:
                                    v = json.loads(v)
                                except:
                                    v = str(v)
                                params = [current_model, self.as_element, k, v]
                    </script>
                    <raise event="mv_request" scope="broad">
                        <parameter expr="op"/>
                        <parameter expr="params"/>
                    </raise>
                </transition>

                <transition cond="self.remaining_responses == 0" target="../mark_dirty"/>

                <transition event="mv_exception" target=".">
                    <parameter name="ID"/>
                    <parameter name="exception_name"/>
                    <parameter name="description"/>
                    <raise event="errorlog_log" scope="broad">
                        <parameter expr="'Failed to set attribute: %s - %s' % (exception_name, description)"/>
                    </raise>
                    <script>
                        self.remaining_responses -= 1
                    </script>
                </transition>

                <transition event="mv_response" target=".">
                    <script>
                        self.remaining_responses -= 1
                    </script>
                </transition>
            </state>

            <state id="mark_dirty" initial="check">
                <state id="check">
                    <transition cond="current_rendered_model" target="../do"/>
                    <transition cond="not current_rendered_model" target="../../../main">
                        <raise event="minimal_rerender_model" scope="narrow" target="'parent/parent'"/>
                    </transition>
                </state>

                <state id="do">
                    <onentry>
                        <raise event="mv_request" scope="broad">
                            <parameter expr="'attr_assign'"/>
                            <parameter expr="[current_rendered_model, self.cs_element, 'dirty', True]"/>
                        </raise>
                    </onentry>
                    <transition event="mv_response" target="../../../main">
                        <raise event="minimal_rerender_model" scope="narrow" target="'parent/parent'"/>
                    </transition>
                    <transition event="mv_exception" target="../../../main">
                        <parameter name="ID"/>
                        <parameter name="exception_name"/>
                        <parameter name="description"/>
                        <raise event="errorlog_log" scope="broad">
                            <parameter expr="'Could not assign attribute: %s -- %s' % (exception_name, description)"/>
                        </raise>
                    </transition>

                </state>
            </state>
        </state>

        <state id="update_mv" initial="check">
            <state id="check">
                <transition cond="current_rendered_model" target="../x"/>
                <transition cond="not current_rendered_model" target="../../main">
                    <raise event="move" scope="narrow" target="'parent/parent'">
                        <parameter expr="self.as_element"/>
                        <parameter expr="self.coordinates"/>
                    </raise>
                </transition>
            </state>

            <state id="x">
                <onentry>
                    <script>
                        print("Moving element %s in model %s" % (self.cs_element, current_rendered_model))
                    </script>
                    <raise event="mv_request" scope="broad">
                        <parameter expr="'attr_assign'"/>
                        <parameter expr="[current_rendered_model, self.cs_element, 'x', self.coordinates[0]]"/>
                    </raise>
                </onentry>

                <transition event="mv_response" target="../y"/>
                <transition event="mv_exception" target="../../main">
                    <parameter name="ID"/>
                    <parameter name="exception_name"/>
                    <parameter name="description"/>
                    <raise event="errorlog_log" scope="broad">
                        <parameter expr="'Could not update X attribute: %s -- %s' % (exception_name, description)"/>
                    </raise>
                </transition>
            </state>

            <state id="y">
                <onentry>
                    <raise event="mv_request" scope="broad">
                        <parameter expr="'attr_assign'"/>
                        <parameter expr="[current_rendered_model, self.cs_element, 'y', self.coordinates[1]]"/>
                    </raise>
                </onentry>

                <transition event="mv_response" target="../../main"/>
                <transition event="mv_exception" target="../../main">
                    <parameter name="ID"/>
                    <parameter name="exception_name"/>
                    <parameter name="description"/>
                    <raise event="errorlog_log" scope="broad">
                        <parameter expr="'Could not update Y attribute: %s -- %s' % (exception_name, description)"/>
                    </raise>
                </transition>
            </state>
        </state>
    </scxml>
</class>