jonathanvdc
/
modelverse
відгалужено від yentl/modelverse


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174
							<class name="UserStatechart">
    <relationships>
        <association name="parent" class="MvKController" min="1" max="1"/>
    </relationships>
    <constructor>
        <parameter name="username"/>
        <parameter name="mvk" />
        <body>
            <![CDATA[
            self.username = username
            self.mvk = mvk

            self.output_queue = []
            self.source_execution = None

            self.request_id = 0
            self.outstanding_execution = None
            self.outstanding_input = {}
            self.outstanding_output = None
            ]]>
        </body>
    </constructor>
    <scxml initial="init">
        <state id="init">
            <transition event="set_returnpath" target="../running">
                <parameter name="returnpath"/>
                <script>
                    self.returnpath = returnpath
                </script>
            </transition>
        </state>

        <parallel id="running">
            <state id="execution" initial="executing">
                <state id="executing" initial="executing">
                    <state id="executing">
                        <onentry>
                            <raise event="execute" scope="narrow" target="'parent/executor'">
                                <parameter expr="self.returnpath"/>
                                <parameter expr="self.username"/>
                                <parameter expr="'execute_rule'"/>
                                <parameter expr="[]"/>
                                <parameter expr="self.request_id"/>
                            </raise>
                            <script>
                                self.outstanding_execution = self.request_id
                                self.request_id += 1
                            </script>
                        </onentry>
                        <transition event="executed" cond="success and self.outstanding_execution == request_id" target=".">
                            <parameter name="returnvalue"/>
                            <parameter name="success"/>
                            <parameter name="request_id"/>
                        </transition>
                        <transition event="executed" cond="not success and self.outstanding_execution == request_id" target="../timeout">
                            <parameter name="returnvalue"/>
                            <parameter name="success"/>
                            <parameter name="request_id"/>
                        </transition>
                    </state>

                    <state id="timeout">
                        <transition after="1.0" target="../executing"/>
                        <transition event="set_input_done" target="../executing"/>
                    </state>
                    
                    <transition target="../paused" event="pause">
                        <parameter name="source"/>
                        <parameter name="args"/>
                        <raise event="HTTP_input" scope="narrow" target="'parent/to_mvi/' + source">
                            <parameter expr="json.dumps({'user': self.username, 'state': 'paused', 'info': self.mvk.debug_info})"/>
                        </raise>
                    </transition>
                </state>
                <state id="paused">
                    <transition target="../executing" event="resume">
                        <parameter name="source"/>
                        <parameter name="args"/>
                        <raise event="HTTP_input" scope="narrow" target="'parent/to_mvi/' + source">
                            <parameter expr="json.dumps({'user': self.username, 'state': 'running'})"/>
                        </raise>
                    </transition>
                </state>
            </state>

            <state id="set_input" initial="fetch">
                <state id="fetch">
                    <transition event="set_input" target=".">
                        <parameter name="source"/>
                        <parameter name="args"/>
                        <raise event="execute" scope="narrow" target="'parent/executor'">
                            <parameter expr="self.returnpath"/>
                            <parameter expr="self.username"/>
                            <parameter expr="'set_input'"/>
                            <parameter expr="args"/>
                            <parameter expr="self.request_id"/>
                        </raise>
                        <script>
                            if source is not None:
                                self.outstanding_input[self.request_id] = source
                                self.request_id += 1
                        </script>
                    </transition>
                    <transition event="executed" cond="request_id in self.outstanding_input" target=".">
                        <parameter name="returnvalue"/>
                        <parameter name="success"/>
                        <parameter name="request_id"/>
                        <script>
                            source = self.outstanding_input.pop(request_id)
                        </script>
                        <raise event="HTTP_input" scope="narrow" target="'parent/to_mvi/' + source">
                            <parameter expr="json.dumps(returnvalue)"/>
                        </raise>
                        <raise event="set_input_done"/>
                    </transition>
                </state>
            </state>

            <state id="get_output_queue">
                <state id="waiting">
                    <transition event="get_output" target=".">
                        <parameter name="source"/>
                        <parameter name="args"/>
                        <script>
                            self.output_queue.append(source)
                        </script>
                    </transition>
                </state>
            </state>

            <state id="get_output" initial="try_execute">
                <state id="try_execute">
                    <transition cond="self.outstanding_output is None and self.output_queue" target=".">
                        <raise event="execute" scope="narrow" target="'parent/executor'">
                            <parameter expr="self.returnpath"/>
                            <parameter expr="self.username"/>
                            <parameter expr="'get_output'"/>
                            <parameter expr="[]"/>
                            <parameter expr="self.request_id"/>
                        </raise>
                        <script>
                            self.outstanding_output = self.request_id
                            self.request_id += 1
                        </script>
                    </transition>
                    <transition event="executed" cond="success and request_id == self.outstanding_output" target=".">
                        <parameter name="returnvalue"/>
                        <parameter name="success"/>
                        <parameter name="request_id"/>
                        <raise event="HTTP_input" scope="narrow" target="'parent/to_mvi/' + self.output_queue.pop(0)">
                            <parameter expr="json.dumps(returnvalue)"/>
                        </raise>
                        <script>
                            self.outstanding_output = None
                        </script>
                    </transition>
                    <transition event="executed" cond="not success and request_id == self.outstanding_output" target="../waiting">
                        <parameter name="returnvalue"/>
                        <parameter name="success"/>
                        <parameter name="request_id"/>
                        <script>
                            self.outstanding_output = None
                        </script>
                    </transition>
                </state>

                <state id="waiting">
                    <transition after="1.0" target="../try_execute"/>
                </state>
            </state>
        </parallel>
    </scxml>
</class>