forked from DonJayamanne/pythonVSCode
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathcancellation.ts
More file actions
83 lines (72 loc) · 2.71 KB
/
cancellation.ts
File metadata and controls
83 lines (72 loc) · 2.71 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
// Copyright (c) Microsoft Corporation. All rights reserved.
// Licensed under the MIT License.
'use strict';
import { CancellationToken } from 'vscode-jsonrpc';
import { createDeferred } from './utils/async';
import * as localize from './utils/localize';
/**
* Error type thrown when canceling.
*/
export class CancellationError extends Error {
constructor() {
super(localize.Common.canceled());
}
}
export namespace Cancellation {
/**
* Races a promise and cancellation. Promise can take a cancellation token too in order to listen to cancellation.
* @param work function returning a promise to race
* @param token token used for cancellation
*/
export function race<T>(work : (token?: CancellationToken) => Promise<T>, token?: CancellationToken) : Promise<T> {
if (token) {
// Use a deferred promise. Resolves when the work finishes
const deferred = createDeferred<T>();
// Cancel the deferred promise when the cancellation happens
token.onCancellationRequested(() => {
if (!deferred.completed) {
deferred.reject(new CancellationError());
}
});
// Might already be canceled
if (token.isCancellationRequested) {
// Just start out as rejected
deferred.reject(new CancellationError());
} else {
// Not canceled yet. When the work finishes
// either resolve our promise or cancel.
work(token)
.then((v) => {
if (!deferred.completed) {
deferred.resolve(v);
}
})
.catch((e) => {
if (!deferred.completed) {
deferred.reject(e);
}
});
}
return deferred.promise;
} else {
// No actual token, just do the original work.
return work();
}
}
/**
* isCanceled returns a boolean indicating if the cancel token has been canceled.
* @param cancelToken
*/
export function isCanceled(cancelToken?: CancellationToken) : boolean {
return cancelToken ? cancelToken.isCancellationRequested : false;
}
/**
* throws a CancellationError if the token is canceled.
* @param cancelToken
*/
export function throwIfCanceled(cancelToken?: CancellationToken) : void {
if (isCanceled(cancelToken)) {
throw new CancellationError();
}
}
}