@theia/editor 1.45.0 → 1.46.0-next.72

package/lib/browser/navigation/navigation-location-updater.d.ts

@@ -1,36 +1,36 @@
-import { NavigationLocation, Position, Range } from './navigation-location';
-/**
- * A navigation location updater that is responsible for adapting editor navigation locations.
- *
- * 1. Inserting or deleting text before the position shifts the position accordingly.
- * 2. Inserting text at the position offset shifts the position accordingly.
- * 3. Inserting or deleting text strictly contained by the position shrinks or stretches the position.
- * 4. Inserting or deleting text after a position does not affect the position.
- * 5. Deleting text which strictly contains the position deletes the position.
- * Note that the position is not deleted if its only shrunken to length zero. To delete a position, the modification must delete from
- * strictly before to strictly after the position.
- * 6. Replacing text contained by the position shrinks or expands the position (but does not shift it), such that the final position
- * contains the original position and the replacing text.
- * 7. Replacing text overlapping the position in other ways is considered as a sequence of first deleting the replaced text and
- * afterwards inserting the new text. Thus, a position is shrunken and can then be shifted (if the replaced text overlaps the offset of the position).
- */
-export declare class NavigationLocationUpdater {
-    /**
-     * Checks whether `candidateLocation` has to be updated when applying `other`.
-     *  - `false` if the `other` does not affect the `candidateLocation`.
-     *  - A `NavigationLocation` object if the `candidateLocation` has to be replaced with the return value.
-     *  - `undefined` if the candidate has to be deleted.
-     *
-     * If the `otherLocation` is not a `ContentChangeLocation` or it does not contain any actual content changes, this method returns with `false`
-     */
-    affects(candidateLocation: NavigationLocation, otherLocation: NavigationLocation): false | NavigationLocation | undefined;
-    protected handleInside(candidate: NavigationLocation, endLine: number, endCharacter: number): NavigationLocation.Context;
-    protected handleBefore(candidate: NavigationLocation, modification: Range, lineDiff: number, startCharacter: number, endCharacter: number): NavigationLocation.Context;
-    protected shiftLine(position: Position, diff: number): Position;
-    protected shiftLine(range: Range, diff: number): Range;
-    /**
-     * `true` if `subRange` is strictly contained in the `range`. Otherwise, `false`.
-     */
-    protected contained(subRange: Range, range: Range): boolean;
-}
+import { NavigationLocation, Position, Range } from './navigation-location';
+/**
+ * A navigation location updater that is responsible for adapting editor navigation locations.
+ *
+ * 1. Inserting or deleting text before the position shifts the position accordingly.
+ * 2. Inserting text at the position offset shifts the position accordingly.
+ * 3. Inserting or deleting text strictly contained by the position shrinks or stretches the position.
+ * 4. Inserting or deleting text after a position does not affect the position.
+ * 5. Deleting text which strictly contains the position deletes the position.
+ * Note that the position is not deleted if its only shrunken to length zero. To delete a position, the modification must delete from
+ * strictly before to strictly after the position.
+ * 6. Replacing text contained by the position shrinks or expands the position (but does not shift it), such that the final position
+ * contains the original position and the replacing text.
+ * 7. Replacing text overlapping the position in other ways is considered as a sequence of first deleting the replaced text and
+ * afterwards inserting the new text. Thus, a position is shrunken and can then be shifted (if the replaced text overlaps the offset of the position).
+ */
+export declare class NavigationLocationUpdater {
+    /**
+     * Checks whether `candidateLocation` has to be updated when applying `other`.
+     *  - `false` if the `other` does not affect the `candidateLocation`.
+     *  - A `NavigationLocation` object if the `candidateLocation` has to be replaced with the return value.
+     *  - `undefined` if the candidate has to be deleted.
+     *
+     * If the `otherLocation` is not a `ContentChangeLocation` or it does not contain any actual content changes, this method returns with `false`
+     */
+    affects(candidateLocation: NavigationLocation, otherLocation: NavigationLocation): false | NavigationLocation | undefined;
+    protected handleInside(candidate: NavigationLocation, endLine: number, endCharacter: number): NavigationLocation.Context;
+    protected handleBefore(candidate: NavigationLocation, modification: Range, lineDiff: number, startCharacter: number, endCharacter: number): NavigationLocation.Context;
+    protected shiftLine(position: Position, diff: number): Position;
+    protected shiftLine(range: Range, diff: number): Range;
+    /**
+     * `true` if `subRange` is strictly contained in the `range`. Otherwise, `false`.
+     */
+    protected contained(subRange: Range, range: Range): boolean;
+}
 //# sourceMappingURL=navigation-location-updater.d.ts.map

