summaryrefslogtreecommitdiffstats
path: root/test/samples/w3c/xpath/test329.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/test329.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/test329.scxml')
-rw-r--r--test/samples/w3c/xpath/test329.scxml53
1 files changed, 0 insertions, 53 deletions
diff --git a/test/samples/w3c/xpath/test329.scxml b/test/samples/w3c/xpath/test329.scxml
deleted file mode 100644
index ad62f10..0000000
--- a/test/samples/w3c/xpath/test329.scxml
+++ /dev/null
@@ -1,53 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?><!-- test that none of the system variables can be modified --><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" name="machineName">
- <datamodel>
- <data id="Var1"/>
- <data id="Var2"/>
- <data id="Var3"/>
- <data id="Var4"/>
- </datamodel>
-
- <state id="s0">
- <onentry>
- <!-- get _event bound so we can use it in s1-->
- <raise event="foo"/>
- <assign location="$Var1" expr="$_sessionid"/>
- <assign location="$_sessionid" expr="27"/>
- </onentry>
-
- <transition event="foo" cond="$Var1=$_sessionid" target="s1"/>
- <transition event="*" target="fail"/>
- </state>
-
- <state id="s1">
- <onentry>
- <assign location="$Var2" expr="$_event"/>
- <assign location="$_event" expr="27"/>
- </onentry>
- <transition cond="$Var2=$_event" target="s2"/>
- <transition target="fail"/>
- </state>
-
-<state id="s2">
- <onentry>
- <assign location="$Var3" expr="$_name"/>
- <assign location="$_name" expr="27"/>
- </onentry>
- <transition cond="$Var3=$_name" target="s3"/>
- <transition target="fail"/>
- </state>
-
-
-<state id="s3">
- <onentry>
- <assign location="$Var4" expr="$_ioprocessors"/>
- <assign location="$_ioprocessors" expr="27"/>
- </onentry>
- <transition cond="$Var4=$_ioprocessors" 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