summaryrefslogtreecommitdiffstats
path: root/test/samples/w3c/txml/test176.txml
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/txml/test176.txml
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/txml/test176.txml')
-rw-r--r--test/samples/w3c/txml/test176.txml33
1 files changed, 0 insertions, 33 deletions
diff --git a/test/samples/w3c/txml/test176.txml b/test/samples/w3c/txml/test176.txml
deleted file mode 100644
index 8d084d4..0000000
--- a/test/samples/w3c/txml/test176.txml
+++ /dev/null
@@ -1,33 +0,0 @@
-<?xml version="1.0"?>
-<!-- we test that <param> uses the current value of var1, not its initial value. If the value of
-aParam in event1 is 2 so that var2 gets set to 2, success, otherwise failure -->
-
-<scxml initial="s0" version="1.0" conf:datamodel="" xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance">
-<datamodel>
- <data conf:id="1" conf:expr="1"/>
- <data conf:id="2"/>
- </datamodel>
-
-<state id="s0">
- <onentry>
- <assign conf:location="1" conf:expr="2"/>
- <send event="event1">
- <param name="aParam" conf:varExpr="1"/>
- </send>
- </onentry>
-
- <transition event="event1" target="s1">
- <assign conf:location="2" conf:eventDataFieldValue="aParam"/>
- </transition>
- <transition event="*" conf:targetfail=""/>
- </state>
-
-<state id="s1">
- <transition conf:idVal="2=2" conf:targetpass=""/>
- <transition conf:targetfail=""/>
- </state>
-
- <conf:pass/>
- <conf:fail/>
-
-</scxml> \ No newline at end of file