yentl
/
modelverse_GUI


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

    <scxml initial="main">
        <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:
                        print("Undefined render format: " + str(element))
                        result = None

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

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

        <state id="dragging">
            <transition event="motion" cond="id(self) == ID" target=".">
                <parameter name="ID"/>
                <script>
                    delta_x = self.prev_x - self.last_x
                    delta_y = self.prev_y - self.last_y

                    for f in self.elements:
                        old_coords = self.containing_canvas.coords(f)
                        new_x = old_coords[0] - delta_x
                        new_y = old_coords[1] - delta_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))
                    self.prev_x = self.last_x
                    self.prev_y = self.last_y
                </script>
            </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
                    self.to_update = dict(self.elements)
                </script>
            </transition>
        </state>

        <state id="update_mv" initial="init">
            <state id="init">
                <transition cond="len(self.to_update) > 0" target="../x">
                    <script>
                        tk_id, self.tmp["mv_id"] = self.to_update.popitem()
                        self.tmp['x'], self.tmp['y'] = self.containing_canvas.coords(tk_id)[:2]
                    </script>
                </transition>

                <transition cond="len(self.to_update) == 0" target="../../main"/>
            </state>

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

                <transition event="mv_response" target="../y"/>
            </state>

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

                <transition event="mv_response" target="../init"/>
            </state>
        </state>
    </scxml>
</class>