blob: ba890389dea6f62423d49bdc38133aece15d9222 (
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
|
<?xml version="1.0" encoding="UTF-8"?>
<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" datamodel="c89" version="1.0" initial="s0" binding="late">
<!-- with binding=late, in s0 we access a variable that isn't created until we get to s1. Then in s1
we access a non-existent substructure of a variable. We use log tags to report the values that both operations
yield, and whether there are errors. This is a manual test, since the tester must report whether the output
is the same in the two cases -->
<state id="s0">
<onentry>
<log label="entering s0 value of Var 1 is: " expr="Var1"/>
<raise event="foo"/>
</onentry>
<transition event="error" target="s1">
<log label="error in state s0" expr="_event"/>
</transition>
<transition event="foo" target="s1">
<log label="no error in s0" expr=""/>
</transition>
</state>
<state id="s1">
<datamodel>
<data id="Var1" expr="1"/>
</datamodel>
<onentry>
<log label="entering s1, value of non-existent substructure of Var 1 is: " expr="Var1.bar"/>
<raise event="bar"/>
</onentry>
<transition event="error" target="final">
<log label="error in state s1" expr="_event"/>
</transition>
<transition event="bar" target="final">
<log label="No error in s1" expr=""/>
</transition>
</state>
<final id="final"/>
</scxml>
|