monaco-editor11 1.0.9 → 1.1.0

package/dist/workers/editor/common/textEdit.js

@@ -1,269 +0,0 @@
-import { compareBy } from '../../../../base/common/arrays.js';
-import { assertFn, checkAdjacentItems } from '../../../../base/common/assert.js';
-import { BugIndicatingError } from '../../../../base/common/errors.js';
-import { commonPrefixLength, commonSuffixLength } from '../../../../base/common/strings.js';
-import { Position } from '../position.js';
-import { Range } from '../range.js';
-import { TextLength } from '../text/textLength.js';
-import { StringText } from '../text/abstractText.js';
-
-/*---------------------------------------------------------------------------------------------
- *  Copyright (c) Microsoft Corporation. All rights reserved.
- *  Licensed under the MIT License. See License.txt in the project root for license information.
- *--------------------------------------------------------------------------------------------*/
-class TextEdit {
-    static fromStringEdit(edit, initialState) {
-        const edits = edit.replacements.map(e => TextReplacement.fromStringReplacement(e, initialState));
-        return new TextEdit(edits);
-    }
-    static fromParallelReplacementsUnsorted(replacements) {
-        const r = replacements.slice().sort(compareBy(i => i.range, Range.compareRangesUsingStarts));
-        return new TextEdit(r);
-    }
-    constructor(replacements) {
-        this.replacements = replacements;
-        assertFn(() => checkAdjacentItems(replacements, (a, b) => a.range.getEndPosition().isBeforeOrEqual(b.range.getStartPosition())));
-    }
-    mapPosition(position) {
-        let lineDelta = 0;
-        let curLine = 0;
-        let columnDeltaInCurLine = 0;
-        for (const replacement of this.replacements) {
-            const start = replacement.range.getStartPosition();
-            if (position.isBeforeOrEqual(start)) {
-                break;
-            }
-            const end = replacement.range.getEndPosition();
-            const len = TextLength.ofText(replacement.text);
-            if (position.isBefore(end)) {
-                const startPos = new Position(start.lineNumber + lineDelta, start.column + (start.lineNumber + lineDelta === curLine ? columnDeltaInCurLine : 0));
-                const endPos = len.addToPosition(startPos);
-                return rangeFromPositions(startPos, endPos);
-            }
-            if (start.lineNumber + lineDelta !== curLine) {
-                columnDeltaInCurLine = 0;
-            }
-            lineDelta += len.lineCount - (replacement.range.endLineNumber - replacement.range.startLineNumber);
-            if (len.lineCount === 0) {
-                if (end.lineNumber !== start.lineNumber) {
-                    columnDeltaInCurLine += len.columnCount - (end.column - 1);
-                }
-                else {
-                    columnDeltaInCurLine += len.columnCount - (end.column - start.column);
-                }
-            }
-            else {
-                columnDeltaInCurLine = len.columnCount;
-            }
-            curLine = end.lineNumber + lineDelta;
-        }
-        return new Position(position.lineNumber + lineDelta, position.column + (position.lineNumber + lineDelta === curLine ? columnDeltaInCurLine : 0));
-    }
-    mapRange(range) {
-        function getStart(p) {
-            return p instanceof Position ? p : p.getStartPosition();
-        }
-        function getEnd(p) {
-            return p instanceof Position ? p : p.getEndPosition();
-        }
-        const start = getStart(this.mapPosition(range.getStartPosition()));
-        const end = getEnd(this.mapPosition(range.getEndPosition()));
-        return rangeFromPositions(start, end);
-    }
-    apply(text) {
-        let result = '';
-        let lastEditEnd = new Position(1, 1);
-        for (const replacement of this.replacements) {
-            const editRange = replacement.range;
-            const editStart = editRange.getStartPosition();
-            const editEnd = editRange.getEndPosition();
-            const r = rangeFromPositions(lastEditEnd, editStart);
-            if (!r.isEmpty()) {
-                result += text.getValueOfRange(r);
-            }
-            result += replacement.text;
-            lastEditEnd = editEnd;
-        }
-        const r = rangeFromPositions(lastEditEnd, text.endPositionExclusive);
-        if (!r.isEmpty()) {
-            result += text.getValueOfRange(r);
-        }
-        return result;
-    }
-    applyToString(str) {
-        const strText = new StringText(str);
-        return this.apply(strText);
-    }
-    getNewRanges() {
-        const newRanges = [];
-        let previousEditEndLineNumber = 0;
-        let lineOffset = 0;
-        let columnOffset = 0;
-        for (const replacement of this.replacements) {
-            const textLength = TextLength.ofText(replacement.text);
-            const newRangeStart = Position.lift({
-                lineNumber: replacement.range.startLineNumber + lineOffset,
-                column: replacement.range.startColumn + (replacement.range.startLineNumber === previousEditEndLineNumber ? columnOffset : 0)
-            });
-            const newRange = textLength.createRange(newRangeStart);
-            newRanges.push(newRange);
-            lineOffset = newRange.endLineNumber - replacement.range.endLineNumber;
-            columnOffset = newRange.endColumn - replacement.range.endColumn;
-            previousEditEndLineNumber = replacement.range.endLineNumber;
-        }
-        return newRanges;
-    }
-    toReplacement(text) {
-        if (this.replacements.length === 0) {
-            throw new BugIndicatingError();
-        }
-        if (this.replacements.length === 1) {
-            return this.replacements[0];
-        }
-        const startPos = this.replacements[0].range.getStartPosition();
-        const endPos = this.replacements[this.replacements.length - 1].range.getEndPosition();
-        let newText = '';
-        for (let i = 0; i < this.replacements.length; i++) {
-            const curEdit = this.replacements[i];
-            newText += curEdit.text;
-            if (i < this.replacements.length - 1) {
-                const nextEdit = this.replacements[i + 1];
-                const gapRange = Range.fromPositions(curEdit.range.getEndPosition(), nextEdit.range.getStartPosition());
-                const gapText = text.getValueOfRange(gapRange);
-                newText += gapText;
-            }
-        }
-        return new TextReplacement(Range.fromPositions(startPos, endPos), newText);
-    }
-    toString(text) {
-        if (text === undefined) {
-            return this.replacements.map(edit => edit.toString()).join('\n');
-        }
-        if (typeof text === 'string') {
-            return this.toString(new StringText(text));
-        }
-        if (this.replacements.length === 0) {
-            return '';
-        }
-        return this.replacements.map(r => {
-            const maxLength = 10;
-            const originalText = text.getValueOfRange(r.range);
-            // Get text before the edit
-            const beforeRange = Range.fromPositions(new Position(Math.max(1, r.range.startLineNumber - 1), 1), r.range.getStartPosition());
-            let beforeText = text.getValueOfRange(beforeRange);
-            if (beforeText.length > maxLength) {
-                beforeText = '...' + beforeText.substring(beforeText.length - maxLength);
-            }
-            // Get text after the edit
-            const afterRange = Range.fromPositions(r.range.getEndPosition(), new Position(r.range.endLineNumber + 1, 1));
-            let afterText = text.getValueOfRange(afterRange);
-            if (afterText.length > maxLength) {
-                afterText = afterText.substring(0, maxLength) + '...';
-            }
-            // Format the replaced text
-            let replacedText = originalText;
-            if (replacedText.length > maxLength) {
-                const halfMax = Math.floor(maxLength / 2);
-                replacedText = replacedText.substring(0, halfMax) + '...' +
-                    replacedText.substring(replacedText.length - halfMax);
-            }
-            // Format the new text
-            let newText = r.text;
-            if (newText.length > maxLength) {
-                const halfMax = Math.floor(maxLength / 2);
-                newText = newText.substring(0, halfMax) + '...' +
-                    newText.substring(newText.length - halfMax);
-            }
-            if (replacedText.length === 0) {
-                // allow-any-unicode-next-line
-                return `${beforeText}❰${newText}❱${afterText}`;
-            }
-            // allow-any-unicode-next-line
-            return `${beforeText}❰${replacedText}↦${newText}❱${afterText}`;
-        }).join('\n');
-    }
-}
-class TextReplacement {
-    static joinReplacements(replacements, initialValue) {
-        if (replacements.length === 0) {
-            throw new BugIndicatingError();
-        }
-        if (replacements.length === 1) {
-            return replacements[0];
-        }
-        const startPos = replacements[0].range.getStartPosition();
-        const endPos = replacements[replacements.length - 1].range.getEndPosition();
-        let newText = '';
-        for (let i = 0; i < replacements.length; i++) {
-            const curEdit = replacements[i];
-            newText += curEdit.text;
-            if (i < replacements.length - 1) {
-                const nextEdit = replacements[i + 1];
-                const gapRange = Range.fromPositions(curEdit.range.getEndPosition(), nextEdit.range.getStartPosition());
-                const gapText = initialValue.getValueOfRange(gapRange);
-                newText += gapText;
-            }
-        }
-        return new TextReplacement(Range.fromPositions(startPos, endPos), newText);
-    }
-    static fromStringReplacement(replacement, initialState) {
-        return new TextReplacement(initialState.getTransformer().getRange(replacement.replaceRange), replacement.newText);
-    }
-    static delete(range) {
-        return new TextReplacement(range, '');
-    }
-    constructor(range, text) {
-        this.range = range;
-        this.text = text;
-    }
-    get isEmpty() {
-        return this.range.isEmpty() && this.text.length === 0;
-    }
-    static equals(first, second) {
-        return first.range.equalsRange(second.range) && first.text === second.text;
-    }
-    equals(other) {
-        return TextReplacement.equals(this, other);
-    }
-    removeCommonPrefixAndSuffix(text) {
-        const prefix = this.removeCommonPrefix(text);
-        const suffix = prefix.removeCommonSuffix(text);
-        return suffix;
-    }
-    removeCommonPrefix(text) {
-        const normalizedOriginalText = text.getValueOfRange(this.range).replaceAll('\r\n', '\n');
-        const normalizedModifiedText = this.text.replaceAll('\r\n', '\n');
-        const commonPrefixLen = commonPrefixLength(normalizedOriginalText, normalizedModifiedText);
-        const start = TextLength.ofText(normalizedOriginalText.substring(0, commonPrefixLen))
-            .addToPosition(this.range.getStartPosition());
-        const newText = normalizedModifiedText.substring(commonPrefixLen);
-        const range = Range.fromPositions(start, this.range.getEndPosition());
-        return new TextReplacement(range, newText);
-    }
-    removeCommonSuffix(text) {
-        const normalizedOriginalText = text.getValueOfRange(this.range).replaceAll('\r\n', '\n');
-        const normalizedModifiedText = this.text.replaceAll('\r\n', '\n');
-        const commonSuffixLen = commonSuffixLength(normalizedOriginalText, normalizedModifiedText);
-        const end = TextLength.ofText(normalizedOriginalText.substring(0, normalizedOriginalText.length - commonSuffixLen))
-            .addToPosition(this.range.getStartPosition());
-        const newText = normalizedModifiedText.substring(0, normalizedModifiedText.length - commonSuffixLen);
-        const range = Range.fromPositions(this.range.getStartPosition(), end);
-        return new TextReplacement(range, newText);
-    }
-    toString() {
-        const start = this.range.getStartPosition();
-        const end = this.range.getEndPosition();
-        return `(${start.lineNumber},${start.column} -> ${end.lineNumber},${end.column}): "${this.text}"`;
-    }
-}
-function rangeFromPositions(start, end) {
-    if (start.lineNumber === end.lineNumber && start.column === Number.MAX_SAFE_INTEGER) {
-        return Range.fromPositions(end, end);
-    }
-    else if (!start.isBeforeOrEqual(end)) {
-        throw new BugIndicatingError('start must be before end');
-    }
-    return new Range(start.lineNumber, start.column, end.lineNumber, end.column);
-}
-
-export { TextEdit, TextReplacement };

