yentl
/
modelverse_GUI


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622
							<class name="ActivityExecutor">
    <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="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.output_frame = tk.Frame(self)
            self.exec_frame = tk.Frame(self)

            self.activity_frame.pack()
            tk.Label(self, text="Inputs").pack()
            self.input_frame.pack()
            tk.Label(self, text="Outputs").pack()
            self.output_frame.pack()
            self.exec_frame.pack()

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

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

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

    <scxml initial="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': 'Activity'}"/>
                        </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 activity'}"/>
                        </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('EXECUTE'), 'tooltip_text': 'Execute the activity'}"/>
                        </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()
                        </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_') or event_name.startswith('output_')" target="../browse_model">
                    <parameter name="event_name"/>
                    <script>
                        self.current = event_name
                        if event_name.startswith('input_'):
                            self.required_type = [self.input_signature[event_name.split("input_", 1)[1]]]
                        else:
                            # We will overwrite the model anyway, so doesn't matter what it is!
                            self.required_type = None
                    </script>
                </transition>
                <transition event="changed_entry" target=".">
                    <parameter name="event_name"/>
                    <parameter name="value"/>
                    <script>
                        if event_name.startswith('input_'):
                            self.exec_input_signature[event_name.split("input_", 1)[1]] = value
                        else:
                            self.exec_output_signature[event_name.split("output_", 1)[1]] = value
                    </script>
                </transition>
                <transition event="button_pressed" cond="event_name == 'execute'" target="../execute">
                    <parameter name="event_name"/>
                </transition>
            </state>

            <state id="execute" initial="check_args">
                <state id="check_args">
                    <onentry>
                        <raise event="change_bg" scope="narrow" target="[self.stored_associations['input_%s' % i] for i in self.input_signature.keys()]">
                            <parameter expr="'light grey'"/>
                        </raise>
                    </onentry>
                    <transition cond="set(self.exec_input_signature.keys()) == set(self.input_signature.keys())" target="../execute">
                        <raise event="disable" scope="narrow" target="'model_browse_entry'"/>
                    </transition>
                    <transition cond="set(self.exec_input_signature.keys()) != set(self.input_signature.keys())" target="../../ready">
                        <script>
                            actual = set(self.exec_input_signature.keys())
                            formal = set(self.input_signature.keys())
                            missing = formal - actual
                            print("Missing input values for: " + str(missing))
                        </script>
                        <raise event="change_bg" scope="narrow" target="[self.stored_associations['input_%s' % i] for i in missing]">
                            <parameter expr="'red'"/>
                        </raise>
                    </transition>
                </state>

                <state id="execute">
                    <onentry>
                        <script>
                            print("Executing activity %s" % self.activity)
                            print("   Inputs  " + str(self.exec_input_signature))
                            print("   Outputs " + str(self.exec_output_signature))
                        </script>

                        <raise event="mv_request" scope="broad">
                            <parameter expr="'transformation_execute'"/>
                            <parameter expr="[self.activity, self.exec_input_signature, self.exec_output_signature]"/>
                        </raise>
                    </onentry>

                    <transition event="mv_response" target="../in_context">
                        <parameter name="context"/>
                        <script>
                            self.current_context = context
                        </script>
                    </transition>
                </state>

                <state id="in_context">
                    <!-- TODO Add data_input and data_output -->
                    <onentry>
                        <script>
                            print("Waiting in context: " + str(self.current_context))
                        </script>
                    </onentry>

                    <onexit>
                        <script>
                            print("Finished context: " + str(self.current_context))
                        </script>
                    </onexit>

                    <transition event="mv_response" cond="result == True" target="../alter_context_result">
                        <parameter name="result"/>
                    </transition>
                    <transition event="mv_response" cond="result == False" target="../../ready">
                        <parameter name="result"/>
                    </transition>
                </state>

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

                    <state id="add">
                        <onentry>
                            <script>
                                tag, model = self.exec_output_signature.popitem()
                                metamodel = self.output_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 event="mv_response" 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 activity to execute.'"/>
                            <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="'transformation_signature'"/>
                            <parameter expr="[self.activity]"/>
                        </raise>
                    </onentry>

                    <transition event="mv_response" target="../add_input">
                        <parameter name="result"/>
                        <script>
                            self.input_signature, self.output_signature = result
                            self.input_signature_iter = dict(self.input_signature)
                            self.output_signature_iter = dict(self.output_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="../../add_output"/>
                    </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 id="add_output" initial="check_next">
                    <onentry>
                        <script>
                            self.counter = -1
                        </script>
                    </onentry>

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

                    <state id="create_label">
                        <onentry>
                            <raise event="create_instance" scope="cd">
                                <parameter expr="'model_browse_label'"/>
                                <parameter expr="'Label'"/>
                                <parameter expr="{'parent': self.output_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.output_frame, 'name': 'output_%s' % self.current[0], '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["output_%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.output_frame, 'visual': TextVisual('...'), 'tooltip_text': 'Select output model for tag %s.' % self.current[0], 'event_parameters': 'output_%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
                            else:
                                self.exec_output_signature[self.current.split("output_", 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>
                </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>
    </scxml>
</class>