yentl
/
modelverse_GUI


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186
							<class name="ChoicePrompt">
    <relationships>
        <inheritance class="tk.Toplevel" priority="1"/>
        <inheritance class="SCCDWidget" priority="0"/>
        <association name="buttons" class="Button"/>
        <association name="labels" class="Label"/>
        <association name="parent" class="A"/>
    </relationships>

    <constructor>
        <parameter name="prompt"/>
        <parameter name="options" default="None"/>
        <super class="tk.Toplevel"/>
        <super class="SCCDWidget"/>
        <body>
            tk.Label(self, text=prompt).pack()

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

            self.browser_frame = tk.Frame(self)
            self.browser_frame.pack(fill=tk.BOTH)

            self.selected_label = None
            self.labels = {}
            self.options = options
        </body>
    </constructor>

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

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

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

                    <script>
                        self.button_ok = association_name
                    </script>
                </transition>
            </state>

            <state id="wait_for_packing_OK">
                <transition event="tk_widget" target="../create_labels">
                    <parameter name="tk_elem"/>
                    <script>
                        tk_elem.pack(anchor=tk.W, fill=tk.BOTH, expand=tk.TRUE)
                    </script>
                </transition>
            </state>

            <state id="create_labels" initial="query">
                <state id="query">
                    <transition target="../check_continue">
                        <script>
                            self.labels_to_add = sorted(self.options)
                            self.all_results = sorted(self.options)
                        </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>
                    </onentry>

                    <transition event="instance_created" target="../pack_label">
                        <parameter name="association_name"/>
                        <raise event="start_instance" scope="cd">
                            <parameter expr="association_name"/>
                        </raise>
                        <script>
                            self.labels[self.labels_to_add.pop(0)] = association_name
                        </script>
                    </transition>
                </state>
                <state id="pack_label">
                    <transition event="tk_widget" target="../check_continue">
                        <parameter name="tk_elem"/>
                        <script>
                            tk_elem.pack()
                        </script>
                    </transition>
                </state>

                <state id="check_continue">
                    <transition cond="len(self.labels_to_add) == 0" target="../../waiting"/>
                    <transition cond="len(self.labels_to_add) > 0" target="../add_label"/>
                </state>
            </state>

            <state id="waiting">
                <transition event="label_pressed" cond="self.selected_label is None" target=".">
                    <parameter name="text"/>
                    <raise event="highlight" target="self.labels[text]" scope="narrow"/>
                    <script>
                        self.selected_label = text
                    </script>
                </transition>

                <transition event="label_pressed" cond="self.selected_label is not None and self.selected_label != text" target=".">
                    <parameter name="text"/>
                    <raise event="unhighlight" target="self.labels[self.selected_label]" scope="narrow"/>
                    <raise event="highlight" target="self.labels[text]" scope="narrow"/>
                    <script>
                        self.selected_label = text
                    </script>
                </transition>

                <transition event="label_pressed" cond="self.selected_label is not None and self.selected_label == text" target="../delete_labels">
                    <parameter name="text"/>
                </transition>

                <transition event="button_pressed" cond="event_name == 'OK' and self.selected_label is not None" target="../delete_labels">
                    <parameter name="event_name"/>
                </transition>
            </state>

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

                <transition cond="len(self.labels) == 0" target="../send_results"/>
            </state>

            <state id="send_results">
                <transition target="../closing">
                    <raise event="choice_result" target="'parent'" scope="narrow">
                        <parameter expr="self.selected_label"/>
                    </raise>
                    <script>
                        self.to_close = self.labels.values() + [self.button_ok]
                    </script>
                </transition>
            </state>

            <state id="closing">
                <onentry>
                    <raise event="delete_instance" scope="cd">
                        <parameter expr="self.to_close.pop(0)"/>
                    </raise>
                </onentry>

                <transition event="instance_deleted" cond="len(self.to_close) > 0" target="."/>
                <transition event="instance_deleted" cond="len(self.to_close) == 0" 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"/>
                <script>
                    self.to_close = self.labels.values() + [self.button_ok]
                </script>
            </transition>
        </state>
    </scxml>
</class>