diff options
Diffstat (limited to 'tests/test3')
| -rw-r--r-- | tests/test3 | 26 |
1 files changed, 10 insertions, 16 deletions
diff --git a/tests/test3 b/tests/test3 index 43e47d1..426fd2a 100644 --- a/tests/test3 +++ b/tests/test3 @@ -1,21 +1,15 @@ -machine light_bulb +machine SIREN [ - states [ light_on , light_off ]; - events [ switch_state , turn_on , turn_off ]; - - starting on light_off; - + states [ ON , OFF ]; + events [ ECHO , TURN_OFF , TURN_ON ]; + starting on ON ; 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 ON to OFF on event TURN_OFF; + from OFF to ON on event TURN_ON; - 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(); - ]; -]; + from ON to ON on event ECHO + execute echo ; + ]; -transition light_switch() -{ - -} +]; |