1234567891011121314151617181920212223242526272829303132333435363738 |
- <?xml version="1.0" ?>
- <diagram author="Simon Van Mierlo" name="Timer (Threaded Version)">
- <inport name="input" />
- <outport name="output" />
- <class name="MainApp" default="true">
- <scxml initial="running">
- <state id="running">
- <transition target="." after="0.05">
- <raise event="time_update" port="output">
- <parameter expr="self.getSimulatedTime()" />
- <parameter expr="self.getWallClockTime()" />
- </raise>
- </transition>
- <transition target="../interrupted" event="interrupt" port="input">
- <raise event="time_update" port="output">
- <parameter expr="self.getSimulatedTime()" />
- <parameter expr="self.getWallClockTime()" />
- </raise>
- </transition>
- </state>
- <state id="interrupted">
- <transition target="." event="interrupt" port="input">
- <raise event="time_update" port="output">
- <parameter expr="self.getSimulatedTime()" />
- <parameter expr="self.getWallClockTime()" />
- </raise>
- </transition>
- <transition target="../running" event="continue" port="input">
- <raise event="time_update" port="output">
- <parameter expr="self.getSimulatedTime()" />
- <parameter expr="self.getWallClockTime()" />
- </raise>
- </transition>
- </state>
- </scxml>
- </class>
- </diagram>
|