@adecore/editor 0.22.0 → 0.23.0

package/dist/find.js

@@ -1,6 +1,9 @@
 import { mapOffset } from './offsets.js';
-/* Past this a count means nothing to a reader, and marking every match would stall the editor. */
-export const FIND_LIMIT = 10000;
+import { FindSearchQueue, scheduleFind } from './find-search.js';
+import { EditorSearchError } from './search-client.js';
+import { SEARCH_LIMIT, MAX_REPLACEMENT_PAGE, MAX_REPLACEMENT_CHARACTERS } from './search-protocol.js';
+export const FIND_LIMIT = SEARCH_LIMIT;
+const LIVE_REGEX_LIMIT = 8_000_000;
 /*
  * The find of the host's find bar: every match marked, one of them current. It searches the model on
  * its own and never touches the selection until the find ends.
@@ -8,14 +11,39 @@ export const FIND_LIMIT = 10000;
 export class FindController {
     query = null;
     marks = [];
+    cache;
     index = null;
+    outside = null;
+    seeking = false;
+    replacing = 0;
+    replaceEpoch = -1;
+    replaced;
+    replaceFailed;
     /* The text a search in the selection is held to, which follows the text through edits; null when nothing was selected. */
     bounds = null;
     /* Where the next refresh looks for the current match from, once: right after what a replace wrote. */
     pendingAnchor;
     model;
