2016-04-06 16:22:30 +00:00
|
|
|
assertion type beep(counter);
|
|
|
|
|
2016-04-07 07:44:34 +00:00
|
|
|
ground dataspace {
|
2016-04-06 16:22:30 +00:00
|
|
|
console.log('starting ground boot');
|
|
|
|
|
2017-02-20 22:19:56 +00:00
|
|
|
spawn {
|
2016-08-25 12:13:44 +00:00
|
|
|
stop on asserted Syndicate.observe(beep(_)) {
|
|
|
|
field this.counter = 0;
|
|
|
|
react {
|
|
|
|
on start {
|
|
|
|
:: beep(this.counter++);
|
2016-04-06 16:22:30 +00:00
|
|
|
}
|
2016-08-25 12:13:44 +00:00
|
|
|
on message beep(_) {
|
|
|
|
:: beep(this.counter++);
|
|
|
|
}
|
|
|
|
stop on (this.counter > 10);
|
2016-04-06 16:22:30 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-02-20 22:19:56 +00:00
|
|
|
spawn {
|
2016-08-25 12:13:44 +00:00
|
|
|
on message beep($counter) {
|
|
|
|
console.log("beep!", counter);
|
2016-04-06 16:22:30 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|