blob: d23fc2051d1aa94cbaaa759335e3a7af11fc1081 (
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
|
<?xml version="1.0" encoding="UTF-8"?>
<!-- test that cancelling works. invoked child sleeps for two seconds, then terminates. We
sleep for 1 sec in s0, then move to s1. This should cause the invocation to get cancelled.
If we receive done.invoke, the invocation wasn't cancelled, and we fail. If we receive no events by
the time timeout2 fires, success -->
<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 event="timeout1" delayexpr="'1s'"/>
</onentry>
<invoke type="http://www.w3.org/TR/scxml/">
<content>
<!-- when invoked, sleep for 2 secs then terminate. Parent will try to cancel this session -->
<scxml initial="sub0" version="1.0" datamodel="promela">
<state id="sub0">
<onentry>
<send event="timeout" delayexpr="'2s'"/>
</onentry>
<transition event="timeout" target="subFinal"/>
</state>
<final id="subFinal"/>
</scxml>
</content>
</invoke>
<transition event="timeout1" target="s1"/>
</state>
<state id="s1">
<onentry>
<send event="timeout2" delayexpr="'1.5s'"/>
</onentry>
<!-- here we should NOT get done.invoke -->
<transition event="done.invoke" target="fail"/>
<transition event="*" target="pass"/>
</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>
|