summaryrefslogtreecommitdiffstats
path: root/test/w3c/promela/test216.scxml
blob: 6a9aaa49ff6d1f3a906131f5a7cf76ad1b8a28b6 (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
<?xml version="1.0" encoding="UTF-8"?>
<!-- we test that srcexpr is evaluated at runtime.  If the original value of var1 is used, the invocation
will fail (assuming that there is no script named 'foo').  If
the runtime value is used, the invocation will succeed -->
<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" version="1.0" datamodel="promela">
  <datamodel>
    <data id="Var1" type="string" expr="'foo'"/>
  </datamodel>
  <state id="s0">
    <onentry>
      <send event="timeout" delay="5s"/>
      <assign location="Var1" expr="'file:test216sub1.scxml'"/>
    </onentry>
    <invoke srcexpr="Var1" type="http://www.w3.org/TR/scxml"/>
    <transition event="done.invoke" target="pass"/>
    <transition event="*" target="fail"/>
  </state>
  <final xmlns:scxml="http://www.w3.org/2005/07/scxml" id="pass">
    <onentry>
      <log label="Outcome" expr="'pass'"/>
    </onentry>
  </final>
  <final xmlns:scxml="http://www.w3.org/2005/07/scxml" id="fail">
    <onentry>
      <log label="Outcome" expr="'fail'"/>
    </onentry>
  </final>
</scxml>