sccd/test/test_files/features/functions/fail_closure.xml

<?xml version="1.0" ?>
<test>
  <statechart>
    <!-- closures are currently not supported -->
    <!-- TODO: support them OR statically detect them and throw a ModelError indicating they're not supported -->
    <datamodel><![CDATA[

      counter = func(i:int) {
        return func {
          i += 1;
          return i;
        };
      };

      increment = counter(0);

      x = 0;

    ]]></datamodel>

    <inport name="in">
      <event name="start"/>
    </inport>

    <outport name="out">
      <event name="done"/>
    </outport>

    <root initial="s1">
      <state id="s1">
        <onentry>
          <!-- calling 'increment', the statement "i += 1" will cause a runtime error
               since the stack frame of 'counter', containing variable 'i' is no longer there -->
          <code>
            x = increment();
          </code>
        </onentry>
        <transition cond="x == 1" target="/s2"/>
      </state>

      <state id="s2">
        <onentry>
          <code>
            x = increment();
          </code>
        </onentry>
        <transition cond="x == 2" target="/s3"/>
      </state>

      <state id="s3">
        <onentry>
          <raise event="done"/>
        </onentry>
      </state>
    </root>
  </statechart>

  <input>
    <event port="in" name="start" time="0 d"/>
  </input>

  <output>
    <big_step>
      <event port="out" name="done"/>
    </big_step>
  </output>
</test>