Major refactoring

- Moved tests
- Changes to promela datamodel
- Implemented Trie

1 files changed, 45 insertions, 0 deletions

diff --git a/test/w3c/ecma/test570.scxml b/test/w3c/ecma/test570.scxml
new file mode 100644
index 0000000..2f5ccbe
--- /dev/null
+++ b/test/w3c/ecma/test570.scxml
@@ -0,0 +1,45 @@
+<?xml version="1.0" encoding="UTF-8"?><!-- test that we generate done.state.id when all a parallel state's children are in final states --><scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="p0" datamodel="ecmascript" version="1.0">
+  <datamodel>
+    <data id="Var1" expr="0"/>
+    </datamodel>
+<parallel id="p0">
+  <onentry>
+   <send event="timeout" delay="2s"/>
+   <raise event="e1"/>
+   <raise event="e2"/>
+   </onentry>
+   <!-- record that we get the first done event -->
+   <transition event="done.state.p0s1">
+     <assign location="Var1" expr="1"/>
+     </transition>
+   <!-- we should get the second done event before done.state.p0 -->
+   <transition event="done.state.p0s2" target="s1"/>
+   <transition event="timeout" target="fail"/>
+
+   
+   <state id="p0s1" initial="p0s11">
+    <state id="p0s11">
+      <transition event="e1" target="p0s1final"/>
+      </state>
+    <final id="p0s1final"/>
+   </state>
+   
+  <state id="p0s2" initial="p0s21">
+    <state id="p0s21">
+       <transition event="e2" target="p0s2final"/>
+     </state>
+    <final id="p0s2final"/>
+   </state>
+  
+ </parallel>
+ 
+ <state id="s1">
+  <!-- if we get done.state.p0, success -->
+  <transition event="done.state.p0" cond="Var1==1" target="pass"/>
+  <transition event="*" target="fail"/>
+  </state>
+   
+   <final id="pass"><onentry><log label="Outcome" expr="'pass'"/></onentry></final>
+   <final id="fail"><onentry><log label="Outcome" expr="'fail'"/></onentry></final>
+
+</scxml>
\ No newline at end of file