yentl
/
modelverse_GUI


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261
							<class name="MainApp" default="true">
    <relationships>
        <association name="modelverse" class="Modelverse" min="1" max="1"/>
        <association name="windows" class="Window"/>
    </relationships>
    <constructor>
        <parameter name="root"/>
        <body>
            self.nr_of_windows = 0
            self.root = root

            self.splash_window = None

            self.address = "127.0.0.1:8001"
            self.timeout = 20.0
            self.username = "admin"
            self.password = "admin"
        </body>
    </constructor>
    <scxml initial="parallel">
        <parallel id="parallel">
            <state id="behaviour" initial="init_modelverse">
                <state id="init_modelverse" initial="splash">
                    <state id="splash">
                        <onentry>
                            <raise event="create_instance" scope="cd">
                                <parameter expr="'windows'"/>
                                <parameter expr="'SplashWindow'"/>
                            </raise>
                        </onentry>

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

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

                    <state id="instantiate">
                        <onentry>
                            <raise event="create_instance" scope="cd">
                                <parameter expr="'modelverse'"/>
                                <parameter expr="'Modelverse'"/>
                            </raise>

                            <raise event="update_status" scope="narrow" target="self.splash_window">
                                <parameter expr="0"/>
                                <parameter expr="'Waiting for Modelverse Instantiation...'"/>
                            </raise>
                        </onentry>

                        <transition event="instance_created" target="../initializing_network">
                            <parameter name="association_name"/>

                            <raise event="start_instance" scope="cd">
                                <parameter expr="association_name"/>
                            </raise>

                            <raise event="update_status" scope="narrow" target="self.splash_window">
                                <parameter expr="15"/>
                                <parameter expr="'Waiting for Modelverse Instantiation... OK'"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="initializing_network">
                        <onentry>
                            <raise event="update_status" scope="narrow" target="self.splash_window">
                                <parameter expr="30"/>
                                <parameter expr="'Waiting for HTTP connection to Modelverse...'"/>
                            </raise>
                        </onentry>

                        <transition event="mv_ready" target="../initializing_modelverse">
                            <raise event="update_status" scope="narrow" target="self.splash_window">
                                <parameter expr="40"/>
                                <parameter expr="'Waiting for HTTP connection to Modelverse... OK'"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="initializing_modelverse">
                        <onentry>
                            <raise event="mv_request">
                                <parameter expr="'init'"/>
                                <parameter expr="[self.address, self.timeout]"/>
                            </raise>

                            <raise event="update_status" scope="narrow" target="self.splash_window">
                                <parameter expr="50"/>
                                <parameter expr="'Waiting for Modelverse initialization...'"/>
                            </raise>
                        </onentry>

                        <transition event="mv_response" target="../logging_in_modelverse">
                            <raise event="update_status" scope="narrow" target="self.splash_window">
                                <parameter expr="70"/>
                                <parameter expr="'Waiting for Modelverse initialization... OK'"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="logging_in_modelverse" initial="prompt_username">
                        <state id="prompt_username">
                            <onentry>
                                <raise event="create_instance" scope="cd">
                                    <parameter expr="'windows'"/>
                                    <parameter expr="'PromptWindow'"/>
                                    <parameter expr="{'username': self.username, 'password': self.password}"/>
                                    <parameter expr="{'password': {'show': '*'}}"/>
                                </raise>
                            </onentry>

                            <transition event="instance_created" target="../wait_for_credentials">
                                <parameter name="association_name"/>

                                <raise event="start_instance" scope="cd">
                                    <parameter expr="association_name"/>
                                </raise>

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

                        <state id="wait_for_credentials">
                            <transition event="prompt_results" target="../login">
                                <parameter name="results"/>
                                <script>
                                    self.username = results["username"]
                                    self.password = results["password"]
                                </script>
                            </transition>

                            <transition event="close_window" target="../prompt_username"/>

                            <onexit>
                                <raise event="delete_instance" scope="cd">
                                    <parameter expr="self.prompt_window"/>
                                </raise>
                            </onexit>
                        </state>

                        <state id="login">
                            <onentry>
                                <raise event="mv_request">
                                    <parameter expr="'login'"/>
                                    <parameter expr="[self.username, self.password]"/>
                                </raise>

                                <raise event="update_status" scope="narrow" target="self.splash_window">
                                    <parameter expr="90"/>
                                    <parameter expr="'Logging in...'"/>
                                </raise>
                            </onentry>

                            <transition event="mv_response" target="../../closing_splash">
                                <raise event="update_status" scope="narrow" target="self.splash_window">
                                    <parameter expr="100"/>
                                    <parameter expr="'Logging in... OK'"/>
                                </raise>
                            </transition>
                        </state>
                    </state>

                    <state id="closing_splash">
                        <onentry>
                            <raise event="close" scope="narrow" target="self.splash_window"/>
                        </onentry>

                        <transition event="close_window" target="../../init_main_window">
                            <raise event="delete_instance" scope="cd">
                                <parameter expr="self.splash_window"/>
                            </raise>
                        </transition>
                    </state>
                </state>

                <state id="init_main_window">
                    <onentry>
                        <raise event="create_instance" scope="cd">
                            <parameter expr="'windows'"/>
                            <parameter expr="'MainWindow'"/>
                        </raise>
                    </onentry>

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

                <state id="main_behaviour">
                    <transition event="close_window" target="../stopped"/>
                </state>

                <state id="stopped">
                    <onentry>
                        <script>
                            self.root.quit()
                        </script>
                    </onentry>
                </state>

                <transition event="mv_exception" target="stopped">
                    <parameter name="ID"/>
                    <parameter name="exception_name"/>
                    <parameter name="exception"/>
                    <script>
                        print("Got uncaught exception from Modelverse: " + str(exception_name))
                        print("Parameters: " + str(exception))
                    </script>
                </transition>
            </state>

            <state id="forward_requests">
                <state id="forward">
                    <transition event="mv_request" target=".">
                        <parameter name="name"/>
                        <parameter name="parameters"/>
                        <raise event="action" scope="narrow" target="'modelverse'">
                            <parameter expr="name"/>
                            <parameter expr="None"/>
                            <parameter expr="None"/>
                            <parameter expr="parameters"/>
                        </raise>
                    </transition>

                    <transition event="mv_result" target=".">
                        <parameter name="ID"/>
                        <parameter name="result"/>
                        <raise event="mv_response" scope="broad">
                            <parameter expr="result"/>
                        </raise>
                        <raise event="mv_response" scope="local">
                            <parameter expr="result"/>
                        </raise>
                    </transition>

                    <transition event="mv_exception" target=".">
                        <parameter name="exception_name"/>
                        <parameter name="exception"/>
                        <raise event="mv_exception" scope="broad">
                            <parameter expr="exception_name"/>
                            <parameter expr="exception"/>
                        </raise>
                    </transition>
                </state>
            </state>
        </parallel>
    </scxml>
</class>