syndicate-lang
/
syndicate-2017
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Avoid using assert/retract directly in IoT alerting

This commit is contained in:
Tony Garnock-Jones 2016-05-08 12:25:28 -04:00
parent 6591091bb6
commit 5c5da4e569
1 changed files with 7 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
js/examples/iot/index.js
View File

@ -121,7 +121,6 @@ function spawnClock() {
}
function spawnTimeoutListener() {
var message = tvAlert('Stove on too long?');
actor {
this.mostRecentTime = 0;
this.powerOnTime = null;
@ -132,12 +131,9 @@ function spawnTimeoutListener() {
}
on message time($now) {
this.mostRecentTime = now;
if (this.powerOnTime !== null && this.mostRecentTime - this.powerOnTime > 3000) {
Syndicate.Dataspace.stateChange(Syndicate.assert(message));
} else {
Syndicate.Dataspace.stateChange(Syndicate.retract(message));
}
}
assert tvAlert('Stove on too long?')
when (this.powerOnTime !== null && this.mostRecentTime - this.powerOnTime > 3000);
}
}
}
@ -146,17 +142,14 @@ function spawnTimeoutListener() {
// Failure monitor
function spawnFailureMonitor() {
function messageFor(who) {
return tvAlert('FAILURE: ' + who);
}
actor {
forever {
on asserted componentPresent($who) {
Syndicate.Dataspace.stateChange(Syndicate.retract(messageFor(who)));
}
on retracted componentPresent($who) {
Syndicate.Dataspace.stateChange(Syndicate.assert(messageFor(who)));
state {
assert tvAlert('FAILURE: ' + who);
} until {
case asserted componentPresent(who);
}
}
}
}