Major refactoring

- Moved tests
- Changes to promela datamodel
- Implemented Trie

1 files changed, 33 insertions, 0 deletions

diff --git a/test/w3c/ecma/test187.scxml b/test/w3c/ecma/test187.scxml
new file mode 100644
index 0000000..d03c16d
--- /dev/null
+++ b/test/w3c/ecma/test187.scxml
@@ -0,0 +1,33 @@
+<?xml version="1.0" encoding="UTF-8"?><!-- we test that delayed <send> is not sent if the sending session terminates.  In this case,
+a subscript is invoked which sends the event childToParent delayed by 1 second, and then terminates.  The
+parent session, should not receive childToParent. If it does, we fail.  Otherwise the 
+10 sec timer expires and we pass --><scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" version="1.0" datamodel="ecmascript">
+
+  
+<state id="s0">
+    <onentry>
+      <send event="timeout" delay="10s"/>
+      </onentry>
+    <invoke type="scxml">
+    <content>
+      <!-- exit before the delayed send can execute -->
+         <scxml initial="sub0" version="1.0" datamodel="ecmascript">
+           <state id="sub0">
+              <onentry>
+                <send event="childToParent" target="#_parent" delay="1s"/>
+            </onentry>
+          <transition target="subFinal"/>
+          </state>
+      <final id="subFinal"/>
+    </scxml>
+    </content>
+   </invoke>
+   
+    <transition event="childToParent" target="fail"/>
+    <transition event="timeout" target="pass"/>
+</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