-    constructor(model) {
+    options;
+    search;
+    regexCache;
+    snapshotMemo;
+    retained = null;
+    epoch = 0;
+    searching = false;
+    failed;
+    captureFailed;
+    pendingStep;
+    cancelSearch;
+    cancelMatch;
+    preview = false;
+    disposed = false;
+    revision = -1;
+    cursorRequests = 0;
+    constructor(model, options) {
         this.model = model;
+        this.options = options;
+        this.search = options === undefined ? undefined : new FindSearchQueue(options);
     }
     get activeQuery() {
         return this.query;
@@ -30,19 +58,92 @@ export class FindController {
         return this.index;
     }
     get state() {
-        return { count: this.marks.length, current: this.index, ...(this.query?.inSelection === true && this.bounds === null ? { noSelection: true } : {}) };
+        return {
+            count: this.marks.length,
+            current: this.index,
+            ...(this.cache?.complete === false || (this.failed === undefined && this.regexCache?.complete === false) ? { limited: true } : {}),
+            ...(this.searching || this.seeking || (this.replacing > 0 && this.replaceEpoch === this.epoch) ? { searching: true } : {}),
+            ...(this.replaced === undefined ? {} : { replaced: this.replaced }),
+            ...(this.replaceFailed === undefined ? {} : { replaceFailed: this.replaceFailed }),
+            ...(this.failed === undefined ? {} : { failed: this.failed }),
+            ...(this.captureFailed === undefined ? {} : { captureFailed: this.captureFailed }),
+            ...(this.search !== undefined && this.query?.regex && this.model.getLength() > LIVE_REGEX_LIMIT && !this.freshRegex ? { large: true } : {}),
+            ...(this.query?.inSelection === true && this.bounds === null ? { noSelection: true } : {})
+        };
     }
     /* The range a search in the selection is held to. */
     get scope() {
         return this.query?.inSelection === true ? this.bounds : null;
     }
     get currentMark() {
-        return this.index === null ? null : (this.marks[this.index] ?? null);
+        return this.outside ?? (this.index === null ? null : (this.marks[this.index] ?? null));
+    }
+    matchesBetween(from, to) {
+        let low = 0;
+        let high = this.marks.length;
+        while (low < high) {
+            const middle = (low + high) >>> 1;
+            if (this.marks[middle].to < from) {
+                low = middle + 1;
+            }
+            else {
+                high = middle;
+            }
+        }
+        const first = low;
+        high = this.marks.length;
+        while (low < high) {
+            const middle = (low + high) >>> 1;
+            if (this.marks[middle].from <= to) {
+                low = middle + 1;
+            }
+            else {
+                high = middle;
+            }
+        }
+        return this.marks.slice(first, low);
+    }
+    get currentMatch() {
+        if (this.search !== undefined && this.query?.regex) {
+            const mark = this.currentMark;
+            return this.freshRegex && this.retained?.from === mark?.from && this.retained?.to === mark?.to ? this.retained : null;
+        }
+        const matches = this.cachedMatches;
+        if (this.outside !== null && matches !== null) {
+            return {
+                ...this.outside,
+                text: this.model.slice(this.outside.from, this.outside.to),
+                captures: [],
+                regex: false,
+                revision: this.model.getRevision()
+            };
+        }
+        return this.index === null || matches === null ? null : (matches[this.index] ?? null);
+    }
+    get completeMatches() {
+        return this.cache?.complete === true ? this.cachedMatches : null;
+    }
+    get cachedMatches() {
+        return this.query !== null && this.cache?.revision === this.model.getRevision() && this.cache.key === this.cacheKey() ? this.cache.matches : null;
+    }
+    cacheKey() {
+        const query = this.query;
+        const scope = this.scope;
+        return JSON.stringify([
+            query?.text,
+            query?.caseSensitive === true,
+            query?.wholeWord === true,
+            query?.regex === true,
+            query?.inSelection === true,
+            scope?.from,
+            scope?.to
+        ]);
     }
     /* A new query, or null to end the find. */
     set(query) {
+        const oldKey = this.cacheKey();
         const wasInSelection = this.query?.inSelection === true;
-        this.query = query === null || query.text === '' ? null : query;
+        this.query = query === null || query.text === '' ? null : { ...query };
         if (this.query?.inSelection !== true) {
             this.bounds = null;
         }
@@ -53,10 +154,20 @@ export class FindController {
                     ? null
                     : { from: Math.min(selection.anchor, selection.head), to: Math.max(selection.anchor, selection.head) };
         }
+        if (this.cacheKey() !== oldKey) {
+            this.pendingAnchor = undefined;
+            this.pendingStep = undefined;
+            this.outside = null;
+            this.replaceFailed = undefined;
+            this.replaced = undefined;
+        }
         this.refresh();
     }
     /* The text of a search in the selection moved with an edit. */
     mapBounds(changes) {
+        if (this.pendingAnchor !== undefined) {
+            this.pendingAnchor = mapOffset(this.pendingAnchor, changes);
+        }
         if (this.bounds !== null) {
             this.bounds = { from: mapOffset(this.bounds.from, changes), to: mapOffset(this.bounds.to, changes) };
         }
@@ -66,43 +177,482 @@ export class FindController {
      * previous one was, or from the cursor, so each letter typed keeps the place instead of starting over.
      */
     refresh() {
+        if (this.revision !== this.model.getRevision()) {
+            this.revision = this.model.getRevision();
+            this.replaced = undefined;
+        }
         const previous = this.currentMark;
         const query = this.query;
+        if (this.search !== undefined && query?.regex) {
+            this.refreshRegex(previous);
+            return;
+        }
+        this.resetRegex(query === null || this.search?.busy === true);
         if (query === null) {
             this.marks = [];
+            this.cache = undefined;
             this.index = null;
             return;
         }
-        let found = [];
-        try {
-            const inSelection = query.inSelection === true;
-            if (!inSelection || this.bounds !== null) {
-                found = this.model
-                    .find(query.text, {
-                    caseSensitive: query.caseSensitive,
-                    wholeWord: query.wholeWord,
-                    regex: query.regex,
-                    maxResults: FIND_LIMIT,
-                    ...(inSelection ? this.bounds : {})
-                })
-                    .map((match) => ({ from: match.from, to: match.to }));
-            }
-        }
-        catch {
-            // A pattern that does not parse finds nothing; the find bar says it is invalid.
+        const revision = this.model.getRevision();
+        const key = this.cacheKey();
+        if (this.cache?.revision !== revision || this.cache.key !== key) {
+            let found = [];
+            try {
+                const inSelection = query.inSelection === true;
+                if (!inSelection || this.bounds !== null) {
+                    found = this.model.find(query.text, {
+                        caseSensitive: query.caseSensitive,
+                        wholeWord: query.wholeWord,
+                        regex: query.regex,
+                        maxResults: FIND_LIMIT + 1,
+                        ...(inSelection ? this.bounds : {})
+                    });
+                }
+            }
+            catch {
+                // A pattern that does not parse finds nothing; the find bar says it is invalid.
+            }
+            this.cache = { revision, key, matches: found.slice(0, FIND_LIMIT), complete: found.length <= FIND_LIMIT };
         }
+        const found = this.cache.matches;
         this.marks = found;
         const selection = this.model.getPrimary();
         const anchor = this.pendingAnchor ?? previous?.from ?? Math.min(selection.anchor, selection.head);
         this.pendingAnchor = undefined;
-        const next = found.findIndex((mark) => mark.from >= anchor);
-        this.index = found.length === 0 ? null : Math.max(0, next);
+        this.chooseCurrent(anchor, 1, !this.cache.complete);
     }
     step(direction) {
+        this.replaced = undefined;
+        if (this.seeking) {
+            this.pendingStep = direction;
+            return;
+        }
+        if (this.search !== undefined && this.query?.regex && !this.freshRegex) {
+            this.pendingStep = direction;
+            if (!this.searching) {
+                this.startRegex(true);
+            }
+            return;
+        }
         const count = this.marks.length;
         if (count === 0) {
             return;
         }
+        const incomplete = this.regexCache?.complete === false || this.cache?.complete === false;
+        const current = this.currentMark;
+        if (this.search !== undefined &&
+            incomplete &&
+            current !== null &&
+            (this.outside !== null || (direction === 1 ? this.index === count - 1 : this.index === 0))) {
+            let offset = direction === -1 ? current.from : current.to;
+            if (direction === 1 && current.from === current.to) {
+                offset += (this.model.getText().codePointAt(offset) ?? 0) > 0xffff ? 2 : 1;
+            }
+            if (offset > this.model.getLength()) {
+                offset = 0;
+            }
+            this.seek(offset, direction);
+            return;
+        }
+        this.outside = null;
         this.index = this.index === null ? (direction === 1 ? 0 : count - 1) : (this.index + direction + count) % count;
+        this.captureFailed = undefined;
+        this.preparePreview();
+    }
+    get freshRegex() {
+        return (this.failed === undefined && !this.searching && this.regexCache?.revision === this.model.getRevision() && this.regexCache.key === this.cacheKey());
+    }
+    resetRegex(release) {
+        this.epoch++;
+        this.cancelSearch?.();
+        this.cancelSearch = undefined;
+        this.cancelMatch?.();
+        this.cancelMatch = undefined;
+        this.regexCache = undefined;
+        this.outside = null;
+        this.seeking = false;
+        this.snapshotMemo = undefined;
+        this.retained = null;
+        this.searching = false;
+        this.failed = undefined;
+        this.captureFailed = undefined;
+        if (release) {
+            this.search?.release();
+        }
+    }
+    refreshRegex(previous) {
+        if (this.freshRegex) {
+            return;
+        }
+        const failure = this.failed;
+        const retryBlocked = failure === 'timeout' || failure === 'unavailable';
+        const sameQuery = this.regexCache?.key === this.cacheKey();
+        this.resetRegex(false);
+        this.cache = undefined;
+        this.marks = [];
+        this.index = null;
+        if (retryBlocked && sameQuery) {
+            this.failed = failure;
+            this.regexCache = { revision: this.model.getRevision(), key: this.cacheKey(), complete: false };
+            return;
+        }
+        this.pendingAnchor ??= previous?.from;
+        this.startRegex(false);
+    }
+    startRegex(explicit) {
+        const query = this.query;
+        if (query === null || this.search === undefined || this.disposed) {
+            return;
+        }
+        if (query.inSelection && this.bounds === null) {
+            return;
+        }
+        if (!explicit && this.model.getLength() > LIVE_REGEX_LIMIT) {
+            this.pendingStep = undefined;
+            this.pendingAnchor = undefined;
+            return;
+        }
+        const epoch = this.epoch;
+        const key = this.cacheKey();
+        const revision = this.model.getRevision();
+        this.failed = undefined;
+        this.searching = true;
+        this.cancelSearch?.();
+        this.cancelSearch = (this.options?.schedule ?? scheduleFind)(() => {
+            this.cancelSearch = undefined;
+            const snapshot = this.snapshot();
+            void this.search.request((client) => {
+                if (epoch !== this.epoch || this.disposed) {
+                    throw new EditorSearchError('superseded', 'The find query changed.');
+                }
+                return client.search(snapshot, query, { ...this.scope, maxResults: FIND_LIMIT, ...(explicit ? { deadline: 10000 } : {}) });
+            }, explicit ? 'command' : 'live', () => epoch === this.epoch && revision === this.model.getRevision() && !this.disposed)
+                .then((result) => {
+                if (epoch !== this.epoch || revision !== this.model.getRevision() || this.disposed) {
+                    return;
+                }
+                this.regexCache = { revision, key, complete: !result.limited };
+                const marks = [];
+                for (let index = 0; index < result.ranges.length; index += 2) {
+                    marks.push({ from: result.ranges[index], to: result.ranges[index + 1] });
+                }
+                this.marks = marks;
+                const selection = this.model.getPrimary();
+                const anchor = this.pendingAnchor ?? Math.min(selection.anchor, selection.head);
+                this.pendingAnchor = undefined;
+                const direction = this.pendingStep;
+                this.pendingStep = undefined;
+                this.searching = false;
+                this.chooseCurrent(anchor, direction ?? 1, result.limited);
+                this.options?.changed(true);
+                this.preparePreview();
+            })
+                .catch((error) => {
+                if (epoch !== this.epoch || this.disposed) {
+                    return;
+                }
+                this.searching = false;
+                if (error instanceof EditorSearchError && error.kind === 'superseded') {
+                    this.options?.changed();
+                    this.startRegex(this.pendingStep !== undefined);
+                    return;
+                }
+                this.pendingAnchor = undefined;
+                this.pendingStep = undefined;
+                this.failed =
+                    error instanceof EditorSearchError
+                        ? error.kind === 'syntax'
+                            ? 'invalid'
+                            : error.kind === 'timeout' || error.kind === 'unavailable'
+                                ? error.kind
+                                : 'error'
+                        : 'error';
+                this.regexCache = { revision, key, complete: false };
+                this.options?.changed();
+            });
+        }, explicit || this.model.getLength() <= 1_000_000 ? 0 : 150);
+    }
+    snapshot() {
+        const revision = this.model.getRevision();
+        if (this.snapshotMemo?.revision !== revision) {
+            this.snapshotMemo = { revision, text: this.model.getText() };
+        }
+        return this.snapshotMemo;
     }
+    setPreview(active) {
+        this.preview = active;
+        this.preparePreview();
+    }
+    preparePreview() {
+        this.cancelMatch?.();
+        this.cancelMatch = undefined;
+        if (this.preview &&
+            this.search !== undefined &&
+            this.query?.regex &&
+            this.freshRegex &&
+            this.currentMatch === null &&
+            this.captureFailed === undefined) {
+            this.cancelMatch = (this.options?.schedule ?? scheduleFind)(() => {
+                this.cancelMatch = undefined;
+                void this.ensureMatch().catch(() => { });
+            }, 50);
+        }
+    }
+    async ensureMatch(command = false) {
+        if (this.currentMatch !== null || this.search === undefined || !this.query?.regex || !this.freshRegex) {
+            return this.currentMatch;
+        }
+        const mark = this.currentMark;
+        if (mark === null) {
+            return null;
+        }
+        const query = this.query;
+        const epoch = this.epoch;
+        const snapshot = this.snapshot();
+        if (command) {
+            this.captureFailed = undefined;
+        }
+        const current = () => !this.disposed &&
+            epoch === this.epoch &&
+            this.model.getRevision() === snapshot.revision &&
+            this.currentMark?.from === mark.from &&
+            this.currentMark?.to === mark.to;
+        try {
+            const found = await this.search.request((client) => {
+                if (!current()) {
+                    throw new EditorSearchError('superseded', 'The current find match changed.');
+                }
+                return client.match(snapshot, query, { ...mark, deadline: 10000 });
+            }, command ? 'command' : 'preview');
+            if (!current()) {
+                return null;
+            }
+            this.retained = found;
+            this.captureFailed = undefined;
+            this.options?.changed();
+            return found;
+        }
+        catch (error) {
+            if (current() && !(error instanceof EditorSearchError && error.kind === 'superseded')) {
+                this.captureFailed = error instanceof EditorSearchError && (error.kind === 'timeout' || error.kind === 'unavailable') ? error.kind : 'error';
+                this.options?.changed();
+            }
+            return null;
+        }
+    }
+    chooseCurrent(anchor, direction, limited) {
+        if (this.marks.length === 0) {
+            this.index = null;
+            return;
+        }
+        const next = direction === 1 ? this.marks.findIndex((mark) => mark.from >= anchor) : this.marks.findLastIndex((mark) => mark.from < anchor);
+        if (limited && this.search !== undefined && (next === -1 || (direction === -1 && next === this.marks.length - 1))) {
+            this.index = null;
+            this.seek(anchor, direction);
+        }
+        else {
+            this.index = next === -1 ? (direction === 1 ? 0 : this.marks.length - 1) : next;
+        }
+    }
+    seek(offset, direction) {
+        const query = this.query;
+        if (this.search === undefined || query === null) {
+            return;
+        }
+        const epoch = this.epoch;
+        const snapshot = this.snapshot();
+        const scope = this.scope;
+        const valid = () => !this.disposed && epoch === this.epoch && snapshot.revision === this.model.getRevision();
+        this.seeking = true;
+        this.failed = undefined;
+        this.retained = null;
+        this.captureFailed = undefined;
+        void this.search
+            .request((client) => client.next(snapshot, query, offset, { ...scope, backwards: direction === -1, wrap: true, deadline: 10000 }), 'command', valid)
+            .then((range) => {
+            if (!valid()) {
+                return;
+            }
+            this.seeking = false;
+            this.outside = null;
+            this.index = range === null ? null : this.marks.findIndex((mark) => mark.from === range.from && mark.to === range.to);
+            if (this.index === -1) {
+                this.index = null;
+                this.outside = range;
+            }
+            this.options?.changed(true);
+            this.preparePreview();
+            const pending = this.pendingStep;
+            this.pendingStep = undefined;
+            if (pending !== undefined) {
+                this.step(pending);
+            }
+        })
+            .catch((error) => {
+            if (valid()) {
+                this.seeking = false;
+                this.failed = searchFailure(error);
+                this.options?.changed();
+            }
+        });
+    }
+    async nextFromCursor(query, offset, direction) {
+        if (this.search === undefined) {
+            return null;
+        }
+        const snapshot = this.snapshot();
+        const epoch = this.epoch;
+        const valid = () => !this.disposed && epoch === this.epoch && snapshot.revision === this.model.getRevision();
+        this.cursorRequests++;
+        try {
+            const range = await this.search.request((client) => client.next(snapshot, query, offset, { backwards: direction === -1, wrap: true, deadline: 10000 }), 'command', valid);
+            return valid() ? range : null;
+        }
+        catch (error) {
+            if (valid()) {
+                this.failed = searchFailure(error);
+                this.options?.changed();
+            }
+            return null;
+        }
+        finally {
+            this.cursorRequests--;
+            if (this.query === null && this.cursorRequests === 0) {
+                this.search.release();
+            }
+        }
+    }
+    reportReplaceFailed(failure) {
+        this.replaceFailed = failure;
+        this.replaced = undefined;
+        this.options?.changed();
+    }
+    reportReplaced(count) {
+        this.replaced = count;
+        this.replaceFailed = undefined;
+        this.options?.changed();
+    }
+    async replaceOne(replacement, preserveCase, canApply) {
+        const query = this.query, mark = this.currentMark;
+        if (query === null || mark === null || this.search === undefined || !canApply()) {
+            return false;
+        }
+        const snapshot = this.snapshot();
+        const epoch = this.epoch;
+        const valid = () => !this.disposed &&
+            epoch === this.epoch &&
+            snapshot.revision === this.model.getRevision() &&
+            canApply() &&
+            this.currentMark?.from === mark.from &&
+            this.currentMark?.to === mark.to;
+        this.replacing++;
+        this.replaceEpoch = epoch;
+        this.replaceFailed = undefined;
+        this.options?.changed();
+        try {
+            const page = await this.search.request((client) => client.replacements(snapshot, query, replacement, {
+                from: mark.from,
+                to: mark.to,
+                preserveCase,
+                maxEdits: 1,
+                maxCharacters: MAX_REPLACEMENT_CHARACTERS,
+                deadline: 10000
+            }), 'command', valid);
+            if (!valid() || page.ranges.length !== 3 || page.ranges[0] !== mark.from || page.ranges[1] !== mark.to || page.next !== null) {
+                return false;
+            }
+            this.pendingAnchor = mark.to;
+            const changed = this.model.applyEdits([{ from: mark.from, to: mark.to, text: page.text }], {
+                source: 'command',
+                expectedRevision: snapshot.revision
+            });
+            if (!changed) {
+                this.pendingAnchor = undefined;
+            }
+            return changed;
+        }
+        catch (error) {
+            if (valid()) {
+                const failure = searchFailure(error);
+                this.reportReplaceFailed(error instanceof EditorSearchError && error.kind === 'range' ? 'limit' : failure === 'invalid' ? 'error' : failure);
+            }
+            return false;
+        }
+        finally {
+            this.replacing--;
+            if (!this.disposed) {
+                this.options?.changed();
+            }
+        }
+    }
+    async replaceAll(replacement, preserveCase, canApply) {
+        const query = this.query;
+        if (query === null || this.search === undefined || this.state.noSelection || !canApply()) {
+            return 0;
+        }
+        const snapshot = this.snapshot();
+        const epoch = this.epoch;
+        const scope = this.scope;
+        const valid = () => !this.disposed && epoch === this.epoch && snapshot.revision === this.model.getRevision() && canApply();
+        this.replacing++;
+        this.replaceEpoch = epoch;
+        this.replaceFailed = undefined;
+        this.replaced = undefined;
+        this.options?.changed();
+        try {
+            const page = await this.search.request((client) => client.replacements(snapshot, query, replacement, {
+                ...scope,
+                preserveCase,
+                maxEdits: MAX_REPLACEMENT_PAGE,
+                maxCharacters: MAX_REPLACEMENT_CHARACTERS,
+                deadline: 10000
+            }), 'command', valid);
+            if (!valid()) {
+                return 0;
+            }
+            if (page.next !== null) {
+                this.replaceFailed = 'limit';
+                return 0;
+            }
+            const edits = [];
+            let position = 0;
+            for (let index = 0; index < page.ranges.length; index += 3) {
+                const length = page.ranges[index + 2];
+                edits.push({ from: page.ranges[index], to: page.ranges[index + 1], text: page.text.slice(position, position + length) });
+                position += length;
+            }
+            const changed = this.model.applyEdits(edits, { source: 'command', expectedRevision: snapshot.revision });
+            const count = changed ? edits.length : 0;
+            this.reportReplaced(count);
+            return count;
+        }
+        catch (error) {
+            if (!this.disposed && epoch === this.epoch) {
+                const failure = searchFailure(error);
+                this.replaceFailed = error instanceof EditorSearchError && error.kind === 'range' ? 'limit' : failure === 'invalid' ? 'error' : failure;
+            }
+            return 0;
+        }
+        finally {
+            this.replacing--;
+            if (!this.disposed) {
+                this.options?.changed();
+            }
+        }
+    }
+    dispose() {
+        this.disposed = true;
+        this.resetRegex(false);
+        this.search?.dispose();
+    }
+}
+function searchFailure(error) {
+    return error instanceof EditorSearchError
+        ? error.kind === 'syntax'
+            ? 'invalid'
+            : error.kind === 'timeout' || error.kind === 'unavailable'
+                ? error.kind
+                : 'error'
+        : 'error';
 }

package/dist/geometry-stops.d.ts

@@ -0,0 +1,6 @@
+import type { Affinity, LineGeometry } from './layout.ts';
+export declare function stopCount(geometry: LineGeometry): number;
+export declare function offsetOfStop(geometry: LineGeometry, stop: number): number;
+export declare function rowOfStop(geometry: LineGeometry, stop: number): number;
+export declare function xOfStop(geometry: LineGeometry, stop: number, affinity?: Affinity): number;
+export declare function stopAtOffset(geometry: LineGeometry, offset: number): number;