yentl
/
modelverse_GUI


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224
							<class name="CanvasElement">
    <relationships>
        <association name="parent" class="A" min="1" max="1" />
        <inheritance class="SCCDWidget" priority='0'/>
        <association name="elements" class="CanvasElement"/>
        <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>

    <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>

            <transition event="middle-click" cond="id(self) == ID" target="../update_attrs">
                <parameter name="ID"/>
            </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

                    delta_x = self.original_coords[0] - self.last_x
                    delta_y = self.original_coords[1] - self.last_y
                </script>
                <raise event="moved_group" scope="narrow" target="'parent'">
                    <parameter expr="self.cs_element"/>
                    <parameter expr="(self.coordinates[0] - delta_x, self.coordinates[1] - delta_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_response" target="../prompt">
                    <parameter name="result"/>
                    <script>
                        self.prev_results = result
                    </script>
                </transition>
            </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]:
                                self.diff_results[k] = json.loads(results[k])
                        self.remaining_responses = len(self.diff_results)
                    </script>
                </transition>

                <transition event="close_window" target="../process_results">
                    <raise event="delete_instance" scope="cd">
                        <parameter expr="'prompt'"/>
                    </raise>
                </transition>
            </state>

            <state id="process_results">
                <transition cond="len(self.diff_results) > 0" target=".">
                    <script>
                        k, v = self.diff_results.popitem()
                    </script>
                    <raise event="mv_request" scope="broad">
                        <parameter expr="'attr_assign'"/>
                        <parameter expr="[current_model, self.as_element, k, v]"/>
                    </raise>
                </transition>
                <transition cond="self.remaining_responses == 0" target="../mark_dirty"/>
                <transition event="mv_response" target=".">
                    <script>
                        self.remaining_responses -= 1
                    </script>
                </transition>
            </state>

            <state id="mark_dirty">
                <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="rerender_model" scope="narrow" target="'parent/parent'"/>
                </transition>
            </state>
        </state>

        <state id="update_mv" initial="x">
            <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"/>
            </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"/>
            </state>
        </state>
    </scxml>
</class>