blob: aa7fe156de4b3bf177b0ea08efbb0d22885e54c8 (
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
|
<?xml version="1.0" encoding="UTF-8"?>
<scxml xmlns="http://www.w3.org/2005/07/scxml" initial="s0" version="1.0" datamodel="promela">
<datamodel>
<data id="var1" type="int" expr="0" />
</datamodel>
<state id="s0" initial="s01">
<onentry>
<send event="timeout" delay="1000"/>
</onentry>
<transition cond="var1 == 3" target="pass" />
<transition event="timeout" target="fail" />
<invoke src="test-issue121.child" type="http://www.w3.org/TR/scxml/" id="pOne">
<param name="p_id" type="int" expr="1" />
</invoke>
<invoke src="test-issue121.child" type="http://www.w3.org/TR/scxml/" id="pTwo">
<param name="p_id" type="int" expr="2" />
</invoke>
<state id="s01">
<transition event="Random_Event">
<assign location="var1" expr="_event.data.var1 + var1"/>
<log label="var1 value" expr="var1"/>
</transition>
</state>
</state>
<final id="pass"/>
<final id="fail"/>
</scxml>
|