2019-08-24 00:37:58 +08:00
|
|
|
/*
|
|
|
|
Copyright 2019 The Matrix.org Foundation C.I.C.
|
|
|
|
|
|
|
|
Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
you may not use this file except in compliance with the License.
|
|
|
|
You may obtain a copy of the License at
|
|
|
|
|
|
|
|
http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
|
|
|
|
Unless required by applicable law or agreed to in writing, software
|
|
|
|
distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
See the License for the specific language governing permissions and
|
|
|
|
limitations under the License.
|
|
|
|
*/
|
|
|
|
|
2020-07-15 16:45:45 +08:00
|
|
|
import EditorModel from "./model";
|
2021-06-29 20:11:58 +08:00
|
|
|
import DocumentPosition, { Predicate } from "./position";
|
|
|
|
import { Part } from "./parts";
|
2020-07-15 16:45:45 +08:00
|
|
|
|
2020-09-29 21:17:44 +08:00
|
|
|
const whitespacePredicate: Predicate = (index, offset, part) => {
|
|
|
|
return part.text[offset].trim() === "";
|
2020-09-29 21:15:20 +08:00
|
|
|
};
|
|
|
|
|
2019-08-24 00:37:58 +08:00
|
|
|
export default class Range {
|
2020-07-15 16:45:45 +08:00
|
|
|
private _start: DocumentPosition;
|
|
|
|
private _end: DocumentPosition;
|
2022-03-16 17:46:07 +08:00
|
|
|
private _lastStart: DocumentPosition;
|
|
|
|
private _initializedEmpty: boolean;
|
2020-07-15 16:45:45 +08:00
|
|
|
|
2022-12-16 20:29:59 +08:00
|
|
|
public constructor(public readonly model: EditorModel, positionA: DocumentPosition, positionB = positionA) {
|
2019-09-03 22:03:03 +08:00
|
|
|
const bIsLarger = positionA.compare(positionB) < 0;
|
|
|
|
this._start = bIsLarger ? positionA : positionB;
|
|
|
|
this._end = bIsLarger ? positionB : positionA;
|
2022-03-16 17:46:07 +08:00
|
|
|
this._lastStart = this._start;
|
|
|
|
this._initializedEmpty = this._start.index === this._end.index && this._start.offset == this._end.offset;
|
2019-08-24 00:37:58 +08:00
|
|
|
}
|
|
|
|
|
2021-09-11 16:21:56 +08:00
|
|
|
public moveStartForwards(delta: number): void {
|
2020-07-15 16:45:45 +08:00
|
|
|
this._start = this._start.forwardsWhile(this.model, () => {
|
2019-08-24 00:37:58 +08:00
|
|
|
delta -= 1;
|
|
|
|
return delta >= 0;
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
2022-03-16 17:46:07 +08:00
|
|
|
public wasInitializedEmpty(): boolean {
|
|
|
|
return this._initializedEmpty;
|
|
|
|
}
|
|
|
|
|
2023-01-12 21:25:14 +08:00
|
|
|
public setWasEmpty(value: boolean): void {
|
2022-03-16 17:46:07 +08:00
|
|
|
this._initializedEmpty = value;
|
|
|
|
}
|
|
|
|
|
|
|
|
public getLastStartingPosition(): DocumentPosition {
|
|
|
|
return this._lastStart;
|
|
|
|
}
|
|
|
|
|
|
|
|
public setLastStartingPosition(position: DocumentPosition): void {
|
|
|
|
this._lastStart = position;
|
|
|
|
}
|
|
|
|
|
2021-09-11 16:21:56 +08:00
|
|
|
public moveEndBackwards(delta: number): void {
|
2021-04-18 16:02:50 +08:00
|
|
|
this._end = this._end.backwardsWhile(this.model, () => {
|
|
|
|
delta -= 1;
|
|
|
|
return delta >= 0;
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
2021-07-12 20:26:34 +08:00
|
|
|
public trim(): void {
|
2022-03-16 17:46:07 +08:00
|
|
|
if (this.text.trim() === "") {
|
|
|
|
this._start = this._end;
|
|
|
|
return;
|
|
|
|
}
|
2020-09-29 21:17:44 +08:00
|
|
|
this._start = this._start.forwardsWhile(this.model, whitespacePredicate);
|
|
|
|
this._end = this._end.backwardsWhile(this.model, whitespacePredicate);
|
2020-09-29 21:15:20 +08:00
|
|
|
}
|
|
|
|
|
2021-07-12 20:26:34 +08:00
|
|
|
public expandBackwardsWhile(predicate: Predicate): void {
|
2020-07-15 16:45:45 +08:00
|
|
|
this._start = this._start.backwardsWhile(this.model, predicate);
|
2019-09-04 18:40:03 +08:00
|
|
|
}
|
|
|
|
|
2022-03-16 17:46:07 +08:00
|
|
|
public expandForwardsWhile(predicate: Predicate): void {
|
|
|
|
this._end = this._end.forwardsWhile(this.model, predicate);
|
|
|
|
}
|
|
|
|
|
2021-07-12 20:26:34 +08:00
|
|
|
public get text(): string {
|
2019-08-24 00:37:58 +08:00
|
|
|
let text = "";
|
2020-07-15 16:45:45 +08:00
|
|
|
this._start.iteratePartsBetween(this._end, this.model, (part, startIdx, endIdx) => {
|
2019-08-24 00:37:58 +08:00
|
|
|
const t = part.text.substring(startIdx, endIdx);
|
|
|
|
text = text + t;
|
|
|
|
});
|
|
|
|
return text;
|
|
|
|
}
|
|
|
|
|
2019-08-27 22:37:04 +08:00
|
|
|
/**
|
|
|
|
* Splits the model at the range boundaries and replaces with the given parts.
|
|
|
|
* Should be run inside a `model.transform()` callback.
|
|
|
|
* @param {Part[]} parts the parts to replace the range with
|
|
|
|
* @return {Number} the net amount of characters added, can be negative.
|
|
|
|
*/
|
2021-07-12 20:26:34 +08:00
|
|
|
public replace(parts: Part[]): number {
|
2019-08-24 00:37:58 +08:00
|
|
|
const newLength = parts.reduce((sum, part) => sum + part.text.length, 0);
|
|
|
|
let oldLength = 0;
|
2020-07-15 16:45:45 +08:00
|
|
|
this._start.iteratePartsBetween(this._end, this.model, (part, startIdx, endIdx) => {
|
2019-08-24 00:37:58 +08:00
|
|
|
oldLength += endIdx - startIdx;
|
|
|
|
});
|
2020-07-15 16:45:45 +08:00
|
|
|
this.model.replaceRange(this._start, this._end, parts);
|
2019-08-24 00:37:58 +08:00
|
|
|
return newLength - oldLength;
|
|
|
|
}
|
2019-09-03 22:03:29 +08:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Returns a copy of the (partial) parts within the range.
|
|
|
|
* For partial parts, only the text is adjusted to the part that intersects with the range.
|
|
|
|
*/
|
2021-07-12 20:26:34 +08:00
|
|
|
public get parts(): Part[] {
|
|
|
|
const parts: Part[] = [];
|
2020-07-15 16:45:45 +08:00
|
|
|
this._start.iteratePartsBetween(this._end, this.model, (part, startIdx, endIdx) => {
|
2019-09-03 22:03:29 +08:00
|
|
|
const serializedPart = part.serialize();
|
|
|
|
serializedPart.text = part.text.substring(startIdx, endIdx);
|
2020-07-15 16:45:45 +08:00
|
|
|
const newPart = this.model.partCreator.deserializePart(serializedPart);
|
2019-09-03 22:03:29 +08:00
|
|
|
parts.push(newPart);
|
|
|
|
});
|
|
|
|
return parts;
|
|
|
|
}
|
|
|
|
|
2021-07-12 20:26:34 +08:00
|
|
|
public get length(): number {
|
2019-09-03 22:03:29 +08:00
|
|
|
let len = 0;
|
2020-07-15 16:45:45 +08:00
|
|
|
this._start.iteratePartsBetween(this._end, this.model, (part, startIdx, endIdx) => {
|
2019-09-03 22:03:29 +08:00
|
|
|
len += endIdx - startIdx;
|
|
|
|
});
|
|
|
|
return len;
|
|
|
|
}
|
2019-09-04 22:38:42 +08:00
|
|
|
|
2021-07-12 20:26:34 +08:00
|
|
|
public get start(): DocumentPosition {
|
2019-09-04 22:38:42 +08:00
|
|
|
return this._start;
|
|
|
|
}
|
|
|
|
|
2021-07-12 20:26:34 +08:00
|
|
|
public get end(): DocumentPosition {
|
2019-09-04 22:38:42 +08:00
|
|
|
return this._end;
|
|
|
|
}
|
2019-08-24 00:37:58 +08:00
|
|
|
}
|