From 9ba649b087df2bc161759e55549facc2f8f80878 Mon Sep 17 00:00:00 2001
From: Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de>
Date: Sun, 12 Oct 2014 22:51:57 +0200
Subject: Passing all tests but xpath and lua

---
 test/ctest/CTestCustom.ctest.in |  2 ++
 test/w3c/confPromela.xsl        |  4 ++--
 test/w3c/convert-tests.sh       | 30 ++++++++++++++---------------
 test/w3c/ecma/test187.scxml     |  2 +-
 test/w3c/ecma/test252.scxml     |  4 ++--
 test/w3c/ecma/test307.scxml     |  2 +-
 test/w3c/ecma/test403c.scxml    |  6 +++---
 test/w3c/promela/test252.scxml  |  4 ++--
 test/w3c/promela/test307.scxml  |  2 +-
 test/w3c/promela/test338.scxml  |  4 ++--
 test/w3c/promela/test351.scxml  |  2 ++
 test/w3c/promela/test352.scxml  |  1 +
 test/w3c/promela/test551.scxml  | 42 +++++++++++++++++++++--------------------
 test/w3c/txml/test252.txml      |  4 ++--
 test/w3c/txml/test307.txml      |  4 ++--
 test/w3c/xpath/test252.scxml    |  4 ++--
 test/w3c/xpath/test307.scxml    |  2 +-
 17 files changed, 63 insertions(+), 56 deletions(-)

