| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139 |
- <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"/>
- <parameter name="group_element"/>
- <super class="SCCDWidget">
- <parameter expr="True"/>
- </super>
- <body>
- self.containing_canvas = parent
- self.coordinates = coordinates
- self.elements = {}
- self.tmp = {}
- self.group_element = group_element
- </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
- 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.group_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
- 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>
|
