1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677 |
- <single_instance_cd>
- <!-- Cleaner implementation of "time increase" with orthogonal regions -->
- <delta>1 ms</delta>
- <statechart>
- <semantics
- big_step_maximality="take_many"
- combo_step_maximality="take_one"
- input_event_lifeline="first_combo_step"
- hierarchical_priority="source_parent"
- orthogonal_priority="explicit"
- same_source_priority="explicit"
- />
- <datamodel>
- import GUI;
- time = 0;
- checkStartTime = func {
- if (time == 0) {
- time = 30;
- display_time(time);
- }
- };
- </datamodel>
- <inport name="in">
- <event name="start"/>
- <event name="stop"/>
- <event name="increase_time"/>
- <event name="door_opened"/>
- <event name="door_closed"/>
- </inport>
- <outport name="out">
- <event name="micro_on"/>
- <event name="micro_off"/>
- <event name="display_time"/>
- <event name="bell"/>
- </outport>
- <root>
- <parallel id="P">
- <state id="Main" initial="DoorClosed">
- <state id="DoorClosed" initial="NotRunning">
- <transition port="in" event="door_opened" target="../DoorOpen"/>
- <state id="Running">
- <onentry> <raise port="out" event="micro_on"/> </onentry>
- <onexit> <raise port="out" event="micro_off"/> </onexit>
- <transition port="in" event="stop" target="../NotRunning"/>
- <state id="Inner">
- <transition after="1 s" target=".">
- <code> time -= 1; display_time(time); </code>
- </transition>
- </state>
- <transition cond="time == 0" target="../NotRunning">
- <raise port="out" event="bell"/>
- </transition>
- </state>
- <state id="NotRunning">
- <transition port="in" event="start" target="../Running">
- <code> checkStartTime(); </code>
- </transition>
- <transition port="in" event="stop" target=".">
- <code> time = 0; display_time(time); </code>
- </transition>
- </state>
- </state>
- <state id="DoorOpen">
- <transition port="in" event="door_closed" target="../DoorClosed"/>
- </state>
- </state>
- <state id="TimeIncrease">
- <state id="Default">
- <transition port="in" event="increase_time" target=".">
- <code> time += 10; display_time(time); </code>
- </transition>
- </state>
- </state>
- </parallel>
- </root>
- </statechart>
- </single_instance_cd>
|