summaryrefslogtreecommitdiffstats
path: root/test/samples/w3c/xpath/test518.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/samples/w3c/xpath/test518.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/samples/w3c/xpath/test518.scxml')
-rw-r--r--test/samples/w3c/xpath/test518.scxml20
1 files changed, 0 insertions, 20 deletions
diff --git a/test/samples/w3c/xpath/test518.scxml b/test/samples/w3c/xpath/test518.scxml
deleted file mode 100644
index c79aa5d..0000000
--- a/test/samples/w3c/xpath/test518.scxml
+++ /dev/null
@@ -1,20 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?><!-- test that that namelist values get encoded as POST parameters. --><scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" datamodel="xpath" version="1.0">
-<datamodel>
- <data id="Var1" expr="2"/>
- </datamodel>
-
-<state id="s0">
- <onentry>
- <send event="timeout" delay="30s"/>
- <send event="test" targetexpr="$_ioprocessors/processor[@name=&#34;http://www.w3.org/TR/scxml/#BasicHTTPEventProcessor&#34;]/location/text()" namelist="$Var1" type="http://www.w3.org/TR/scxml/#BasicHTTPEventProcessor"/>
- </onentry>
-
- <transition event="test" cond="contains($_event/raw, 'Var1=2')" 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