SCCD/examples/digitalwatch/statechart_digitalwatch.xml

<statechart>
  <semantics big_step_maximality="take_many"/>

  <inport name="in">
    <event name="bottomLeftPressed"/>
    <event name="bottomLeftReleased"/>
    <event name="bottomRightPressed"/>
    <event name="bottomRightReleased"/>
    <event name="topLeftPressed"/>
    <event name="topLeftReleased"/>
    <event name="topRightPressed"/>
    <event name="topRightReleased"/>
    <event name="alarmStart"/>
  </inport>

  <outport name="out">
    <event name="checkTime"/>
    <event name="refreshTimeDisplay"/>
    <event name="refreshChronoDisplay"/>
    <event name="refreshDateDisplay"/>
    <event name="refreshAlarmDisplay"/>
    <event name="resetChrono"/>
    <event name="startSelection"/>
    <event name="increaseSelection"/>
    <event name="selectNext"/>
    <event name="stopSelection"/>
    <event name="increaseTimeByOne"/>
    <event name="increaseChronoByOne"/>
    <event name="setIndiglo"/>
    <event name="unsetIndiglo"/>
    <event name="setAlarm"/>
  </outport>

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

  <root>
    <parallel id="P">
      <state id="Indiglo" initial="Off">
        <state id="Off">
          <transition event="topRightPressed" target="../Pushed">
            <raise event="setIndiglo"/>
          </transition>
        </state>

        <state id="Pushed">
          <transition event="topRightReleased" target="../Released"/>
        </state>

        <state id="Released">
          <transition event="topRightPressed" target="../Pushed"/>
          <transition after="2 s" target="../Off">
            <raise event="unsetIndiglo"/>
          </transition>
        </state>
      </state>

      <state id="Chrono" initial="Stopped">
        <state id="Stopped">
          <transition event="bottomLeftPressed" cond='INSTATE(["/P/Display/ChronoUpdate"])' target=".">
            <raise event="resetChrono"/>
          </transition>
          <transition event="bottomRightPressed" cond='INSTATE(["/P/Display/ChronoUpdate"])' target="../Running"/>
        </state>

        <state id="Running">
          <transition after="10 ms" target=".">
            <raise event="increaseChronoByOne"/>
          </transition>
          <transition event="bottomRightPressed" cond='INSTATE(["/P/Display/ChronoUpdate"])' target="../Stopped"/>
        </state>
      </state>

      <state id="Display" initial="TimeUpdate">
        <state id="TimeUpdate">
          <onentry>
            <raise event="refreshTimeDisplay"/>
          </onentry>
          <transition after="1 s" target="."/>
          <transition event="topLeftPressed" target="../ChronoUpdate"/>
          <transition event="bottomRightPressed" target="../WaitingToEdit"/>
          <transition event="bottomLeftPressed" target="../WaitingForAlarm"/>
        </state>

        <state id="WaitingToEdit">
          <transition after="1500 ms" target="../EditingTime">
            <raise event="time_edit"/>
          </transition>
        </state>

        <state id="EditingTime" initial="Waiting">
          <onentry>
            <raise event="startSelection"/>
          </onentry>
          <onexit>
            <raise event="stopSelection"/>
          </onexit>

          <state id="Waiting">
            <transition event="bottomLeftPressed" target="../Increasing"/>
            <transition event="bottomRightPressed" target="../GoingToNext"/>
            <transition after="5 s" target="../../TimeUpdate">
              <raise event="edit_done"/>
            </transition>
          </state>

          <state id="GoingToNext">
            <transition event="bottomRightReleased" target="../Waiting">
              <raise event="selectNext"/>
            </transition>
            <transition after="2 s" target="../../TimeUpdate">
              <raise event="edit_done"/>
            </transition>
          </state>

          <state id="Increasing">
            <onentry>
              <raise event="increaseSelection"/>
            </onentry>
            <transition after="300 ms" target="."/>
            <transition event="bottomLeftReleased" target="../Waiting"/>
          </state>
        </state>

        <state id="ChronoUpdate">
          <transition event="topLeftPressed" target="../TimeUpdate"/>
          <transition after="10 ms" target=".">
            <raise event="refreshChronoDisplay"/>
          </transition>
        </state>

        <state id="WaitingForAlarm">
          <onentry>
            <raise event="refreshAlarmDisplay"/>
          </onentry>
          <transition after="1500 ms" target="../EditingTime">
            <raise event="alarm_edit"/>
          </transition>
          <transition event="bottomLeftReleased" target="../TimeUpdate"/>
        </state>
      </state>

      <state id="Alarm" initial="Off">
        <state id="Off">
          <transition event="bottomLeftPressed" cond='INSTATE(["/P/Display/TimeUpdate"]) or INSTATE(["/P/Display/WaitingForAlarm"])' target="../On">
            <raise event="setAlarm"/>
          </transition>
        </state>

        <state id="On">
          <onentry>
            <raise event="checkTime"/>
          </onentry>
          <transition event="bottomLeftPressed" cond='INSTATE(["/P/Display/TimeUpdate"]) or INSTATE(["/P/Display/WaitingForAlarm"])' target="../Off">
            <raise event="setAlarm"/>
          </transition>
          <transition after="1 s" target="."/>
          <transition event="alarmStart" target="../Blinking"/>
        </state>

        <state id="Blinking" initial="On">
          <onexit>
            <raise event="setAlarm"/>
            <raise event="unsetIndiglo"/>
          </onexit>
          <state id="On">
            <onentry>
              <raise event="setIndiglo"/>
            </onentry>
            <transition after="500 ms" target="../Off"/>
          </state>
          <state id="Off">
            <onentry>
              <raise event="unsetIndiglo"/>
            </onentry>
            <transition after="500 ms" target="../On"/>
          </state>

          <transition event="topRightPressed" target="../Off"/>
          <transition event="topLeftPressed" target="../Off"/>
          <transition event="bottomRightPressed" target="../Off"/>
          <transition event="bottomLeftPressed" target="../Off"/>
        </state>
      </state>

      <state id="Time" initial="Increasing">
        <state id="Increasing">
          <transition after="1 s" target=".">
            <raise event="increaseTimeByOne"/>
          </transition>
          <transition event="time_edit" target="../Editing"/>
        </state>
        <state id="Editing">
          <transition event="edit_done" target="../Increasing"/>
        </state>
      </state>
    </parallel>
  </root>
</statechart>