SCCD/test/test_files/day_atlee/statechart_fig1_redialer.xml

<?xml version="1.0" ?>
<statechart>
  <semantics
    big_step_maximality="syntactic"
    concurrency="many"
    input_event_lifeline="whole"
    enabledness_memory_protocol="small_step"
    assignment_memory_protocol="small_step"/>

  <datamodel>
    <var id="c" expr="0"/>
    <var id="lp" expr="1234567890"/>
    <var id="p" expr="0"/>

    <func id="digit(i:int, pos:int)">
      return i // 10**pos % 10;
    </func>

    <func id="numdigits(i:int)">
      if (i == 0)
        return 0;
      return float_to_int(log10(i)) + 1;
    </func>
  </datamodel>

  <root>
    <parallel id="Dialing">
      <state id="Dialer" initial="WaitForDial">
        <state id="WaitForDial" stable="true">
          <!-- t1 -->
          <transition event="dial(d:int), not redial" cond="c &lt; 10" target=".">
            <code>
              c += 1;
              lp = lp * 10 + d;
            </code>
            <raise port="out" event="out">
              <param expr="d"/>
            </raise>
          </transition>
          <!-- t2 -->
          <transition event="dial(d:int), redial" cond="c == 0" target="../DialDigits">
            <code>
              lp = d;
              c = 1;
            </code>
            <raise port="out" event="out">
              <param expr="d"/>
            </raise>
          </transition>
        </state>
        <state id="DialDigits">
          <!-- t3 -->
          <transition event="dial(d:int)" cond="c &lt; 10" target=".">
            <code>
              lp = lp * 10 + d;
              c += 1;
            </code>
            <raise port="out" event="out">
              <param expr="d"/>
            </raise>
          </transition>
          <!-- t4 -->
          <transition cond="c == 10" target="../WaitForDial"/>
        </state>
      </state>

      <state id="Redialer" initial="WaitForRedial">
        <state id="WaitForRedial" stable="true">
          <!-- t5 -->
          <transition event="redial" cond="c == 0" target="../RedialDigits">
            <code>
              p = lp;
              log("p:  " + int_to_str(p));
              log("lp: " + int_to_str(lp));
              log("c:  " + int_to_str(c));
            </code>
            <raise event="dial">
              <param expr="digit(lp, 0)"/>
            </raise>
          </transition>
        </state>
        <state id="RedialDigits">
          <onentry>
            <code>
              log("p: " + int_to_str(p));
              log("lp: " + int_to_str(lp));
            </code>
          </onentry>
          <!-- t6 -->
          <transition cond="c &lt; numdigits(p)" target=".">
            <raise event="dial">
              <param expr="digit(p, c+1)"/>
            </raise>
          </transition>
          <!-- t7 -->
          <transition cond="c == numdigits(p)" target="../WaitForRedial"/>
        </state>
      </state>

    </parallel>
  </root>
</statechart>