You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When the motion detector hasn't seen any movement in 10 minutes,
turn off the lignts.
Can be expressed as
I need:
- `motion detectors` (at least one) with property `is there motion`;
- `lights` (at least one) to `turn off`;
- `10 minutes countdown` to `start`, `stop`, with property `is done`.
1. When `is there motion` of `motion detector` switches to false
do `start` with `10 minutes countdown`;
2. When `is there motion` of `motion detector` switches to true
do `stop` with `10 minutes countdown`;
3. When `is done` of `10 minutes countdown` switches to true
do `turn off` with `lights`.
Note that this does not require any explicit state.
Input devices
motion detector, with property is there motion;
10 minutes countdown, built-in, with property is done.
Output devices
lights, with capability turn off;
10 minutes countdown (the same one), with capabilities start, stop
Note that applications are sandboxed, so the 10 minutes countdown is
not visible by other applications.
Values
Nothing new here.
The text was updated successfully, but these errors were encountered:
Meta-bug: #2
Can be expressed as
Note that this does not require any explicit state.
Input devices
motion detector
, with propertyis there motion
;10 minutes countdown
, built-in, with propertyis done
.Output devices
lights
, with capabilityturn off
;10 minutes countdown
(the same one), with capabilitiesstart
,stop
Note that applications are sandboxed, so the 10 minutes countdown is
not visible by other applications.
Values
Nothing new here.
The text was updated successfully, but these errors were encountered: