summaryrefslogtreecommitdiffstats
path: root/test/w3c/promela/test173.scxml
blob: cb3728ef5dcd7e80d2d2b0a5d3c5848a268c51b6 (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
<?xml version="1.0" encoding="UTF-8"?>
<!-- we test that targetexpr uses the current value of var1, not its initial value
(If it uses the initial value, it will generate an error.  If it uses the current value, event1 will be raised  -->
<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="int" expr="27"/>
  </datamodel>
  <state id="s0">
    <onentry>
      <assign location="Var1" expr="'#_internal'"/>
      <send targetexpr="Var1" event="event1"/>
    </onentry>
    <transition event="event1" 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>