blob: 3d7869a024242ba73f1b896ea8ff1934a661e285 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
<?xml version="1.0" encoding="UTF-8"?>
<!-- when invoked, if var1 has a value notify parent. Then terminate. -->
<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" datamodel="promela" version="1.0">
<datamodel>
<data id="Var1" type="int"/>
</datamodel>
<state id="s0">
<transition cond="Var1" target="final">
<send target="#_parent" event="varBound"/>
</transition>
<transition target="final"/>
</state>
<final id="final"/>
</scxml>
|
