test_history.xml 1.6 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162
  1. <test>
  2. <!-- based on test originally written by Glenn De Jonghe -->
  3. <statechart>
  4. <inport name="in">
  5. <event name="to_state_2"/>
  6. <event name="to_state_3"/>
  7. </inport>
  8. <outport name="out">
  9. <event name="in_state_1"/>
  10. <event name="in_state_2"/>
  11. <event name="in_state_3"/>
  12. </outport>
  13. <root initial="composite_1">
  14. <state id="composite_1" initial="state_1">
  15. <state id="state_1">
  16. <onentry>
  17. <raise event="in_state_1"/>
  18. </onentry>
  19. <transition event="to_state_2" target="../state_2"/>
  20. </state>
  21. <state id="state_2">
  22. <onentry>
  23. <raise event="in_state_2"/>
  24. </onentry>
  25. </state>
  26. <history id="composite_history">
  27. <!-- <transition target="../state_1"/> -->
  28. </history>
  29. <transition event="to_state_3" target="../state_3"/>
  30. </state>
  31. <state id="state_3">
  32. <onentry>
  33. <raise event="in_state_3"/>
  34. </onentry>
  35. <transition target="/composite_1/composite_history"/>
  36. </state>
  37. </root>
  38. </statechart>
  39. <input>
  40. <event port="in" name="to_state_2" time="0 d"/>
  41. <event port="in" name="to_state_3" time="0 d"/>
  42. </input>
  43. <output>
  44. <big_step>
  45. <!-- initialization -->
  46. <event port="out" name="in_state_1"/>
  47. </big_step>
  48. <big_step>
  49. <!-- big step with input 'to_state_2' -->
  50. <event port="out" name="in_state_2"/>
  51. </big_step>
  52. <big_step>
  53. <!-- big step with input 'to_state_3' -->
  54. <event port="out" name="in_state_3"/>
  55. <event port="out" name="in_state_2"/>
  56. </big_step>
  57. </output>
  58. </test>