yentl
/
modelverse_GUI


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238
							<class name="Browser">
    <relationships>
        <inheritance class="tk.Toplevel" priority="1"/>
        <inheritance class="MvKWidget" priority="0"/>
        <association name="buttons" class="Button"/>
        <association name="labels" class="Label"/>
        <association name="parent" class="A"/>
    </relationships>

    <constructor>
        <parameter name="prompt"/>
        <parameter name="filter_metamodel" default="None"/>
        <super class="tk.TopLevel"/>
        <super class="MvKWidget"/>
        <body>
            tk.Label(self, text=prompt).pack()
            self.browser_frame = tk.Frame(self)
            self.browser_frame.pack()

            self.button_frame = tk.Frame(self)
            self.button_frame.pack()

            self.current_location = ""
            self.selected_label = None
            self.labels = []
            self.closing = False
            self.filter_metamodel = filter_metamodel
        </body>
    </constructor>

    <destructor>
        <body>
            self.destroy()
        </body>
    </destructor>

    <scxml initial="init">
        <state id="init" initial="button_OK">
            <state id="button_OK">
                <onentry>
                    <raise event="create_instance" scope="cd">
                        <parameter expr="'buttons'"/>
                        <parameter expr="'Button'"/>
                        <parameter expr="{'parent': self.button_frame, 'visual': TextVisual('OK'), 'tooltip_text': 'Open model', 'event_parameters': 'OK'}"/>
                    </raise>
                </onentry>

                <transition event="instance_created" target="../button_back">
                    <parameter name="association_name"/>
                    <raise event="start_instance" scope="cd">
                        <parameter expr="association_name"/>
                    </raise>
                </transition>
            </state>

            <state id="button_back">
                <onentry>
                    <raise event="create_instance" scope="cd">
                        <parameter expr="'buttons'"/>
                        <parameter expr="'Button'"/>
                        <parameter expr="{'parent': self.button_frame, 'visual': TextVisual('back'), 'tooltip_text': 'Up in hierarchy', 'event_parameters': 'UP'}"/>
                    </raise>
                </onentry>

                <transition event="instance_created" target="../../root">
                    <parameter name="association_name"/>
                    <raise event="start_instance" scope="cd">
                        <parameter expr="association_name"/>
                    </raise>
                </transition>
            </state>
        </state>

        <parallel id="root">
            <state id="state" initial="root">
                <state id="root">
                    <transition event="button_pressed" cond="event_name == 'OK' and self.selected_label is not None" target=".">
                        <parameter name="event_name"/>
                        <script>
                            self.current_location += self.selected_label
                            self.selected_label = None
                        </script>
                    </transition>

                    <transition event="button_pressed" cond="event_name == 'UP' and self.current_location != ''" target=".">
                        <parameter name="event_name"/>
                        <script>
                            self.current_location = self.current_location[:-1].rsplit("/", 1)[0] + "/"
                            self.selected_label = None
                        </script>

                        <raise event="draw_labels"/>
                    </transition>

                    <transition cond="len(self.current_location) > 0 and self.current_location[-1] != '/'" target="../closing">
                        <raise event="browse_result" target="'parent'" scope="narrow">
                            <parameter expr="self.current_location"/>
                        </raise>
                    </transition>

                    <transition event="ready_to_close" target="../closing"/>
                </state>

                <state id="closing">
                    <state id="close">
                        <onentry>
                            <raise event="delete_instance" scope="cd">
                                <parameter expr="self.button"/>
                            </raise>
                        </onentry>
                    </state>

                    <transition event="instance_deleted" target="../removed_buttons"/>
                </state>

                <state id="removed_buttons">
                    <raise event="close_complete"/>
                </state>
            </state>

            <state id="draw_labels" initial="create_labels">
                <state id="create_labels" initial="query">
                    <state id="query">
                        <onentry>
                            <raise event="mv_request" scope="broad">
                                <parameter expr="'model_list'"/>
                                <parameter expr="[self.current_location]"/>
                            </raise>
                        </onentry>

                        <transition event="mv_response" target="../add_labels">
                            <parameter name="result"/>
                            <script>
                                self.labels_to_add = sorted(result)
                            </script>
                        </transition>
                    </state>

                    <state id="add_labels" initial="check_type">
                        <state id="check_type">
                            <transition cond="len(self.labels_to_add) == 0" target="../../../waiting"/>
                            <transition cond="self.filter_metamodel is None" target="../add_label"/>
                            <transition cond="self.filter_metamodel is not None and self.labels_to_add[0][-1] == '/'" target="../add_label"/>
                            <transition cond="self.filter_metamodel is not None and self.labels_to_add[0][-1] != '/'" target="../check_types"/>
                        </state>

                        <state id="check_types">
                            <onentry>
                                <raise event="mv_request" scope="broad">
                                    <parameter expr="'model_types'"/>
                                    <parameter expr="[self.labels_to_add[0]]"/>
                                </raise>
                            </onentry>

                            <transition event="mv_response" cond="len(set(result).intersection(set(self.filter_metamodels))) > 0" target="../check_type">
                                <parameter name="result"/>
                            </transition>

                            <transition event="mv_response" cond="len(set(result).intersection(set(self.filter_metamodels))) == 0" target="../add_label">
                                <parameter name="result"/>
                                <script>
                                </script>
                            </transition>
                        </state>
                        
                        <state id="add_label">
                            <onentry>
                                <raise event="create_instance" scope="cd">
                                    <parameter expr="'labels'"/>
                                    <parameter expr="'Label'"/>
                                    <parameter expr="{'parent': self.browser_frame, 'text': self.labels_to_add[0]}"/>
                                </raise>

                                <script>
                                    self.labels_to_add.pop(0)
                                </script>
                            </onentry>

                            <transition event="instance_created" cond="len(self.labels_to_add) > 0" target=".">
                                <parameter name="association_name"/>
                                <raise event="start_instance" scope="cd">
                                    <parameter expr="association_name"/>
                                </raise>
                                <script>
                                    self.labels.append(association_name)
                                </script>
                            </transition>

                            <transition event="instance_created" cond="len(self.labels_to_add) == 0" target="../../../waiting">
                                <parameter name="association_name"/>
                                <raise event="start_instance" scope="cd">
                                    <parameter expr="association_name"/>
                                </raise>
                                <script>
                                    self.labels.append(association_name)
                                </script>
                            </transition>
                        </state>
                    </state>
                </state>

                <state id="waiting"/>

                <state id="delete_labels">
                    <transition cond="len(self.labels) > 0" target=".">
                        <raise event="delete_instance" scope="cd">
                            <parameter expr="self.labels.pop(0)"/>
                        </raise>
                    </transition>

                    <transition cond="len(self.labels) == 0 and not self.closing" target="../create_labels"/>

                    <transition cond="len(self.labels) == 0 and self.closing" target="../waiting">
                        <raise event="ready_to_close"/>
                    </transition>
                </state>

                <transition event="draw_labels" target="delete_labels"/>

                <transition event="window-close" cond="ID == id(self)" target="delete_labels">
                    <parameter name="ID"/>
                    <script>
                        self.closing = True
                    </script>
                </transition>
            </state>

            <transition event="close_complete" target="../close"/>
        </parallel>
            
        <state id="close">
            <onentry>
                <raise event="close_window" scope="narrow" target="'parent'"/>
            </onentry>
        </state>
    </scxml>
</class>