yentl
/
modelverse_GUI


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465
							<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"/>
        <parameter name="location"/>
        <parameter name="username"/>
        <parameter name="password"/>
        <parameter name="model"/>
        <parameter name="limited_mode"/>
        <parameter name="taskname"/>
        <parameter name="spawn"/>
        <body>
            self.nr_of_windows = 0
            self.root = root

            self.splash_window = None

            self.open_model = model
            self.limited_mode = limited_mode

            global data
            data = {}
            data['username'] = username
            data['password'] = password
            data['mv_address'] = location
            data['timeout'] = 20.0
            data['taskname'] = taskname
            data['spawn'] = spawn
        </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'"/>
                                <parameter expr="data['taskname']"/>
                            </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="5"/>
                                <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="10"/>
                                <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="20"/>
                                <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="[data['mv_address'], data['timeout']]"/>
                            </raise>

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

                        <transition event="mv_response" cond="data['taskname'] is None" target="../logging_in_modelverse/login">
                            <raise event="update_status" scope="narrow" target="self.splash_window">
                                <parameter expr="40"/>
                                <parameter expr="'Waiting for Modelverse initialization... OK'"/>
                            </raise>
                        </transition>

                        <transition event="mv_response" cond="data['taskname'] is not None" target="../conversing"/>
                    </state>

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

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

                        <state id="init">
                            <transition event="mv_response" cond="result == 'OP'" target="../execute_OP">
                                <parameter name="result"/>
                            </transition>
                            <transition event="mv_response" cond="result == 'SC'" target="../execute_SC">
                                <parameter name="result"/>
                            </transition>
                        </state>

                        <state id="execute_OP" initial="wait_model">
                            <state id="wait_model">
                                <transition event="mv_response" target="../wait_subprocess">
                                    <parameter name="result"/>
                                    <script>
                                        self.subprocess = subprocess.Popen([sys.executable, sys.argv[0], "--address", data['mv_address'], "--username", data['username'], "--password", data['password'], "--model", result, "--limited"])
                                    </script>
                                </transition>
                            </state>

                            <state id="wait_subprocess">
                                <transition cond="self.subprocess.poll() is not None" target="../stopping">
                                    <raise event="mv_data_input">
                                        <parameter expr="None"/>
                                        <parameter expr="None"/>
                                    </raise>
                                    <script>
                                        print("Finished execution of manual!")
                                    </script>
                                </transition>
                                <transition after="0.5" target="."/>
                            </state>

                            <state id="stopping">
                                <transition after="2.0" target="../../../../stopped"/>
                            </state>
                        </state>

                        <state id="execute_SC" initial="spawn">
                            <state id="spawn">
                                <transition target="../wait_subprocess">
                                    <parameter name="result"/>
                                    <script>
                                        if data['spawn'] != "":
                                            print("Spawning " + str(data['spawn']))
                                            self.subprocess = subprocess.Popen(data['spawn'], stdin=subprocess.PIPE, stdout=subprocess.PIPE)

                                            # If you are using Windows, then this ugly code is for you!
                                            # Windows does not allow asynchronous reading of stdin and stdout, so we have to mess around with threads.
                                            # Interestingly, threads don't work well with SCCD, so this is a gamble.
                                            # On UNIX systems, a simple "select" statement would have sufficed in the SCCD condition, but Windows doesn't like elegant solutions...
                                            def enqueue_output(out, queue):
                                                print("Waiting for output")
                                                for line in iter(out.readline, b''):
                                                    print("Getting input: " + str(line))
                                                    queue.append(line)
                                                out.close()

                                            self.output_queue = []
                                            p = threading.Thread(target=enqueue_output, args=[self.subprocess.stdout, self.output_queue])
                                            p.daemon = True
                                            p.start()
                                        else:
                                            print("Empty spawn for task " + data['taskname'])
                                            self.subprocess = None
                                            self.output_queue = []
                                    </script>
                                </transition>
                            </state>

                            <state id="wait_subprocess">
                                <transition event="mv_data_output" target=".">
                                    <parameter name="value"/>
                                    <script>
                                        # Send data to the spawned subprocess
                                        if self.subprocess is not None:
                                            print("Sending data to spawn: " + str(value))
                                            self.subprocess.stdin.write(value + "\n")
                                            self.subprocess.stdin.flush()
                                    </script>
                                </transition>

                                <transition cond="self.output_queue" target=".">
                                    <script>
                                        print("Got output on stdout: " + self.output_queue[0])
                                    </script>
                                    <raise event="mv_data_input">
                                        <parameter expr="self.output_queue.pop(0)"/>
                                        <parameter expr="None"/>
                                    </raise>
                                </transition>

                                <transition event="mv_response" target="../stopping">
                                    <script>
                                        if self.subprocess is not None:
                                            self.subprocess.terminate()
                                    </script>
                                </transition>

                                <transition cond="self.subprocess is not None and self.subprocess.poll() is not None" target="../stopping">
                                    <script>
                                        print("Finished execution of activity!")
                                    </script>
                                </transition>

                                <transition after="0.5" target="."/>
                            </state>

                            <state id="stopping">
                                <transition after="2.0" target="../../../../stopped"/>
                            </state>
                        </state>
                    </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': data['username'], 'password': data['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">
                            <state id="responsive">
                                <transition event="prompt_results" target=".">
                                    <parameter name="results"/>
                                    <script>
                                        data['username'] = results["username"]
                                        data['password'] = results["password"]
                                    </script>
                                </transition>

                                <transition event="close_window" cond="data['username'] == ''" target="../../prompt_username"/>
                                <transition event="close_window" cond="data['username'] != ''" target="../../login"/>
                            </state>

                            <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="[data['username'], data['password']]"/>
                                </raise>

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

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

                            <transition event="mv_exception" target="../prompt_username">
                                <raise event="update_status" scope="narrow" target="self.splash_window">
                                    <parameter expr="40"/>
                                    <parameter expr="'Incorrect username or password'"/>
                                </raise>
                            </transition>
                        </state>

                        <state id="register_SCD">
                            <onentry>
                                <raise event="mv_request">
                                    <parameter expr="'alter_context'"/>
                                    <parameter expr="['formalisms/SimpleClassDiagrams', 'formalisms/SimpleClassDiagrams']"/>
                                </raise>
                            </onentry>

                            <transition target="../register_conf_bottom"/>
                        </state>

                        <state id="register_conf_bottom">
                            <onentry>
                                <raise event="mv_request">
                                    <parameter expr="'alter_context'"/>
                                    <parameter expr="['formalisms/Bottom', 'formalisms/SimpleClassDiagrams']"/>
                                </raise>
                            </onentry>

                            <transition target="../../wait_close_splash"/>
                        </state>
                    </state>

                    <state id="wait_close_splash">
                        <transition after="0.0" target="../closing_splash"/>
                    </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'"/>
                            <parameter expr="self.open_model"/>
                            <parameter expr="self.limited_mode"/>
                        </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>
            </state>

            <state id="forward_requests">
                <state id="forward">
                    <transition event="mv_request_context" target=".">
                        <parameter name="name"/>
                        <parameter name="params"/>
                        <parameter name="context" default="None"/>
                        <raise event="action" scope="narrow" target="'modelverse'">
                            <parameter expr="name"/>
                            <parameter expr="None"/>
                            <parameter expr="context"/>
                            <parameter expr="params"/>
                        </raise>
                    </transition>

                    <transition event="mv_request" target=".">
                        <parameter name="name"/>
                        <parameter name="params"/>
                        <raise event="action" scope="narrow" target="'modelverse'">
                            <parameter expr="name"/>
                            <parameter expr="None"/>
                            <parameter expr="None"/>
                            <parameter expr="params"/>
                        </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="ID"/>
                        <parameter name="exception_name"/>
                        <parameter name="exception"/>
                        <raise event="mv_exception" scope="broad">
                            <parameter expr="exception_name"/>
                            <parameter expr="exception"/>
                        </raise>
                        <script>
                            print("Got Modelverse exception: " + str(exception_name))
                            print("Details: " + str(exception))
                        </script>
                    </transition>

                    <transition event="mv_data_input" target=".">
                        <parameter name="value"/>
                        <parameter name="context"/>
                        <raise event="data_input" scope="narrow" target="'modelverse'">
                            <parameter expr="value"/>
                            <parameter expr="context"/>
                        </raise>
                    </transition>

                    <transition event="data_output" target=".">
                        <parameter name="value"/>
                        <raise event="mv_data_output" scope="broad">
                            <parameter expr="value"/>
                        </raise>
                    </transition>
                </state>
            </state>
        </parallel>
    </scxml>
</class>