summaryrefslogtreecommitdiffstats
path: root/test/w3c/ecma/test533.scxml
diff options
context:
space:
mode:
Diffstat (limited to 'test/w3c/ecma/test533.scxml')
-rw-r--r--test/w3c/ecma/test533.scxml62
1 files changed, 62 insertions, 0 deletions
diff --git a/test/w3c/ecma/test533.scxml b/test/w3c/ecma/test533.scxml
new file mode 100644
index 0000000..a4550e3
--- /dev/null
+++ b/test/w3c/ecma/test533.scxml
@@ -0,0 +1,62 @@
+<?xml version="1.0" encoding="UTF-8"?><!-- test that an internal transition whose source state is not compound does exit its source state --><scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s1" version="1.0" datamodel="ecmascript">
+<datamodel>
+ <data id="Var1" expr="0"/> <!-- how often we have exited p -->
+ <data id="Var2" expr="0"/> <!-- how often we have exited ps1 -->
+ <data id="Var3" expr="0"/> <!-- how often we have exited ps2 -->
+ <data id="Var4" expr="0"/> <!-- how often the transition for foo has been taken -->
+ </datamodel>
+
+ <state id="s1">
+ <onentry>
+ <raise event="foo"/>
+ <raise event="bar"/>
+ </onentry>
+ <transition target="p"/>
+ </state>
+
+<parallel id="p">
+ <onexit>
+ <assign location="Var1" expr="Var1 + 1"/>
+ </onexit>
+ <transition event="foo" type="internal" target="ps1">
+ <assign location="Var4" expr="Var4 + 1"/>
+ </transition>
+
+ <!-- make sure the transition on foo was actually taken -->
+ <transition event="bar" cond="Var4==1" target="s2"/>
+ <transition event="bar" target="fail"/>
+
+ <state id="ps1">
+ <onexit>
+ <assign location="Var2" expr="Var2 + 1"/>
+ </onexit>
+ </state>
+ <state id="ps2">
+ <onexit>
+ <assign location="Var3" expr="Var3 + 1"/>
+ </onexit>
+ </state>
+</parallel>
+
+<state id="s2">
+ <!-- make sure that p was exited twice -->
+ <transition cond="Var1==2" target="s3"/>
+ <transition target="fail"/>
+ </state>
+
+<state id="s3">
+ <!-- make sure that ps1 was exited twice -->
+ <transition cond="Var2==2" target="s4"/>
+ <transition target="fail"/>
+ </state>
+
+<state id="s4">
+ <!-- make sure that ps2 was exited twice -->
+ <transition cond="Var3==2" 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