statechart_fig7_dialer.xml 439 B

12345678910111213141516171819
  1. <?xml version="1.0" ?>
  2. <statechart>
  3. <semantics input_event_lifeline="whole"/>
  4. <datamodel>
  5. <var id="c" expr="0"/>
  6. </datamodel>
  7. <root initial="D">
  8. <state id="D">
  9. <transition port="in" event="dial(d:int)" cond="c &lt; 10" target=".">
  10. <code> c += 1; </code>
  11. <raise port="out" event="out">
  12. <!-- <parameter expr="d"/> -->
  13. </raise>
  14. </transition>
  15. </state>
  16. </root>
  17. </statechart>