@fluidframework/sequence 2.0.0-internal.6.3.3 → 2.0.0-internal.7.0.0

package/dist/intervalCollection.js

@@ -4,8 +4,9 @@
  * Licensed under the MIT License.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.intervalLocatorFromEndpoint = exports.IntervalCollection = exports.makeOpsMap = exports.IntervalCollectionValueType = exports.SequenceIntervalCollectionValueType = exports.LocalIntervalCollection = exports.createIntervalIndex = void 0;
+exports.intervalLocatorFromEndpoint = exports.IntervalCollection = exports.makeOpsMap = exports.IntervalCollectionValueType = exports.SequenceIntervalCollectionValueType = exports.LocalIntervalCollection = exports.createIntervalIndex = exports.computeStickinessFromSide = exports.endpointPosAndSide = exports.sidesFromStickiness = exports.Side = void 0;
 /* eslint-disable no-bitwise */
+/* eslint-disable import/no-deprecated */
 const client_utils_1 = require("@fluid-internal/client-utils");
 const core_utils_1 = require("@fluidframework/core-utils");
 const merge_tree_1 = require("@fluidframework/merge-tree");
@@ -13,19 +14,39 @@ const telemetry_utils_1 = require("@fluidframework/telemetry-utils");
 const uuid_1 = require("uuid");
 const intervals_1 = require("./intervals");
 const intervalIndex_1 = require("./intervalIndex");
+/**
+ * Defines a side relative to a character in a sequence.
+ *
+ * @remarks See {@link SequencePlace} for additional context on usage.
+ */
+var Side;
+(function (Side) {
+    Side[Side["Before"] = 0] = "Before";
+    Side[Side["After"] = 1] = "After";
+})(Side || (exports.Side = Side = {}));
 const reservedIntervalIdKey = "intervalId";
