2 /* --------------------------------------------------------------------------------------------
3 * Copyright (c) Microsoft Corporation. All rights reserved.
4 * Licensed under the MIT License. See License.txt in the project root for license information.
5 * ------------------------------------------------------------------------------------------ */
6 Object.defineProperty(exports, "__esModule", { value: true });
7 exports.WorkDoneProgressCancelNotification = exports.WorkDoneProgressCreateRequest = exports.WorkDoneProgress = void 0;
8 const vscode_jsonrpc_1 = require("vscode-jsonrpc");
9 const messages_1 = require("./messages");
11 (function (WorkDoneProgress) {
12 WorkDoneProgress.type = new vscode_jsonrpc_1.ProgressType();
14 return value === WorkDoneProgress.type;
16 WorkDoneProgress.is = is;
17 })(WorkDoneProgress = exports.WorkDoneProgress || (exports.WorkDoneProgress = {}));
19 * The `window/workDoneProgress/create` request is sent from the server to the client to initiate progress
20 * reporting from the server.
22 var WorkDoneProgressCreateRequest;
23 (function (WorkDoneProgressCreateRequest) {
24 WorkDoneProgressCreateRequest.type = new messages_1.ProtocolRequestType('window/workDoneProgress/create');
25 })(WorkDoneProgressCreateRequest = exports.WorkDoneProgressCreateRequest || (exports.WorkDoneProgressCreateRequest = {}));
27 * The `window/workDoneProgress/cancel` notification is sent from the client to the server to cancel a progress
28 * initiated on the server side.
30 var WorkDoneProgressCancelNotification;
31 (function (WorkDoneProgressCancelNotification) {
32 WorkDoneProgressCancelNotification.type = new messages_1.ProtocolNotificationType('window/workDoneProgress/cancel');
33 })(WorkDoneProgressCancelNotification = exports.WorkDoneProgressCancelNotification || (exports.WorkDoneProgressCancelNotification = {}));
34 //# sourceMappingURL=protocol.progress.js.map