test/w3c/c89/test570.scxml


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

<?xml version="1.0" encoding="UTF-8"?>
<!-- test that we generate done.state.id when all a parallel state's children are in final states -->
<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="p0" datamodel="c89" version="1.0">
  <datamodel>
    <data id="Var1" expr="0"/>
  </datamodel>
  <parallel id="p0">
    <onentry>
      <send event="timeout" delay="2s"/>
      <raise event="e1"/>
      <raise event="e2"/>
    </onentry>
    <!-- record that we get the first done event -->
    <transition event="done.state.p0s1">
      <assign location="Var1" expr="1"/>
    </transition>
    <!-- we should get the second done event before done.state.p0 -->
    <transition event="done.state.p0s2" target="s1"/>
    <transition event="timeout" target="fail"/>
    <state id="p0s1" initial="p0s11">
      <state id="p0s11">
        <transition event="e1" target="p0s1final"/>
      </state>
      <final id="p0s1final"/>
    </state>
    <state id="p0s2" initial="p0s21">
      <state id="p0s21">
        <transition event="e2" target="p0s2final"/>
      </state>
      <final id="p0s2final"/>
    </state>
  </parallel>
  <state id="s1">
    <!-- if we get done.state.p0, success -->
    <transition event="done.state.p0" cond="Var1==1" target="pass"/>
    <transition event="*" target="fail"/>
  </state>
  <final id="pass">
    <onentry>
      <log label="Outcome" expr="&amp;pass&amp;"/>
    </onentry>
  </final>
  <final id="fail">
    <onentry>
      <log label="Outcome" expr="&amp;pass&amp;"/>
    </onentry>
  </final>
</scxml>