diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-08-11 14:12:28 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-08-11 14:12:28 (GMT) |
commit | c30b602cdb5ede809b960e35fc7e702b7f1f76e2 (patch) | |
tree | a7935d13b35abde551d7b06836b4bc617fc5274e /test/w3c/xpath/test403a.scxml | |
parent | b95a9c2d23c4bfba84dfac8683c47153d598e09f (diff) | |
download | uscxml-c30b602cdb5ede809b960e35fc7e702b7f1f76e2.zip uscxml-c30b602cdb5ede809b960e35fc7e702b7f1f76e2.tar.gz uscxml-c30b602cdb5ede809b960e35fc7e702b7f1f76e2.tar.bz2 |
Reformatted w3c tests with xmllint
Diffstat (limited to 'test/w3c/xpath/test403a.scxml')
-rw-r--r-- | test/w3c/xpath/test403a.scxml | 73 |
1 files changed, 38 insertions, 35 deletions
diff --git a/test/w3c/xpath/test403a.scxml b/test/w3c/xpath/test403a.scxml index 98b885e..50f4984 100644 --- a/test/w3c/xpath/test403a.scxml +++ b/test/w3c/xpath/test403a.scxml @@ -1,43 +1,46 @@ -<?xml version="1.0" encoding="UTF-8"?><!-- we test one part of 'optimal enablement' meaning that of all transitions that are enabled, we chose the ones +<?xml version="1.0" encoding="UTF-8"?> +<!-- we test one part of 'optimal enablement' meaning that of all transitions that are enabled, we chose the ones in child states over parent states, and use document order to break ties. We have a parent state s0 with two children, s01 and s02. In s01, we test that a) if a transition in the child matches, we don't consider matches in the parent and b) that if two transitions match in any state, we take the first in document order. In s02 we test that we take a transition in the parent if there is no -matching transition in the child. --><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> - <!-- catch the failure case --> - <send event="timeout" delay="1s"/> +matching transition in the child. --> +<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> + <!-- catch the failure case --> + <send event="timeout" delay="1s"/> </onentry> - <transition event="timeout" target="fail"/> - <transition event="event1" target="fail"/> - <transition event="event2" target="pass"/> - - <state id="s01"> - <onentry> - <!-- this should be caught by the first transition in this state, taking us to S02 --> - <raise event="event1"/> - </onentry> - - <transition event="event1" target="s02"/> - <transition event="*" target="fail"/> - </state> - -<state id="s02"> - <onentry> - <!-- since the local transition has a cond that evaluates to false this should be caught by a + <transition event="timeout" target="fail"/> + <transition event="event1" target="fail"/> + <transition event="event2" target="pass"/> + <state id="s01"> + <onentry> + <!-- this should be caught by the first transition in this state, taking us to S02 --> + <raise event="event1"/> + </onentry> + <transition event="event1" target="s02"/> + <transition event="*" target="fail"/> + </state> + <state id="s02"> + <onentry> + <!-- since the local transition has a cond that evaluates to false this should be caught by a transition in the parent state, taking us to pass --> - <raise event="event2"/> - </onentry> - <transition event="event1" target="fail"/> - <transition event="event2" cond="0>1" target="fail"/> + <raise event="event2"/> + </onentry> + <transition event="event1" target="fail"/> + <transition event="event2" cond="0>1" target="fail"/> + </state> </state> - -</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 + <final id="pass"> + <onentry> + <log label="Outcome" expr="'pass'"/> + </onentry> + </final> + <final id="fail"> + <onentry> + <log label="Outcome" expr="'fail'"/> + </onentry> + </final> +</scxml> |