test_nested_absolute.xml 771 B

123456789101112131415161718192021222324252627282930313233343536373839
  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. <state id="b">
  13. <state id="c">
  14. <transition target="/d/e/f"/>
  15. </state>
  16. </state>
  17. </state>
  18. <state id="d">
  19. <state id="e">
  20. <state id="f">
  21. <onentry>
  22. <raise event="done" port="out"/>
  23. </onentry>
  24. </state>
  25. </state>
  26. </state>
  27. </root>
  28. </statechart>
  29. <input>
  30. <event port="in" name="start" time="0 d"/>
  31. </input>
  32. <output>
  33. <big_step>
  34. <event port="out" name="done"/>
  35. </big_step>
  36. </output>
  37. </test>