test_no_id.xml 765 B

123456789101112131415161718192021222324252627282930
  1. <?xml version="1.0" ?>
  2. <test>
  3. <statechart>
  4. <semantics/>
  5. <datamodel/>
  6. <tree>
  7. <!-- At this time, states without id implicitly have id="".
  8. It seems to give no problems since every state in the hierarchy still
  9. has a globally unique name, '/' for root, '//' for the id-less child of root, etc.
  10. This may be changed in the future. -->
  11. <state>
  12. <state initial="">
  13. <state>
  14. <transition target="../b"/>
  15. </state>
  16. <state id="b">
  17. <onentry><raise event="ok" port="out"/></onentry>
  18. </state>
  19. </state>
  20. </state>
  21. </tree>
  22. </statechart>
  23. <output>
  24. <big_step>
  25. <event name="ok" port="out" />
  26. </big_step>
  27. </output>
  28. </test>