yentl
/
modelverse_GUI


			
				
					
						
						
							1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586
							<class name="Popup">
    <relationships>
        <inheritance class="tk.Toplevel" priority="1"/>
        <inheritance class="SCCDWidget" priority="0"/>
        <association name="buttons" class="Button"/>
        <association name="parent" class="A"/>
    </relationships>

    <constructor>
        <parameter name="message"/>
        <super class="tk.TopLevel"/>
        <super class="SCCDWidget"/>
        <body>
            self.frame = tk.Frame(self)
            tk.Label(self.frame, text=message).pack()
            self.frame.pack()
        </body>
    </constructor>

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

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

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

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

            <state id="wait_for_packing">
                <transition event="tk_widget" target="../../root">
                    <parameter name="tk_elem"/>
                    <script>
                        tk_elem.pack(fill=tk.X)
                    </script>
                </transition>
            </state>
        </state>

        <state id="root">
            <transition event="button_pressed" cond="event_name == 'OK'" target="../closing">
                <parameter name="event_name"/>
            </transition>

            <transition event="window-close" cond="ID == id(self)" target="../closing">
                <parameter name="ID"/>
            </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>
    </scxml>
</class>