diff --git a/test/ctest/CTestCustom.ctest.in b/test/ctest/CTestCustom.ctest.in
index e26bbf2..03a3c33 100644
--- a/test/ctest/CTestCustom.ctest.in
+++ b/test/ctest/CTestCustom.ctest.in
@@ -24,6 +24,7 @@ set(CTEST_CUSTOM_TESTS_IGNORE
 	"fsm/ecma/test307.scxml" # manual test
 	"fsm/ecma/test415.scxml" # manual test
 	
+	"xpath/test388.scxml" # hangs
 	"xpath/test580.scxml" # hangs
   
   "promela/test178.scxml" # manual test
@@ -135,6 +136,7 @@ set(CTEST_CUSTOM_TESTS_IGNORE
   "spin/promela/test343.scxml" # test that illegal <param> produces error.execution
   "spin/promela/test347.scxml" # nested SCXML document with bidirectional SCXML ioprocessor
   "spin/promela/test351.scxml" # timeout with delay
+  "spin/promela/test352.scxml" # timeout with delay
   "spin/promela/test342.scxml" # timeout with delay
   "spin/promela/test388.scxml" # timeout with delay
   "spin/promela/test399.scxml" # timeout with delay
diff --git a/test/w3c/confPromela.xsl b/test/w3c/confPromela.xsl
index 1204d33..e9ff4ce 100644
--- a/test/w3c/confPromela.xsl
+++ b/test/w3c/confPromela.xsl
@@ -503,8 +503,8 @@ is the second argument -->
 	<xsl:attribute name="cond">return</xsl:attribute>
 </xsl:template>
 
-<!-- true if id has a value -->
-<xsl:template match="//@conf:isBound[//conf:array123]" priority="5">
+<!-- true if id has a value / need to be this specific 150, 151 vs 551 -->
+<xsl:template match="//@conf:isBound[//*:state[@id='s1']/*:datamodel/*:data/conf:array123]" priority="5">
 	<xsl:attribute name="cond">Var<xsl:value-of select="." />[1]</xsl:attribute>
 </xsl:template>
 
diff --git a/test/w3c/convert-tests.sh b/test/w3c/convert-tests.sh
index 48aa452..23010c7 100755
--- a/test/w3c/convert-tests.sh
+++ b/test/w3c/convert-tests.sh
@@ -5,19 +5,19 @@ cd $DIR
 TXMLS=`ls txml/*.txml`
 
 # see http://saxon.sourceforge.net/saxon6.5.1/using-xsl.html
-# for TXML in $TXMLS
-# do
-# 	DEST=ecma/`basename $TXML .txml`.scxml
-# 	echo "Processing $TXML to $DEST"
-# 	java -jar /Users/sradomski/Developer/Applications/SaxonHE9-4-0-7J/saxon9he.jar $TXML confEcma.xsl -o:$DEST
-# done
-#
-# for TXML in $TXMLS
-# do
-# 	DEST=xpath/`basename $TXML .txml`.scxml
-# 	echo "Processing $TXML to $DEST"
-# 	java -jar /Users/sradomski/Developer/Applications/SaxonHE9-4-0-7J/saxon9he.jar $TXML confXPath.xsl -o:$DEST
-# done
+for TXML in $TXMLS
+do
+	DEST=ecma/`basename $TXML .txml`.scxml
+	echo "Processing $TXML to $DEST"
+	java -jar /Users/sradomski/Developer/Applications/SaxonHE9-4-0-7J/saxon9he.jar $TXML confEcma.xsl -o:$DEST
+done
+
+for TXML in $TXMLS
+do
+	DEST=xpath/`basename $TXML .txml`.scxml
+	echo "Processing $TXML to $DEST"
+	java -jar /Users/sradomski/Developer/Applications/SaxonHE9-4-0-7J/saxon9he.jar $TXML confXPath.xsl -o:$DEST
+done
 
 for TXML in $TXMLS
 do
@@ -30,8 +30,8 @@ cp txml/*.txt ecma/
 cp txml/*.txt xpath/
 cp txml/*.txt promela/
 
-# find ./ecma -type f -exec grep -Ili 'datamodel="xpath"' {} \; |xargs rm -fv
-# find ./xpath -type f -exec grep -Ili 'datamodel="ecmascript"' {} \; |xargs rm -fv
+find ./ecma -type f -exec grep -Ili 'datamodel="xpath"' {} \; |xargs rm -fv
+find ./xpath -type f -exec grep -Ili 'datamodel="ecmascript"' {} \; |xargs rm -fv
 find ./promela -type f -exec grep -Ili 'datamodel="xpath"' {} \; |xargs rm -fv
 find ./promela -type f -exec grep -Ili 'datamodel="ecmascript"' {} \; |xargs rm -fv
 
diff --git a/test/w3c/ecma/test187.scxml b/test/w3c/ecma/test187.scxml
index 59b16ba..4b3e15e 100644
--- a/test/w3c/ecma/test187.scxml
+++ b/test/w3c/ecma/test187.scxml
@@ -6,7 +6,7 @@ parent session, should not receive childToParent. If it does, we fail.  Otherwis
 <scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" version="1.0" datamodel="ecmascript">
   <state id="s0">
     <onentry>
-      <send event="timeout" delay="1s"/>
+      <send event="timeout" delayexpr="'1s'"/>
     </onentry>
     <invoke type="scxml">
       <content>
diff --git a/test/w3c/ecma/test252.scxml b/test/w3c/ecma/test252.scxml
index 78c9315..f565a26 100644
--- a/test/w3c/ecma/test252.scxml
+++ b/test/w3c/ecma/test252.scxml
@@ -5,7 +5,7 @@ timeout indicates success.   -->
 <scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" version="1.0" datamodel="ecmascript">
   <state id="s0" initial="s01">
     <onentry>
-      <send event="timeout" delayexpr="'1s'"/>
+      <send event="timeout" delay="2s"/>
     </onentry>
     <transition event="timeout" target="pass"/>
     <transition event="childToParent" target="fail"/>
@@ -19,7 +19,7 @@ timeout indicates success.   -->
           <scxml initial="sub0" version="1.0" datamodel="ecmascript">
             <state id="sub0">
               <onentry>
-                <send event="timeout" delayexpr="'.5s'"/>
+                <send event="timeout" delay="2s"/>
               </onentry>
               <transition event="timeout" target="subFinal"/>
               <onexit>
diff --git a/test/w3c/ecma/test307.scxml b/test/w3c/ecma/test307.scxml
index 61f49fc..726bddd 100644
--- a/test/w3c/ecma/test307.scxml
+++ b/test/w3c/ecma/test307.scxml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" version="1.0" initial="s0" binding="late">
+<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" datamodel="ecmascript" version="1.0" initial="s0" binding="late">
   <!-- with binding=late, in s0 we access a variable that isn't created until we get to s1.  Then in s1
 we access a non-existent substructure of a variable.  We use log tags to report the values that both operations
 yield, and whether there are errors.  This is a manual test, since the tester must report whether the output
diff --git a/test/w3c/ecma/test403c.scxml b/test/w3c/ecma/test403c.scxml
index f583851..8bb126d 100644
--- a/test/w3c/ecma/test403c.scxml
+++ b/test/w3c/ecma/test403c.scxml
@@ -17,20 +17,20 @@
         <transition event="event2"/>
       </state>
       <state id="p0s2">
-        <transition event="event1" target="p0s1" this="1">
+        <transition event="event1" target="p0s1">
           <raise event="event2"/>
         </transition>
       </state>
       <state id="p0s3">
         <!-- this transition should be blocked by the one in p0s2-->
-        <transition event="event1" target="fail" this="2"/>
+        <transition event="event1" target="fail"/>
         <!-- this transition will preempt the one that p0s2 inherits
    from an ancestor  -->
         <transition event="event2" target="s1"/>
       </state>
       <state id="p0s4">
         <!-- this transition never gets preempted, should fire twice -->
-        <transition event="*" this="3">
+        <transition event="*">
           <assign location="Var1" expr="Var1 + 1"/>
         </transition>
       </state>
diff --git a/test/w3c/promela/test252.scxml b/test/w3c/promela/test252.scxml
index cb45517..f4667ef 100644
--- a/test/w3c/promela/test252.scxml
+++ b/test/w3c/promela/test252.scxml
@@ -5,7 +5,7 @@ timeout indicates success.   -->
 <scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" version="1.0" datamodel="promela">
   <state id="s0" initial="s01">
     <onentry>
-      <send event="timeout" delayexpr="'1s'"/>
+      <send event="timeout" delay="2s"/>
     </onentry>
     <transition event="timeout" target="pass"/>
     <transition event="childToParent" target="fail"/>
@@ -19,7 +19,7 @@ timeout indicates success.   -->
           <scxml initial="sub0" version="1.0" datamodel="promela">
             <state id="sub0">
               <onentry>
-                <send event="timeout" delayexpr="'.5s'"/>
+                <send event="timeout" delay="2s"/>
               </onentry>
               <transition event="timeout" target="subFinal"/>
               <onexit>
diff --git a/test/w3c/promela/test307.scxml b/test/w3c/promela/test307.scxml
index 91ad325..bde6684 100644
--- a/test/w3c/promela/test307.scxml
+++ b/test/w3c/promela/test307.scxml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" version="1.0" initial="s0" datamodel="promela" binding="late">
+<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" datamodel="promela" version="1.0" initial="s0" binding="late">
   <!-- with binding=late, in s0 we access a variable that isn't created until we get to s1.  Then in s1
 we access a non-existent substructure of a variable.  We use log tags to report the values that both operations
 yield, and whether there are errors.  This is a manual test, since the tester must report whether the output
diff --git a/test/w3c/promela/test338.scxml b/test/w3c/promela/test338.scxml
index 244088a..e7d97e4 100644
--- a/test/w3c/promela/test338.scxml
+++ b/test/w3c/promela/test338.scxml
@@ -3,8 +3,8 @@
 case where the invoke doesn't work correctly -->
 <scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" version="1.0" datamodel="promela">
   <datamodel>
-    <data id="Var1" type="string"/>
-    <data id="Var2" type="string"/>
+    <data id="Var1" type="int"/>
+    <data id="Var2" type="int"/>
   </datamodel>
   <state id="s0">
     <onentry>
diff --git a/test/w3c/promela/test351.scxml b/test/w3c/promela/test351.scxml
index fb665ec..956e006 100644
--- a/test/w3c/promela/test351.scxml
+++ b/test/w3c/promela/test351.scxml
@@ -7,6 +7,7 @@
   </datamodel>
   <state id="s0">
     <onentry>
+      <send delay="5s" event="timeout"/>
       <send type="http://www.w3.org/TR/scxml/#SCXMLEventProcessor" id="send1" event="s0Event"/>
     </onentry>
     <transition event="s0Event" target="s1">
@@ -21,6 +22,7 @@
   </state>
   <state id="s2">
     <onentry>
+      <send delay="5s" event="timeout"/>
       <send event="s0Event2"/>
     </onentry>
     <transition event="s0Event2" target="s3">
diff --git a/test/w3c/promela/test352.scxml b/test/w3c/promela/test352.scxml
index 464ee32..a964a04 100644
--- a/test/w3c/promela/test352.scxml
+++ b/test/w3c/promela/test352.scxml
@@ -6,6 +6,7 @@
   </datamodel>
   <state id="s0">
     <onentry>
+      <send delay="5s" event="timeout"/>
       <send type="http://www.w3.org/TR/scxml/#SCXMLEventProcessor" event="s0Event"/>
     </onentry>
     <transition event="s0Event" target="s1">
diff --git a/test/w3c/promela/test551.scxml b/test/w3c/promela/test551.scxml
index 7fca0b4..cdc185e 100644
--- a/test/w3c/promela/test551.scxml
+++ b/test/w3c/promela/test551.scxml
@@ -1,15 +1,13 @@
-<?xml version="1.0" encoding="UTF-8"?><!-- test that inline content can be used to assign a value to a var.  --><scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" version="1.0" binding="early" datamodel="promela">
-
-    
-   <state id="s0">
- 
-       <transition cond="Var1[1]" target="pass"/>
-       <transition target="fail"/>
-   </state>
-   
-<state id="s1">
-	  <datamodel>
-    <data id="Var1" type="int[3]">
+<?xml version="1.0" encoding="UTF-8"?>
+<!-- test that inline content can be used to assign a value to a var.  -->
+<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" version="1.0" binding="early" datamodel="promela">
+  <state id="s0">
+    <transition cond="Var1[1]" target="pass"/>
+    <transition target="fail"/>
+  </state>
+  <state id="s1">
+    <datamodel>
+      <data id="Var1" type="int[3]">
      
   Var1[0] = 1;
   Var1[1] = 2;
@@ -17,11 +15,15 @@
 
      </data>
     </datamodel>
-    </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>
+  <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>
diff --git a/test/w3c/txml/test252.txml b/test/w3c/txml/test252.txml
index ba43543..40c36cb 100644
--- a/test/w3c/txml/test252.txml
+++ b/test/w3c/txml/test252.txml
@@ -9,7 +9,7 @@ timeout indicates success.   -->
      
 <state id="s0" initial="s01">
   <onentry>
-    <send event="timeout" conf:delay="1"/>
+    <send event="timeout" delay="2s"/>
     </onentry>
     
     <transition event="timeout" conf:targetpass=""/>
@@ -26,7 +26,7 @@ timeout indicates success.   -->
          <scxml initial="sub0" version="1.0" conf:datamodel=""  xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance">
               <state id="sub0">
              <onentry>
-             <send event="timeout" conf:delay=".5"/>
+             <send event="timeout" delay="2s"/>
              </onentry> 
             <transition event="timeout" target="subFinal"/>
                <onexit>
diff --git a/test/w3c/txml/test307.txml b/test/w3c/txml/test307.txml
index 0cfeef2..f6691c7 100644
--- a/test/w3c/txml/test307.txml
+++ b/test/w3c/txml/test307.txml
@@ -1,5 +1,5 @@
-<?xml version="1.0" encoding="UTF-8"?><scxml xmlns="http://www.w3.org/2005/07/scxml" 
-xmlns:conf="http://www.w3.org/2005/scxml-conformance" version="1.0" initial="s0" conf:datamodel="" binding="late">
+<?xml version="1.0" encoding="UTF-8"?><scxml xmlns="http://www.w3.org/2005/07/scxml" conf:datamodel=""
+xmlns:conf="http://www.w3.org/2005/scxml-conformance" version="1.0" initial="s0" binding="late">
 
 <!-- with binding=late, in s0 we access a variable that isn't created until we get to s1.  Then in s1
 we access a non-existent substructure of a variable.  We use log tags to report the values that both operations
diff --git a/test/w3c/xpath/test252.scxml b/test/w3c/xpath/test252.scxml
index aea9ace..9da2a51 100644
--- a/test/w3c/xpath/test252.scxml
+++ b/test/w3c/xpath/test252.scxml
@@ -5,7 +5,7 @@ timeout indicates success.   -->
 <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">
   <state id="s0" initial="s01">
     <onentry>
-      <send event="timeout" delayexpr="'1s'"/>
+      <send event="timeout" delay="2s"/>
     </onentry>
     <transition event="timeout" target="pass"/>
     <transition event="childToParent" target="fail"/>
@@ -19,7 +19,7 @@ timeout indicates success.   -->
           <scxml initial="sub0" version="1.0" datamodel="xpath">
             <state id="sub0">
               <onentry>
-                <send event="timeout" delayexpr="'.5s'"/>
+                <send event="timeout" delay="2s"/>
               </onentry>
               <transition event="timeout" target="subFinal"/>
               <onexit>
diff --git a/test/w3c/xpath/test307.scxml b/test/w3c/xpath/test307.scxml
index 29fde66..7e0f2bf 100644
--- a/test/w3c/xpath/test307.scxml
+++ b/test/w3c/xpath/test307.scxml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" version="1.0" initial="s0" binding="late">
+<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" datamodel="xpath" version="1.0" initial="s0" binding="late">
   <!-- with binding=late, in s0 we access a variable that isn't created until we get to s1.  Then in s1
 we access a non-existent substructure of a variable.  We use log tags to report the values that both operations
 yield, and whether there are errors.  This is a manual test, since the tester must report whether the output
-- 
cgit v0.12