@codingame/monaco-vscode-api 4.5.1 → 5.0.0

package/vscode/src/vs/platform/userDataSync/common/userDataSyncStoreService.js

@@ -190,7 +190,7 @@ let UserDataSyncStoreClient = class UserDataSyncStoreClient extends Disposable {
     }
     async getAllCollections(headers = {}) {
         if (!this.userDataSyncStoreUrl) {
-            throw new Error('No settings sync store url configured.');
+            throw ( new Error('No settings sync store url configured.'));
         }
         const url = ( joinPath(this.userDataSyncStoreUrl, 'collection').toString());
         headers = { ...headers };
@@ -200,7 +200,7 @@ let UserDataSyncStoreClient = class UserDataSyncStoreClient extends Disposable {
     }
     async createCollection(headers = {}) {
         if (!this.userDataSyncStoreUrl) {
-            throw new Error('No settings sync store url configured.');
+            throw ( new Error('No settings sync store url configured.'));
         }
         const url = ( joinPath(this.userDataSyncStoreUrl, 'collection').toString());
         headers = { ...headers };
@@ -208,13 +208,19 @@ let UserDataSyncStoreClient = class UserDataSyncStoreClient extends Disposable {
         const context = await this.request(url, { type: 'POST', headers }, [], CancellationToken.None);
         const collectionId = await asTextOrError(context);
         if (!collectionId) {
-            throw new UserDataSyncStoreError('Server did not return the collection id', url, "NoCollection" , context.res.statusCode, context.res.headers[HEADER_OPERATION_ID]);
+            throw ( new UserDataSyncStoreError(
+                'Server did not return the collection id',
+                url,
+                "NoCollection" ,
+                context.res.statusCode,
+                context.res.headers[HEADER_OPERATION_ID]
+            ));
         }
         return collectionId;
     }
     async deleteCollection(collection, headers = {}) {
         if (!this.userDataSyncStoreUrl) {
-            throw new Error('No settings sync store url configured.');
+            throw ( new Error('No settings sync store url configured.'));
         }
         const url = collection ? ( joinPath(this.userDataSyncStoreUrl, 'collection', collection).toString()) : ( joinPath(this.userDataSyncStoreUrl, 'collection').toString());
         headers = { ...headers };
@@ -222,7 +228,7 @@ let UserDataSyncStoreClient = class UserDataSyncStoreClient extends Disposable {
     }
     async getAllResourceRefs(resource, collection) {
         if (!this.userDataSyncStoreUrl) {
-            throw new Error('No settings sync store url configured.');
+            throw ( new Error('No settings sync store url configured.'));
         }
         const uri = this.getResourceUrl(this.userDataSyncStoreUrl, collection, resource);
         const headers = {};
@@ -234,7 +240,7 @@ let UserDataSyncStoreClient = class UserDataSyncStoreClient extends Disposable {
     }
     async resolveResourceContent(resource, ref, collection, headers = {}) {
         if (!this.userDataSyncStoreUrl) {
-            throw new Error('No settings sync store url configured.');
+            throw ( new Error('No settings sync store url configured.'));
         }
         const url = ( joinPath(this.getResourceUrl(this.userDataSyncStoreUrl, collection, resource), ref).toString());
         headers = { ...headers };
@@ -245,7 +251,7 @@ let UserDataSyncStoreClient = class UserDataSyncStoreClient extends Disposable {
     }
     async deleteResource(resource, ref, collection) {
         if (!this.userDataSyncStoreUrl) {
-            throw new Error('No settings sync store url configured.');
+            throw ( new Error('No settings sync store url configured.'));
         }
         const url = ref !== null ? ( joinPath(this.getResourceUrl(this.userDataSyncStoreUrl, collection, resource), ref).toString()) : ( this.getResourceUrl(this.userDataSyncStoreUrl, collection, resource).toString());
         const headers = {};
@@ -253,7 +259,7 @@ let UserDataSyncStoreClient = class UserDataSyncStoreClient extends Disposable {
     }
     async deleteResources() {
         if (!this.userDataSyncStoreUrl) {
-            throw new Error('No settings sync store url configured.');
+            throw ( new Error('No settings sync store url configured.'));
         }
         const url = ( joinPath(this.userDataSyncStoreUrl, 'resource').toString());
         const headers = { 'Content-Type': Mimes.text };
@@ -261,7 +267,7 @@ let UserDataSyncStoreClient = class UserDataSyncStoreClient extends Disposable {
     }
     async readResource(resource, oldValue, collection, headers = {}) {
         if (!this.userDataSyncStoreUrl) {
-            throw new Error('No settings sync store url configured.');
+            throw ( new Error('No settings sync store url configured.'));
         }
         const url = ( joinPath(this.getResourceUrl(this.userDataSyncStoreUrl, collection, resource), 'latest').toString());
         headers = { ...headers };
@@ -277,11 +283,23 @@ let UserDataSyncStoreClient = class UserDataSyncStoreClient extends Disposable {
         if (userData === null) {
             const ref = context.res.headers['etag'];
             if (!ref) {
-                throw new UserDataSyncStoreError('Server did not return the ref', url, "NoRef" , context.res.statusCode, context.res.headers[HEADER_OPERATION_ID]);
+                throw ( new UserDataSyncStoreError(
+                    'Server did not return the ref',
+                    url,
+                    "NoRef" ,
+                    context.res.statusCode,
+                    context.res.headers[HEADER_OPERATION_ID]
+                ));
             }
             const content = await asTextOrError(context);
             if (!content && context.res.statusCode === 304) {
-                throw new UserDataSyncStoreError('Empty response', url, "EmptyResponse" , context.res.statusCode, context.res.headers[HEADER_OPERATION_ID]);
+                throw ( new UserDataSyncStoreError(
+                    'Empty response',
+                    url,
+                    "EmptyResponse" ,
+                    context.res.statusCode,
+                    context.res.headers[HEADER_OPERATION_ID]
+                ));
             }
             userData = { ref, content };
         }
@@ -289,7 +307,7 @@ let UserDataSyncStoreClient = class UserDataSyncStoreClient extends Disposable {
     }
     async writeResource(resource, data, ref, collection, headers = {}) {
         if (!this.userDataSyncStoreUrl) {
-            throw new Error('No settings sync store url configured.');
+            throw ( new Error('No settings sync store url configured.'));
         }
         const url = ( this.getResourceUrl(this.userDataSyncStoreUrl, collection, resource).toString());
         headers = { ...headers };
@@ -300,13 +318,19 @@ let UserDataSyncStoreClient = class UserDataSyncStoreClient extends Disposable {
         const context = await this.request(url, { type: 'POST', data, headers }, [], CancellationToken.None);
         const newRef = context.res.headers['etag'];
         if (!newRef) {
-            throw new UserDataSyncStoreError('Server did not return the ref', url, "NoRef" , context.res.statusCode, context.res.headers[HEADER_OPERATION_ID]);
+            throw ( new UserDataSyncStoreError(
+                'Server did not return the ref',
+                url,
+                "NoRef" ,
+                context.res.statusCode,
+                context.res.headers[HEADER_OPERATION_ID]
+            ));
         }
         return newRef;
     }
     async manifest(oldValue, headers = {}) {
         if (!this.userDataSyncStoreUrl) {
-            throw new Error('No settings sync store url configured.');
+            throw ( new Error('No settings sync store url configured.'));
         }
         const url = ( joinPath(this.userDataSyncStoreUrl, 'manifest').toString());
         headers = { ...headers };
@@ -322,11 +346,23 @@ let UserDataSyncStoreClient = class UserDataSyncStoreClient extends Disposable {
         if (!manifest) {
             const ref = context.res.headers['etag'];
             if (!ref) {
-                throw new UserDataSyncStoreError('Server did not return the ref', url, "NoRef" , context.res.statusCode, context.res.headers[HEADER_OPERATION_ID]);
+                throw ( new UserDataSyncStoreError(
+                    'Server did not return the ref',
+                    url,
+                    "NoRef" ,
+                    context.res.statusCode,
+                    context.res.headers[HEADER_OPERATION_ID]
+                ));
             }
             const content = await asTextOrError(context);
             if (!content && context.res.statusCode === 304) {
-                throw new UserDataSyncStoreError('Empty response', url, "EmptyResponse" , context.res.statusCode, context.res.headers[HEADER_OPERATION_ID]);
+                throw ( new UserDataSyncStoreError(
+                    'Empty response',
+                    url,
+                    "EmptyResponse" ,
+                    context.res.statusCode,
+                    context.res.headers[HEADER_OPERATION_ID]
+                ));
             }
             if (content) {
                 manifest = { ...JSON.parse(content), ref };
@@ -346,7 +382,7 @@ let UserDataSyncStoreClient = class UserDataSyncStoreClient extends Disposable {
     }
     async clear() {
         if (!this.userDataSyncStoreUrl) {
-            throw new Error('No settings sync store url configured.');
+            throw ( new Error('No settings sync store url configured.'));
         }
         await this.deleteCollection();
         await this.deleteResources();
@@ -354,16 +390,28 @@ let UserDataSyncStoreClient = class UserDataSyncStoreClient extends Disposable {
     }
     async getActivityData() {
         if (!this.userDataSyncStoreUrl) {
-            throw new Error('No settings sync store url configured.');
+            throw ( new Error('No settings sync store url configured.'));
         }
         const url = ( joinPath(this.userDataSyncStoreUrl, 'download').toString());
         const headers = {};
         const context = await this.request(url, { type: 'GET', headers }, [], CancellationToken.None);
         if (!isSuccess(context)) {
-            throw new UserDataSyncStoreError('Server returned ' + context.res.statusCode, url, "EmptyResponse" , context.res.statusCode, context.res.headers[HEADER_OPERATION_ID]);
+            throw ( new UserDataSyncStoreError(
+                'Server returned ' + context.res.statusCode,
+                url,
+                "EmptyResponse" ,
+                context.res.statusCode,
+                context.res.headers[HEADER_OPERATION_ID]
+            ));
         }
         if (hasNoContent(context)) {
-            throw new UserDataSyncStoreError('Empty response', url, "EmptyResponse" , context.res.statusCode, context.res.headers[HEADER_OPERATION_ID]);
+            throw ( new UserDataSyncStoreError(
+                'Empty response',
+                url,
+                "EmptyResponse" ,
+                context.res.statusCode,
+                context.res.headers[HEADER_OPERATION_ID]
+            ));
         }
         return context.stream;
     }
@@ -376,10 +424,22 @@ let UserDataSyncStoreClient = class UserDataSyncStoreClient extends Disposable {
     }
     async request(url, options, successCodes, token) {
         if (!this.authToken) {
-            throw new UserDataSyncStoreError('No Auth Token Available', url, "Unauthorized" , undefined, undefined);
+            throw ( new UserDataSyncStoreError(
+                'No Auth Token Available',
+                url,
+                "Unauthorized" ,
+                undefined,
+                undefined
+            ));
         }
         if (this._donotMakeRequestsUntil && Date.now() < this._donotMakeRequestsUntil.getTime()) {
-            throw new UserDataSyncStoreError(`${options.type} request '${url}' failed because of too many requests (429).`, url, "TooManyRequestsAndRetryAfter" , undefined, undefined);
+            throw ( new UserDataSyncStoreError(
+                `${options.type} request '${url}' failed because of too many requests (429).`,
+                url,
+                "TooManyRequestsAndRetryAfter" ,
+                undefined,
+                undefined
+            ));
         }
         this.setDonotMakeRequestsUntil(undefined);
         const commonHeaders = await this.commonHeadersPromise;
@@ -440,47 +500,119 @@ let UserDataSyncStoreClient = class UserDataSyncStoreClient extends Disposable {
             this.authToken = undefined;
             if (context.res.statusCode === 401) {
                 this._onTokenFailed.fire("Unauthorized" );
-                throw new UserDataSyncStoreError(`${options.type} request '${url}' failed because of Unauthorized (401).`, url, "Unauthorized" , context.res.statusCode, operationId);
+                throw ( new UserDataSyncStoreError(
+                    `${options.type} request '${url}' failed because of Unauthorized (401).`,
+                    url,
+                    "Unauthorized" ,
+                    context.res.statusCode,
+                    operationId
+                ));
             }
             if (context.res.statusCode === 403) {
                 this._onTokenFailed.fire("Forbidden" );
-                throw new UserDataSyncStoreError(`${options.type} request '${url}' failed because the access is forbidden (403).`, url, "Forbidden" , context.res.statusCode, operationId);
+                throw ( new UserDataSyncStoreError(
+                    `${options.type} request '${url}' failed because the access is forbidden (403).`,
+                    url,
+                    "Forbidden" ,
+                    context.res.statusCode,
+                    operationId
+                ));
             }
         }
         this._onTokenSucceed.fire();
         if (context.res.statusCode === 404) {
-            throw new UserDataSyncStoreError(`${options.type} request '${url}' failed because the requested resource is not found (404).`, url, "NotFound" , context.res.statusCode, operationId);
+            throw ( new UserDataSyncStoreError(
+                `${options.type} request '${url}' failed because the requested resource is not found (404).`,
+                url,
+                "NotFound" ,
+                context.res.statusCode,
+                operationId
+            ));
         }
         if (context.res.statusCode === 405) {
-            throw new UserDataSyncStoreError(`${options.type} request '${url}' failed because the requested endpoint is not found (405). ${failureMessage}`, url, "MethodNotFound" , context.res.statusCode, operationId);
+            throw ( new UserDataSyncStoreError(
+                `${options.type} request '${url}' failed because the requested endpoint is not found (405). ${failureMessage}`,
+                url,
+                "MethodNotFound" ,
+                context.res.statusCode,
+                operationId
+            ));
         }
         if (context.res.statusCode === 409) {
-            throw new UserDataSyncStoreError(`${options.type} request '${url}' failed because of Conflict (409). There is new data for this resource. Make the request again with latest data.`, url, "Conflict" , context.res.statusCode, operationId);
+            throw ( new UserDataSyncStoreError(
+                `${options.type} request '${url}' failed because of Conflict (409). There is new data for this resource. Make the request again with latest data.`,
+                url,
+                "Conflict" ,
+                context.res.statusCode,
+                operationId
+            ));
         }
         if (context.res.statusCode === 410) {
-            throw new UserDataSyncStoreError(`${options.type} request '${url}' failed because the requested resource is not longer available (410).`, url, "Gone" , context.res.statusCode, operationId);
+            throw ( new UserDataSyncStoreError(
+                `${options.type} request '${url}' failed because the requested resource is not longer available (410).`,
+                url,
+                "Gone" ,
+                context.res.statusCode,
+                operationId
+            ));
         }
         if (context.res.statusCode === 412) {
-            throw new UserDataSyncStoreError(`${options.type} request '${url}' failed because of Precondition Failed (412). There is new data for this resource. Make the request again with latest data.`, url, "PreconditionFailed" , context.res.statusCode, operationId);
+            throw ( new UserDataSyncStoreError(
+                `${options.type} request '${url}' failed because of Precondition Failed (412). There is new data for this resource. Make the request again with latest data.`,
+                url,
+                "PreconditionFailed" ,
+                context.res.statusCode,
+                operationId
+            ));
         }
         if (context.res.statusCode === 413) {
-            throw new UserDataSyncStoreError(`${options.type} request '${url}' failed because of too large payload (413).`, url, "TooLarge" , context.res.statusCode, operationId);
+            throw ( new UserDataSyncStoreError(
+                `${options.type} request '${url}' failed because of too large payload (413).`,
+                url,
+                "TooLarge" ,
+                context.res.statusCode,
+                operationId
+            ));
         }
         if (context.res.statusCode === 426) {
-            throw new UserDataSyncStoreError(`${options.type} request '${url}' failed with status Upgrade Required (426). Please upgrade the client and try again.`, url, "UpgradeRequired" , context.res.statusCode, operationId);
+            throw ( new UserDataSyncStoreError(
+                `${options.type} request '${url}' failed with status Upgrade Required (426). Please upgrade the client and try again.`,
+                url,
+                "UpgradeRequired" ,
+                context.res.statusCode,
+                operationId
+            ));
         }
         if (context.res.statusCode === 429) {
             const retryAfter = context.res.headers['retry-after'];
             if (retryAfter) {
                 this.setDonotMakeRequestsUntil(( new Date(Date.now() + (parseInt(retryAfter) * 1000))));
-                throw new UserDataSyncStoreError(`${options.type} request '${url}' failed because of too many requests (429).`, url, "TooManyRequestsAndRetryAfter" , context.res.statusCode, operationId);
+                throw ( new UserDataSyncStoreError(
+                    `${options.type} request '${url}' failed because of too many requests (429).`,
+                    url,
+                    "TooManyRequestsAndRetryAfter" ,
+                    context.res.statusCode,
+                    operationId
+                ));
             }
             else {
-                throw new UserDataSyncStoreError(`${options.type} request '${url}' failed because of too many requests (429).`, url, "RemoteTooManyRequests" , context.res.statusCode, operationId);
+                throw ( new UserDataSyncStoreError(
+                    `${options.type} request '${url}' failed because of too many requests (429).`,
+                    url,
+                    "RemoteTooManyRequests" ,
+                    context.res.statusCode,
+                    operationId
+                ));
             }
         }
         if (!isSuccess$1) {
-            throw new UserDataSyncStoreError('Server returned ' + context.res.statusCode, url, "Unknown" , context.res.statusCode, operationId);
+            throw ( new UserDataSyncStoreError(
+                'Server returned ' + context.res.statusCode,
+                url,
+                "Unknown" ,
+                context.res.statusCode,
+                operationId
+            ));
         }
         return context;
     }
@@ -536,7 +668,13 @@ class RequestsSession {
         options.url = url;
         if (this.requests.length >= this.limit) {
             this.logService.info('Too many requests', ...this.requests);
-            throw new UserDataSyncStoreError(`Too many requests. Only ${this.limit} requests allowed in ${this.interval / (1000 * 60)} minutes.`, url, "LocalTooManyRequests" , undefined, undefined);
+            throw ( new UserDataSyncStoreError(
+                `Too many requests. Only ${this.limit} requests allowed in ${this.interval / (1000 * 60)} minutes.`,
+                url,
+                "LocalTooManyRequests" ,
+                undefined,
+                undefined
+            ));
         }
         this.startTime = this.startTime || ( new Date());
         this.requests.push(url);

package/vscode/src/vs/platform/workspace/common/workspace.js

@@ -4,6 +4,7 @@ import { TernarySearchTree } from '../../../base/common/ternarySearchTree.js';
 import { joinPath, extname as extname$1, basenameOrAuthority, extUriBiasedIgnorePathCase } from '../../../base/common/resources.js';
 import { URI } from '../../../base/common/uri.js';
 import { Schemas } from '../../../base/common/network.js';
+const _moduleId = "vs/platform/workspace/common/workspace";
 function isSingleFolderWorkspaceIdentifier(obj) {
     const singleFolderIdentifier = obj;
     return typeof singleFolderIdentifier?.id === 'string' && URI.isUri(singleFolderIdentifier.uri);
@@ -129,18 +130,16 @@ class WorkspaceFolder {
     }
 }
 function toWorkspaceFolder(resource) {
-    return ( new WorkspaceFolder(
-        { uri: resource, index: 0, name: basenameOrAuthority(resource) },
-        { uri: ( resource.toString()) }
-    ));
+    return (
+         (new WorkspaceFolder(
+            { uri: resource, index: 0, name: basenameOrAuthority(resource) },
+            { uri: ( (resource.toString())) }
+        ))
+    );
 }
 const WORKSPACE_EXTENSION = 'code-workspace';
 const WORKSPACE_SUFFIX = `.${WORKSPACE_EXTENSION}`;
-const WORKSPACE_FILTER = [{ name: ( localizeWithPath(
-    'vs/platform/workspace/common/workspace',
-    'codeWorkspace',
-    "Code Workspace"
-)), extensions: [WORKSPACE_EXTENSION] }];
+const WORKSPACE_FILTER = [{ name: ( localizeWithPath(_moduleId, 0, "Code Workspace")), extensions: [WORKSPACE_EXTENSION] }];
 const UNTITLED_WORKSPACE_NAME = 'workspace.json';
 function isUntitledWorkspace(path, environmentService) {
     return extUriBiasedIgnorePathCase.isEqualOrParent(path, environmentService.untitledWorkspacesHome);

package/vscode/src/vs/platform/workspaces/common/workspaces.js

@@ -130,7 +130,7 @@ function doParseStoredWorkspace(path, contents) {
         storedWorkspace.folders = storedWorkspace.folders.filter(folder => isStoredWorkspaceFolder(folder));
     }
     else {
-        throw new Error(`${path} looks like an invalid workspace file.`);
+        throw ( new Error(`${path} looks like an invalid workspace file.`));
     }
     return storedWorkspace;
 }