blob: e8bd4476649eadc44adbef83991a5082154eea8a (
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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
<?xml version="1.0" encoding="UTF-8"?>
<!-- a manual test that an autofowarded event has the same fields and values as the original event.
the child process sends the parent process an event which is forwarded back to it.
Both the parent and child process print out the contents of the event. The tester
must check if they are the same and report his result. -->
<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="3000" event="timeout"/>
</onentry>
<invoke type="http://www.w3.org/TR/scxml/" autoforward="true">
<content>
<!-- when invoked, send childToParent to parent. If it is forwarded back to us, print out its
fields and terminate. -->
<scxml initial="sub0" version="1.0" datamodel="promela">
<state id="sub0">
<onentry>
<send target="#_parent" event="childToParent"/>
<send xmlns:scxml="http://www.w3.org/2005/07/scxml" delay="2000" event="timeout"/>
</onentry>
<transition event="childToParent" target="subFinal">
<log label="name is " expr="_event.name"/>
<log label="type is " expr="_event.type"/>
<log label="sendid is " expr="_event.sendid"/>
<log label="origin is " expr="_event.origin"/>
<log label="origintype is " expr="_event.origintype"/>
<log label="invokeid is " expr="_event.invokeid"/>
<log label="data is " expr="_event.data"/>
</transition>
<transition event="*" target="subFinal"/>
</state>
<final id="subFinal"/>
</scxml>
</content>
</invoke>
<transition event="timeout" target="final"/>
<state id="s01">
<transition event="childToParent" target="s02">
<log label="name is " expr="_event.name"/>
<log label="type is " expr="_event.type"/>
<log label="sendid is " expr="_event.sendid"/>
<log label="origin is " expr="_event.origin"/>
<log label="origintype is " expr="_event.origintype"/>
<log label="invokeid is " expr="_event.invokeid"/>
<log label="data is " expr="_event.data"/>
</transition>
<transition event="*" target="fail"/>
</state>
<state id="s02">
<!-- wait till we get the done event to ensure that the child process has time to print out its results -->
<transition event="done.invoke" target="final"/>
</state>
</state>
<final id="final"/>
<final xmlns:scxml="http://www.w3.org/2005/07/scxml" id="fail">
<onentry>
<log label="Outcome" expr="'fail'"/>
</onentry>
</final>
</scxml>
|