yentl
/
modelverse_GUI


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434
							<class name="AttributeEditor">
    <relationships>
        <inheritance class="tk.Toplevel" priority="1"/>
        <inheritance class="SCCDWidget" priority="0"/>
        <association name="names" class="Entry"/>
        <association name="types" class="DropDown"/>
        <association name="optional" class="ToggleButton"/>
        <association name="delete" class="Button"/>
        <association name="add_attribute_button" class="Button"/>
        <association name="parent" class="A"/>
    </relationships>

    <constructor>
        <parameter name="as_element"/>
        <parameter name="allowed_types"/>
        <super class="tk.TopLevel"/>
        <super class="SCCDWidget"/>
        <body>
            self.as_element = element
            self.allowed_types = allowed_types

            self.attrs = None
            self.associations_name = {}
            self.associations_type = {}
            self.associations_optional = {}
            self.associations_delete = {}
        </body>
    </constructor>

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

    <method name="get_unique_attr_name">
        <body>
            i = 0
            while 1:
                attr_name = "attr%i" % i
                if attr_name not in self.associations_name:
                    return attr_name
                else:
                    i += 1
        </body>
    </method>

    <scxml>
        <state id="all" initial="init">
            <state id="init" initial="get_defined_attrs">
                <state id="get_defined_attrs">
                    <onentry>
                        <raise event="mv_request" scope="broad">
                            <parameter expr="'read_defined_attrs'"/>
                            <parameter expr="[current_model, self.as_element]"/>
                        </raise>
                    </onentry>

                    <transition event="mv_response" target="../create_entries">
                        <parameter name="result_mandatory"/>
                        <parameter name="result_optional"/>
                        <script>
                            result_mandatory = {i: (result_mandatory[i], False) for i in result_mandatory}
                            result_optional = {i: (result_optional[i], False) for i in result_optional}
                            result = {}
                            result.update(result_mandatory)
                            result.update(result_optional)

                            self.attrs = result
                            self.attrs_modify = dict(self.attrs)
                            self.counter = 0
                        </script>
                    </transition>
                </state>

                <state id="create_entries" initial="check_list">
                    <state id="check_list">
                        <transition cond="self.attrs_modify" target="../create_entry"/>
                        <transition cond="not self.attrs_modify" target="../../add_new_attribute"/>
                    </state>

                    <state id="create_entry">
                        <onentry>
                            <script>
                                current_attr = self.attrs_modify.popitem()
                                self.current_attr = {'name': current_attrs[0], 'type': current_attrs[1][0], 'optional': current_attrs[1][1]}
                            </script>
                        </onentry>

                        <onexit>
                            <script>
                                self.counter += 1
                            </script>
                        </onexit>

                        <state id="name_entry" initial="create">
                            <state id="create">
                                <onentry>
                                    <raise event="create_instance" scope="cd">
                                        <parameter expr="'names'"/>
                                        <parameter expr="'Entry'"/>
                                        <parameter expr="self"/>
                                        <parameter expr="self.current_attr['name']"/>
                                    </raise>
                                </onentry>

                                <transition event="instance_created" target="../pack">
                                    <parameter name="assoc_name"/>
                                    <raise event="start_instance" scope="cd">
                                        <parameter expr="assoc_name"/>
                                    </raise>
                                    <script>
                                        self.associations_name[self.current_attr['name']] = assoc_name
                                    </script>
                                </transition>
                            </state>

                            <state id="pack">
                                <transition event="tk_widget" target="../../type_dropdown">
                                    <parameter name="tk_widget"/>
                                    <script>
                                        tk_widget.grid(row=self.counter, column=0)
                                    </script>
                                </transition>
                            </state>
                        </state>

                        <state id="type_dropdown" initial="create">
                            <state id="create">
                                <onentry>
                                    <raise event="create_instance" scope="cd">
                                        <parameter expr="'types'"/>
                                        <parameter expr="'DropDown'"/>
                                        <parameter expr="self"/>
                                        <parameter expr="self.current_attr['name']"/>
                                        <parameter expr="self.current_attr['type']"/>
                                        <parameter expr="self.allowed_types"/>
                                    </raise>
                                </onentry>

                                <transition event="instance_created" target="../pack">
                                    <parameter name="assoc_name"/>
                                    <raise event="start_instance" scope="cd">
                                        <parameter expr="assoc_name"/>
                                    </raise>
                                    <script>
                                        self.associations_type[self.current_attr['name']] = assoc_name
                                    </script>
                                </transition>
                            </state>

                            <state id="pack">
                                <transition event="tk_widget" target="../../optional_button">
                                    <parameter name="tk_widget"/>
                                    <script>
                                        tk_widget.grid(row=self.counter, column=1)
                                    </script>
                                </transition>
                            </state>
                        </state>

                        <state id="optional_button" initial="create">
                            <state id="create">
                                <onentry>
                                    <raise event="create_instance" scope="cd">
                                        <parameter expr="'optional'"/>
                                        <parameter expr="'ToggleButton'"/>
                                        <parameter expr="{'parent': self, 'on_activate': 'optional_%s' % self.current_attr['name'], 'on_deactivate': 'mandatory_%s' % self.current_attr['name'], 'active': self.current_attr['optional'], 'tooltip_text': 'Optional attribute?', 'visual': TextVisual('optional')}"/>
                                    </raise>
                                </onentry>

                                <transition event="instance_created" target="../pack">
                                    <parameter name="assoc_name"/>
                                    <raise event="start_instance" scope="cd">
                                        <parameter expr="assoc_name"/>
                                    </raise>
                                    <script>
                                        self.associations_optional[self.current_attr['name']] = assoc_name
                                    </script>
                                </transition>
                            </state>

                            <state id="pack">
                                <transition event="tk_widget" target="../../delete_button">
                                    <parameter name="tk_widget"/>
                                    <script>
                                        tk_widget.grid(row=self.counter, column=2)
                                    </script>
                                </transition>
                            </state>
                        </state>

                        <state id="delete_button" initial="create">
                            <state id="create">
                                <onentry>
                                    <raise event="create_instance" scope="cd">
                                        <parameter expr="'delete'"/>
                                        <parameter expr="'Button'"/>
                                        <parameter expr="self"/>
                                        <parameter expr="self.current_attr['name']"/>
                                    </raise>
                                </onentry>

                                <transition event="instance_created" target="../pack">
                                    <parameter name="assoc_name"/>
                                    <raise event="start_instance" scope="cd">
                                        <parameter expr="assoc_name"/>
                                    </raise>
                                    <script>
                                        self.associations_delete[self.current_attr['name']] = assoc_name
                                    </script>
                                </transition>
                            </state>

                            <state id="pack">
                                <transition event="tk_widget" target="../../../check_list">
                                    <parameter name="tk_widget"/>
                                    <script>
                                        tk_widget.grid(row=self.counter, column=3)
                                    </script>
                                </transition>
                            </state>
                        </state>
                    </state>
                </state>

                <state id="add_new_attribute" initial="create">
                    <state id="create">
                        <onentry>
                            <raise event="create_instance" scope="cd">
                                <parameter expr="'add_attribute_button'"/>
                                <parameter expr="'Button'"/>
                                <parameter expr="self"/>
                            </raise>
                        </onentry>

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

                    <state id="pack">
                        <transition event="tk_widget" target="../../../running">
                            <parameter name="tk_widget"/>
                            <script>
                                tk_widget.grid(row=self.counter, column=3)
                            </script>
                        </transition>
                    </state>
                </state>
            </state>

            <state id="running">
                <transition event="button_pressed" cond="event_name.startswith('delete_')" target="../delete_entry">
                    <parameter name="event_name"/>
                    <script>
                        self.parameter = event_name.split("delete_", 1)[1]
                    </script>
                </transition>

                <transition event="button_pressed" cond="event_name.startswith('optional_')" target="../make_optional">
                    <parameter name="event_name"/>
                    <script>
                        self.parameter = event_name.split("optional_", 1)[1]
                    </script>
                </transition>

                <transition event="button_pressed" cond="event_name.startswith('mandatory_')" target="../make_mandatory">
                    <parameter name="event_name"/>
                    <script>
                        self.parameter = event_name.split("mandatory_", 1)[1]
                    </script>
                </transition>

                <transition event="button_pressed" cond="event_name == 'create'" target="../create_new_entry">
                    <parameter name="event_name"/>
                    <script>
                        self.attr_modify = [{'name': self.get_unique_attr_name(), 'type': next(iter(self.allowed_types)), 'optional': True}]
                    </script>
                </transition>

                <transition event="change_dropdown" target="../change_type">
                    <parameter name="event_name"/>
                    <parameter name="new_name"/>
                    <script>
                        self.parameter = (event_name, new_name)
                    </script>
                </transition>

                <transition event="change_entry" target="../change_name">
                    <parameter name="original_name"/>
                    <parameter name="new_name"/>
                    <script>
                        self.parameter = (original_name, new_name)
                    </script>
                </transition>
            </state>

            <state id="change_type">
                <onentry>
                    <raise event="mv_request" scope="broad">
                        <parameter expr="'attr_type'"/>
                        <parameter expr="[current_model, self.as_element, self.parameter[0], self.parameter[1]]"/>
                    </raise>
                </onentry>

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

            <state id="change_name">
                <onentry>
                    <raise event="mv_request" scope="broad">
                        <parameter expr="'attr_name'"/>
                        <parameter expr="[current_model, self.as_element, self.parameter[0], self.parameter[1]]"/>
                    </raise>
                </onentry>

                <transition event="mv_response" target="../running">
                    <raise event="change_event_name" scope="narrow" target="self.associations_type[self.parameter[0]]">
                        <parameter expr="self.parameter[1]"/>
                    </raise>
                    <raise event="change_event_name" scope="narrow" target="self.associations_optional[self.parameter[0]]">
                        <parameter expr="self.parameter[1]"/>
                    </raise>
                    <raise event="change_event_name" scope="narrow" target="self.associations_delete[self.parameter[0]]">
                        <parameter expr="self.parameter[1]"/>
                    </raise>
                    <script>
                        self.associations_name[self.parameter[1]] = self.associations_name[self.parameter[0]]
                        self.associations_type[self.parameter[1]] = self.associations_type[self.parameter[0]]
                        self.associations_optional[self.parameter[1]] = self.associations_optional[self.parameter[0]]
                        self.associations_delete[self.parameter[1]] = self.associations_delete[self.parameter[0]]

                        del self.associations_name[self.parameter[0]]
                        del self.associations_type[self.parameter[0]]
                        del self.associations_optional[self.parameter[0]]
                        del self.associations_delete[self.parameter[0]]
                    </script>
                </transition>
            </state>

            <state id="create_new_entry">
                <onentry>
                    <raise event="mv_request" scope="broad">
                        <parameter expr="'attr_assign'"/>
                        <parameter expr="[current_model, self.as_element, self.attr_modify['name'], self.attr_modify['type'], self.attr_modify['optional']]"/>
                    </raise>
                </onentry>

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

            <state id="make_optional">
                <onentry>
                    <raise event="mv_request" scope="broad">
                        <parameter expr="'attr_optional'"/>
                        <parameter expr="[current_model, self.as_element, self.parameter]"/>
                    </raise>

                    <transition event="mv_response" target="../running">
                        <raise event="activate" scope="narrow" target="self.associations_optional[self.parameter]"/>
                    </transition>
                </onentry>
            </state>

            <state id="make_mandatory">
                <onentry>
                    <raise event="mv_request" scope="broad">
                        <parameter expr="'attr_mandatory'"/>
                        <parameter expr="[current_model, self.as_element, self.parameter]"/>
                    </raise>

                    <transition event="mv_response" target="../running">
                        <raise event="deactivate" scope="narrow" target="self.associations_optional[self.parameter]"/>
                    </transition>
                </onentry>
            </state>

            <state id="delete_entry">
                <onentry>
                    <raise event="mv_request" scope="broad">
                        <parameter expr="'attr_del'"/>
                        <parameter expr="[current_model, self.as_element, self.parameter]"/>
                    </raise>
                </onentry>

                <transition event="mv_response" target="../running">
                    <raise event="delete_instance" scope="cd">
                        <parameter expr="self.associations_name[self.parameter]"/>
                    </raise>
                    <raise event="delete_instance" scope="cd">
                        <parameter expr="self.associations_type[self.parameter]"/>
                    </raise>
                    <raise event="delete_instance" scope="cd">
                        <parameter expr="self.associations_optional[self.parameter]"/>
                    </raise>
                    <raise event="delete_instance" scope="cd">
                        <parameter expr="self.associations_delete[self.parameter]"/>
                    </raise>
                    <script>
                        del self.associations_name[self.parameter]
                        del self.associations_type[self.parameter]
                        del self.associations_optional[self.parameter]
                        del self.associations_delete[self.parameter]
                    </script>
                </transition>
            </state>

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

                <transition event="instance_deleted" target="../close"/>
            </state>
                
            <state id="close">
                <onentry>
                    <raise event="close_window" scope="narrow" target="'parent'"/>
                </onentry>
            </state>

            <transition event="window-close" cond="ID == id(self)" target="closing">
                <parameter name="ID"/>
            </transition>
        </state>
    </scxml>
</class>