Major refactoring

- Moved tests
- Changes to promela datamodel
- Implemented Trie

1 files changed, 27 insertions, 0 deletions

diff --git a/test/w3c/xpath/test178.scxml b/test/w3c/xpath/test178.scxml
new file mode 100644
index 0000000..86922d1
--- /dev/null
+++ b/test/w3c/xpath/test178.scxml
@@ -0,0 +1,27 @@
+<?xml version="1.0" encoding="UTF-8"?><!-- we test that multiple key/value pairs are included, even when the keys are the same.
+This is a manual test.  The tester must look at the log output and verify that both
+keys are there.  (This test uses the SCXML Event I/O processor, which is the only
+one that all platforms must support.  It does not specify the message format, so 
+we cannot test _event.raw directly.  Therefore we print it out for visual 
+inspection.) --><scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" version="1.0" datamodel="xpath">
+  
+<state id="s0">
+  <onentry>
+   <send event="event1">
+    <param name="Var1" expr="2"/>
+    <param name="Var1" expr="3"/>
+    </send>
+     </onentry>
+
+  <transition event="event1" target="final">
+   <log label="_event " expr="$_event/raw/text()"/>
+   </transition>
+  <transition event="*" target="fail"/>
+ 
+ </state>
+
+
+<final id="final"/>
+<final id="fail"><onentry><log label="Outcome" expr="'fail'"/></onentry></final>
+
+</scxml>
\ No newline at end of file