package/lib/browser/navigation/navigation-location-updater.js

@@ -1,211 +1,211 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2018 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-only 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;
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.NavigationLocationUpdater = void 0;
-const inversify_1 = require("@theia/core/shared/inversify");
-const navigation_location_1 = require("./navigation-location");
-/**
- * A navigation location updater that is responsible for adapting editor navigation locations.
- *
- * 1. Inserting or deleting text before the position shifts the position accordingly.
- * 2. Inserting text at the position offset shifts the position accordingly.
- * 3. Inserting or deleting text strictly contained by the position shrinks or stretches the position.
- * 4. Inserting or deleting text after a position does not affect the position.
- * 5. Deleting text which strictly contains the position deletes the position.
- * Note that the position is not deleted if its only shrunken to length zero. To delete a position, the modification must delete from
- * strictly before to strictly after the position.
- * 6. Replacing text contained by the position shrinks or expands the position (but does not shift it), such that the final position
- * contains the original position and the replacing text.
- * 7. Replacing text overlapping the position in other ways is considered as a sequence of first deleting the replaced text and
- * afterwards inserting the new text. Thus, a position is shrunken and can then be shifted (if the replaced text overlaps the offset of the position).
- */
-let NavigationLocationUpdater = class NavigationLocationUpdater {
-    /**
-     * Checks whether `candidateLocation` has to be updated when applying `other`.
-     *  - `false` if the `other` does not affect the `candidateLocation`.
-     *  - A `NavigationLocation` object if the `candidateLocation` has to be replaced with the return value.
-     *  - `undefined` if the candidate has to be deleted.
-     *
-     * If the `otherLocation` is not a `ContentChangeLocation` or it does not contain any actual content changes, this method returns with `false`
-     */
-    affects(candidateLocation, otherLocation) {
-        if (!navigation_location_1.ContentChangeLocation.is(otherLocation)) {
-            return false;
-        }
-        if (candidateLocation.uri.toString() !== otherLocation.uri.toString()) {
-            return false;
-        }
-        const candidate = navigation_location_1.NavigationLocation.range(candidateLocation);
-        const other = navigation_location_1.NavigationLocation.range(otherLocation);
-        if (candidate === undefined || other === undefined) {
-            return false;
-        }
-        const { uri, type } = candidateLocation;
-        const modification = otherLocation.context.text;
-        const newLineCount = modification.split(/[\n\r]/g).length - 1;
-        // Spec (1. and 2.)
-        if (other.end.line < candidate.start.line
-            || (other.end.line === candidate.start.line && other.end.character <= candidate.start.character)) {
-            // Shortcut for the general case. The user is typing above the candidate range. Nothing to do.
-            if (other.start.line === other.end.line && newLineCount === 0) {
-                return false;
-            }
-            const lineDiff = other.start.line - other.end.line + newLineCount;
-            let startCharacter = candidate.start.character;
-            let endCharacter = candidate.end.character;
-            if (other.start.line !== other.end.line) {
-                startCharacter = other.start.character + (candidate.start.character - other.end.character) + (modification.length - (modification.lastIndexOf('\n') + 1));
-                endCharacter = candidate.start.line === candidate.end.line
-                    ? candidate.end.character + startCharacter - candidate.start.character
-                    : candidate.end.character;
-            }
-            const context = this.handleBefore(candidateLocation, other, lineDiff, startCharacter, endCharacter);
-            return {
-                uri,
-                type,
-                context
-            };
-        }
-        // Spec (3.,  5., and 6.)
-        if (this.contained(other, candidate)) {
-            const endLine = candidate.end.line - other.end.line + candidate.start.line + newLineCount;
-            let endCharacter = candidate.end.character - (other.end.character - other.start.character) + modification.length;
-            if (newLineCount > 0) {
-                if (candidate.end.line === other.end.line) {
-                    endCharacter = modification.length - (modification.lastIndexOf('\n') + 1) + (candidate.end.character - other.end.character);
-                }
-                else {
-                    endCharacter = endCharacter - 1;
-                }
-            }
-            const context = this.handleInside(candidateLocation, endLine, endCharacter);
-            return {
-                uri,
-                type,
-                context
-            };
-        }
-        // Spec (5.)
-        if (other.start.line === candidate.start.line && other.start.character === candidate.start.character
-            && (other.end.line > candidate.end.line || (other.end.line === candidate.end.line && other.end.character > candidate.end.character))) {
-            return undefined;
-        }
-        // Spec (4.)
-        if (candidate.end.line < other.start.line
-            || (candidate.end.line === other.start.line && candidate.end.character < other.end.character)) {
-            return false;
-        }
-        return false;
-    }
-    handleInside(candidate, endLine, endCharacter) {
-        if (navigation_location_1.CursorLocation.is(candidate)) {
-            throw new Error('Modifications are not allowed inside a cursor location.');
-        }
-        const { start } = navigation_location_1.NavigationLocation.range(candidate);
-        const range = {
-            start,
-            end: {
-                line: endLine,
-                character: endCharacter
-            }
-        };
-        if (navigation_location_1.SelectionLocation.is(candidate)) {
-            return range;
-        }
-        if (navigation_location_1.ContentChangeLocation.is(candidate)) {
-            const { rangeLength, text } = candidate.context;
-            return {
-                range,
-                rangeLength,
-                text
-            };
-        }
-        throw new Error(`Unexpected navigation location: ${navigation_location_1.NavigationLocation.toString(candidate)}.`);
-    }
-    handleBefore(candidate, modification, lineDiff, startCharacter, endCharacter) {
-        let range = navigation_location_1.NavigationLocation.range(candidate);
-        range = this.shiftLine(range, lineDiff);
-        range = {
-            start: {
-                line: range.start.line,
-                character: startCharacter
-            },
-            end: {
-                line: range.end.line,
-                character: endCharacter
-            }
-        };
-        if (navigation_location_1.CursorLocation.is(candidate)) {
-            return range.start;
-        }
-        if (navigation_location_1.SelectionLocation.is(candidate)) {
-            return range;
-        }
-        if (navigation_location_1.ContentChangeLocation.is(candidate)) {
-            const { rangeLength, text } = candidate.context;
-            return {
-                range,
-                rangeLength,
-                text
-            };
-        }
-        throw new Error(`Unexpected navigation location: ${navigation_location_1.NavigationLocation.toString(candidate)}.`);
-    }
-    shiftLine(input, diff) {
-        if (navigation_location_1.Position.is(input)) {
-            const { line, character } = input;
-            return {
-                line: line + diff,
-                character
-            };
-        }
-        const { start, end } = input;
-        return {
-            start: this.shiftLine(start, diff),
-            end: this.shiftLine(end, diff)
-        };
-    }
-    /**
-     * `true` if `subRange` is strictly contained in the `range`. Otherwise, `false`.
-     */
-    contained(subRange, range) {
-        if (subRange.start.line > range.start.line && subRange.end.line < range.end.line) {
-            return true;
-        }
-        if (subRange.start.line < range.start.line || subRange.end.line > range.end.line) {
-            return false;
-        }
-        if (subRange.start.line === range.start.line && subRange.start.character < range.start.character) {
-            return false;
-        }
-        if (subRange.end.line === range.end.line && subRange.end.character > range.end.character) {
-            return false;
-        }
-        return true;
-    }
-};
-NavigationLocationUpdater = __decorate([
-    (0, inversify_1.injectable)()
-], NavigationLocationUpdater);
-exports.NavigationLocationUpdater = NavigationLocationUpdater;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2018 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-only 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;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.NavigationLocationUpdater = void 0;
+const inversify_1 = require("@theia/core/shared/inversify");
+const navigation_location_1 = require("./navigation-location");
+/**
+ * A navigation location updater that is responsible for adapting editor navigation locations.
+ *
+ * 1. Inserting or deleting text before the position shifts the position accordingly.
+ * 2. Inserting text at the position offset shifts the position accordingly.
+ * 3. Inserting or deleting text strictly contained by the position shrinks or stretches the position.
+ * 4. Inserting or deleting text after a position does not affect the position.
+ * 5. Deleting text which strictly contains the position deletes the position.
+ * Note that the position is not deleted if its only shrunken to length zero. To delete a position, the modification must delete from
+ * strictly before to strictly after the position.
+ * 6. Replacing text contained by the position shrinks or expands the position (but does not shift it), such that the final position
+ * contains the original position and the replacing text.
+ * 7. Replacing text overlapping the position in other ways is considered as a sequence of first deleting the replaced text and
+ * afterwards inserting the new text. Thus, a position is shrunken and can then be shifted (if the replaced text overlaps the offset of the position).
+ */
+let NavigationLocationUpdater = class NavigationLocationUpdater {
+    /**
+     * Checks whether `candidateLocation` has to be updated when applying `other`.
+     *  - `false` if the `other` does not affect the `candidateLocation`.
+     *  - A `NavigationLocation` object if the `candidateLocation` has to be replaced with the return value.
+     *  - `undefined` if the candidate has to be deleted.
+     *
+     * If the `otherLocation` is not a `ContentChangeLocation` or it does not contain any actual content changes, this method returns with `false`
+     */
+    affects(candidateLocation, otherLocation) {
+        if (!navigation_location_1.ContentChangeLocation.is(otherLocation)) {
+            return false;
+        }
+        if (candidateLocation.uri.toString() !== otherLocation.uri.toString()) {
+            return false;
+        }
+        const candidate = navigation_location_1.NavigationLocation.range(candidateLocation);
+        const other = navigation_location_1.NavigationLocation.range(otherLocation);
+        if (candidate === undefined || other === undefined) {
+            return false;
+        }
+        const { uri, type } = candidateLocation;
+        const modification = otherLocation.context.text;
+        const newLineCount = modification.split(/[\n\r]/g).length - 1;
+        // Spec (1. and 2.)
+        if (other.end.line < candidate.start.line
+            || (other.end.line === candidate.start.line && other.end.character <= candidate.start.character)) {
+            // Shortcut for the general case. The user is typing above the candidate range. Nothing to do.
+            if (other.start.line === other.end.line && newLineCount === 0) {
+                return false;
+            }
+            const lineDiff = other.start.line - other.end.line + newLineCount;
+            let startCharacter = candidate.start.character;
+            let endCharacter = candidate.end.character;
+            if (other.start.line !== other.end.line) {
+                startCharacter = other.start.character + (candidate.start.character - other.end.character) + (modification.length - (modification.lastIndexOf('\n') + 1));
+                endCharacter = candidate.start.line === candidate.end.line
+                    ? candidate.end.character + startCharacter - candidate.start.character
+                    : candidate.end.character;
+            }
+            const context = this.handleBefore(candidateLocation, other, lineDiff, startCharacter, endCharacter);
+            return {
+                uri,
+                type,
+                context
+            };
+        }
+        // Spec (3.,  5., and 6.)
+        if (this.contained(other, candidate)) {
+            const endLine = candidate.end.line - other.end.line + candidate.start.line + newLineCount;
+            let endCharacter = candidate.end.character - (other.end.character - other.start.character) + modification.length;
+            if (newLineCount > 0) {
+                if (candidate.end.line === other.end.line) {
+                    endCharacter = modification.length - (modification.lastIndexOf('\n') + 1) + (candidate.end.character - other.end.character);
+                }
+                else {
+                    endCharacter = endCharacter - 1;
+                }
+            }
+            const context = this.handleInside(candidateLocation, endLine, endCharacter);
+            return {
+                uri,
+                type,
+                context
+            };
+        }
+        // Spec (5.)
+        if (other.start.line === candidate.start.line && other.start.character === candidate.start.character
+            && (other.end.line > candidate.end.line || (other.end.line === candidate.end.line && other.end.character > candidate.end.character))) {
+            return undefined;
+        }
+        // Spec (4.)
+        if (candidate.end.line < other.start.line
+            || (candidate.end.line === other.start.line && candidate.end.character < other.end.character)) {
+            return false;
+        }
+        return false;
+    }
+    handleInside(candidate, endLine, endCharacter) {
+        if (navigation_location_1.CursorLocation.is(candidate)) {
+            throw new Error('Modifications are not allowed inside a cursor location.');
+        }
+        const { start } = navigation_location_1.NavigationLocation.range(candidate);
+        const range = {
+            start,
+            end: {
+                line: endLine,
+                character: endCharacter
+            }
+        };
+        if (navigation_location_1.SelectionLocation.is(candidate)) {
+            return range;
+        }
+        if (navigation_location_1.ContentChangeLocation.is(candidate)) {
+            const { rangeLength, text } = candidate.context;
+            return {
+                range,
+                rangeLength,
+                text
+            };
+        }
+        throw new Error(`Unexpected navigation location: ${navigation_location_1.NavigationLocation.toString(candidate)}.`);
+    }
+    handleBefore(candidate, modification, lineDiff, startCharacter, endCharacter) {
+        let range = navigation_location_1.NavigationLocation.range(candidate);
+        range = this.shiftLine(range, lineDiff);
+        range = {
+            start: {
+                line: range.start.line,
+                character: startCharacter
+            },
+            end: {
+                line: range.end.line,
+                character: endCharacter
+            }
+        };
+        if (navigation_location_1.CursorLocation.is(candidate)) {
+            return range.start;
+        }
+        if (navigation_location_1.SelectionLocation.is(candidate)) {
+            return range;
+        }
+        if (navigation_location_1.ContentChangeLocation.is(candidate)) {
+            const { rangeLength, text } = candidate.context;
+            return {
+                range,
+                rangeLength,
+                text
+            };
+        }
+        throw new Error(`Unexpected navigation location: ${navigation_location_1.NavigationLocation.toString(candidate)}.`);
+    }
+    shiftLine(input, diff) {
+        if (navigation_location_1.Position.is(input)) {
+            const { line, character } = input;
+            return {
+                line: line + diff,
+                character
+            };
+        }
+        const { start, end } = input;
+        return {
+            start: this.shiftLine(start, diff),
+            end: this.shiftLine(end, diff)
+        };
+    }
+    /**
+     * `true` if `subRange` is strictly contained in the `range`. Otherwise, `false`.
+     */
+    contained(subRange, range) {
+        if (subRange.start.line > range.start.line && subRange.end.line < range.end.line) {
+            return true;
+        }
+        if (subRange.start.line < range.start.line || subRange.end.line > range.end.line) {
+            return false;
+        }
+        if (subRange.start.line === range.start.line && subRange.start.character < range.start.character) {
+            return false;
+        }
+        if (subRange.end.line === range.end.line && subRange.end.character > range.end.character) {
+            return false;
+        }
+        return true;
+    }
+};
+NavigationLocationUpdater = __decorate([
+    (0, inversify_1.injectable)()
+], NavigationLocationUpdater);
+exports.NavigationLocationUpdater = NavigationLocationUpdater;
 //# sourceMappingURL=navigation-location-updater.js.map

package/lib/browser/navigation/navigation-location-updater.spec.d.ts

@@ -1,2 +1,2 @@
-export {};
+export {};
 //# sourceMappingURL=navigation-location-updater.spec.d.ts.map