1 files changed, 75 insertions, 0 deletions
diff --git a/test/samples/w3c/tests/test504.scxml b/test/samples/w3c/tests/test504.scxml
new file mode 100644
index 0000000..6e2679b
--- /dev/null
+++ b/test/samples/w3c/tests/test504.scxml
@@ -0,0 +1,75 @@
+<?xml version="1.0" encoding="UTF-8"?><!-- test that an external transition exits all states up the the LCCA --><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 -->
+  <data id="Var5" expr="0"/>  <!-- how often we have exited s2  -->
+  </datamodel>
+    
+ <state id="s1">
+   <onentry>
+    <raise event="foo"/>
+    <raise event="bar"/>
+    </onentry>
+   <transition target="p"/>
+   </state>
+   
+<state id="s2">
+	 <onexit>
+	 	<assign location="Var5" expr="Var5 + 1"/>
+	 	</onexit>
+
+<parallel id="p">
+  <onexit>
+    <assign location="Var1" expr="Var1 + 1"/>
+    </onexit>
+  <transition event="foo" 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="s3"/>
+  <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>
+  
+<state id="s3">
+  <!-- make sure that p was exited twice -->
+    <transition cond="Var1==2" target="s4"/>
+    <transition target="fail"/>
+ </state> 
+ 
+<state id="s4">
+  <!-- make sure that ps1 was exited twice -->
+    <transition cond="Var2==2" target="s5"/>
+    <transition target="fail"/>
+ </state> 
+  
+<state id="s5">
+  <!-- make sure that ps2 was exited twice -->
+    <transition cond="Var3==2" target="s6"/>
+    <transition target="fail"/>
+ </state>
+ 
+<state id="s6">
+	<!-- make sure that s1 was exited once -->
+	<transition cond="Var5==1" 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