sccd/test_files/day_atlee/test_19_swaptwice_combo.xml

<test>
  <!-- Example 19. Statechart from Figure 21, extended with an input event to set the variables a,b, and with an output event to retreive the values (because currently, testing is black-box) -->
  <statechart>
    <semantics
      big_step_maximality="take_many"
      combo_step_maximality="take_one"
      input_event_lifeline="first_combo_step"
      internal_event_lifeline="next_combo_step"
      enabledness_memory_protocol="combo_step"
      assignment_memory_protocol="combo_step"
    />

    <datamodel>
      a = 0;
      b = 0;
    </datamodel>

    <inport name="in">
      <event name="set_a_b"/>
      <event name="swap_twice"/>
    </inport>

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


    <root initial="Swap">
      <parallel id="Swap">
        <transition event="set_a_b(a_: int, b_: int)" target=".">
          <code> a = a_; b = b_; </code>
        </transition>

        <state id="A" initial="S1">
          <state id="S1">
            <transition port="in" event="swap_twice" target="../S2">
              <code> a = b; </code>
              <raise event="swap_a"/>
            </transition>
          </state>
          <state id="S2">
            <transition event="swap_a" target="../S3">
              <code> a = b; </code>
            </transition>
          </state>
          <state id="S3"/>
        </state>

        <state id="B" initial="S4">
          <state id="S4">
            <transition port="in" event="swap_twice" target="../S5">
              <code> b = a; </code>
              <raise event="swap_a"/>
            </transition>
          </state>
          <state id="S5">
            <transition event="swap_a" target="../S6">
              <code> b = a; </code>
            </transition>
          </state>
          <state id="S6">
            <transition cond='@in("/Swap/A/S3")' target="/done">
              <raise event="swapped">
                <param expr="a"/>
                <param expr="b"/>
              </raise>
            </transition>
          </state>
        </state>
      </parallel>

      <state id="done"/>
    </root>
  </statechart>

  <input>
    <event port="in" name="set_a_b" time="0 d">
      <param expr="42"/>
      <param expr="7"/>
    </event>
    <event port="in" name="swap_twice" time="0 d"/>
  </input>

  <output>
    <big_step>
      <event port="out" name="swapped">
        <param val="42"/>
        <param val="7"/>
      </event>
    </big_step>
  </output>
</test>