summaryrefslogtreecommitdiffstats
path: root/test/w3c/xpath/test186.scxml
diff options
context:
space:
mode:
authorStefan Radomski <radomski@tk.informatik.tu-darmstadt.de>2014-04-22 14:02:03 (GMT)
committerStefan Radomski <radomski@tk.informatik.tu-darmstadt.de>2014-04-22 14:02:03 (GMT)
commit1fb6bcf30f954e426f2d3002d14887574fb941dd (patch)
tree08cff7f2b879c50efe79e3c04d255075522af862 /test/w3c/xpath/test186.scxml
parent71c334bf4e35559496feac3f3cf00b72ceb88812 (diff)
downloaduscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.zip
uscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.tar.gz
uscxml-1fb6bcf30f954e426f2d3002d14887574fb941dd.tar.bz2
Major refactoring
- Moved tests - Changes to promela datamodel - Implemented Trie
Diffstat (limited to 'test/w3c/xpath/test186.scxml')
-rw-r--r--test/w3c/xpath/test186.scxml31
1 files changed, 31 insertions, 0 deletions
diff --git a/test/w3c/xpath/test186.scxml b/test/w3c/xpath/test186.scxml
new file mode 100644
index 0000000..8353bf2
--- /dev/null
+++ b/test/w3c/xpath/test186.scxml
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8"?><!-- we test that <send> evals its args when it is evaluated, not when the delay interval expires and the
+message is actually sent. If it does, aParam will have the value of 1 (even though var1 has been incremented
+in the interval.) If var2 ends up == 1, we pass. Otherwise we fail --><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">
+<datamodel>
+ <data id="Var1" expr="1"/>
+ <data id="Var2"/>
+ </datamodel>
+
+<state id="s0">
+ <onentry>
+ <send event="event1" delay="2s">
+ <param name="aParam" expr="$Var1/text()"/>
+ </send>
+ <assign location="$Var1" expr="2"/>
+ </onentry>
+
+ <transition event="event1" target="s1">
+ <assign location="$Var2" expr="$_event/data/data[@id='aParam']/text()"/>
+ </transition>
+ <transition event="*" target="fail"/>
+ </state>
+
+<state id="s1">
+ <transition cond="$Var2/text() =1" target="pass"/>
+ <transition 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