blob: f27c0ae1d6bf6855aaae0fc2f24befbd8e867984 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
<?xml version="1.0" encoding="UTF-8"?><!-- test that states are exited in exit order (children before parents with reverse doc order used to break ties
before the executable content in the transitions. event1, event2, event3, event4 should be raised in that
order when s01p is exited --><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="s01p">
<parallel id="s01p">
<onexit>
<!-- this should be the 3rd event raised -->
<raise event="event3"/>
</onexit>
<transition target="s02">
<!-- this should be the fourth event raised -->
<raise event="event4"/>
</transition>
<state id="s01p1">
<onexit>
<!-- this should be the second event raised -->
<raise event="event2"/>
</onexit>
</state>
<state id="s01p2">
<!-- this should be the first event raised -->
<onexit>
<raise event="event1"/>
</onexit>
</state>
</parallel>
<state id="s02">
<transition event="event1" target="s03"/>
<transition event="*" target="fail"/>
</state>
<state id="s03">
<transition event="event2" target="s04"/>
<transition event="*" target="fail"/>
</state>
<state id="s04">
<transition event="event3" target="s05"/>
<transition event="*" target="fail"/>
</state>
<state id="s05">
<transition event="event4" target="pass"/>
<transition event="*" target="fail"/>
</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>
|
