Major refactoring

- Moved tests
- Changes to promela datamodel
- Implemented Trie

1 files changed, 0 insertions, 55 deletions

diff --git a/test/samples/w3c/ecma/test192.scxml b/test/samples/w3c/ecma/test192.scxml
deleted file mode 100644
index a74a05e..0000000
--- a/test/samples/w3c/ecma/test192.scxml
+++ /dev/null
@@ -1,55 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?><!-- we test that #_invokeid works as  a target of  <send> .  A child  script is invoked and sends us
-childToParent once its running.  Then we send it the event parentToChild using its invokeid as the target.  
-If it receives this event, it sends sends the event eventReceived to its parent session (ths session). 
-If we get this event, we pass, otherwise the child script eventually times out sends invoke.done and we fail.
-We also set a timeout in this process to make sure the test doesn't hang  --><scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" datamodel="ecmascript" version="1.0">
-  
-<state id="s0" initial="s01">
-  <onentry>
-   <send event="timeout" delay="5s"/>
-   </onentry>
-   
-  <invoke type="scxml" id="invokedChild">
-    <content>
-    <!-- let the parent session know we're running by sending childToParent, then wait for parentToChild.
-       If we get it, send eventReceived.  If we don't we eventually time out -->
-          <scxml initial="sub0" version="1.0" datamodel="ecmascript">
- 
-         <state id="sub0">
-            <onentry>
-           <send event="childToParent" target="#_parent"/>
-            <send event="timeout" delay="3s"/>
-          </onentry>
-    
-        <transition event="parentToChild" target="subFinal">
-          <send target="#_parent" event="eventReceived"/>
-         </transition>
-    
-          <transition event="timeout" target="subFinal"/>
-         </state>
-
-        <final id="subFinal"/>
-
-         </scxml>
-      </content>
-     </invoke>
-     
-  <transition event="timeout" target="fail"/> 
-  <transition event="done.invoke" target="fail"/>
-  
-<state id="s01">
-    <transition event="childToParent" target="s02">
-         <send target="#_invokedChild" event="parentToChild"/>
-     </transition>
-</state>
-
-<state id="s02">
-  <transition event="eventReceived" target="pass"/>
-  </state>
-
-</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