blob: e17f9bf6d8084d4a4de02958960c1802ddb2c486 (
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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
|
<?xml version="1.0" encoding="UTF8"?>
<!-- A wrapper state that contains all other states in this file
- it represents the complete state machine --> <scxml xmlns="http://www.w3.org/2005/07/scxml"
version="1.0"
initial="Main">
<state id="Main">
<!-- its initial state is Test1 -->
<initial>
<transition target="Test1"/>
</initial>
<!-- Really simple state showing the basic syntax. -->
<state id="Test1">
<initial>
<transition target="Test1Sub1"/>
</initial>
<!-- Runs before we go into the substate -->
<onentry>
<log expr=""Inside Test1""/>
</onentry>
<!-- Here is our first substate -->
<state id="Test1Sub1">
<onentry>
<log expr=""Inside Test1Sub1.""/>
</onentry>
<onexit>
<log expr=""Leaving Test1Sub1""/>
</onexit>
<!-- Go to Sub2 on Event1 -->
<transition event="Event1" target="Test1Sub2"/>
</state>
<!-- Here is the second substate
It is final, so Test1 is done when we get here -->
<final id="Test1Sub2"/>
<!-- We get this event when we reach Test1Sub2. -->
<transition event="done.state.Test1" target="Test2"/>
<!-- We run this on the way out of Test1 -->
<onexit>
<log expr=""Leaving Test1...""/>
</onexit>
</state>
<state id="Test2">
<initial>
<transition target="Test2Sub1"/>
</initial>
<!-- This time we reference a state
defined in an external file. Note that we could have
loaded the entire file by leaving off the #Test2Sub1,
but in that case we would need to rename one of the
Test2Sub1 states (here or in the external file) to
avoid the name collision -->
<state id="Test2Sub1">
<onentry>
<log expr=""Inside Test2Sub1""/>
</onentry>
<transition event="Event2" target="Test2Sub2"/>
</state>
<final id="Test2Sub2"/>
<!-- Test2Sub2 is defined as final, so this
event is generated when we reach it -->
<transition event="done.state.Test2" target="Test3"/>
</state>
<state id="Test3">
<initial>
<transition target="Test3Sub1"/>
</initial>
<state id="Test3Sub1">
<onentry>
<log expr=""Inside Test3Sub1...""/>
<!-- Send our self an event in 5s -->
<send event="Timer" delay="1500"/>
</onentry>
<!-- Transition on to Test4.
This will exit both us and our parent. -->
<transition event="Timer" target="Test4"/>
<onexit>
<log expr=""Leaving Test3Sub1...""/>
</onexit>
</state>
<onexit>
<log expr=""Leaving Test3...""/>
</onexit>
</state>
<state id="Test4">
<onentry>
<log expr=""Inside Test4...""/>
</onentry>
<initial>
<transition target="Test4Sub1"/>
</initial>
<state id="Test4Sub1">
<onexit>
<log expr=""Leaving Test4Sub1...""/>
</onexit>
<!-- This transition causes the state to exit immediately
after entering Test4Sub1. The transition has no event
or guard so it is always active -->
<transition target="Test5"/>
</state>
</state>
<state id="Test5">
<onentry>
<log expr=""Inside Test5...""/>
</onentry>
<initial>
<transition target="Test5P"/>
</initial>
<!-- Fire off our parallel states -->
<parallel id="Test5P">
<final id="Test5PSub1"/>
<final id="Test5PSub2"/>
<onexit>
<log expr=""all parallel states done""/>
</onexit>
</parallel>
<!-- The parallel states are all final, so this
event is generated immediately. Although not shown,
compound states (i.e., <state>s with content)
are permitted within <parallel> as well. -->
<transition event="done.state.Test5P" target="Done"/>
</state>
<!-- This final state is an immediate child of Main
- when we get here, done.state.Main is generated. -->
<final id="Done"/>
<!-- End of Main > -->
<transition event="done.state.Main" target="final" />
</state>
<final id="final"/>
</scxml>
|
