blob: ef0e26cb480d6d4c5ff482fbb8f838cb9d05a733 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
<scxml datamodel="promela">
<!--
#promela-event-source-auto
{ e1: [
{ state: ['s0'],
data: { foo: 'some string' }}
{ state: ['s0'],
data: { bar: 12 }}
{ state: ['s1'],
data: { foo: 'some other string' }}
]}
-->
<state id="s0">
<transition event="e1" cond="_event.data.foo == 'some string'" />
<transition event="e1" cond="_event.data.bar == 12" />
</state>
<state id="s1">
<transition event="e1" cond="_event.data.foo == 'some other string'" />
<transition event="e1" cond="_event.data.bar == 12" />
</state>
</scxml>
|