diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-10-12 20:51:57 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-10-12 20:51:57 (GMT) |
commit | 9ba649b087df2bc161759e55549facc2f8f80878 (patch) | |
tree | 210f9ff17c55a09744da0dcede9ff27b8e1fb47e | |
parent | fa90b5749693d9f5817ad1f106334a0877171fd3 (diff) | |
download | uscxml-9ba649b087df2bc161759e55549facc2f8f80878.zip uscxml-9ba649b087df2bc161759e55549facc2f8f80878.tar.gz uscxml-9ba649b087df2bc161759e55549facc2f8f80878.tar.bz2 |
Passing all tests but xpath and lua
-rw-r--r-- | test/ctest/CTestCustom.ctest.in | 2 | ||||
-rw-r--r-- | test/w3c/confPromela.xsl | 4 | ||||
-rwxr-xr-x | test/w3c/convert-tests.sh | 30 | ||||
-rw-r--r-- | test/w3c/ecma/test187.scxml | 2 | ||||
-rw-r--r-- | test/w3c/ecma/test252.scxml | 4 | ||||
-rw-r--r-- | test/w3c/ecma/test307.scxml | 2 | ||||
-rw-r--r-- | test/w3c/ecma/test403c.scxml | 6 | ||||
-rw-r--r-- | test/w3c/promela/test252.scxml | 4 | ||||
-rw-r--r-- | test/w3c/promela/test307.scxml | 2 | ||||
-rw-r--r-- | test/w3c/promela/test338.scxml | 4 | ||||
-rw-r--r-- | test/w3c/promela/test351.scxml | 2 | ||||
-rw-r--r-- | test/w3c/promela/test352.scxml | 1 | ||||
-rw-r--r-- | test/w3c/promela/test551.scxml | 42 | ||||
-rw-r--r-- | test/w3c/txml/test252.txml | 4 | ||||
-rw-r--r-- | test/w3c/txml/test307.txml | 4 | ||||
-rw-r--r-- | test/w3c/xpath/test252.scxml | 4 | ||||
-rw-r--r-- | 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 |