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;
|
|
|
|
|
|
|
|
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;
|
2019-08-24 00:37:58 +08:00
|
|
|
}
|
|
|
|
|
2020-07-21 00:10:08 +08:00
|
|
|
moveStart(delta: number) {
|
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;
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
2020-09-29 21:15:20 +08:00
|
|
|
trim() {
|
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
|
|
|
}
|
|
|
|
|
2020-07-21 00:10:08 +08:00
|
|
|
expandBackwardsWhile(predicate: Predicate) {
|
2020-07-15 16:45:45 +08:00
|
|
|
this._start = this._start.backwardsWhile(this.model, predicate);
|
2019-09-04 18:40:03 +08:00
|
|
|
}
|
|
|
|
|
2019-08-24 00:37:58 +08:00
|
|
|
get text() {
|
|
|
|
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.
|
|
|
|
*/
|
2020-07-21 00:10:08 +08:00
|
|
|
replace(parts: Part[]) {
|
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.
|
|
|
|
*/
|
|
|
|
get parts() {
|
|
|
|
const parts = [];
|
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;
|
|
|
|
}
|
|
|
|
|
|
|
|
get length() {
|
|
|
|
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
|
|
|
|
|
|
|
get start() {
|
|
|
|
return this._start;
|
|
|
|
}
|
|
|
|
|
|
|
|
get end() {
|
|
|
|
return this._end;
|
|
|
|
}
|
2019-08-24 00:37:58 +08:00
|
|
|
}
|