Difference between revisions of "Wristwatch Example"
From WeizmannWiki
| Line 1: | Line 1: | ||
| − | + | TODO - Should have a link from the Example Page. | |
| + | |||
| + | The wristwatch example is originally from XX. Generally, the watch displays the time and can switch between different displays that show (and allow changes to) the alarm, date, time and stopwatch. It has an option for turning on the light, and an alarm that beeps when the set time | ||
| + | is reached. | ||
| + | The following examples demonstrate many constructs in the LSC language and the way they are created in natural lanague play-in. | ||
== Requirements == | == Requirements == | ||
| + | |||
=== Watch Modes === | === Watch Modes === | ||
| Line 7: | Line 12: | ||
{| width="100%" border="1" align="left" cellpadding="1" cellspacing="1" | {| width="100%" border="1" align="left" cellpadding="1" cellspacing="1" | ||
|- | |- | ||
| − | | when the user clicks the d_button, if the display mode is time, the display mode changes to date, otherwise if the display mode is date, the display mode changes to time. | + | | when the user clicks the d_button, if the display mode is time, the display mode changes to date, otherwise if the display mode is date, the display mode changes to time. (demonstrates if-else). |
| [[Image:WatchModes.png|thumb|left|x50px|LSC]] | | [[Image:WatchModes.png|thumb|left|x50px|LSC]] | ||
|- | |- | ||
| − | | when the user clicks the a_button, if the display mode is time, the display mode changes to alarm, otherwise if the display mode is alarm, the display mode changes to chime, otherwise if the display mode is chime, the display mode changes to stopwatch, otherwise if the display mode is stopwatch, the display mode changes to time. | + | | when the user clicks the a_button, if the display mode is time, the display mode changes to alarm, otherwise if the display mode is alarm, the display mode changes to chime, otherwise if the display mode is chime, the display mode changes to stopwatch, otherwise if the display mode is stopwatch, the display mode changes to time. |
| [[Image:Modes.png|thumb|left|x50px|LSC]] | | [[Image:Modes.png|thumb|left|x50px|LSC]] | ||
|- | |- | ||
| Line 51: | Line 56: | ||
|- | |- | ||
| when the time value changes, if the display mode is time, the display text changes to time value | | when the time value changes, if the display mode is time, the display text changes to time value | ||
| − | | [[Image:ShowTime.png|thumb|left|x50px|LSC]] | + | | [[Image:ShowTime.png|thumb|left|x50px|LSC]] (demonstrates a property change as a trigger). |
|} | |} | ||
| Line 77: | Line 82: | ||
| [[Image:AlarmBlink.png|thumb|left|x50px|LSC]] | | [[Image:AlarmBlink.png|thumb|left|x50px|LSC]] | ||
|- | |- | ||
| − | |when the beeper state changes to on, as long as the beeper state is on and two seconds elapse, the beeper beeps, the display mode may not change | + | |when the beeper state changes to on, as long as the beeper state is on and two seconds elapse, the beeper beeps, the display mode may not change. (demonstrates loop and forbidden element). |
| [[Image:AlarmBeep.png|thumb|left|x50px|LSC]] | | [[Image:AlarmBeep.png|thumb|left|x50px|LSC]] | ||
|- | |- | ||
| − | | when the user clicks any WButton , the beeper state turns to off | + | | when the user clicks any WButton , the beeper state turns to off. (demonstrates symbolic \ non-deterministic objects) |
| [[Image:AlarmOff.png|thumb|left|x50px|LSC]] | | [[Image:AlarmOff.png|thumb|left|x50px|LSC]] | ||
|} | |} | ||
| − | |||
== Download the Wrist Watch Example == | == Download the Wrist Watch Example == | ||
Revision as of 14:11, 6 February 2013
TODO - Should have a link from the Example Page.
The wristwatch example is originally from XX. Generally, the watch displays the time and can switch between different displays that show (and allow changes to) the alarm, date, time and stopwatch. It has an option for turning on the light, and an alarm that beeps when the set time is reached. The following examples demonstrate many constructs in the LSC language and the way they are created in natural lanague play-in.
Contents
Requirements
Watch Modes
| when the user clicks the d_button, if the display mode is time, the display mode changes to date, otherwise if the display mode is date, the display mode changes to time. (demonstrates if-else). |  |
| when the user clicks the a_button, if the display mode is time, the display mode changes to alarm, otherwise if the display mode is alarm, the display mode changes to chime, otherwise if the display mode is chime, the display mode changes to stopwatch, otherwise if the display mode is stopwatch, the display mode changes to time. |  |
| when the user clicks the c_button , if the display mode is alarm then the display mode changes to "alarm minutes" , otherwise if the display mode is "alarm minutes" then the display mode changes to "alarm hours" , otherwise if the display mode is "alarm hours" then the display mode changes to alarm |  |
| when the user clicks the b_button, if the display mode is “alarm minutes”, the display mode changes to alarm |  |
| when the user clicks the b_button, if the display mode is “alarm hours” , the display mode changes to alarm |  |
| when the user clicks the a_button , if the display mode is "alarm minutes" , the alarm increases in one minute , otherwise if the display mode is "alarm hours" , the alarm increases by one hour |  |
| when the user clicks the c_button , if the display mode is time , the display mode changes to update and the update type changes to seconds |  |
Updates
| when the user clicks the c_button , if the update type is seconds , the update type changes to minutes otherwise if the update type is minutes , the update type changes to hours otherwise if the update type is hours , the update type changes to date otherwise if the update type is date, the display mode changes to time and the update type changes to none |  |
| when the update type changes , if the update type equals seconds , the display blinks seconds , otherwise if the update type equals minutes , the display blinks minutes , otherwise the display blinks none |  |
| when the update type changes, the display mode changes to update |  |
Time
| when the clock ticks, the time increases by one second |  |
| when the time value changes, if the display mode is time, the display text changes to time value |  |
Light
| when the user clicks the b_button, if the light state is on , the light state turns to off , otherwise if the light state is off , the light state turns to on |  |
Alarm
| when the time value changes , if the time value equals the alarm value and the alarm state is enabled then the beeper state turns to on |  |
| when the user clicks the d_button , if the display mode is alarm , if the alarm state is enabled , the alarm state changes to disabled otherwise the alarm state changes to enabled |  |
| when the display mode changes , if the display mode equals "alarm minutes" , the display blinks in minutes , otherwise if the display mode equals "alarm hours" , the display blinks in hours , otherwise the display blinks in none |  |
| when the beeper state changes to on, as long as the beeper state is on and two seconds elapse, the beeper beeps, the display mode may not change. (demonstrates loop and forbidden element). |  |
| when the user clicks any WButton , the beeper state turns to off. (demonstrates symbolic \ non-deterministic objects) |  |
Download the Wrist Watch Example
The following zip files contain...
WristWatchExampleSwingGUI.zip
WristWatchExampleSystemModelGUI.zip
Installation Instructions
- Extract the downloaded file. The zip includes an executable jar and a properties file - ToDO: extend this and add image of the extracted folder.
- Double click the jar and start playing
