summaryrefslogtreecommitdiffstats
path: root/test/w3c/promela/test150.scxml
diff options
context:
space:
mode:
authorStefan Radomski <sradomski@mintwerk.de>2015-07-08 20:03:03 (GMT)
committerStefan Radomski <sradomski@mintwerk.de>2015-07-08 20:03:03 (GMT)
commit57ba362eae6e8209cf560555fd4cc4bb76dbe2a1 (patch)
tree00a2e2c5fd6993a5ee118df147cae3ef6e9cca9a /test/w3c/promela/test150.scxml
parentf02d7e5919f16d8396839fcff1e0588d6ccf3004 (diff)
downloaduscxml-57ba362eae6e8209cf560555fd4cc4bb76dbe2a1.zip
uscxml-57ba362eae6e8209cf560555fd4cc4bb76dbe2a1.tar.gz
uscxml-57ba362eae6e8209cf560555fd4cc4bb76dbe2a1.tar.bz2
done.event bug and prolog tests
Fixed the done.event bug and added first prolog transformed IRP tests
Diffstat (limited to 'test/w3c/promela/test150.scxml')
-rw-r--r--test/w3c/promela/test150.scxml80
1 files changed, 42 insertions, 38 deletions
diff --git a/test/w3c/promela/test150.scxml b/test/w3c/promela/test150.scxml
index 6e97c46..3816c3e 100644
--- a/test/w3c/promela/test150.scxml
+++ b/test/w3c/promela/test150.scxml
@@ -1,41 +1,45 @@
-<?xml version="1.0" encoding="UTF-8"?><!-- test that foreach causes a new variable to be declared if 'item' doesn't already exist. Also
-test that it will use an existing var if it does exist. --><scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" datamodel="promela" version="1.0">
-<datamodel>
- <data id="Var1" type="int"/>
- <data id="Var2" type="int"/>
- <data id="Var3" type="int[3]">
+<?xml version="1.0" encoding="UTF-8"?>
+<!-- test that foreach causes a new variable to be declared if 'item' doesn't already exist. Also
+test that it will use an existing var if it does exist. -->
+<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" datamodel="promela" version="1.0">
+ <datamodel>
+ <data id="Var1" type="int"/>
+ <data id="Var2" type="int"/>
+ <data id="Var3" type="int[3]">
[1,2,3]
</data>
</datamodel>
-
- <state id="s0">
- <onentry>
-<!-- first use declared variables -->
- <foreach item="Var1" index="Var2" array="Var3"/>
- <raise event="foo"/>
- </onentry>
- <transition event="error" target="fail"/>
- <transition event="*" target="s1"/>
- </state>
-
-<state id="s1">
- <onentry>
-<!-- now use undeclared variables -->
- <foreach item="Var4" index="Var5" array="Var3"/>
- <raise event="bar"/>
- </onentry>
- <transition event="error" target="fail"/>
- <transition event="*" target="s2"/>
- </state>
-
-<state id="s2">
- <!-- check that var4 is bound -->
- <transition cond="Var4" target="pass"/>
- <transition target="fail"/>
- </state>
- <final xmlns:scxml="http://www.w3.org/2005/07/scxml" id="pass"><onentry><log label="Outcome" expr="'pass'"/></onentry></final>
- <final xmlns:scxml="http://www.w3.org/2005/07/scxml" id="fail"><onentry><log label="Outcome" expr="'fail'"/></onentry></final>
-
-
-
-</scxml> \ No newline at end of file
+ <state id="s0">
+ <onentry>
+ <!-- first use declared variables -->
+ <foreach item="Var1" index="Var2" array="Var3"/>
+ <raise event="foo"/>
+ </onentry>
+ <transition event="error" target="fail"/>
+ <transition event="*" target="s1"/>
+ </state>
+ <state id="s1">
+ <onentry>
+ <!-- now use undeclared variables -->
+ <foreach item="Var4" index="Var5" array="Var3"/>
+ <raise event="bar"/>
+ </onentry>
+ <transition event="error" target="fail"/>
+ <transition event="*" target="s2"/>
+ </state>
+ <state id="s2">
+ <!-- check that var4 is bound -->
+ <transition cond="Var4" target="pass"/>
+ <transition target="fail"/>
+ </state>
+ <final xmlns:scxml="http://www.w3.org/2005/07/scxml" id="pass">
+ <onentry>
+ <log label="Outcome" expr="'pass'"/>
+ </onentry>
+ </final>
+ <final xmlns:scxml="http://www.w3.org/2005/07/scxml" id="fail">
+ <onentry>
+ <log label="Outcome" expr="'fail'"/>
+ </onentry>
+ </final>
+</scxml>