test_default.xml 1.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445
  1. <test>
  2. <!-- Entering a history state whose parent hasn't been exited before:
  3. should enter the parent's default state -->
  4. <statechart>
  5. <inport name="in">
  6. <event name="start"/>
  7. </inport>
  8. <outport name="out">
  9. <event name="s1"/>
  10. <event name="s2"/>
  11. </outport>
  12. <root initial="outer">
  13. <state id="outer">
  14. <transition target="/composite/history"/>
  15. </state>
  16. <state id="composite" initial="b">
  17. <state id="a"/>
  18. <state id="b" initial="s2">
  19. <state id="s1">
  20. <onentry>
  21. <raise event="s1"/>
  22. </onentry>
  23. </state>
  24. <state id="s2">
  25. <onentry>
  26. <raise event="s2"/>
  27. </onentry>
  28. </state>
  29. </state>
  30. <history id="history" type="shallow"/>
  31. </state>
  32. </root>
  33. </statechart>
  34. <input>
  35. <event port="in" name="start" time="0 d"/>
  36. </input>
  37. <output>
  38. <big_step>
  39. <event port="out" name="s2"/>
  40. </big_step>
  41. </output>
  42. </test>