test_flat_absolute.xml 583 B

12345678910111213141516171819202122232425262728293031
  1. <?xml version="1.0" ?>
  2. <test>
  3. <statechart>
  4. <inport name="in">
  5. <event name="start"/>
  6. </inport>
  7. <outport name="out">
  8. <event name="done"/>
  9. </outport>
  10. <root initial="a">
  11. <state id="a">
  12. <transition target="/b"/>
  13. </state>
  14. <state id="b">
  15. <onentry>
  16. <raise event="done" port="out"/>
  17. </onentry>
  18. </state>
  19. </root>
  20. </statechart>
  21. <input>
  22. <event port="in" name="start" time="0 d"/>
  23. </input>
  24. <output>
  25. <big_step>
  26. <event port="out" name="done"/>
  27. </big_step>
  28. </output>
  29. </test>