@theia/markers 1.34.1 → 1.34.3

package/lib/browser/marker-tree-model.js

@@ -1,61 +1,61 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2017 TypeFox and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
-// *****************************************************************************
-var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
-    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
-    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
-    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
-    return c > 3 && r && Object.defineProperty(target, key, r), r;
-};
-var __metadata = (this && this.__metadata) || function (k, v) {
-    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.MarkerTreeModel = void 0;
-const inversify_1 = require("@theia/core/shared/inversify");
-const marker_tree_1 = require("./marker-tree");
-const browser_1 = require("@theia/core/lib/browser");
-let MarkerTreeModel = class MarkerTreeModel extends browser_1.TreeModelImpl {
-    doOpenNode(node) {
-        if (marker_tree_1.MarkerNode.is(node)) {
-            (0, browser_1.open)(this.openerService, node.uri, this.getOpenerOptionsByMarker(node));
-        }
-        else {
-            super.doOpenNode(node);
-        }
-    }
-    getOpenerOptionsByMarker(node) {
-        return undefined;
-    }
-    /**
-     * Reveal the corresponding node at the marker.
-     * @param node {TreeNode} the tree node.
-     */
-    revealNode(node) {
-        if (marker_tree_1.MarkerNode.is(node)) {
-            (0, browser_1.open)(this.openerService, node.uri, Object.assign(Object.assign({}, this.getOpenerOptionsByMarker(node)), { mode: 'reveal' }));
-        }
-    }
-};
-__decorate([
-    (0, inversify_1.inject)(browser_1.OpenerService),
-    __metadata("design:type", Object)
-], MarkerTreeModel.prototype, "openerService", void 0);
-MarkerTreeModel = __decorate([
-    (0, inversify_1.injectable)()
-], MarkerTreeModel);
-exports.MarkerTreeModel = MarkerTreeModel;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2017 TypeFox and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+// *****************************************************************************
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MarkerTreeModel = void 0;
+const inversify_1 = require("@theia/core/shared/inversify");
+const marker_tree_1 = require("./marker-tree");
+const browser_1 = require("@theia/core/lib/browser");
+let MarkerTreeModel = class MarkerTreeModel extends browser_1.TreeModelImpl {
+    doOpenNode(node) {
+        if (marker_tree_1.MarkerNode.is(node)) {
+            (0, browser_1.open)(this.openerService, node.uri, this.getOpenerOptionsByMarker(node));
+        }
+        else {
+            super.doOpenNode(node);
+        }
+    }
+    getOpenerOptionsByMarker(node) {
+        return undefined;
+    }
+    /**
+     * Reveal the corresponding node at the marker.
+     * @param node {TreeNode} the tree node.
+     */
+    revealNode(node) {
+        if (marker_tree_1.MarkerNode.is(node)) {
+            (0, browser_1.open)(this.openerService, node.uri, Object.assign(Object.assign({}, this.getOpenerOptionsByMarker(node)), { mode: 'reveal' }));
+        }
+    }
+};
+__decorate([
+    (0, inversify_1.inject)(browser_1.OpenerService),
+    __metadata("design:type", Object)
+], MarkerTreeModel.prototype, "openerService", void 0);
+MarkerTreeModel = __decorate([
+    (0, inversify_1.injectable)()
+], MarkerTreeModel);
+exports.MarkerTreeModel = MarkerTreeModel;
 //# sourceMappingURL=marker-tree-model.js.map

package/lib/browser/marker-tree.d.ts

@@ -1,43 +1,43 @@
-import { TreeImpl, CompositeTreeNode, TreeNode, SelectableTreeNode, ExpandableTreeNode } from '@theia/core/lib/browser';
-import { MarkerManager } from './marker-manager';
-import { Marker } from '../common/marker';
-import { UriSelection } from '@theia/core/lib/common/selection';
-import URI from '@theia/core/lib/common/uri';
-import { ProblemSelection } from './problem/problem-selection';
-import { DiagnosticSeverity } from '@theia/core/shared/vscode-languageserver-protocol';
-export declare const MarkerOptions: unique symbol;
-export interface MarkerOptions {
-    readonly kind: string;
-}
-export declare abstract class MarkerTree<T extends object> extends TreeImpl {
-    protected readonly markerManager: MarkerManager<T>;
-    protected readonly markerOptions: MarkerOptions;
-    constructor(markerManager: MarkerManager<T>, markerOptions: MarkerOptions);
-    protected refreshMarkerInfo(uri: URI): Promise<void>;
-    protected insertNodeWithMarkers(node: MarkerInfoNode, markers: Marker<T>[]): void;
-    protected resolveChildren(parent: CompositeTreeNode): Promise<TreeNode[]>;
-    protected createMarkerInfo(id: string, uri: URI): MarkerInfoNode;
-    protected getMarkerNodes(parent: MarkerInfoNode, markers: Marker<T>[]): MarkerNode[];
-    protected createMarkerNode(marker: Marker<T>, index: number, parent: MarkerInfoNode): MarkerNode;
-}
-export interface MarkerNode extends UriSelection, SelectableTreeNode, ProblemSelection {
-    marker: Marker<object>;
-}
-export declare namespace MarkerNode {
-    function is(node: TreeNode | undefined): node is MarkerNode;
-}
-export interface MarkerInfoNode extends UriSelection, SelectableTreeNode, ExpandableTreeNode {
-    parent: MarkerRootNode;
-    numberOfMarkers: number;
-    severity?: DiagnosticSeverity;
-}
-export declare namespace MarkerInfoNode {
-    function is(node: unknown): node is MarkerInfoNode;
-}
-export interface MarkerRootNode extends CompositeTreeNode {
-    kind: string;
-}
-export declare namespace MarkerRootNode {
-    function is(node: TreeNode | undefined): node is MarkerRootNode;
-}
+import { TreeImpl, CompositeTreeNode, TreeNode, SelectableTreeNode, ExpandableTreeNode } from '@theia/core/lib/browser';
+import { MarkerManager } from './marker-manager';
+import { Marker } from '../common/marker';
+import { UriSelection } from '@theia/core/lib/common/selection';
+import URI from '@theia/core/lib/common/uri';
+import { ProblemSelection } from './problem/problem-selection';
+import { DiagnosticSeverity } from '@theia/core/shared/vscode-languageserver-protocol';
+export declare const MarkerOptions: unique symbol;
+export interface MarkerOptions {
+    readonly kind: string;
+}
+export declare abstract class MarkerTree<T extends object> extends TreeImpl {
+    protected readonly markerManager: MarkerManager<T>;
+    protected readonly markerOptions: MarkerOptions;
+    constructor(markerManager: MarkerManager<T>, markerOptions: MarkerOptions);
+    protected refreshMarkerInfo(uri: URI): Promise<void>;
+    protected insertNodeWithMarkers(node: MarkerInfoNode, markers: Marker<T>[]): void;
+    protected resolveChildren(parent: CompositeTreeNode): Promise<TreeNode[]>;
+    protected createMarkerInfo(id: string, uri: URI): MarkerInfoNode;
+    protected getMarkerNodes(parent: MarkerInfoNode, markers: Marker<T>[]): MarkerNode[];
+    protected createMarkerNode(marker: Marker<T>, index: number, parent: MarkerInfoNode): MarkerNode;
+}
+export interface MarkerNode extends UriSelection, SelectableTreeNode, ProblemSelection {
+    marker: Marker<object>;
+}
+export declare namespace MarkerNode {
+    function is(node: TreeNode | undefined): node is MarkerNode;
+}
+export interface MarkerInfoNode extends UriSelection, SelectableTreeNode, ExpandableTreeNode {
+    parent: MarkerRootNode;
+    numberOfMarkers: number;
+    severity?: DiagnosticSeverity;
+}
+export declare namespace MarkerInfoNode {
+    function is(node: unknown): node is MarkerInfoNode;
+}
+export interface MarkerRootNode extends CompositeTreeNode {
+    kind: string;
+}
+export declare namespace MarkerRootNode {
+    function is(node: TreeNode | undefined): node is MarkerRootNode;
+}
 //# sourceMappingURL=marker-tree.d.ts.map

package/lib/browser/marker-tree.js

@@ -1,144 +1,144 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2017 TypeFox and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
-// *****************************************************************************
-var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
-    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
-    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
-    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
-    return c > 3 && r && Object.defineProperty(target, key, r), r;
-};
-var __metadata = (this && this.__metadata) || function (k, v) {
-    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.MarkerRootNode = exports.MarkerInfoNode = exports.MarkerNode = exports.MarkerTree = exports.MarkerOptions = void 0;
-const inversify_1 = require("@theia/core/shared/inversify");
-const browser_1 = require("@theia/core/lib/browser");
-const marker_manager_1 = require("./marker-manager");
-const selection_1 = require("@theia/core/lib/common/selection");
-const uri_1 = require("@theia/core/lib/common/uri");
-const problem_selection_1 = require("./problem/problem-selection");
-exports.MarkerOptions = Symbol('MarkerOptions');
-let MarkerTree = class MarkerTree extends browser_1.TreeImpl {
-    constructor(markerManager, markerOptions) {
-        super();
-        this.markerManager = markerManager;
-        this.markerOptions = markerOptions;
-        this.toDispose.push(markerManager.onDidChangeMarkers(uri => this.refreshMarkerInfo(uri)));
-        this.root = {
-            visible: false,
-            id: 'theia-' + markerOptions.kind + '-marker-widget',
-            name: 'MarkerTree',
-            kind: markerOptions.kind,
-            children: [],
-            parent: undefined
-        };
-    }
-    async refreshMarkerInfo(uri) {
-        const id = uri.toString();
-        const existing = this.getNode(id);
-        const markers = this.markerManager.findMarkers({ uri });
-        if (markers.length <= 0) {
-            if (MarkerInfoNode.is(existing)) {
-                browser_1.CompositeTreeNode.removeChild(existing.parent, existing);
-                this.removeNode(existing);
-                this.fireChanged();
-            }
-            return;
-        }
-        const node = MarkerInfoNode.is(existing) ? existing : this.createMarkerInfo(id, uri);
-        this.insertNodeWithMarkers(node, markers);
-    }
-    insertNodeWithMarkers(node, markers) {
-        browser_1.CompositeTreeNode.addChild(node.parent, node);
-        const children = this.getMarkerNodes(node, markers);
-        node.numberOfMarkers = markers.length;
-        this.setChildren(node, children);
-    }
-    async resolveChildren(parent) {
-        if (MarkerRootNode.is(parent)) {
-            const nodes = [];
-            for (const id of this.markerManager.getUris()) {
-                const uri = new uri_1.default(id);
-                const existing = this.getNode(id);
-                const markers = this.markerManager.findMarkers({ uri });
-                const node = MarkerInfoNode.is(existing) ? existing : this.createMarkerInfo(id, uri);
-                node.children = this.getMarkerNodes(node, markers);
-                node.numberOfMarkers = node.children.length;
-                nodes.push(node);
-            }
-            return nodes;
-        }
-        return super.resolveChildren(parent);
-    }
-    createMarkerInfo(id, uri) {
-        return {
-            children: [],
-            expanded: true,
-            uri,
-            id,
-            parent: this.root,
-            selected: false,
-            numberOfMarkers: 0
-        };
-    }
-    getMarkerNodes(parent, markers) {
-        return markers.map((marker, index) => this.createMarkerNode(marker, index, parent));
-    }
-    createMarkerNode(marker, index, parent) {
-        const id = parent.id + '_' + index;
-        const existing = this.getNode(id);
-        if (MarkerNode.is(existing)) {
-            existing.marker = marker;
-            return existing;
-        }
-        return {
-            id,
-            name: 'marker',
-            parent,
-            selected: false,
-            uri: parent.uri,
-            marker
-        };
-    }
-};
-MarkerTree = __decorate([
-    (0, inversify_1.injectable)(),
-    __metadata("design:paramtypes", [marker_manager_1.MarkerManager, Object])
-], MarkerTree);
-exports.MarkerTree = MarkerTree;
-var MarkerNode;
-(function (MarkerNode) {
-    function is(node) {
-        return selection_1.UriSelection.is(node) && browser_1.SelectableTreeNode.is(node) && problem_selection_1.ProblemSelection.is(node);
-    }
-    MarkerNode.is = is;
-})(MarkerNode = exports.MarkerNode || (exports.MarkerNode = {}));
-var MarkerInfoNode;
-(function (MarkerInfoNode) {
-    function is(node) {
-        return browser_1.ExpandableTreeNode.is(node) && selection_1.UriSelection.is(node) && 'numberOfMarkers' in node;
-    }
-    MarkerInfoNode.is = is;
-})(MarkerInfoNode = exports.MarkerInfoNode || (exports.MarkerInfoNode = {}));
-var MarkerRootNode;
-(function (MarkerRootNode) {
-    function is(node) {
-        return browser_1.CompositeTreeNode.is(node) && 'kind' in node;
-    }
-    MarkerRootNode.is = is;
-})(MarkerRootNode = exports.MarkerRootNode || (exports.MarkerRootNode = {}));
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2017 TypeFox and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+// *****************************************************************************
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MarkerRootNode = exports.MarkerInfoNode = exports.MarkerNode = exports.MarkerTree = exports.MarkerOptions = void 0;
+const inversify_1 = require("@theia/core/shared/inversify");
+const browser_1 = require("@theia/core/lib/browser");
+const marker_manager_1 = require("./marker-manager");
+const selection_1 = require("@theia/core/lib/common/selection");
+const uri_1 = require("@theia/core/lib/common/uri");
+const problem_selection_1 = require("./problem/problem-selection");
+exports.MarkerOptions = Symbol('MarkerOptions');
+let MarkerTree = class MarkerTree extends browser_1.TreeImpl {
+    constructor(markerManager, markerOptions) {
+        super();
+        this.markerManager = markerManager;
+        this.markerOptions = markerOptions;
+        this.toDispose.push(markerManager.onDidChangeMarkers(uri => this.refreshMarkerInfo(uri)));
+        this.root = {
+            visible: false,
+            id: 'theia-' + markerOptions.kind + '-marker-widget',
+            name: 'MarkerTree',
+            kind: markerOptions.kind,
+            children: [],
+            parent: undefined
+        };
+    }
+    async refreshMarkerInfo(uri) {
+        const id = uri.toString();
+        const existing = this.getNode(id);
+        const markers = this.markerManager.findMarkers({ uri });
+        if (markers.length <= 0) {
+            if (MarkerInfoNode.is(existing)) {
+                browser_1.CompositeTreeNode.removeChild(existing.parent, existing);
+                this.removeNode(existing);
+                this.fireChanged();
+            }
+            return;
+        }
+        const node = MarkerInfoNode.is(existing) ? existing : this.createMarkerInfo(id, uri);
+        this.insertNodeWithMarkers(node, markers);
+    }
+    insertNodeWithMarkers(node, markers) {
+        browser_1.CompositeTreeNode.addChild(node.parent, node);
+        const children = this.getMarkerNodes(node, markers);
+        node.numberOfMarkers = markers.length;
+        this.setChildren(node, children);
+    }
+    async resolveChildren(parent) {
+        if (MarkerRootNode.is(parent)) {
+            const nodes = [];
+            for (const id of this.markerManager.getUris()) {
+                const uri = new uri_1.default(id);
+                const existing = this.getNode(id);
+                const markers = this.markerManager.findMarkers({ uri });
+                const node = MarkerInfoNode.is(existing) ? existing : this.createMarkerInfo(id, uri);
+                node.children = this.getMarkerNodes(node, markers);
+                node.numberOfMarkers = node.children.length;
+                nodes.push(node);
+            }
+            return nodes;
+        }
+        return super.resolveChildren(parent);
+    }
+    createMarkerInfo(id, uri) {
+        return {
+            children: [],
+            expanded: true,
+            uri,
+            id,
+            parent: this.root,
+            selected: false,
+            numberOfMarkers: 0
+        };
+    }
+    getMarkerNodes(parent, markers) {
+        return markers.map((marker, index) => this.createMarkerNode(marker, index, parent));
+    }
+    createMarkerNode(marker, index, parent) {
+        const id = parent.id + '_' + index;
+        const existing = this.getNode(id);
+        if (MarkerNode.is(existing)) {
+            existing.marker = marker;
+            return existing;
+        }
+        return {
+            id,
+            name: 'marker',
+            parent,
+            selected: false,
+            uri: parent.uri,
+            marker
+        };
+    }
+};
+MarkerTree = __decorate([
+    (0, inversify_1.injectable)(),
+    __metadata("design:paramtypes", [marker_manager_1.MarkerManager, Object])
+], MarkerTree);
+exports.MarkerTree = MarkerTree;
+var MarkerNode;
+(function (MarkerNode) {
+    function is(node) {
+        return selection_1.UriSelection.is(node) && browser_1.SelectableTreeNode.is(node) && problem_selection_1.ProblemSelection.is(node);
+    }
+    MarkerNode.is = is;
+})(MarkerNode = exports.MarkerNode || (exports.MarkerNode = {}));
+var MarkerInfoNode;
+(function (MarkerInfoNode) {
+    function is(node) {
+        return browser_1.ExpandableTreeNode.is(node) && selection_1.UriSelection.is(node) && 'numberOfMarkers' in node;
+    }
+    MarkerInfoNode.is = is;
+})(MarkerInfoNode = exports.MarkerInfoNode || (exports.MarkerInfoNode = {}));
+var MarkerRootNode;
+(function (MarkerRootNode) {
+    function is(node) {
+        return browser_1.CompositeTreeNode.is(node) && 'kind' in node;
+    }
+    MarkerRootNode.is = is;
+})(MarkerRootNode = exports.MarkerRootNode || (exports.MarkerRootNode = {}));
 //# sourceMappingURL=marker-tree.js.map

package/lib/browser/problem/problem-composite-tree-node.d.ts

@@ -1,9 +1,9 @@
-import { CompositeTreeNode } from '@theia/core/lib/browser/tree/tree';
-import { MarkerInfoNode } from '../marker-tree';
-import { Marker } from '../../common/marker';
-import { Diagnostic } from '@theia/core/shared/vscode-languageserver-protocol';
-export declare namespace ProblemCompositeTreeNode {
-    function setSeverity(parent: MarkerInfoNode, markers: Marker<Diagnostic>[]): void;
-    function addChild(parent: CompositeTreeNode, child: MarkerInfoNode, markers: Marker<Diagnostic>[]): CompositeTreeNode;
-}
+import { CompositeTreeNode } from '@theia/core/lib/browser/tree/tree';
+import { MarkerInfoNode } from '../marker-tree';
+import { Marker } from '../../common/marker';
+import { Diagnostic } from '@theia/core/shared/vscode-languageserver-protocol';
+export declare namespace ProblemCompositeTreeNode {
+    function setSeverity(parent: MarkerInfoNode, markers: Marker<Diagnostic>[]): void;
+    function addChild(parent: CompositeTreeNode, child: MarkerInfoNode, markers: Marker<Diagnostic>[]): CompositeTreeNode;
+}
 //# sourceMappingURL=problem-composite-tree-node.d.ts.map