yentl
/
modelverse_GUI


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556
							<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"/>
        <super class="tk.TopLevel"/>
        <super class="SCCDWidget"/>
        <body>
            print("Reading attributes for element " + str(as_element))
            self.as_element = as_element
            self.allowed_types = set()
            self.attr_names = {}
            self.reverse_attr_names = {}

            self.attrs = None
            self.associations_name = {}
            self.associations_type = {}
            self.associations_optional = {}
            self.associations_delete = {}
            self.dirty = None
        </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_attr_types">
                <state id="get_attr_types">
                    <onentry>
                        <raise event="mv_request" scope="broad">
                            <parameter expr="'all_instances'"/>
                            <parameter expr="[current_model, 'SimpleAttribute']"/>
                        </raise>
                    </onentry>

                    <transition event="mv_response" target="../resolve_name_of_attr_type">
                        <parameter name="result"/>
                        <script>
                            print("Resolving " + str(self.allowed_types))
                            self.allowed_types = list(result)
                            self.resolved_allowed_types = {}
                        </script>
                    </transition>
                </state>

                <state id="resolve_name_of_attr_type" initial="request">
                    <state id="request">
                        <transition cond="self.allowed_types" target="../response">
                            <raise event="mv_request" scope="broad">
                                <parameter expr="'read_attrs'"/>
                                <parameter expr="[current_model, self.allowed_types[0]]"/>
                            </raise>
                        </transition>

                        <transition cond="not self.allowed_types" target="../../get_defined_attrs">
                            <script>
                                self.allowed_types = self.resolved_allowed_types
                            </script>
                        </transition>
                    </state>

                    <state id="response">
                        <transition event="mv_response" target="../request">
                            <parameter name="result"/>
                            <script>
                                self.attr_names[self.allowed_types[0]] = result['name']
                                self.reverse_attr_names[result['name']] = self.allowed_types[0]
                                self.resolved_allowed_types[result["name"]] = self.allowed_types.pop(0)
                            </script>
                        </transition>
                    </state>
                </state>

                <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"/>
                        <script>
                            result_mandatory, result_optional = result
                            result_mandatory = {i: (result_mandatory[i], False) for i in result_mandatory}
                            result_optional = {i: (result_optional[i], True) 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" initial="name_entry">
                        <onentry>
                            <script>
                                current_attr = self.attrs_modify.popitem()
                                self.current_attr = {'name': current_attr[0], 'type': self.attr_names[current_attr[1][0]], 'optional': current_attr[1][1]}
                            </script>
                        </onentry>

                        <onexit>
                            <script>
                                print("INC counter")
                                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="{'parent': self, 'name': self.current_attr['name'], 'value': 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="{'parent': self, 'name': self.current_attr['name'], 'value': self.attr_names[self.allowed_types[self.current_attr['type']]], 'options': self.allowed_types.keys()}"/>
                                    </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="{'parent': self, 'event_parameters': 'delete_%s' % self.current_attr['name'], 'visual': TextVisual('delete'), 'tooltip_text': 'Delete attribute'}"/>
                                    </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>
                                        print("EXEC transition")
                                        tk_widget.grid(row=self.counter-1, 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="{'parent': self, 'event_parameters': 'create', 'visual': TextVisual('new'), 'tooltip_text': 'Add a new attribute'}"/>
                            </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' and self.allowed_types" target="../create_new_entry">
                    <parameter name="event_name"/>
                    <script>
                        self.attr_modify = {'name': self.get_unique_attr_name(), 'type': self.reverse_attr_names[next(iter(self.allowed_types))], 'optional': True}
                    </script>
                </transition>

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

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

                <transition cond="self.dirty" target="../change_name">
                    <script>
                        self.parameter = self.dirty[1:3]
                        self.dirty = None
                    </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.reverse_attr_names[self.parameter[1]]]"/>
                    </raise>
                </onentry>

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

            <state id="change_name" initial="waiting">
                <onentry>
                    <raise event="change_bg" scope="narrow" target="self.associations_name[self.parameter[0]]">
                        <parameter expr="orange2"/>
                    </raise>
                </onentry>

                <state id="waiting">
                    <transition after="1.0" target="../commit"/>

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

                <state id="commit">
                    <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>
                        <raise event="change_event_name" scope="narrow" target="self.associations_name[self.parameter[0]]">
                            <parameter expr="self.parameter[1]"/>
                        </raise>
                    </onentry>

                    <transition event="changed_entry" target=".">
                        <parameter name="original_name"/>
                        <parameter name="new_name"/>
                        <script>
                            self.dirty = (True, original_name, new_name)
                        </script>
                    </transition>

                    <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_bg" scope="narrow" target="self.associations_name[self.parameter[0]]">
                            <parameter expr="'lime green'"/>
                        </raise>
                        <raise event="change_triggers" scope="narrow" target="self.associations_optional[self.parameter[0]]">
                            <parameter expr="'optional_%s' % self.parameter[1]"/>
                            <parameter expr="'mandatory_%s' % 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>

            <state id="create_new_entry">
                <onentry>
                    <raise event="mv_request" scope="broad">
                        <parameter expr="'define_attribute'"/>
                        <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/get_defined_attrs">
                    <raise event="delete_instance" scope="cd">
                        <parameter expr="'names'"/>
                    </raise>
                    <raise event="delete_instance" scope="cd">
                        <parameter expr="'types'"/>
                    </raise>
                    <raise event="delete_instance" scope="cd">
                        <parameter expr="'optional'"/>
                    </raise>
                    <raise event="delete_instance" scope="cd">
                        <parameter expr="'delete'"/>
                    </raise>
                    <raise event="delete_instance" scope="cd">
                        <parameter expr="'add_attribute_button'"/>
                    </raise>
                    <script>
                        self.associations_name = {}
                        self.associations_type = {}
                        self.associations_optional = {}
                        self.associations_delete = {}
                    </script>
                </transition>
            </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, True]"/>
                    </raise>
                </onentry>

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

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

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

            <state id="delete_entry">
                <onentry>
                    <raise event="mv_request" scope="broad">
                        <parameter expr="'undefine_attribute'"/>
                        <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="'names'"/>
                    </raise>
                    <raise event="delete_instance" scope="cd">
                        <parameter expr="'types'"/>
                    </raise>
                    <raise event="delete_instance" scope="cd">
                        <parameter expr="'optional'"/>
                    </raise>
                    <raise event="delete_instance" scope="cd">
                        <parameter expr="'delete'"/>
                    </raise>
                    <raise event="delete_instance" scope="cd">
                        <parameter expr="'add_attribute_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>