+function sidesFromStickiness(stickiness) {
+    const startSide = (stickiness & intervals_1.IntervalStickiness.START) !== 0 ? Side.After : Side.Before;
+    const endSide = (stickiness & intervals_1.IntervalStickiness.END) !== 0 ? Side.Before : Side.After;
+    return { startSide, endSide };
+}
+exports.sidesFromStickiness = sidesFromStickiness;
 /**
  * Decompress an interval after loading a summary from JSON. The exact format
  * of this compression is unspecified and subject to change
  */
 function decompressInterval(interval, label) {
+    const stickiness = interval[5] ?? intervals_1.IntervalStickiness.END;
+    const { startSide, endSide } = sidesFromStickiness(stickiness);
     return {
         start: interval[0],
         end: interval[1],
         sequenceNumber: interval[2],
         intervalType: interval[3],
         properties: { ...interval[4], [merge_tree_1.reservedRangeLabelsKey]: [label] },
-        stickiness: interval[5],
+        stickiness,
+        startSide,
+        endSide,
     };
 }
 /**
@@ -34,7 +55,7 @@ function decompressInterval(interval, label) {
  */
 function compressInterval(interval) {
     const { start, end, sequenceNumber, intervalType, properties } = interval;
-    const base = [
+    let base = [
         start,
         end,
         sequenceNumber,
@@ -44,30 +65,63 @@ function compressInterval(interval) {
         { ...properties, [merge_tree_1.reservedRangeLabelsKey]: undefined },
     ];
     if (interval.stickiness !== undefined && interval.stickiness !== intervals_1.IntervalStickiness.END) {
-        base.push(interval.stickiness);
+        // reassignment to make it easier for typescript to reason about types
+        base = [...base, interval.stickiness];
     }
     return base;
 }
+function endpointPosAndSide(start, end) {
+    const startIsPlainEndpoint = typeof start === "number" || start === "start" || start === "end";
+    const endIsPlainEndpoint = typeof end === "number" || end === "start" || end === "end";
+    const startSide = startIsPlainEndpoint ? Side.Before : start?.side;
+    const endSide = endIsPlainEndpoint ? Side.Before : end?.side;
+    const startPos = startIsPlainEndpoint ? start : start?.pos;
+    const endPos = endIsPlainEndpoint ? end : end?.pos;
+    return {
+        startSide,
+        endSide,
+        startPos,
+        endPos,
+    };
+}
+exports.endpointPosAndSide = endpointPosAndSide;
+function toSequencePlace(pos, side) {
+    return typeof pos === "number" ? { pos, side } : pos;
+}
+function toOptionalSequencePlace(pos, side = Side.Before) {
+    return typeof pos === "number" ? { pos, side } : pos;
+}
+function computeStickinessFromSide(startPos = -1, startSide = Side.Before, endPos = -1, endSide = Side.Before) {
+    let stickiness = intervals_1.IntervalStickiness.NONE;
+    if (startSide === Side.After || startPos === "start") {
+        stickiness |= intervals_1.IntervalStickiness.START;
+    }
+    if (endSide === Side.Before || endPos === "end") {
+        stickiness |= intervals_1.IntervalStickiness.END;
+    }
+    return stickiness;
+}
+exports.computeStickinessFromSide = computeStickinessFromSide;
 function createIntervalIndex() {
     const helpers = {
-        compareEnds: (a, b) => a.end - b.end,
         create: intervals_1.createInterval,
     };
-    const lc = new LocalIntervalCollection(undefined, "", helpers);
+    const lc = new LocalIntervalCollection(undefined, "", helpers, {});
     return lc;
 }
 exports.createIntervalIndex = createIntervalIndex;
 class LocalIntervalCollection {
-    constructor(client, label, helpers, 
+    constructor(client, label, helpers, options, 
     /** Callback invoked each time one of the endpoints of an interval slides. */
     onPositionChange) {
         this.client = client;
         this.label = label;
         this.helpers = helpers;
+        this.options = options;
         this.onPositionChange = onPositionChange;
-        this.overlappingIntervalsIndex = (0, intervalIndex_1.createOverlappingIntervalsIndex)(client, helpers);
+        this.overlappingIntervalsIndex = new intervalIndex_1.OverlappingIntervalsIndex(client, helpers);
         this.idIntervalIndex = (0, intervalIndex_1.createIdIntervalIndex)();
-        this.endIntervalIndex = (0, intervalIndex_1.createEndpointIndex)(client, helpers);
+        this.endIntervalIndex = new intervalIndex_1.EndpointIndex(client, helpers);
         this.indexes = new Set([
             this.overlappingIntervalsIndex,
             this.idIntervalIndex,
@@ -121,12 +175,12 @@ class LocalIntervalCollection {
         this.removeIntervalFromIndexes(interval);
         this.removeIntervalListeners(interval);
     }
-    createInterval(start, end, intervalType, op, stickiness = intervals_1.IntervalStickiness.END) {
-        return this.helpers.create(this.label, start, end, this.client, intervalType, op, undefined, stickiness);
+    createInterval(start, end, intervalType, op) {
+        return this.helpers.create(this.label, start, end, this.client, intervalType, op, undefined, this.options.mergeTreeReferencesCanSlideToEndpoint);
     }
-    addInterval(start, end, intervalType, props, op, stickiness = intervals_1.IntervalStickiness.END) {
+    addInterval(start, end, intervalType, props, op) {
         var _a;
-        const interval = this.createInterval(start, end, intervalType, op, stickiness);
+        const interval = this.createInterval(start, end, intervalType, op);
         if (interval) {
             if (!interval.properties) {
                 interval.properties = (0, merge_tree_1.createMap)();
@@ -163,7 +217,7 @@ class LocalIntervalCollection {
         this.addIntervalListeners(interval);
     }
     changeInterval(interval, start, end, op, localSeq) {
-        const newInterval = interval.modify(this.label, start, end, op, localSeq);
+        const newInterval = interval.modify(this.label, start, end, op, localSeq, this.options.mergeTreeReferencesCanSlideToEndpoint);
         if (newInterval) {
             this.removeExistingInterval(interval);
             this.add(newInterval);
@@ -186,7 +240,7 @@ class LocalIntervalCollection {
                 // either, so this must be special-cased.
                 return ref;
             }
-            return this.client.createLocalReferencePosition(segment, ref.getOffset(), merge_tree_1.ReferenceType.Transient, ref.properties, ref.slidingPreference);
+            return this.client.createLocalReferencePosition(segment, ref.getOffset(), merge_tree_1.ReferenceType.Transient, ref.properties, ref.slidingPreference, ref.canSlideToEndpoint);
         };
         if (interval instanceof intervals_1.SequenceInterval) {
             let previousInterval;
@@ -245,7 +299,6 @@ SequenceIntervalCollectionValueType._ops = makeOpsMap();
 class IntervalCollectionFactory {
     load(emitter, raw = [], options) {
         const helpers = {
-            compareEnds: (a, b) => a.end - b.end,
             create: intervals_1.createInterval,
         };
         const collection = new IntervalCollection(helpers, false, emitter, raw, options);
@@ -348,6 +401,9 @@ class IntervalCollectionIterator {
  * {@inheritdoc IIntervalCollection}
  */
 class IntervalCollection extends client_utils_1.TypedEventEmitter {
+    get attached() {
+        return !!this.localCollection;
+    }
     /** @internal */
     constructor(helpers, requiresClient, emitter, serializedIntervals, options = {}) {
         super();
@@ -363,9 +419,6 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
             ? serializedIntervals
             : serializedIntervals.intervals.map((i) => decompressInterval(i, serializedIntervals.label));
     }
-    get attached() {
-        return !!this.localCollection;
-    }
     /**
      * {@inheritdoc IIntervalCollection.attachIndex}
      */
@@ -398,6 +451,9 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
         if (!this.client) {
             throw new telemetry_utils_1.LoggingError("mergeTree client must exist");
         }
+        if (pos === "start" || pos === "end") {
+            return pos;
+        }
         const { clientId } = this.client.getCollabWindow();
         const { segment, offset } = this.client.getContainingSegment(pos, {
             referenceSequenceNumber: seqNumberFrom,
@@ -405,7 +461,7 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
         }, localSeq);
         // if segment is undefined, it slid off the string
         (0, core_utils_1.assert)(segment !== undefined, 0x54e /* No segment found */);
-        const segoff = (0, merge_tree_1.getSlideToSegoff)({ segment, offset }) ?? segment;
+        const segoff = (0, merge_tree_1.getSlideToSegoff)({ segment, offset }, undefined, this.options.mergeTreeReferencesCanSlideToEndpoint) ?? segment;
         // case happens when rebasing op, but concurrently entire string has been deleted
         if (segoff.segment === undefined || segoff.offset === undefined) {
             return merge_tree_1.DetachedReferencePosition;
@@ -444,12 +500,18 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
                 }
             });
         }
-        this.localCollection = new LocalIntervalCollection(client, label, this.helpers, (interval, previousInterval) => this.emitChange(interval, previousInterval, true, true));
+        this.localCollection = new LocalIntervalCollection(client, label, this.helpers, this.options, (interval, previousInterval) => this.emitChange(interval, previousInterval, true, true));
         if (this.savedSerializedIntervals) {
             for (const serializedInterval of this.savedSerializedIntervals) {
                 this.localCollection.ensureSerializedId(serializedInterval);
-                const { start, end, intervalType, properties, stickiness } = serializedInterval;
-                const interval = this.helpers.create(label, start, end, client, intervalType, undefined, true, stickiness);
+                const { start: startPos, end: endPos, intervalType, properties, startSide, endSide, } = serializedInterval;
+                const start = typeof startPos === "number" && startSide !== undefined
+                    ? { pos: startPos, side: startSide }
+                    : startPos;
+                const end = typeof endPos === "number" && endSide !== undefined
+                    ? { pos: endPos, side: endSide }
+                    : endPos;
+                const interval = this.helpers.create(label, start, end, client, intervalType, undefined, true, this.options.mergeTreeReferencesCanSlideToEndpoint);
                 if (properties) {
                     interval.addProperties(properties);
                 }
@@ -495,28 +557,44 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
         }
         return this.localCollection.idIntervalIndex.getIntervalById(id);
     }
+    assertStickinessEnabled(start, end) {
+        if (!(typeof start === "number" && typeof end === "number") &&
+            !this.options.intervalStickinessEnabled) {
+            throw new telemetry_utils_1.UsageError("attempted to set interval stickiness without enabling `intervalStickinessEnabled` feature flag");
+        }
+    }
     /**
      * {@inheritdoc IIntervalCollection.add}
      */
-    add(start, end, intervalType, props, stickiness = intervals_1.IntervalStickiness.END) {
+    add(start, end, intervalType, props) {
         if (!this.localCollection) {
             throw new telemetry_utils_1.LoggingError("attach must be called prior to adding intervals");
         }
         if (intervalType & intervals_1.IntervalType.Transient) {
             throw new telemetry_utils_1.LoggingError("Can not add transient intervals");
         }
-        if (stickiness !== intervals_1.IntervalStickiness.END && !this.options.intervalStickinessEnabled) {
-            throw new telemetry_utils_1.UsageError("attempted to set interval stickiness without enabling `intervalStickinessEnabled` feature flag");
-        }
-        const interval = this.localCollection.addInterval(start, end, intervalType, props, undefined, stickiness);
+        const { startSide, endSide, startPos, endPos } = endpointPosAndSide(start, end);
+        (0, core_utils_1.assert)(startPos !== undefined &&
+            endPos !== undefined &&
+            startSide !== undefined &&
+            endSide !== undefined, 0x793 /* start and end cannot be undefined because they were not passed in as undefined */);
+        const stickiness = computeStickinessFromSide(startPos, startSide, endPos, endSide);
+        this.assertStickinessEnabled(start, end);
+        const interval = this.localCollection.addInterval(toSequencePlace(startPos, startSide), toSequencePlace(endPos, endSide), intervalType, props);
         if (interval) {
+            if (!this.isCollaborating && interval instanceof intervals_1.SequenceInterval) {
+                setSlideOnRemove(interval.start);
+                setSlideOnRemove(interval.end);
+            }
             const serializedInterval = {
-                end,
+                start: startPos,
+                end: endPos,
                 intervalType,
                 properties: interval.properties,
                 sequenceNumber: this.client?.getCurrentSeq() ?? 0,
-                start,
                 stickiness,
+                startSide,
+                endSide,
             };
             const localSeq = this.getNextLocalSeq();
             this.localSeqToSerializedInterval.set(localSeq, serializedInterval);
@@ -580,8 +658,7 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
         }
         const interval = this.getIntervalById(id);
         if (interval) {
-            // Pass Unassigned as the sequence number to indicate that this is a local op that is waiting for an ack.
-            const deltaProps = interval.addProperties(props, true, merge_tree_1.UnassignedSequenceNumber);
+            const deltaProps = interval.addProperties(props, true, this.isCollaborating ? merge_tree_1.UnassignedSequenceNumber : merge_tree_1.UniversalSequenceNumber);
             const serializedInterval = interval.serialize();
             // Emit a change op that will only change properties. Add the ID to
             // the property bag provided by the caller.
@@ -612,9 +689,18 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
             if (!newInterval) {
                 return undefined;
             }
+            if (!this.isCollaborating && newInterval instanceof intervals_1.SequenceInterval) {
+                setSlideOnRemove(newInterval.start);
+                setSlideOnRemove(newInterval.end);
+            }
             const serializedInterval = interval.serialize();
-            serializedInterval.start = start;
-            serializedInterval.end = end;
+            const { startPos, startSide, endPos, endSide } = endpointPosAndSide(start, end);
+            const stickiness = computeStickinessFromSide(startPos, startSide, endPos, endSide);
+            serializedInterval.start = startPos;
+            serializedInterval.end = endPos;
+            serializedInterval.startSide = startSide;
+            serializedInterval.endSide = endSide;
+            serializedInterval.stickiness = stickiness;
             // Emit a property bag containing only the ID, as we don't intend for this op to change any properties.
             serializedInterval.properties = {
                 [reservedIntervalIdKey]: interval.getIntervalId(),
@@ -629,7 +715,13 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
         // No interval to change
         return undefined;
     }
+    get isCollaborating() {
+        return this.client?.getCollabWindow().collaborating ?? false;
+    }
     addPendingChange(id, serializedInterval) {
+        if (!this.isCollaborating) {
+            return;
+        }
         if (serializedInterval.start !== undefined) {
             this.addPendingChangeHelper(id, this.pendingChangesStart, serializedInterval);
         }
@@ -722,7 +814,7 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
                 // If changeInterval gives us a new interval, work with that one. Otherwise keep working with
                 // the one we originally found in the tree.
                 newInterval =
-                    this.localCollection.changeInterval(interval, start, end, op) ?? interval;
+                    this.localCollection.changeInterval(interval, toOptionalSequencePlace(start, serializedInterval.startSide), toOptionalSequencePlace(end, serializedInterval.endSide), op) ?? interval;
             }
             const deltaProps = newInterval.addProperties(newProps, true, op.sequenceNumber);
             if (this.onDeserialize) {
@@ -767,7 +859,7 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
         if (!this.attached) {
             throw new telemetry_utils_1.LoggingError("attachSequence must be called");
         }
-        const { intervalType, properties } = serializedInterval;
+        const { intervalType, properties, stickiness, startSide, endSide } = serializedInterval;
         const { start: startRebased, end: endRebased } = this.localSeqToRebasedInterval.get(localSeq) ?? this.computeRebasedPositions(localSeq);
         const intervalId = properties?.[reservedIntervalIdKey];
         const localInterval = this.localCollection?.idIntervalIndex.getIntervalById(intervalId);
@@ -777,6 +869,9 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
             intervalType,
             sequenceNumber: this.client?.getCurrentSeq() ?? 0,
             properties,
+            stickiness,
+            startSide,
+            endSide,
         };
         if (opName === "change" &&
             (this.hasPendingChangeStart(intervalId) || this.hasPendingChangeEnd(intervalId))) {
@@ -796,7 +891,7 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
             (0, core_utils_1.assert)(localInterval instanceof intervals_1.SequenceInterval, 0x3a0 /* localInterval must be `SequenceInterval` when used with client */);
             // The rebased op may place this interval's endpoints on different segments. Calling `changeInterval` here
             // updates the local client's state to be consistent with the emitted op.
-            this.localCollection?.changeInterval(localInterval, startRebased, endRebased, undefined, localSeq);
+            this.localCollection?.changeInterval(localInterval, toOptionalSequencePlace(startRebased, startSide), toOptionalSequencePlace(endRebased, endSide), undefined, localSeq);
         }
         return rebased;
     }
@@ -808,18 +903,12 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
         if (segoff.segment?.localRefs?.has(lref) !== true) {
             return undefined;
         }
-        const newSegoff = (0, merge_tree_1.getSlideToSegoff)(segoff);
+        const newSegoff = (0, merge_tree_1.getSlideToSegoff)(segoff, undefined, this.options.mergeTreeReferencesCanSlideToEndpoint);
         const value = segoff.segment === newSegoff.segment && segoff.offset === newSegoff.offset
             ? undefined
             : newSegoff;
         return value;
     }
-    setSlideOnRemove(lref) {
-        let refType = lref.refType;
-        refType = refType & ~merge_tree_1.ReferenceType.StayOnRemove;
-        refType = refType | merge_tree_1.ReferenceType.SlideOnRemove;
-        lref.refType = refType;
-    }
     ackInterval(interval, op) {
         // Only SequenceIntervals need potential sliding
         if (!(interval instanceof intervals_1.SequenceInterval)) {
@@ -835,10 +924,10 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
         const hasPendingStartChange = this.hasPendingChangeStart(id);
         const hasPendingEndChange = this.hasPendingChangeEnd(id);
         if (!hasPendingStartChange) {
-            this.setSlideOnRemove(interval.start);
+            setSlideOnRemove(interval.start);
         }
         if (!hasPendingEndChange) {
-            this.setSlideOnRemove(interval.end);
+            setSlideOnRemove(interval.end);
         }
         const needsStartUpdate = newStart !== undefined && !hasPendingStartChange;
         const needsEndUpdate = newEnd !== undefined && !hasPendingEndChange;
@@ -857,7 +946,8 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
             }
             if (needsStartUpdate) {
                 const props = interval.start.properties;
-                interval.start = (0, intervals_1.createPositionReferenceFromSegoff)(this.client, newStart, interval.start.refType, op, (0, intervals_1.startReferenceSlidingPreference)(interval.stickiness));
+                interval.start = (0, intervals_1.createPositionReferenceFromSegoff)(this.client, newStart, interval.start.refType, op, undefined, undefined, (0, intervals_1.startReferenceSlidingPreference)(interval.stickiness), (0, intervals_1.startReferenceSlidingPreference)(interval.stickiness) ===
+                    merge_tree_1.SlidingPreference.BACKWARD);
                 if (props) {
                     interval.start.addProperties(props);
                 }
@@ -869,7 +959,8 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
             }
             if (needsEndUpdate) {
                 const props = interval.end.properties;
-                interval.end = (0, intervals_1.createPositionReferenceFromSegoff)(this.client, newEnd, interval.end.refType, op, (0, intervals_1.endReferenceSlidingPreference)(interval.stickiness));
+                interval.end = (0, intervals_1.createPositionReferenceFromSegoff)(this.client, newEnd, interval.end.refType, op, undefined, undefined, (0, intervals_1.endReferenceSlidingPreference)(interval.stickiness), (0, intervals_1.endReferenceSlidingPreference)(interval.stickiness) ===
+                    merge_tree_1.SlidingPreference.FORWARD);
                 if (props) {
                     interval.end.addProperties(props);
                 }
@@ -899,7 +990,7 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
             throw new telemetry_utils_1.LoggingError("attachSequence must be called");
         }
         this.localCollection.ensureSerializedId(serializedInterval);
-        const interval = this.localCollection.addInterval(serializedInterval.start, serializedInterval.end, serializedInterval.intervalType, serializedInterval.properties, op, serializedInterval.stickiness);
+        const interval = this.localCollection.addInterval(toSequencePlace(serializedInterval.start, serializedInterval.startSide ?? Side.Before), toSequencePlace(serializedInterval.end, serializedInterval.endSide ?? Side.Before), serializedInterval.intervalType, serializedInterval.properties, op);
         if (interval) {
             if (this.onDeserialize) {
                 this.onDeserialize(interval);
@@ -1018,6 +1109,12 @@ class IntervalCollection extends client_utils_1.TypedEventEmitter {
     }
 }
 exports.IntervalCollection = IntervalCollection;
+function setSlideOnRemove(lref) {
+    let refType = lref.refType;
+    refType = refType & ~merge_tree_1.ReferenceType.StayOnRemove;
+    refType = refType | merge_tree_1.ReferenceType.SlideOnRemove;
+    lref.refType = refType;
+}
 /**
  * Returns an object that can be used to find the interval a given LocalReferencePosition belongs to.
  * @returns undefined if the reference position is not the endpoint of any interval (e.g. it was created