yentl
/
modelverse_GUI


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778
							<class name="SplashWindow">
    <relationships>
        <inheritance class="tk.Toplevel" priority="1"/>
        <association name="progressbar" class="ProgressBar"/>
        <association name="parent" class="A"/>
    </relationships>

    <constructor>
        <super class="tk.TopLevel"/>
    </constructor>

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

    <scxml initial="initializing">
        <state id="initializing" initial="create_progressbar">
            <state id="create_progressbar" initial="initializing">
                <state id="initializing">
                    <onentry>
                        <raise event="create_instance" scope="cd">
                            <parameter expr="'progressbar'"/>
                            <parameter expr="'ProgressBar'"/>
                            <parameter expr="{'parent': self, 'orientation': tk.HORIZONTAL}"/>
                        </raise>
                    </onentry>

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

                <state id="packing">
                    <transition event="tk_widget" target="../ready">
                        <parameter name="tk_elem"/>
                        <script>
                            tk_elem.pack(fill=tk.X, expand=tk.TRUE)
                        </script>
                    </transition>
                </state>
                
                <state id="ready">
                    <transition event="update_status" target=".">
                        <parameter name="value"/>
                        <parameter name="text"/>

                        <raise event="update_status" scope="narrow" target="'progressbar'">
                            <parameter expr="value"/>
                            <parameter expr="text"/>
                        </raise>
                    </transition>

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

        <state id="closing">
            <onentry>
                <raise event="delete_instance" scope="cd">
                    <parameter expr="'progressbar'"/>
                </raise>
            </onentry>

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

        <state id="close"/>
    </scxml>
</class>