Class Deferral

Extension/src/LanguageServer/utils.ts:125–140

 * A class that delays the execution of a callback until a specified timeout period has elapsed.
 */
export class Deferral {
    private timer?: NodeJS.Timeout;

    constructor(callback: () => void, timeout: number) {
        this.timer = setTimeout(() => {
            this.timer = undefined;
            callback();
        }, timeout);
    }
    public cancel() {
        if (this.timer) {
            clearTimeout(this.timer);
            this.timer = undefined;
        }
    }
}