blob: 2a8c76c386180bab911b376e347e4415b4060d90 (
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
|
<?xml version="1.0" encoding="UTF-8"?>
<!-- test that done.invoke.id event is the last event we receive. the invoked process sends childToParent
in the exit handler of its final state. We should get it before the done.invoke, and we should get no
events after the done.invoke. Hence timeout indicates 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="timeout" delayexpr="2000"/>
</onentry>
<invoke type="http://www.w3.org/TR/scxml/">
<content>
<scxml initial="subFinal" version="1.0" datamodel="promela">
<final id="subFinal">
<onexit>
<send target="#_parent" event="childToParent"/>
</onexit>
</final>
</scxml>
</content>
</invoke>
<transition event="childToParent" target="s1"/>
<transition event="done.invoke" target="fail"/>
</state>
<state id="s1">
<!-- here we should get done.invoke -->
<transition event="done.invoke" target="s2"/>
<transition event="*" target="fail"/>
</state>
<state id="s2">
<transition event="timeout" 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>
|
