/*--------------------------------------------------------------------------------------------- * Copyright (c) Microsoft Corporation. All rights reserved. * Licensed under the MIT License. See License.txt in the project root for license information. *--------------------------------------------------------------------------------------------*/ import { splitLines } from '../../../../../base/common/strings.js'; import { Range } from '../../../core/range.js'; /** * Represents a non-negative length in terms of line and column count. * Prefer using {@link Length} for performance reasons. */ export class LengthObj { constructor(lineCount, columnCount) { this.lineCount = lineCount; this.columnCount = columnCount; } toString() { return `${this.lineCount},${this.columnCount}`; } } LengthObj.zero = new LengthObj(0, 0); /** * The end must be greater than or equal to the start. */ export function lengthDiff(startLineCount, startColumnCount, endLineCount, endColumnCount) { return (startLineCount !== endLineCount) ? toLength(endLineCount - startLineCount, endColumnCount) : toLength(0, endColumnCount - startColumnCount); } export const lengthZero = 0; export function lengthIsZero(length) { return length === 0; } /* * We have 52 bits available in a JS number. * We use the upper 26 bits to store the line and the lower 26 bits to store the column. * * Set boolean to `true` when debugging, so that debugging is easier. */ const factor = /* is debug: */ false ? 100000 : Math.pow(2, 26); export function toLength(lineCount, columnCount) { // llllllllllllllllllllllllllcccccccccccccccccccccccccc (52 bits) // line count (26 bits) column count (26 bits) // If there is no overflow (all values/sums below 2^26 = 67108864), // we have `toLength(lns1, cols1) + toLength(lns2, cols2) = toLength(lns1 + lns2, cols1 + cols2)`. return (lineCount * factor + columnCount); } export function lengthToObj(length) { const l = length; const lineCount = Math.floor(l / factor); const columnCount = l - lineCount * factor; return new LengthObj(lineCount, columnCount); } export function lengthGetLineCount(length) { return Math.floor(length / factor); } /** * Returns the amount of columns of the given length, assuming that it does not span any line. */ export function lengthGetColumnCountIfZeroLineCount(length) { return length; } export function lengthAdd(l1, l2) { return ((l2 < factor) ? (l1 + l2) // l2 is the amount of columns (zero line count). Keep the column count from l1. : (l1 - (l1 % factor) + l2)); // l1 - (l1 % factor) equals toLength(l1.lineCount, 0) } /** * Returns a non negative length `result` such that `lengthAdd(length1, result) = length2`, or zero if such length does not exist. */ export function lengthDiffNonNegative(length1, length2) { const l1 = length1; const l2 = length2; const diff = l2 - l1; if (diff <= 0) { // line-count of length1 is higher than line-count of length2 // or they are equal and column-count of length1 is higher than column-count of length2 return lengthZero; } const lineCount1 = Math.floor(l1 / factor); const lineCount2 = Math.floor(l2 / factor); const colCount2 = l2 - lineCount2 * factor; if (lineCount1 === lineCount2) { const colCount1 = l1 - lineCount1 * factor; return toLength(0, colCount2 - colCount1); } else { return toLength(lineCount2 - lineCount1, colCount2); } } export function lengthLessThan(length1, length2) { // First, compare line counts, then column counts. return length1 < length2; } export function lengthLessThanEqual(length1, length2) { return length1 <= length2; } export function lengthGreaterThanEqual(length1, length2) { return length1 >= length2; } export function positionToLength(position) { return toLength(position.lineNumber - 1, position.column - 1); } export function lengthsToRange(lengthStart, lengthEnd) { const l = lengthStart; const lineCount = Math.floor(l / factor); const colCount = l - lineCount * factor; const l2 = lengthEnd; const lineCount2 = Math.floor(l2 / factor); const colCount2 = l2 - lineCount2 * factor; return new Range(lineCount + 1, colCount + 1, lineCount2 + 1, colCount2 + 1); } export function lengthOfString(str) { const lines = splitLines(str); return toLength(lines.length - 1, lines[lines.length - 1].length); }