yentl
/
modelverse_GUI


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629
							<class name="ProcessEnactor">
    <relationships>
        <inheritance class="tk.Toplevel" priority="1"/>
        <inheritance class="SCCDWidget" priority="0"/>
        <association name="activity_browse" class="A"/>
        <association name="model_browse_button" class="Button"/>
        <association name="model_browse_entry" class="Entry"/>
        <association name="model_browse_label" class="Label"/>
        <association name="progressbar" class="Label"/>
        <association name="browsers" class="Browser"/>
        <association name="parent" class="A"/>
    </relationships>

    <constructor>
        <super class="tk.TopLevel"/>
        <super class="SCCDWidget"/>
        <body>
            self.activity_frame = tk.Frame(self)
            self.input_frame = tk.Frame(self)
            self.exec_frame = tk.Frame(self)

            self.activity_frame.pack()
            tk.Label(self, text="Bindings").pack()
            self.input_frame.pack()
            self.exec_frame.pack()

            self.stored_associations = {}
            self.current = None
            self.activity = None

            self.exec_input_signature = {}
            self.activity_spawn = {}
        </body>
    </constructor>

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

    <scxml initial="all">
        <parallel id="all">
            <state id="all" initial="create_activity_browse_label">
                <state id="create_activity_browse_label" initial="create">
                    <state id="create">
                        <onentry>
                            <raise event="create_instance" scope="cd">
                                <parameter expr="'activity_browse'"/>
                                <parameter expr="'Label'"/>
                                <parameter expr="{'parent': self.activity_frame, 'text': 'Process'}"/>
                            </raise>
                        </onentry>

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

                    <state id="pack">
                        <transition event="tk_widget" target="../../create_activity_browse_entry">
                            <parameter name="tk_widget"/>
                            <script>
                                tk_widget.grid(row=0,column=0)
                            </script>
                        </transition>
                    </state>
                </state>

                <state id="create_activity_browse_entry" initial="create">
                    <state id="create">
                        <onentry>
                            <raise event="create_instance" scope="cd">
                                <parameter expr="'activity_browse'"/>
                                <parameter expr="'Entry'"/>
                                <parameter expr="{'parent': self.activity_frame, 'name': 'activity_entry', 'value': '(none)', 'readonly': True}"/>
                            </raise>
                        </onentry>

                        <transition event="instance_created" target="../pack">
                            <parameter name="assoc_name"/>
                            <raise event="start_instance" scope="cd">
                                <parameter expr="assoc_name"/>
                            </raise>
                            <script>
                                self.activity_entry = assoc_name
                            </script>
                        </transition>
                    </state>

                    <state id="pack">
                        <transition event="tk_widget" target="../../create_activity_browse_button">
                            <parameter name="tk_widget"/>
                            <script>
                                tk_widget.grid(row=0,column=1)
                            </script>
                        </transition>
                    </state>
                </state>

                <state id="create_activity_browse_button" initial="create">
                    <state id="create">
                        <onentry>
                            <raise event="create_instance" scope="cd">
                                <parameter expr="'activity_browse'"/>
                                <parameter expr="'Button'"/>
                                <parameter expr="{'parent': self.activity_frame, 'event_parameters': 'browse_activity', 'visual': TextVisual('...'), 'tooltip_text': 'Browse for a process'}"/>
                            </raise>
                        </onentry>

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

                    <state id="pack">
                        <transition event="tk_widget" target="../../create_exec">
                            <parameter name="tk_widget"/>
                            <script>
                                tk_widget.grid(row=0,column=2)
                            </script>
                        </transition>
                    </state>
                </state>

                <state id="create_exec" initial="create">
                    <state id="create">
                        <onentry>
                            <raise event="create_instance" scope="cd">
                                <parameter expr="'activity_browse'"/>
                                <parameter expr="'Button'"/>
                                <parameter expr="{'parent': self.exec_frame, 'event_parameters': 'execute', 'visual': TextVisual('START'), 'tooltip_text': 'Enact the process'}"/>
                            </raise>
                        </onentry>

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

                    <state id="pack">
                        <transition event="tk_widget" target="../../create_progressbar">
                            <parameter name="tk_widget"/>
                            <script>
                                tk_widget.pack()
                            </script>
                        </transition>
                    </state>
                </state>

                <state id="create_progressbar" initial="create">
                    <state id="create">
                        <onentry>
                            <raise event="create_instance" scope="cd">
                                <parameter expr="'progressbar'"/>
                                <parameter expr="'ProgressBar'"/>
                                <parameter expr="{'parent': self.exec_frame}"/>
                            </raise>
                        </onentry>

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

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

                <state id="search_subtasks" initial="query">
                    <state id="query">
                        <onentry>
                            <raise event="mv_request" scope="broad">
                                <parameter expr="'all_instances'"/>
                                <parameter expr="[self.activity, 'Exec']"/>
                            </raise>
                        </onentry>

                        <transition event="mv_response" target="../decide_next">
                            <parameter name="instances"/>
                            <script>
                                self.activities = instances
                            </script>
                        </transition>
                    </state>

                    <state id="decide_next">
                        <transition cond="self.activities" target="../query_name">
                            <script>
                                self.counter += 1
                            </script>
                        </transition>
                        <transition cond="not self.activities" target="../../ready"/>
                    </state>

                    <state id="query_name">
                        <onentry>
                            <raise event="mv_request" scope="broad">
                                <parameter expr="'read_attrs'"/>
                                <parameter expr="[self.activity, self.activities.pop()]"/>
                            </raise>
                        </onentry>
                        
                        <transition event="mv_response" target="../create_label">
                            <parameter name="result"/>
                            <script>
                                print("Got attrs: " + str(result))
                                self.current = result["name"][1:-1]
                            </script>
                        </transition>
                    </state>

                    <state id="create_label">
                        <onentry>
                            <raise event="create_instance" scope="cd">
                                <parameter expr="'model_browse_label'"/>
                                <parameter expr="'Label'"/>
                                <parameter expr="{'parent': self.input_frame, 'text': str(self.current)}"/>
                            </raise>
                        </onentry>

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

                    <state id="pack_label">
                        <transition event="tk_widget" target="../create_entry">
                            <parameter name="tk_widget"/>
                            <script>
                                tk_widget.grid(row=self.counter,column=0)
                            </script>
                        </transition>
                    </state>

                    <state id="create_entry">
                        <onentry>
                            <raise event="create_instance" scope="cd">
                                <parameter expr="'model_browse_entry'"/>
                                <parameter expr="'Entry'"/>
                                <parameter expr="{'parent': self.input_frame, 'name': 'activity_%s' % self.current, 'value': '', 'readonly': False}"/>
                            </raise>
                        </onentry>

                        <transition event="instance_created" target="../pack_entry">
                            <parameter name="assoc_name"/>
                            <raise event="start_instance" scope="cd">
                                <parameter expr="assoc_name"/>
                            </raise>
                            <script>
                                self.stored_associations["activity_%s" % self.current] = assoc_name
                            </script>
                        </transition>
                    </state>

                    <state id="pack_entry">
                        <transition event="tk_widget" target="../decide_next">
                            <parameter name="tk_widget"/>
                            <script>
                                tk_widget.grid(row=self.counter, column=1)
                            </script>
                        </transition>
                    </state>
                </state>

                <state id="ready">
                    <transition event="button_pressed" cond="event_name == 'browse_activity'" target="../browse_activity">
                        <parameter name="event_name"/>
                    </transition>
                    <transition event="button_pressed" cond="event_name.startswith('input_')" target="../browse_model">
                        <parameter name="event_name"/>
                        <script>
                            self.current = event_name
                            self.required_type = [self.input_signature[event_name.split("input_", 1)[1]]]
                        </script>
                    </transition>
                    <transition event="changed_entry" cond="event_name.startswith('input_')" target=".">
                        <parameter name="event_name"/>
                        <parameter name="value"/>
                        <script>
                            self.exec_input_signature[event_name.split("input_", 1)[1]] = value
                        </script>
                    </transition>
                    <transition event="changed_entry" cond="event_name.startswith('activity_')" target=".">
                        <parameter name="event_name"/>
                        <parameter name="value"/>
                        <script>
                            self.activity_spawn[event_name.split("activity_", 1)[1]] = value
                            print("Updating activity_spawn to " + str(value))
                            print(" for act: " + event_name.split("activity_", 1)[1])
                        </script>
                    </transition>
                    <transition event="button_pressed" cond="event_name == 'execute'" target="../execute">
                        <parameter name="event_name"/>
                    </transition>
                </state>

                <state id="execute" initial="execute">
                    <state id="execute">
                        <onentry>
                            <raise event="mv_request" scope="broad">
                                <parameter expr="'process_execute'"/>
                                <parameter expr="[self.activity, self.exec_input_signature]"/>
                            </raise>

                            <raise event="start" scope="narrow" target="'progressbar'"/>
                        </onentry>

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

                    <state id="in_context">
                        <transition event="mv_response" cond="result == 'Success'" target="../alter_context_result">
                            <parameter name="result"/>
                        </transition>

                        <transition event="mv_response" cond="result != 'Success'" target=".">
                            <parameter name="result"/>
                            <script>
                                taskname, operation = result
                                print("Executing operation: " + str(operation))
                                print("   on task: " + taskname)
                                subprocess.Popen([sys.executable, sys.argv[0], "--address", data['mv_address'], "--username", data['username'], "--password", data['password'], "--taskname", taskname, "--spawn", self.activity_spawn.get(operation, "")])
                            </script>
                        </transition>
                    </state>

                    <state id="alter_context_result" initial="check_next">
                        <state id="check_next">
                            <transition cond="self.exec_input_signature" target="../add"/>
                            <transition cond="not self.exec_input_signature" target="../../../closing"/>
                        </state>

                        <state id="add">
                            <onentry>
                                <script>
                                    tag, model = self.exec_input_signature.popitem()
                                    metamodel = self.input_signature[tag]
                                    print("Setting context for " + str((model, metamodel)))
                                </script>
                                <raise event="mv_request" scope="broad">
                                    <parameter expr="'alter_context'"/>
                                    <parameter expr="[model, metamodel]"/>
                                </raise>
                            </onentry>

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

                <state id="browse_activity" initial="create_browser">
                    <state id="create_browser">
                        <onentry>
                            <raise event="create_instance" scope="cd">
                                <parameter expr="'browsers'"/>
                                <parameter expr="'Browser'"/>
                                <parameter expr="'Select process to enact.'"/>
                                <parameter expr="None"/>
                            </raise>
                        </onentry>

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

                    <state id="waiting_for_decision">
                        <transition event="browse_result" target=".">
                            <parameter name="activity"/>
                            <script>
                                self.activity = activity
                            </script>
                            <raise event="change_value" target="self.activity_entry">
                                <parameter expr="self.activity"/>
                            </raise>
                        </transition>

                        <transition event="close_window" target="../../redraw_signature">
                            <raise event="delete_instance" scope="cd">
                                <parameter expr="'browsers'"/>
                            </raise>
                        </transition>
                    </state>
                </state>

                <state id="redraw_signature" initial="clear_previous">
                    <state id="clear_previous">
                        <transition target="../read_signature">
                            <raise event="delete_instance" scope="cd">
                                <parameter expr="'model_browse_label'"/>
                            </raise>
                            <raise event="delete_instance" scope="cd">
                                <parameter expr="'model_browse_button'"/>
                            </raise>
                            <raise event="delete_instance" scope="cd">
                                <parameter expr="'model_browse_entry'"/>
                            </raise>
                        </transition>
                    </state>

                    <state id="read_signature">
                        <onentry>
                            <raise event="mv_request" scope="broad">
                                <parameter expr="'process_signature'"/>
                                <parameter expr="[self.activity]"/>
                            </raise>
                        </onentry>

                        <transition event="mv_response" target="../add_input">
                            <parameter name="result"/>
                            <script>
                                self.input_signature = result
                                self.input_signature_iter = dict(self.input_signature)
                            </script>
                        </transition>
                    </state>

                    <state id="add_input" initial="check_next">
                        <onentry>
                            <script>
                                self.counter = -1
                            </script>
                        </onentry>

                        <state id="check_next">
                            <transition cond="self.input_signature_iter" target="../create_label">
                                <script>
                                    self.counter += 1
                                    self.current = self.input_signature_iter.popitem()
                                </script>
                            </transition>
                            <transition cond="not self.input_signature_iter" target="../../../search_subtasks"/>
                        </state>

                        <state id="create_label">
                            <onentry>
                                <raise event="create_instance" scope="cd">
                                    <parameter expr="'model_browse_label'"/>
                                    <parameter expr="'Label'"/>
                                    <parameter expr="{'parent': self.input_frame, 'text': '%s : %s' % self.current}"/>
                                </raise>
                            </onentry>

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

                        <state id="pack_label">
                            <transition event="tk_widget" target="../create_entry">
                                <parameter name="tk_widget"/>
                                <script>
                                    tk_widget.grid(row=self.counter,column=0)
                                </script>
                            </transition>
                        </state>

                        <state id="create_entry">
                            <onentry>
                                <raise event="create_instance" scope="cd">
                                    <parameter expr="'model_browse_entry'"/>
                                    <parameter expr="'Entry'"/>
                                    <parameter expr="{'parent': self.input_frame, 'name': 'input_%s' % self.current[0], 'value': '', 'readonly': True}"/>
                                </raise>
                            </onentry>

                            <transition event="instance_created" target="../pack_entry">
                                <parameter name="assoc_name"/>
                                <raise event="start_instance" scope="cd">
                                    <parameter expr="assoc_name"/>
                                </raise>
                                <script>
                                    self.stored_associations["input_%s" % self.current[0]] = assoc_name
                                </script>
                            </transition>
                        </state>

                        <state id="pack_entry">
                            <transition event="tk_widget" target="../create_button">
                                <parameter name="tk_widget"/>
                                <script>
                                    tk_widget.grid(row=self.counter, column=1)
                                </script>
                            </transition>
                        </state>

                        <state id="create_button">
                            <onentry>
                                <raise event="create_instance" scope="cd">
                                    <parameter expr="'model_browse_button'"/>
                                    <parameter expr="'Button'"/>
                                    <parameter expr="{'parent': self.input_frame, 'visual': TextVisual('...'), 'tooltip_text': 'Select input model for tag %s.' % self.current[0], 'event_parameters': 'input_%s' % self.current[0]}"/>
                                </raise>
                            </onentry>

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

                        <state id="pack_button">
                            <transition event="tk_widget" target="../check_next">
                                <parameter name="tk_widget"/>
                                <script>
                                    tk_widget.grid(row=self.counter, column=2)
                                </script>
                            </transition>
                        </state>
                    </state>
                </state>

                <state id="browse_model" initial="create_browser">
                    <state id="create_browser">
                        <onentry>
                            <raise event="create_instance" scope="cd">
                                <parameter expr="'browsers'"/>
                                <parameter expr="'Browser'"/>
                                <parameter expr="'Select model to use.'"/>
                                <parameter expr="self.required_type"/>
                            </raise>
                        </onentry>

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

                    <state id="waiting_for_decision">
                        <transition event="browse_result" target=".">
                            <parameter name="model"/>
                            <script>
                                if self.current.startswith('input_'):
                                    self.exec_input_signature[self.current.split("input_", 1)[1]] = model
                            </script>
                            <raise event="change_value" scope="narrow" target="self.stored_associations[self.current]">
                                <parameter expr="model"/>
                            </raise>
                        </transition>

                        <transition event="close_window" target="../../ready">
                            <raise event="delete_instance" scope="cd">
                                <parameter expr="'browsers'"/>
                            </raise>
                        </transition>
                    </state>
                </state>

                <state id="closing">
                    <transition target="../closed">
                        <raise event="delete_instance" scope="cd">
                            <parameter expr="'model_browse_button'"/>
                        </raise>
                        <raise event="delete_instance" scope="cd">
                            <parameter expr="'activity_browse'"/>
                        </raise>
                        <raise event="delete_instance" scope="cd">
                            <parameter expr="'model_browse_entry'"/>
                        </raise>
                        <raise event="delete_instance" scope="cd">
                            <parameter expr="'model_browse_label'"/>
                        </raise>
                        <raise event="delete_instance" scope="cd">
                            <parameter expr="'progressbar'"/>
                        </raise>
                    </transition>
                </state>

                <state id="closed">
                    <onentry>
                        <raise event="window_close" scope="narrow" target="'parent'"/>
                    </onentry>
                </state>

                <transition event="window-close" cond="id(self) == ID" target="closing">
                    <parameter name="ID"/>
                </transition>
            </state>

            <state id="wait_for_deletion">
                <state id="init">
                    <transition event="delete_me" target=".">
                        <script>
                            print("DELETING CHILD")
                        </script>
                        <parameter name="assoc_name"/>
                        <raise event="delete_instance" scope="cd">
                            <parameter expr="assoc_name"/>
                        </raise>
                    </transition>
                </state>
            </state>
        </parallel>
    </scxml>
</class>