blob: 318853e44b6a23058e1db0a3098c77d3d3e3bf29 (
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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
<?xml version="1.0" encoding="UTF-8"?>
<!-- test that default initial states are entered when a compound state is entered. First we test
the 'initial' attribute, then the initial element, then default to the first child in document order.
If we get to s01111 we succeed, if any other state, failure. -->
<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" datamodel="c89" initial="s1" version="1.0">
<state id="s1" initial="s11p112 s11p122">
<onentry>
<send event="timeout" delay="1s"/>
</onentry>
<transition event="timeout" target="fail"/>
<state id="s11" initial="s111">
<state id="s111"/>
<parallel id="s11p1">
<state id="s11p11" initial="s11p111">
<state id="s11p111"/>
<state id="s11p112">
<onentry>
<raise event="In-s11p112"/>
</onentry>
</state>
</state>
<state id="s11p12" initial="s11p121">
<state id="s11p121"/>
<state id="s11p122">
<transition event="In-s11p112" target="s2"/>
</state>
</state>
</parallel>
</state>
</state>
<state id="s2">
<initial>
<transition target="s21p112 s21p122"/>
</initial>
<transition event="timeout" target="fail"/>
<state id="s21" initial="s211">
<state id="s211"/>
<parallel id="s21p1">
<state id="s21p11" initial="s21p111">
<state id="s21p111"/>
<state id="s21p112">
<onentry>
<raise event="In-s21p112"/>
</onentry>
</state>
</state>
<state id="s21p12" initial="s21p121">
<state id="s21p121"/>
<state id="s21p122">
<transition event="In-s21p112" target="s3"/>
</state>
</state>
</parallel>
</state>
</state>
<state id="s3">
<transition target="fail"/>
<state id="s31">
<state id="s311">
<state id="s3111">
<transition target="pass"/>
</state>
<state id="s3112"/>
<state id="s312"/>
<state id="s32"/>
</state>
</state>
</state>
<final id="pass">
<onentry>
<log label="Outcome" expr="&pass&"/>
</onentry>
</final>
<final id="fail">
<onentry>
<log label="Outcome" expr="&pass&"/>
</onentry>
</final>
</scxml>
|