test_import.xml 727 B

123456789101112131415161718192021222324252627282930313233343536373839
  1. <?xml version="1.0" ?>
  2. <test>
  3. <statechart>
  4. <datamodel><![CDATA[
  5. import sccd.action_lang.lib.demo_native_lib;
  6. ok = (meaning_of_life() == 42);
  7. ]]></datamodel>
  8. <inport name="in">
  9. <event name="start"/>
  10. </inport>
  11. <outport name="out">
  12. <event name="ok"/>
  13. </outport>
  14. <root initial="ready">
  15. <state id="ready">
  16. <transition event="start" target="../final"
  17. cond="ok">
  18. <raise event="ok"/>
  19. </transition>
  20. </state>
  21. <state id="final"/>
  22. </root>
  23. </statechart>
  24. <input>
  25. <event port="in" name="start" time="0 d"/>
  26. </input>
  27. <output>
  28. <big_step>
  29. <event port="out" name="ok"/>
  30. </big_step>
  31. </output>
  32. </test>