blob: 604b311bbd70e1ff66da5677d053159f5b3e78bc (
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
|
<?xml version="1.0" encoding="UTF-8"?>
<!-- we test that the processor doesn't change the message. We can't test that it never does this, but
at least we can check that the event name and included data are the same as we sent. -->
<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">
<datamodel>
<data id="Var1" type="int"/>
</datamodel>
<state id="s0">
<onentry>
<send event="event1">
<param name="aParam" expr="1"/>
</send>
<send event="timeout"/>
</onentry>
<transition event="event1" target="s1">
<assign location="Var1" expr="_event.data.aParam"/>
</transition>
<transition event="*" target="fail"/>
</state>
<state id="s1">
<transition cond="Var1==1" target="pass"/>
<transition target="fail"/>
</state>
<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>
|
