diff options
Diffstat (limited to 'tests/test3')
| -rw-r--r-- | tests/test3 | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/tests/test3 b/tests/test3 new file mode 100644 index 0000000..43e47d1 --- /dev/null +++ b/tests/test3 @@ -0,0 +1,21 @@ +machine light_bulb +[ + states [ light_on , light_off ]; + events [ switch_state , turn_on , turn_off ]; + + starting on light_off; + + transitions + [ + from light_on to light_off on event switch_state execute light_switch(); + from light_off to light_on on event switch_state execute light_switch(); + + from light_on to light_off on event turn_on execute light_switch(); + from light_off to light_on on event turn_off execute light_switch(); + ]; +]; + +transition light_switch() +{ + +} |