blob: 4b8da3e77d3e9a8085904a9c0c282821a94066fe (
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
|
<?xml version="1.0" encoding="UTF-8"?>
<!-- we test that states are added to the active states list as they are entered and before onentry handlers
are executed. When s0's onentry handler fires we should not be in s01. But when s01's onentry handler
fires, we should be in s01. Therefore event1 should not fire, but event2 should. Either event1 or
timeout also indicates failure -->
<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 xmlns:scxml="http://www.w3.org/2005/07/scxml" delay="1000" event="timeout"/>
<if cond="config[S01]">
<raise event="event1"/>
</if>
</onentry>
<transition event="timeout" target="fail"/>
<transition event="event1" target="fail"/>
<transition event="event2" target="pass"/>
<state id="s01">
<onentry>
<if cond="config[s01]">
<raise event="event2"/>
</if>
</onentry>
</state>
</state>
<!-- end s0 -->
<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>
|
