test_instate.xml 1.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243
  1. <test>
  2. <statechart>
  3. <root>
  4. <parallel id="p">
  5. <state id="o0" initial="a">
  6. <state id="a">
  7. <transition port="in" event="try" target="../b" cond='@in("/p/o1/d")'>
  8. <raise port="out" event="yes"/>
  9. </transition>
  10. <transition port="in" event="try" target="." cond='not @in("/p/o1/d")'>
  11. <raise port="out" event="no"/>
  12. </transition>
  13. </state>
  14. <state id="b">
  15. </state>
  16. </state>
  17. <state id="o1" initial="c">
  18. <state id="c">
  19. <transition port="in" event="to_d" target="../d"/>
  20. </state>
  21. <state id="d">
  22. </state>
  23. </state>
  24. </parallel>
  25. </root>
  26. </statechart>
  27. <input>
  28. <event port="in" name="try" time="0 d"/>
  29. <event port="in" name="to_d" time="1 s"/>
  30. <event port="in" name="try" time="2 s"/>
  31. </input>
  32. <output>
  33. <big_step>
  34. <event port="out" name="no"/>
  35. </big_step>
  36. <big_step>
  37. <event port="out" name="yes"/>
  38. </big_step>
  39. </output>
  40. </test>