blob: 3fce2d2be1197d89837c6d99640f980f6cb09830 (
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
|
<?xml version="1.0" encoding="UTF-8"?>
<!-- we test that cancel works. We cancel delayed event1. If cancel works, we get event2 first and pass. If
we get event1 or an error first, cancel didn't work and we fail. -->
<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">
<onentry>
<send id="foo" event="event1" delayexpr="1000"/>
<send event="event2" delayexpr="1500"/>
<cancel sendid="foo"/>
</onentry>
<transition event="event2" target="pass"/>
<transition event="*" 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>
|
