2017-05-27 22:56:35 +02:00
|
|
|
/*
|
|
|
|
This file is part of TALER
|
|
|
|
(C) 2017 GNUnet e.V.
|
|
|
|
|
|
|
|
TALER is free software; you can redistribute it and/or modify it under the
|
|
|
|
terms of the GNU General Public License as published by the Free Software
|
|
|
|
Foundation; either version 3, or (at your option) any later version.
|
|
|
|
|
|
|
|
TALER is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
|
|
|
|
A PARTICULAR PURPOSE. See the GNU General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License along with
|
|
|
|
TALER; see the file COPYING. If not, see <http://www.gnu.org/licenses/>
|
|
|
|
*/
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Cross-platform timers.
|
|
|
|
*
|
|
|
|
* NodeJS and the browser use slightly different timer API,
|
|
|
|
* this abstracts over these differences.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Cancelable timer.
|
|
|
|
*/
|
|
|
|
export interface TimerHandle {
|
|
|
|
clear(): void;
|
|
|
|
}
|
|
|
|
|
|
|
|
class IntervalHandle {
|
|
|
|
constructor(public h: any) {
|
|
|
|
}
|
|
|
|
|
|
|
|
clear() {
|
|
|
|
clearTimeout(this.h);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
class TimeoutHandle {
|
|
|
|
constructor(public h: any) {
|
|
|
|
}
|
|
|
|
|
|
|
|
clear() {
|
|
|
|
clearTimeout(this.h);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Get a performance counter in milliseconds.
|
|
|
|
*/
|
2018-09-20 02:56:13 +02:00
|
|
|
export const performanceNow: () => number = (() => {
|
2017-05-30 14:38:29 +02:00
|
|
|
if (typeof process !== "undefined" && process.hrtime) {
|
2017-05-27 22:56:35 +02:00
|
|
|
return () => {
|
|
|
|
const t = process.hrtime();
|
|
|
|
return t[0] * 1e9 + t[1];
|
2017-05-28 01:10:54 +02:00
|
|
|
};
|
2017-05-27 22:56:35 +02:00
|
|
|
} else if (typeof "performance" !== "undefined") {
|
|
|
|
return () => performance.now();
|
|
|
|
} else {
|
|
|
|
return () => 0;
|
|
|
|
}
|
|
|
|
})();
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Call a function every time the delay given in milliseconds passes.
|
|
|
|
*/
|
|
|
|
export function every(delayMs: number, callback: () => void): TimerHandle {
|
|
|
|
return new IntervalHandle(setInterval(callback, delayMs));
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Call a function after the delay given in milliseconds passes.
|
|
|
|
*/
|
|
|
|
export function after(delayMs: number, callback: () => void): TimerHandle {
|
2017-06-06 13:12:24 +02:00
|
|
|
return new TimeoutHandle(setTimeout(callback, delayMs));
|
2017-05-27 22:56:35 +02:00
|
|
|
}
|
2017-06-05 02:00:03 +02:00
|
|
|
|
|
|
|
|
|
|
|
const nullTimerHandle = {
|
|
|
|
clear() {
|
2017-10-15 19:28:35 +02:00
|
|
|
// do nothing
|
|
|
|
return;
|
|
|
|
},
|
2017-06-05 02:00:03 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Group of timers that can be destroyed at once.
|
|
|
|
*/
|
|
|
|
export class TimerGroup {
|
|
|
|
private stopped: boolean = false;
|
|
|
|
|
|
|
|
private timerMap: { [index: number]: TimerHandle } = {};
|
|
|
|
|
|
|
|
private idGen = 1;
|
|
|
|
|
|
|
|
stopCurrentAndFutureTimers() {
|
|
|
|
this.stopped = true;
|
|
|
|
for (const x in this.timerMap) {
|
|
|
|
if (!this.timerMap.hasOwnProperty(x)) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
this.timerMap[x].clear();
|
|
|
|
delete this.timerMap[x];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
after(delayMs: number, callback: () => void): TimerHandle {
|
|
|
|
if (this.stopped) {
|
|
|
|
console.warn("dropping timer since timer group is stopped");
|
|
|
|
return nullTimerHandle;
|
|
|
|
}
|
|
|
|
const h = after(delayMs, callback);
|
2017-10-15 19:28:35 +02:00
|
|
|
const myId = this.idGen++;
|
2017-06-05 02:00:03 +02:00
|
|
|
this.timerMap[myId] = h;
|
|
|
|
|
|
|
|
const tm = this.timerMap;
|
|
|
|
|
|
|
|
return {
|
|
|
|
clear() {
|
|
|
|
h.clear();
|
|
|
|
delete tm[myId];
|
|
|
|
},
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
every(delayMs: number, callback: () => void): TimerHandle {
|
|
|
|
if (this.stopped) {
|
|
|
|
console.warn("dropping timer since timer group is stopped");
|
|
|
|
return nullTimerHandle;
|
|
|
|
}
|
|
|
|
const h = every(delayMs, callback);
|
2017-10-15 19:28:35 +02:00
|
|
|
const myId = this.idGen++;
|
2017-06-05 02:00:03 +02:00
|
|
|
this.timerMap[myId] = h;
|
|
|
|
|
|
|
|
const tm = this.timerMap;
|
|
|
|
|
|
|
|
return {
|
|
|
|
clear() {
|
|
|
|
h.clear();
|
|
|
|
delete tm[myId];
|
|
|
|
},
|
|
|
|
};
|
|
|
|
}
|
|
|
|
}
|