package/dist/workers/editor/common/textLength.js

@@ -1,87 +0,0 @@
-import { LineRange } from '../ranges/lineRange.js';
-import { Position } from '../position.js';
-import { Range } from '../range.js';
-
-/*---------------------------------------------------------------------------------------------
- *  Copyright (c) Microsoft Corporation. All rights reserved.
- *  Licensed under the MIT License. See License.txt in the project root for license information.
- *--------------------------------------------------------------------------------------------*/
-/**
- * Represents a non-negative length of text in terms of line and column count.
-*/
-class TextLength {
-    static { this.zero = new TextLength(0, 0); }
-    static betweenPositions(position1, position2) {
-        if (position1.lineNumber === position2.lineNumber) {
-            return new TextLength(0, position2.column - position1.column);
-        }
-        else {
-            return new TextLength(position2.lineNumber - position1.lineNumber, position2.column - 1);
-        }
-    }
-    static fromPosition(pos) {
-        return new TextLength(pos.lineNumber - 1, pos.column - 1);
-    }
-    static ofRange(range) {
-        return TextLength.betweenPositions(range.getStartPosition(), range.getEndPosition());
-    }
-    static ofText(text) {
-        let line = 0;
-        let column = 0;
-        for (const c of text) {
-            if (c === '\n') {
-                line++;
-                column = 0;
-            }
-            else {
-                column++;
-            }
-        }
-        return new TextLength(line, column);
-    }
-    constructor(lineCount, columnCount) {
-        this.lineCount = lineCount;
-        this.columnCount = columnCount;
-    }
-    isGreaterThanOrEqualTo(other) {
-        if (this.lineCount !== other.lineCount) {
-            return this.lineCount > other.lineCount;
-        }
-        return this.columnCount >= other.columnCount;
-    }
-    add(other) {
-        if (other.lineCount === 0) {
-            return new TextLength(this.lineCount, this.columnCount + other.columnCount);
-        }
-        else {
-            return new TextLength(this.lineCount + other.lineCount, other.columnCount);
-        }
-    }
-    createRange(startPosition) {
-        if (this.lineCount === 0) {
-            return new Range(startPosition.lineNumber, startPosition.column, startPosition.lineNumber, startPosition.column + this.columnCount);
-        }
-        else {
-            return new Range(startPosition.lineNumber, startPosition.column, startPosition.lineNumber + this.lineCount, this.columnCount + 1);
-        }
-    }
-    toRange() {
-        return new Range(1, 1, this.lineCount + 1, this.columnCount + 1);
-    }
-    toLineRange() {
-        return LineRange.ofLength(1, this.lineCount + 1);
-    }
-    addToPosition(position) {
-        if (this.lineCount === 0) {
-            return new Position(position.lineNumber, position.column + this.columnCount);
-        }
-        else {
-            return new Position(position.lineNumber + this.lineCount, this.columnCount + 1);
-        }
-    }
-    toString() {
-        return `${this.lineCount},${this.columnCount}`;
-    }
-}
-
-export { TextLength };