`sleep` function in driver-timer
This commit is contained in:
parent
6b0ba2997e
commit
6069455cb7
|
@ -23,6 +23,14 @@ export { PeriodicTick, TimeLaterThan };
|
||||||
message type PeriodicTick(intervalMS);
|
message type PeriodicTick(intervalMS);
|
||||||
assertion type TimeLaterThan(deadlineMS);
|
assertion type TimeLaterThan(deadlineMS);
|
||||||
|
|
||||||
|
export function sleep(ms, cb) {
|
||||||
|
react {
|
||||||
|
stop on asserted TimeLaterThan(+(new Date()) + ms) {
|
||||||
|
cb();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
spawn named 'driver-timer/PeriodicTick' {
|
spawn named 'driver-timer/PeriodicTick' {
|
||||||
during Observe(PeriodicTick($intervalMS)) spawn named ('PeriodicTick('+intervalMS+')') {
|
during Observe(PeriodicTick($intervalMS)) spawn named ('PeriodicTick('+intervalMS+')') {
|
||||||
let handle = null;
|
let handle = null;
|
||||||
|
|
Loading…
Reference in New Issue