| /* |
| * Copyright (C) 2013 Google Inc. All rights reserved. |
| * |
| * Redistribution and use in source and binary forms, with or without |
| * modification, are permitted provided that the following conditions are |
| * met: |
| * |
| * * Redistributions of source code must retain the above copyright |
| * notice, this list of conditions and the following disclaimer. |
| * * Redistributions in binary form must reproduce the above |
| * copyright notice, this list of conditions and the following disclaimer |
| * in the documentation and/or other materials provided with the |
| * distribution. |
| * * Neither the name of Google Inc. nor the names of its |
| * contributors may be used to endorse or promote products derived from |
| * this software without specific prior written permission. |
| * |
| * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
| * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
| * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
| * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT |
| * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
| * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
| * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
| * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
| * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
| * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| |
| /** |
| * @unrestricted |
| */ |
| export class TextRange { |
| /** |
| * @param {number} startLine |
| * @param {number} startColumn |
| * @param {number} endLine |
| * @param {number} endColumn |
| */ |
| constructor(startLine, startColumn, endLine, endColumn) { |
| this.startLine = startLine; |
| this.startColumn = startColumn; |
| this.endLine = endLine; |
| this.endColumn = endColumn; |
| } |
| |
| /** |
| * @param {number} line |
| * @param {number} column |
| * @return {!TextRange} |
| */ |
| static createFromLocation(line, column) { |
| return new TextRange(line, column, line, column); |
| } |
| |
| /** |
| * @param {!Object} serializedTextRange |
| * @return {!TextRange} |
| */ |
| static fromObject(serializedTextRange) { |
| return new TextRange( |
| serializedTextRange.startLine, serializedTextRange.startColumn, serializedTextRange.endLine, |
| serializedTextRange.endColumn); |
| } |
| |
| /** |
| * @param {!TextRange} range1 |
| * @param {!TextRange} range2 |
| * @return {number} |
| */ |
| static comparator(range1, range2) { |
| return range1.compareTo(range2); |
| } |
| |
| /** |
| * @param {!TextRange} oldRange |
| * @param {string} newText |
| * @return {!TextRange} |
| */ |
| static fromEdit(oldRange, newText) { |
| let endLine = oldRange.startLine; |
| let endColumn = oldRange.startColumn + newText.length; |
| const lineEndings = newText.computeLineEndings(); |
| if (lineEndings.length > 1) { |
| endLine = oldRange.startLine + lineEndings.length - 1; |
| const len = lineEndings.length; |
| endColumn = lineEndings[len - 1] - lineEndings[len - 2] - 1; |
| } |
| return new TextRange(oldRange.startLine, oldRange.startColumn, endLine, endColumn); |
| } |
| |
| /** |
| * @return {boolean} |
| */ |
| isEmpty() { |
| return this.startLine === this.endLine && this.startColumn === this.endColumn; |
| } |
| |
| /** |
| * @param {!TextRange} range |
| * @return {boolean} |
| */ |
| immediatelyPrecedes(range) { |
| if (!range) { |
| return false; |
| } |
| return this.endLine === range.startLine && this.endColumn === range.startColumn; |
| } |
| |
| /** |
| * @param {!TextRange} range |
| * @return {boolean} |
| */ |
| immediatelyFollows(range) { |
| if (!range) { |
| return false; |
| } |
| return range.immediatelyPrecedes(this); |
| } |
| |
| /** |
| * @param {!TextRange} range |
| * @return {boolean} |
| */ |
| follows(range) { |
| return (range.endLine === this.startLine && range.endColumn <= this.startColumn) || range.endLine < this.startLine; |
| } |
| |
| /** |
| * @return {number} |
| */ |
| get linesCount() { |
| return this.endLine - this.startLine; |
| } |
| |
| /** |
| * @return {!TextRange} |
| */ |
| collapseToEnd() { |
| return new TextRange(this.endLine, this.endColumn, this.endLine, this.endColumn); |
| } |
| |
| /** |
| * @return {!TextRange} |
| */ |
| collapseToStart() { |
| return new TextRange(this.startLine, this.startColumn, this.startLine, this.startColumn); |
| } |
| |
| /** |
| * @return {!TextRange} |
| */ |
| normalize() { |
| if (this.startLine > this.endLine || (this.startLine === this.endLine && this.startColumn > this.endColumn)) { |
| return new TextRange(this.endLine, this.endColumn, this.startLine, this.startColumn); |
| } else { |
| return this.clone(); |
| } |
| } |
| |
| /** |
| * @return {!TextRange} |
| */ |
| clone() { |
| return new TextRange(this.startLine, this.startColumn, this.endLine, this.endColumn); |
| } |
| |
| /** |
| * @return {!{startLine: number, startColumn: number, endLine: number, endColumn: number}} |
| */ |
| serializeToObject() { |
| const serializedTextRange = {}; |
| serializedTextRange.startLine = this.startLine; |
| serializedTextRange.startColumn = this.startColumn; |
| serializedTextRange.endLine = this.endLine; |
| serializedTextRange.endColumn = this.endColumn; |
| return serializedTextRange; |
| } |
| |
| /** |
| * @param {!TextRange} other |
| * @return {number} |
| */ |
| compareTo(other) { |
| if (this.startLine > other.startLine) { |
| return 1; |
| } |
| if (this.startLine < other.startLine) { |
| return -1; |
| } |
| if (this.startColumn > other.startColumn) { |
| return 1; |
| } |
| if (this.startColumn < other.startColumn) { |
| return -1; |
| } |
| return 0; |
| } |
| |
| /** |
| * @param {number} lineNumber |
| * @param {number} columnNumber |
| * @return {number} |
| */ |
| compareToPosition(lineNumber, columnNumber) { |
| if (lineNumber < this.startLine || (lineNumber === this.startLine && columnNumber < this.startColumn)) { |
| return -1; |
| } |
| if (lineNumber > this.endLine || (lineNumber === this.endLine && columnNumber > this.endColumn)) { |
| return 1; |
| } |
| return 0; |
| } |
| |
| /** |
| * @param {!TextRange} other |
| * @return {boolean} |
| */ |
| equal(other) { |
| return this.startLine === other.startLine && this.endLine === other.endLine && |
| this.startColumn === other.startColumn && this.endColumn === other.endColumn; |
| } |
| |
| /** |
| * @param {number} line |
| * @param {number} column |
| * @return {!TextRange} |
| */ |
| relativeTo(line, column) { |
| const relative = this.clone(); |
| |
| if (this.startLine === line) { |
| relative.startColumn -= column; |
| } |
| if (this.endLine === line) { |
| relative.endColumn -= column; |
| } |
| |
| relative.startLine -= line; |
| relative.endLine -= line; |
| return relative; |
| } |
| |
| /** |
| * @param {number} line |
| * @param {number} column |
| * @return {!TextRange} |
| */ |
| relativeFrom(line, column) { |
| const relative = this.clone(); |
| |
| if (this.startLine === 0) { |
| relative.startColumn += column; |
| } |
| if (this.endLine === 0) { |
| relative.endColumn += column; |
| } |
| |
| relative.startLine += line; |
| relative.endLine += line; |
| return relative; |
| } |
| |
| /** |
| * @param {!TextRange} originalRange |
| * @param {!TextRange} editedRange |
| * @return {!TextRange} |
| */ |
| rebaseAfterTextEdit(originalRange, editedRange) { |
| console.assert(originalRange.startLine === editedRange.startLine); |
| console.assert(originalRange.startColumn === editedRange.startColumn); |
| const rebase = this.clone(); |
| if (!this.follows(originalRange)) { |
| return rebase; |
| } |
| const lineDelta = editedRange.endLine - originalRange.endLine; |
| const columnDelta = editedRange.endColumn - originalRange.endColumn; |
| rebase.startLine += lineDelta; |
| rebase.endLine += lineDelta; |
| if (rebase.startLine === editedRange.endLine) { |
| rebase.startColumn += columnDelta; |
| } |
| if (rebase.endLine === editedRange.endLine) { |
| rebase.endColumn += columnDelta; |
| } |
| return rebase; |
| } |
| |
| /** |
| * @override |
| * @return {string} |
| */ |
| toString() { |
| return JSON.stringify(this); |
| } |
| |
| /** |
| * @param {number} lineNumber |
| * @param {number} columnNumber |
| * @return {boolean} |
| */ |
| containsLocation(lineNumber, columnNumber) { |
| if (this.startLine === this.endLine) { |
| return this.startLine === lineNumber && this.startColumn <= columnNumber && columnNumber <= this.endColumn; |
| } |
| if (this.startLine === lineNumber) { |
| return this.startColumn <= columnNumber; |
| } |
| if (this.endLine === lineNumber) { |
| return columnNumber <= this.endColumn; |
| } |
| return this.startLine < lineNumber && lineNumber < this.endLine; |
| } |
| } |
| |
| /** |
| * @unrestricted |
| */ |
| export class SourceRange { |
| /** |
| * @param {number} offset |
| * @param {number} length |
| */ |
| constructor(offset, length) { |
| this.offset = offset; |
| this.length = length; |
| } |
| } |
| |
| /** |
| * @unrestricted |
| */ |
| export class SourceEdit { |
| /** |
| * @param {string} sourceURL |
| * @param {!TextRange} oldRange |
| * @param {string} newText |
| */ |
| constructor(sourceURL, oldRange, newText) { |
| this.sourceURL = sourceURL; |
| this.oldRange = oldRange; |
| this.newText = newText; |
| } |
| |
| /** |
| * @param {!SourceEdit} edit1 |
| * @param {!SourceEdit} edit2 |
| * @return {number} |
| */ |
| static comparator(edit1, edit2) { |
| return TextRange.comparator(edit1.oldRange, edit2.oldRange); |
| } |
| |
| /** |
| * @return {!TextRange} |
| */ |
| newRange() { |
| return TextRange.fromEdit(this.oldRange, this.newText); |
| } |
| } |
| |
| /* Legacy exported object */ |
| self.TextUtils = self.TextUtils || {}; |
| |
| /* Legacy exported object */ |
| TextUtils = TextUtils || {}; |
| |
| /** @constructor */ |
| TextUtils.TextRange = TextRange; |
| |
| /** @constructor */ |
| TextUtils.SourceRange = SourceRange; |
| |
| /** @constructor */ |
| TextUtils.SourceEdit = SourceEdit; |