@fluidframework/tree 2.0.0-dev-rc.1.0.0.224419

package/lib/feature-libraries/sequence-field/moveEffectTable.js

@@ -0,0 +1,242 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { assert, unreachableCase } from "@fluidframework/core-utils";
+import { CrossFieldTarget } from "../modular-schema";
+import { brand } from "../../util";
+import { areEqualCellIds, cloneMark, isAttachAndDetachEffect, splitMark } from "./utils";
+import { tryGetVestigialEndpoint } from "./helperTypes";
+export var MoveEnd;
+(function (MoveEnd) {
+    MoveEnd[MoveEnd["Source"] = 0] = "Source";
+    MoveEnd[MoveEnd["Dest"] = 1] = "Dest";
+})(MoveEnd || (MoveEnd = {}));
+export function setMoveEffect(moveEffects, target, revision, id, count, effect, invalidate = true) {
+    effect.basis = id;
+    moveEffects.set(target, revision, id, count, effect, invalidate);
+}
+export function getMoveEffect(moveEffects, target, revision, id, count, addDependency = true) {
+    const result = moveEffects.get(target, revision, id, count, addDependency);
+    return result.value !== undefined
+        ? { ...result, value: adjustMoveEffectBasis(result.value, id) }
+        : result;
+}
+export function isMoveMark(effect) {
+    return isMoveOut(effect) || isMoveIn(effect);
+}
+export function isMoveOut(effect) {
+    return effect.type === "MoveOut";
+}
+export function isMoveIn(effect) {
+    return effect.type === "MoveIn";
+}
+export function getMoveIn(effect) {
+    switch (effect.type) {
+        case "MoveIn":
+            return effect;
+        case "AttachAndDetach":
+            return getMoveIn(effect.attach);
+        default:
+            return undefined;
+    }
+}
+function adjustMoveEffectBasis(effect, newBasis) {
+    if (effect.basis === newBasis) {
+        return effect;
+    }
+    const adjusted = { ...effect, basis: newBasis };
+    const basisShift = newBasis - effect.basis;
+    assert(basisShift > 0, 0x812 /* Expected basis shift to be positive */);
+    if (effect.endpoint !== undefined) {
+        adjusted.endpoint = {
+            ...effect.endpoint,
+            localId: brand(effect.endpoint.localId + basisShift),
+        };
+    }
+    if (effect.movedMark !== undefined) {
+        const [_mark1, mark2] = splitMark(effect.movedMark, basisShift);
+        adjusted.movedMark = mark2;
+    }
+    return adjusted;
+}
+function applyMoveEffectsToDest(markEffect, count, revision, effects, consumeEffects) {
+    updateEndpoint(markEffect, count, CrossFieldTarget.Destination, revision, effects, consumeEffects);
+}
+function applyMoveEffectsToSource(mark, endpoint, updateFinalEndpoint, revision, effects, consumeEffect, composeChildren) {
+    let nodeChange = mark.changes;
+    const modifyAfter = getModifyAfter(effects, endpoint.revision ?? revision, endpoint.localId, mark.count, consumeEffect);
+    if (modifyAfter !== undefined) {
+        assert(composeChildren !== undefined, 0x569 /* Must provide a change composer if modifying moves */);
+        nodeChange = composeChildren(mark.changes, modifyAfter);
+    }
+    const newMark = cloneMark(mark);
+    if (updateFinalEndpoint && isMoveOut(newMark)) {
+        applySourceEffects(newMark, mark.count, revision, effects, consumeEffect);
+    }
+    if (nodeChange !== undefined) {
+        newMark.changes = nodeChange;
+    }
+    else {
+        delete newMark.changes;
+    }
+    return newMark;
+}
+function applySourceEffects(markEffect, count, revision, effects, consumeEffects) {
+    updateEndpoint(markEffect, count, CrossFieldTarget.Source, revision, effects, consumeEffects);
+}
+function updateEndpoint(markEffect, count, target, revision, effects, consumeEffects) {
+    const markRevision = markEffect.revision ?? revision;
+    const finalDest = getEndpoint(effects, target, markRevision, markEffect.id, count, consumeEffects);
+    if (finalDest !== undefined) {
+        if (areEqualCellIds(finalDest, { revision: markRevision, localId: markEffect.id })) {
+            delete markEffect.finalEndpoint;
+        }
+        else {
+            markEffect.finalEndpoint = finalDest;
+        }
+    }
+}
+export function applyMoveEffectsToMark(mark, revision, effects, consumeEffect, composeChildren) {
+    return applyMoveEffectsToActiveMarks(applyMoveEffectsToVestigialMarks([mark], effects, revision, consumeEffect, composeChildren), revision, effects, consumeEffect, composeChildren);
+}
+function applyMoveEffectsToVestigialMarks(inputQueue, effects, revision, consumeEffect, composeChildren) {
+    const outputQueue = [];
+    let mark = inputQueue.shift();
+    while (mark !== undefined) {
+        const vestige = tryGetVestigialEndpoint(mark);
+        if (vestige !== undefined) {
+            const effect = getMoveEffect(effects, CrossFieldTarget.Source, vestige.revision ?? revision, vestige.localId, mark.count);
+            if (effect.length < mark.count) {
+                const [firstMark, secondMark] = splitMark(mark, effect.length);
+                mark = firstMark;
+                inputQueue.unshift(secondMark);
+            }
+            outputQueue.push(applyMoveEffectsToSource(mark, vestige, false, revision, effects, consumeEffect, composeChildren));
+        }
+        else {
+            outputQueue.push(mark);
+        }
+        mark = inputQueue.shift();
+    }
+    return outputQueue;
+}
+function applyMoveEffectsToActiveMarks(inputQueue, revision, effects, consumeEffect, composeChildren) {
+    const outputQueue = [];
+    let mark = inputQueue.shift();
+    while (mark !== undefined) {
+        if (isAttachAndDetachEffect(mark)) {
+            if (isMoveIn(mark.attach)) {
+                if (isMoveOut(mark.detach)) {
+                    // Move effects should not be applied to intermediate move locations.
+                    outputQueue.push(mark);
+                }
+                else {
+                    const attachRevision = mark.attach.revision ?? revision;
+                    const effect = getMoveEffect(effects, CrossFieldTarget.Destination, attachRevision, mark.attach.id, mark.count);
+                    let updatedAttach;
+                    if (effect.length < mark.count) {
+                        const [firstMark, secondMark] = splitMark(mark, effect.length);
+                        mark = firstMark;
+                        updatedAttach = firstMark.attach;
+                        inputQueue.unshift(secondMark);
+                    }
+                    else {
+                        updatedAttach = { ...mark.attach };
+                    }
+                    applyMoveEffectsToDest(updatedAttach, mark.count, attachRevision, effects, consumeEffect);
+                    outputQueue.push({
+                        ...mark,
+                        attach: updatedAttach,
+                    });
+                }
+            }
+            else if (isMoveOut(mark.detach)) {
+                const detachRevision = mark.detach.revision ?? revision;
+                const effect = getMoveEffect(effects, CrossFieldTarget.Source, detachRevision, mark.detach.id, mark.count);
+                if (effect.length < mark.count) {
+                    const [firstMark, secondMark] = splitMark(mark, effect.length);
+                    mark = firstMark;
+                    inputQueue.unshift(secondMark);
+                }
+                const newMark = cloneMark(mark);
+                applySourceEffects(newMark.detach, mark.count, detachRevision, effects, consumeEffect);
+                const newChanges = getModifyAfter(effects, detachRevision, mark.detach.id, mark.count, consumeEffect);
+                if (newChanges !== undefined) {
+                    assert(composeChildren !== undefined, 0x814 /* Must provide a change composer if modifying moves */);
+                    newMark.changes = composeChildren(mark.changes, newChanges);
+                }
+                outputQueue.push(newMark);
+            }
+            else {
+                outputQueue.push(mark);
+            }
+        }
+        else if (isMoveMark(mark)) {
+            const type = mark.type;
+            switch (type) {
+                case "MoveOut": {
+                    const effect = getMoveEffect(effects, CrossFieldTarget.Source, mark.revision ?? revision, mark.id, mark.count);
+                    if (effect.length < mark.count) {
+                        const [firstMark, secondMark] = splitMark(mark, effect.length);
+                        mark = firstMark;
+                        inputQueue.unshift(secondMark);
+                    }
+                    outputQueue.push(applyMoveEffectsToSource(mark, { revision: mark.revision, localId: mark.id }, true, revision, effects, consumeEffect, composeChildren));
+                    break;
+                }
+                case "MoveIn": {
+                    const effect = getMoveEffect(effects, CrossFieldTarget.Destination, mark.revision ?? revision, mark.id, mark.count);
+                    if (effect.length < mark.count) {
+                        const [firstMark, secondMark] = splitMark(mark, effect.length);
+                        mark = firstMark;
+                        inputQueue.unshift(secondMark);
+                    }
+                    const newMark = cloneMark(mark);
+                    applyMoveEffectsToDest(newMark, mark.count, revision, effects, consumeEffect);
+                    outputQueue.push(newMark);
+                    break;
+                }
+                default:
+                    unreachableCase(type);
+            }
+        }
+        else {
+            outputQueue.push(mark);
+        }
+        mark = inputQueue.shift();
+    }
+    return outputQueue;
+}
+// It is expected that the range from `id` to `id + count - 1` has the same move effect.
+// The call sites to this function are making queries about a mark which has already been split by a `MarkQueue`
+// to match the ranges in `moveEffects`.
+// TODO: Reduce the duplication between this and other MoveEffect helpers
+export function getModifyAfter(moveEffects, revision, id, count, consumeEffect = true) {
+    const target = CrossFieldTarget.Source;
+    const effect = getMoveEffect(moveEffects, target, revision, id, count);
+    if (effect.value?.modifyAfter !== undefined) {
+        assert(effect.length === count, 0x6ee /* Expected effect to cover entire mark */);
+        if (consumeEffect) {
+            const newEffect = { ...effect.value };
+            delete newEffect.modifyAfter;
+            setMoveEffect(moveEffects, target, revision, id, count, newEffect, false);
+        }
+        return effect.value.modifyAfter;
+    }
+    return undefined;
+}
+function getEndpoint(moveEffects, target, revision, id, count, consumeEffect = true) {
+    const effect = getMoveEffect(moveEffects, target, revision, id, count);
+    assert(effect.length === count, 0x815 /* Expected effect to cover entire mark */);
+    if (effect.value?.endpoint === undefined) {
+        return undefined;
+    }
+    if (consumeEffect) {
+        const newEffect = { ...effect.value };
+        delete newEffect.endpoint;
+        setMoveEffect(moveEffects, target, revision, id, count, newEffect, false);
+    }
+    return effect.value.endpoint;
+}
+//# sourceMappingURL=moveEffectTable.js.map

package/lib/feature-libraries/sequence-field/moveEffectTable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"moveEffectTable.js","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/moveEffectTable.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAErE,OAAO,EAAqB,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,EAAoB,KAAK,EAAE,MAAM,YAAY,CAAC;AAErD,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,uBAAuB,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACzF,OAAO,EAAkB,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAiCxE,MAAM,CAAN,IAAY,OAGX;AAHD,WAAY,OAAO;IAClB,yCAAM,CAAA;IACN,qCAAI,CAAA;AACL,CAAC,EAHW,OAAO,KAAP,OAAO,QAGlB;AAWD,MAAM,UAAU,aAAa,CAC5B,WAA+B,EAC/B,MAAwB,EACxB,QAAiC,EACjC,EAAU,EACV,KAAa,EACb,MAAqB,EACrB,aAAsB,IAAI;IAEzB,MAAiC,CAAC,KAAK,GAAG,EAAE,CAAC;IAC9C,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,aAAa,CAC5B,WAA+B,EAC/B,MAAwB,EACxB,QAAiC,EACjC,EAAU,EACV,KAAa,EACb,gBAAyB,IAAI;IAE7B,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;IAC3E,OAAO,MAAM,CAAC,KAAK,KAAK,SAAS;QAChC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,qBAAqB,CAAC,MAAM,CAAC,KAA+B,EAAE,EAAE,CAAC,EAAE;QACzF,CAAC,CAAC,MAAM,CAAC;AACX,CAAC;AAID,MAAM,UAAU,UAAU,CAAC,MAAkB;IAC5C,OAAO,SAAS,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,MAAkB;IAC3C,OAAO,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,MAAkB;IAC1C,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,MAAkB;IAC3C,QAAQ,MAAM,CAAC,IAAI,EAAE;QACpB,KAAK,QAAQ;YACZ,OAAO,MAAM,CAAC;QACf,KAAK,iBAAiB;YACrB,OAAO,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACjC;YACC,OAAO,SAAS,CAAC;KAClB;AACF,CAAC;AAED,SAAS,qBAAqB,CAAI,MAA8B,EAAE,QAAgB;IACjF,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE;QAC9B,OAAO,MAAM,CAAC;KACd;IAED,MAAM,QAAQ,GAAG,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAChD,MAAM,UAAU,GAAG,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC;IAC3C,MAAM,CAAC,UAAU,GAAG,CAAC,EAAE,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAExE,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE;QAClC,QAAQ,CAAC,QAAQ,GAAG;YACnB,GAAG,MAAM,CAAC,QAAQ;YAClB,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,GAAG,UAAU,CAAC;SACpD,CAAC;KACF;IAED,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE;QACnC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QAChE,QAAQ,CAAC,SAAS,GAAG,KAAK,CAAC;KAC3B;IAED,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED,SAAS,sBAAsB,CAC9B,UAAkB,EAClB,KAAa,EACb,QAAiC,EACjC,OAAiC,EACjC,cAAuB;IAEvB,cAAc,CACb,UAAU,EACV,KAAK,EACL,gBAAgB,CAAC,WAAW,EAC5B,QAAQ,EACR,OAAO,EACP,cAAc,CACd,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAChC,IAAa,EACb,QAAsB,EACtB,mBAA4B,EAC5B,QAAiC,EACjC,OAA2B,EAC3B,aAAsB,EACtB,eAAyE;IAEzE,IAAI,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC;IAC9B,MAAM,WAAW,GAAG,cAAc,CACjC,OAAO,EACP,QAAQ,CAAC,QAAQ,IAAI,QAAQ,EAC7B,QAAQ,CAAC,OAAO,EAChB,IAAI,CAAC,KAAK,EACV,aAAa,CACb,CAAC;IACF,IAAI,WAAW,KAAK,SAAS,EAAE;QAC9B,MAAM,CACL,eAAe,KAAK,SAAS,EAC7B,KAAK,CAAC,uDAAuD,CAC7D,CAAC;QACF,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;KACxD;IAED,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAChC,IAAI,mBAAmB,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE;QAC9C,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;KAC1E;IAED,IAAI,UAAU,KAAK,SAAS,EAAE;QAC7B,OAAO,CAAC,OAAO,GAAG,UAAU,CAAC;KAC7B;SAAM;QACN,OAAO,OAAO,CAAC,OAAO,CAAC;KACvB;IAED,OAAO,OAAO,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CAC1B,UAAmB,EACnB,KAAa,EACb,QAAiC,EACjC,OAAiC,EACjC,cAAuB;IAEvB,cAAc,CAAC,UAAU,EAAE,KAAK,EAAE,gBAAgB,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;AAC/F,CAAC;AAED,SAAS,cAAc,CACtB,UAA0B,EAC1B,KAAa,EACb,MAAwB,EACxB,QAAiC,EACjC,OAAiC,EACjC,cAAuB;IAEvB,MAAM,YAAY,GAAG,UAAU,CAAC,QAAQ,IAAI,QAAQ,CAAC;IACrD,MAAM,SAAS,GAAG,WAAW,CAC5B,OAAO,EACP,MAAM,EACN,YAAY,EACZ,UAAU,CAAC,EAAE,EACb,KAAK,EACL,cAAc,CACd,CAAC;IAEF,IAAI,SAAS,KAAK,SAAS,EAAE;QAC5B,IAAI,eAAe,CAAC,SAAS,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,EAAE;YACnF,OAAO,UAAU,CAAC,aAAa,CAAC;SAChC;aAAM;YACN,UAAU,CAAC,aAAa,GAAG,SAAS,CAAC;SACrC;KACD;AACF,CAAC;AAED,MAAM,UAAU,sBAAsB,CACrC,IAAa,EACb,QAAiC,EACjC,OAA2B,EAC3B,aAAsB,EACtB,eAAyE;IAEzE,OAAO,6BAA6B,CACnC,gCAAgC,CAC/B,CAAC,IAAI,CAAC,EACN,OAAO,EACP,QAAQ,EACR,aAAa,EACb,eAAe,CACf,EACD,QAAQ,EACR,OAAO,EACP,aAAa,EACb,eAAe,CACf,CAAC;AACH,CAAC;AAED,SAAS,gCAAgC,CACxC,UAAqB,EACrB,OAA2B,EAC3B,QAAiC,EACjC,aAAsB,EACtB,eAAsF;IAEtF,MAAM,WAAW,GAAc,EAAE,CAAC;IAClC,IAAI,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC;IAC9B,OAAO,IAAI,KAAK,SAAS,EAAE;QAC1B,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,OAAO,KAAK,SAAS,EAAE;YAC1B,MAAM,MAAM,GAAG,aAAa,CAC3B,OAAO,EACP,gBAAgB,CAAC,MAAM,EACvB,OAAO,CAAC,QAAQ,IAAI,QAAQ,EAC5B,OAAO,CAAC,OAAO,EACf,IAAI,CAAC,KAAK,CACV,CAAC;YACF,IAAI,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE;gBAC/B,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC/D,IAAI,GAAG,SAAS,CAAC;gBACjB,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;aAC/B;YAED,WAAW,CAAC,IAAI,CACf,wBAAwB,CACvB,IAAI,EACJ,OAAO,EACP,KAAK,EACL,QAAQ,EACR,OAAO,EACP,aAAa,EACb,eAAe,CACf,CACD,CAAC;SACF;aAAM;YACN,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACvB;QACD,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC;KAC1B;IACD,OAAO,WAAW,CAAC;AACpB,CAAC;AAED,SAAS,6BAA6B,CACrC,UAAqB,EACrB,QAAiC,EACjC,OAA2B,EAC3B,aAAsB,EACtB,eAAsF;IAEtF,MAAM,WAAW,GAAc,EAAE,CAAC;IAClC,IAAI,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC;IAC9B,OAAO,IAAI,KAAK,SAAS,EAAE;QAC1B,IAAI,uBAAuB,CAAC,IAAI,CAAC,EAAE;YAClC,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;gBAC1B,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAC3B,qEAAqE;oBACrE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;iBACvB;qBAAM;oBACN,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,QAAQ,CAAC;oBACxD,MAAM,MAAM,GAAG,aAAa,CAC3B,OAAO,EACP,gBAAgB,CAAC,WAAW,EAC5B,cAAc,EACd,IAAI,CAAC,MAAM,CAAC,EAAE,EACd,IAAI,CAAC,KAAK,CACV,CAAC;oBAEF,IAAI,aAAqB,CAAC;oBAC1B,IAAI,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE;wBAC/B,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;wBAC/D,IAAI,GAAG,SAAS,CAAC;wBACjB,aAAa,GAAG,SAAS,CAAC,MAAgB,CAAC;wBAC3C,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;qBAC/B;yBAAM;wBACN,aAAa,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;qBACnC;oBACD,sBAAsB,CACrB,aAAa,EACb,IAAI,CAAC,KAAK,EACV,cAAc,EACd,OAAO,EACP,aAAa,CACb,CAAC;oBACF,WAAW,CAAC,IAAI,CAAC;wBAChB,GAAG,IAAI;wBACP,MAAM,EAAE,aAAa;qBACrB,CAAC,CAAC;iBACH;aACD;iBAAM,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;gBAClC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,QAAQ,CAAC;gBACxD,MAAM,MAAM,GAAG,aAAa,CAC3B,OAAO,EACP,gBAAgB,CAAC,MAAM,EACvB,cAAc,EACd,IAAI,CAAC,MAAM,CAAC,EAAE,EACd,IAAI,CAAC,KAAK,CACV,CAAC;gBAEF,IAAI,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE;oBAC/B,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;oBAC/D,IAAI,GAAG,SAAS,CAAC;oBACjB,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;iBAC/B;gBAED,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;gBAChC,kBAAkB,CACjB,OAAO,CAAC,MAAiB,EACzB,IAAI,CAAC,KAAK,EACV,cAAc,EACd,OAAO,EACP,aAAa,CACb,CAAC;gBAEF,MAAM,UAAU,GAAG,cAAc,CAChC,OAAO,EACP,cAAc,EACd,IAAI,CAAC,MAAM,CAAC,EAAE,EACd,IAAI,CAAC,KAAK,EACV,aAAa,CACb,CAAC;gBAEF,IAAI,UAAU,KAAK,SAAS,EAAE;oBAC7B,MAAM,CACL,eAAe,KAAK,SAAS,EAC7B,KAAK,CAAC,uDAAuD,CAC7D,CAAC;oBACF,OAAO,CAAC,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;iBAC5D;gBAED,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;aAC1B;iBAAM;gBACN,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACvB;SACD;aAAM,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE;YAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YACvB,QAAQ,IAAI,EAAE;gBACb,KAAK,SAAS,CAAC,CAAC;oBACf,MAAM,MAAM,GAAG,aAAa,CAC3B,OAAO,EACP,gBAAgB,CAAC,MAAM,EACvB,IAAI,CAAC,QAAQ,IAAI,QAAQ,EACzB,IAAI,CAAC,EAAE,EACP,IAAI,CAAC,KAAK,CACV,CAAC;oBAEF,IAAI,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE;wBAC/B,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;wBAC/D,IAAI,GAAG,SAAS,CAAC;wBACjB,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;qBAC/B;oBAED,WAAW,CAAC,IAAI,CACf,wBAAwB,CACvB,IAAI,EACJ,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,EAC7C,IAAI,EACJ,QAAQ,EACR,OAAO,EACP,aAAa,EACb,eAAe,CACf,CACD,CAAC;oBACF,MAAM;iBACN;gBACD,KAAK,QAAQ,CAAC,CAAC;oBACd,MAAM,MAAM,GAAG,aAAa,CAC3B,OAAO,EACP,gBAAgB,CAAC,WAAW,EAC5B,IAAI,CAAC,QAAQ,IAAI,QAAQ,EACzB,IAAI,CAAC,EAAE,EACP,IAAI,CAAC,KAAK,CACV,CAAC;oBAEF,IAAI,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE;wBAC/B,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;wBAC/D,IAAI,GAAG,SAAS,CAAC;wBACjB,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;qBAC/B;oBAED,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;oBAChC,sBAAsB,CACrB,OAA8B,EAC9B,IAAI,CAAC,KAAK,EACV,QAAQ,EACR,OAAO,EACP,aAAa,CACb,CAAC;oBACF,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAC1B,MAAM;iBACN;gBACD;oBACC,eAAe,CAAC,IAAI,CAAC,CAAC;aACvB;SACD;aAAM;YACN,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACvB;QACD,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC;KAC1B;IACD,OAAO,WAAW,CAAC;AACpB,CAAC;AAED,wFAAwF;AACxF,gHAAgH;AAChH,wCAAwC;AACxC,yEAAyE;AACzE,MAAM,UAAU,cAAc,CAC7B,WAA+B,EAC/B,QAAiC,EACjC,EAAU,EACV,KAAa,EACb,gBAAyB,IAAI;IAE7B,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC;IACvC,MAAM,MAAM,GAAG,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IAEvE,IAAI,MAAM,CAAC,KAAK,EAAE,WAAW,KAAK,SAAS,EAAE;QAC5C,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,KAAK,EAAE,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAClF,IAAI,aAAa,EAAE;YAClB,MAAM,SAAS,GAAG,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;YACtC,OAAO,SAAS,CAAC,WAAW,CAAC;YAC7B,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;SAC1E;QACD,OAAO,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC;KAChC;IAED,OAAO,SAAS,CAAC;AAClB,CAAC;AAED,SAAS,WAAW,CACnB,WAAqC,EACrC,MAAwB,EACxB,QAAiC,EACjC,EAAU,EACV,KAAa,EACb,gBAAyB,IAAI;IAE7B,MAAM,MAAM,GAAG,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IACvE,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,KAAK,EAAE,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAClF,IAAI,MAAM,CAAC,KAAK,EAAE,QAAQ,KAAK,SAAS,EAAE;QACzC,OAAO,SAAS,CAAC;KACjB;IAED,IAAI,aAAa,EAAE;QAClB,MAAM,SAAS,GAAG,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC,QAAQ,CAAC;QAC1B,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;KAC1E;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC;AAC9B,CAAC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { assert, unreachableCase } from \"@fluidframework/core-utils\";\nimport { ChangeAtomId, RevisionTag, TaggedChange } from \"../../core\";\nimport { CrossFieldManager, CrossFieldTarget } from \"../modular-schema\";\nimport { RangeQueryResult, brand } from \"../../util\";\nimport { CellMark, Mark, MarkEffect, MoveId, MoveIn, MoveOut } from \"./types\";\nimport { areEqualCellIds, cloneMark, isAttachAndDetachEffect, splitMark } from \"./utils\";\nimport { MoveMarkEffect, tryGetVestigialEndpoint } from \"./helperTypes\";\n\nexport type MoveEffectTable<T> = CrossFieldManager<MoveEffect<T>>;\n\n/**\n * Changes to be applied to a move mark.\n */\nexport interface MoveEffect<T> {\n\t/**\n\t * Node changes which should be applied to this mark.\n\t * If this mark already has node changes, `modifyAfter` should be composed as later changes.\n\t */\n\tmodifyAfter?: TaggedChange<T>;\n\n\t/**\n\t * A mark which should be moved to the same position as this mark.\n\t */\n\tmovedMark?: Mark<T>;\n\n\t/**\n\t * The ID of the new endpoint associated with this mark.\n\t */\n\tendpoint?: ChangeAtomId;\n}\n\ninterface MoveEffectWithBasis<T> extends MoveEffect<T> {\n\t/**\n\t * The ID for the start of the range this MoveEffect was created for.\n\t * This is used, for example, to correctly interpret `MoveEffect.endpoint` field.\n\t */\n\tbasis: MoveId;\n}\n\nexport enum MoveEnd {\n\tSource,\n\tDest,\n}\n\nexport interface MovePartition<TNodeChange> {\n\tid: MoveId;\n\n\t// Undefined means the partition is the same size as the input.\n\tcount?: number;\n\treplaceWith?: Mark<TNodeChange>[];\n\tmodifyAfter?: TaggedChange<TNodeChange>;\n}\n\nexport function setMoveEffect<T>(\n\tmoveEffects: MoveEffectTable<T>,\n\ttarget: CrossFieldTarget,\n\trevision: RevisionTag | undefined,\n\tid: MoveId,\n\tcount: number,\n\teffect: MoveEffect<T>,\n\tinvalidate: boolean = true,\n) {\n\t(effect as MoveEffectWithBasis<T>).basis = id;\n\tmoveEffects.set(target, revision, id, count, effect, invalidate);\n}\n\nexport function getMoveEffect<T>(\n\tmoveEffects: MoveEffectTable<T>,\n\ttarget: CrossFieldTarget,\n\trevision: RevisionTag | undefined,\n\tid: MoveId,\n\tcount: number,\n\taddDependency: boolean = true,\n): RangeQueryResult<MoveEffect<T>> {\n\tconst result = moveEffects.get(target, revision, id, count, addDependency);\n\treturn result.value !== undefined\n\t\t? { ...result, value: adjustMoveEffectBasis(result.value as MoveEffectWithBasis<T>, id) }\n\t\t: result;\n}\n\nexport type MoveMark<T> = CellMark<MoveMarkEffect, T>;\n\nexport function isMoveMark(effect: MarkEffect): effect is MoveMarkEffect {\n\treturn isMoveOut(effect) || isMoveIn(effect);\n}\n\nexport function isMoveOut(effect: MarkEffect): effect is MoveOut {\n\treturn effect.type === \"MoveOut\";\n}\n\nexport function isMoveIn(effect: MarkEffect): effect is MoveIn {\n\treturn effect.type === \"MoveIn\";\n}\n\nexport function getMoveIn(effect: MarkEffect): MoveIn | undefined {\n\tswitch (effect.type) {\n\t\tcase \"MoveIn\":\n\t\t\treturn effect;\n\t\tcase \"AttachAndDetach\":\n\t\t\treturn getMoveIn(effect.attach);\n\t\tdefault:\n\t\t\treturn undefined;\n\t}\n}\n\nfunction adjustMoveEffectBasis<T>(effect: MoveEffectWithBasis<T>, newBasis: MoveId): MoveEffect<T> {\n\tif (effect.basis === newBasis) {\n\t\treturn effect;\n\t}\n\n\tconst adjusted = { ...effect, basis: newBasis };\n\tconst basisShift = newBasis - effect.basis;\n\tassert(basisShift > 0, 0x812 /* Expected basis shift to be positive */);\n\n\tif (effect.endpoint !== undefined) {\n\t\tadjusted.endpoint = {\n\t\t\t...effect.endpoint,\n\t\t\tlocalId: brand(effect.endpoint.localId + basisShift),\n\t\t};\n\t}\n\n\tif (effect.movedMark !== undefined) {\n\t\tconst [_mark1, mark2] = splitMark(effect.movedMark, basisShift);\n\t\tadjusted.movedMark = mark2;\n\t}\n\n\treturn adjusted;\n}\n\nfunction applyMoveEffectsToDest(\n\tmarkEffect: MoveIn,\n\tcount: number,\n\trevision: RevisionTag | undefined,\n\teffects: MoveEffectTable<unknown>,\n\tconsumeEffects: boolean,\n) {\n\tupdateEndpoint(\n\t\tmarkEffect,\n\t\tcount,\n\t\tCrossFieldTarget.Destination,\n\t\trevision,\n\t\teffects,\n\t\tconsumeEffects,\n\t);\n}\n\nfunction applyMoveEffectsToSource<T>(\n\tmark: Mark<T>,\n\tendpoint: ChangeAtomId,\n\tupdateFinalEndpoint: boolean,\n\trevision: RevisionTag | undefined,\n\teffects: MoveEffectTable<T>,\n\tconsumeEffect: boolean,\n\tcomposeChildren?: (a: T | undefined, b: TaggedChange<T>) => T | undefined,\n): Mark<T> {\n\tlet nodeChange = mark.changes;\n\tconst modifyAfter = getModifyAfter(\n\t\teffects,\n\t\tendpoint.revision ?? revision,\n\t\tendpoint.localId,\n\t\tmark.count,\n\t\tconsumeEffect,\n\t);\n\tif (modifyAfter !== undefined) {\n\t\tassert(\n\t\t\tcomposeChildren !== undefined,\n\t\t\t0x569 /* Must provide a change composer if modifying moves */,\n\t\t);\n\t\tnodeChange = composeChildren(mark.changes, modifyAfter);\n\t}\n\n\tconst newMark = cloneMark(mark);\n\tif (updateFinalEndpoint && isMoveOut(newMark)) {\n\t\tapplySourceEffects(newMark, mark.count, revision, effects, consumeEffect);\n\t}\n\n\tif (nodeChange !== undefined) {\n\t\tnewMark.changes = nodeChange;\n\t} else {\n\t\tdelete newMark.changes;\n\t}\n\n\treturn newMark;\n}\n\nfunction applySourceEffects(\n\tmarkEffect: MoveOut,\n\tcount: number,\n\trevision: RevisionTag | undefined,\n\teffects: MoveEffectTable<unknown>,\n\tconsumeEffects: boolean,\n) {\n\tupdateEndpoint(markEffect, count, CrossFieldTarget.Source, revision, effects, consumeEffects);\n}\n\nfunction updateEndpoint(\n\tmarkEffect: MoveMarkEffect,\n\tcount: number,\n\ttarget: CrossFieldTarget,\n\trevision: RevisionTag | undefined,\n\teffects: MoveEffectTable<unknown>,\n\tconsumeEffects: boolean,\n) {\n\tconst markRevision = markEffect.revision ?? revision;\n\tconst finalDest = getEndpoint(\n\t\teffects,\n\t\ttarget,\n\t\tmarkRevision,\n\t\tmarkEffect.id,\n\t\tcount,\n\t\tconsumeEffects,\n\t);\n\n\tif (finalDest !== undefined) {\n\t\tif (areEqualCellIds(finalDest, { revision: markRevision, localId: markEffect.id })) {\n\t\t\tdelete markEffect.finalEndpoint;\n\t\t} else {\n\t\t\tmarkEffect.finalEndpoint = finalDest;\n\t\t}\n\t}\n}\n\nexport function applyMoveEffectsToMark<T>(\n\tmark: Mark<T>,\n\trevision: RevisionTag | undefined,\n\teffects: MoveEffectTable<T>,\n\tconsumeEffect: boolean,\n\tcomposeChildren?: (a: T | undefined, b: TaggedChange<T>) => T | undefined,\n): Mark<T>[] {\n\treturn applyMoveEffectsToActiveMarks<T>(\n\t\tapplyMoveEffectsToVestigialMarks<T>(\n\t\t\t[mark],\n\t\t\teffects,\n\t\t\trevision,\n\t\t\tconsumeEffect,\n\t\t\tcomposeChildren,\n\t\t),\n\t\trevision,\n\t\teffects,\n\t\tconsumeEffect,\n\t\tcomposeChildren,\n\t);\n}\n\nfunction applyMoveEffectsToVestigialMarks<T>(\n\tinputQueue: Mark<T>[],\n\teffects: MoveEffectTable<T>,\n\trevision: RevisionTag | undefined,\n\tconsumeEffect: boolean,\n\tcomposeChildren: ((a: T | undefined, b: TaggedChange<T>) => T | undefined) | undefined,\n): Mark<T>[] {\n\tconst outputQueue: Mark<T>[] = [];\n\tlet mark = inputQueue.shift();\n\twhile (mark !== undefined) {\n\t\tconst vestige = tryGetVestigialEndpoint(mark);\n\t\tif (vestige !== undefined) {\n\t\t\tconst effect = getMoveEffect(\n\t\t\t\teffects,\n\t\t\t\tCrossFieldTarget.Source,\n\t\t\t\tvestige.revision ?? revision,\n\t\t\t\tvestige.localId,\n\t\t\t\tmark.count,\n\t\t\t);\n\t\t\tif (effect.length < mark.count) {\n\t\t\t\tconst [firstMark, secondMark] = splitMark(mark, effect.length);\n\t\t\t\tmark = firstMark;\n\t\t\t\tinputQueue.unshift(secondMark);\n\t\t\t}\n\n\t\t\toutputQueue.push(\n\t\t\t\tapplyMoveEffectsToSource(\n\t\t\t\t\tmark,\n\t\t\t\t\tvestige,\n\t\t\t\t\tfalse,\n\t\t\t\t\trevision,\n\t\t\t\t\teffects,\n\t\t\t\t\tconsumeEffect,\n\t\t\t\t\tcomposeChildren,\n\t\t\t\t),\n\t\t\t);\n\t\t} else {\n\t\t\toutputQueue.push(mark);\n\t\t}\n\t\tmark = inputQueue.shift();\n\t}\n\treturn outputQueue;\n}\n\nfunction applyMoveEffectsToActiveMarks<T>(\n\tinputQueue: Mark<T>[],\n\trevision: RevisionTag | undefined,\n\teffects: MoveEffectTable<T>,\n\tconsumeEffect: boolean,\n\tcomposeChildren: ((a: T | undefined, b: TaggedChange<T>) => T | undefined) | undefined,\n) {\n\tconst outputQueue: Mark<T>[] = [];\n\tlet mark = inputQueue.shift();\n\twhile (mark !== undefined) {\n\t\tif (isAttachAndDetachEffect(mark)) {\n\t\t\tif (isMoveIn(mark.attach)) {\n\t\t\t\tif (isMoveOut(mark.detach)) {\n\t\t\t\t\t// Move effects should not be applied to intermediate move locations.\n\t\t\t\t\toutputQueue.push(mark);\n\t\t\t\t} else {\n\t\t\t\t\tconst attachRevision = mark.attach.revision ?? revision;\n\t\t\t\t\tconst effect = getMoveEffect(\n\t\t\t\t\t\teffects,\n\t\t\t\t\t\tCrossFieldTarget.Destination,\n\t\t\t\t\t\tattachRevision,\n\t\t\t\t\t\tmark.attach.id,\n\t\t\t\t\t\tmark.count,\n\t\t\t\t\t);\n\n\t\t\t\t\tlet updatedAttach: MoveIn;\n\t\t\t\t\tif (effect.length < mark.count) {\n\t\t\t\t\t\tconst [firstMark, secondMark] = splitMark(mark, effect.length);\n\t\t\t\t\t\tmark = firstMark;\n\t\t\t\t\t\tupdatedAttach = firstMark.attach as MoveIn;\n\t\t\t\t\t\tinputQueue.unshift(secondMark);\n\t\t\t\t\t} else {\n\t\t\t\t\t\tupdatedAttach = { ...mark.attach };\n\t\t\t\t\t}\n\t\t\t\t\tapplyMoveEffectsToDest(\n\t\t\t\t\t\tupdatedAttach,\n\t\t\t\t\t\tmark.count,\n\t\t\t\t\t\tattachRevision,\n\t\t\t\t\t\teffects,\n\t\t\t\t\t\tconsumeEffect,\n\t\t\t\t\t);\n\t\t\t\t\toutputQueue.push({\n\t\t\t\t\t\t...mark,\n\t\t\t\t\t\tattach: updatedAttach,\n\t\t\t\t\t});\n\t\t\t\t}\n\t\t\t} else if (isMoveOut(mark.detach)) {\n\t\t\t\tconst detachRevision = mark.detach.revision ?? revision;\n\t\t\t\tconst effect = getMoveEffect(\n\t\t\t\t\teffects,\n\t\t\t\t\tCrossFieldTarget.Source,\n\t\t\t\t\tdetachRevision,\n\t\t\t\t\tmark.detach.id,\n\t\t\t\t\tmark.count,\n\t\t\t\t);\n\n\t\t\t\tif (effect.length < mark.count) {\n\t\t\t\t\tconst [firstMark, secondMark] = splitMark(mark, effect.length);\n\t\t\t\t\tmark = firstMark;\n\t\t\t\t\tinputQueue.unshift(secondMark);\n\t\t\t\t}\n\n\t\t\t\tconst newMark = cloneMark(mark);\n\t\t\t\tapplySourceEffects(\n\t\t\t\t\tnewMark.detach as MoveOut,\n\t\t\t\t\tmark.count,\n\t\t\t\t\tdetachRevision,\n\t\t\t\t\teffects,\n\t\t\t\t\tconsumeEffect,\n\t\t\t\t);\n\n\t\t\t\tconst newChanges = getModifyAfter(\n\t\t\t\t\teffects,\n\t\t\t\t\tdetachRevision,\n\t\t\t\t\tmark.detach.id,\n\t\t\t\t\tmark.count,\n\t\t\t\t\tconsumeEffect,\n\t\t\t\t);\n\n\t\t\t\tif (newChanges !== undefined) {\n\t\t\t\t\tassert(\n\t\t\t\t\t\tcomposeChildren !== undefined,\n\t\t\t\t\t\t0x814 /* Must provide a change composer if modifying moves */,\n\t\t\t\t\t);\n\t\t\t\t\tnewMark.changes = composeChildren(mark.changes, newChanges);\n\t\t\t\t}\n\n\t\t\t\toutputQueue.push(newMark);\n\t\t\t} else {\n\t\t\t\toutputQueue.push(mark);\n\t\t\t}\n\t\t} else if (isMoveMark(mark)) {\n\t\t\tconst type = mark.type;\n\t\t\tswitch (type) {\n\t\t\t\tcase \"MoveOut\": {\n\t\t\t\t\tconst effect = getMoveEffect(\n\t\t\t\t\t\teffects,\n\t\t\t\t\t\tCrossFieldTarget.Source,\n\t\t\t\t\t\tmark.revision ?? revision,\n\t\t\t\t\t\tmark.id,\n\t\t\t\t\t\tmark.count,\n\t\t\t\t\t);\n\n\t\t\t\t\tif (effect.length < mark.count) {\n\t\t\t\t\t\tconst [firstMark, secondMark] = splitMark(mark, effect.length);\n\t\t\t\t\t\tmark = firstMark;\n\t\t\t\t\t\tinputQueue.unshift(secondMark);\n\t\t\t\t\t}\n\n\t\t\t\t\toutputQueue.push(\n\t\t\t\t\t\tapplyMoveEffectsToSource(\n\t\t\t\t\t\t\tmark,\n\t\t\t\t\t\t\t{ revision: mark.revision, localId: mark.id },\n\t\t\t\t\t\t\ttrue,\n\t\t\t\t\t\t\trevision,\n\t\t\t\t\t\t\teffects,\n\t\t\t\t\t\t\tconsumeEffect,\n\t\t\t\t\t\t\tcomposeChildren,\n\t\t\t\t\t\t),\n\t\t\t\t\t);\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\t\t\t\tcase \"MoveIn\": {\n\t\t\t\t\tconst effect = getMoveEffect(\n\t\t\t\t\t\teffects,\n\t\t\t\t\t\tCrossFieldTarget.Destination,\n\t\t\t\t\t\tmark.revision ?? revision,\n\t\t\t\t\t\tmark.id,\n\t\t\t\t\t\tmark.count,\n\t\t\t\t\t);\n\n\t\t\t\t\tif (effect.length < mark.count) {\n\t\t\t\t\t\tconst [firstMark, secondMark] = splitMark(mark, effect.length);\n\t\t\t\t\t\tmark = firstMark;\n\t\t\t\t\t\tinputQueue.unshift(secondMark);\n\t\t\t\t\t}\n\n\t\t\t\t\tconst newMark = cloneMark(mark);\n\t\t\t\t\tapplyMoveEffectsToDest(\n\t\t\t\t\t\tnewMark as CellMark<MoveIn, T>,\n\t\t\t\t\t\tmark.count,\n\t\t\t\t\t\trevision,\n\t\t\t\t\t\teffects,\n\t\t\t\t\t\tconsumeEffect,\n\t\t\t\t\t);\n\t\t\t\t\toutputQueue.push(newMark);\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\t\t\t\tdefault:\n\t\t\t\t\tunreachableCase(type);\n\t\t\t}\n\t\t} else {\n\t\t\toutputQueue.push(mark);\n\t\t}\n\t\tmark = inputQueue.shift();\n\t}\n\treturn outputQueue;\n}\n\n// It is expected that the range from `id` to `id + count - 1` has the same move effect.\n// The call sites to this function are making queries about a mark which has already been split by a `MarkQueue`\n// to match the ranges in `moveEffects`.\n// TODO: Reduce the duplication between this and other MoveEffect helpers\nexport function getModifyAfter<T>(\n\tmoveEffects: MoveEffectTable<T>,\n\trevision: RevisionTag | undefined,\n\tid: MoveId,\n\tcount: number,\n\tconsumeEffect: boolean = true,\n): TaggedChange<T> | undefined {\n\tconst target = CrossFieldTarget.Source;\n\tconst effect = getMoveEffect(moveEffects, target, revision, id, count);\n\n\tif (effect.value?.modifyAfter !== undefined) {\n\t\tassert(effect.length === count, 0x6ee /* Expected effect to cover entire mark */);\n\t\tif (consumeEffect) {\n\t\t\tconst newEffect = { ...effect.value };\n\t\t\tdelete newEffect.modifyAfter;\n\t\t\tsetMoveEffect(moveEffects, target, revision, id, count, newEffect, false);\n\t\t}\n\t\treturn effect.value.modifyAfter;\n\t}\n\n\treturn undefined;\n}\n\nfunction getEndpoint(\n\tmoveEffects: MoveEffectTable<unknown>,\n\ttarget: CrossFieldTarget,\n\trevision: RevisionTag | undefined,\n\tid: MoveId,\n\tcount: number,\n\tconsumeEffect: boolean = true,\n): ChangeAtomId | undefined {\n\tconst effect = getMoveEffect(moveEffects, target, revision, id, count);\n\tassert(effect.length === count, 0x815 /* Expected effect to cover entire mark */);\n\tif (effect.value?.endpoint === undefined) {\n\t\treturn undefined;\n\t}\n\n\tif (consumeEffect) {\n\t\tconst newEffect = { ...effect.value };\n\t\tdelete newEffect.endpoint;\n\t\tsetMoveEffect(moveEffects, target, revision, id, count, newEffect, false);\n\t}\n\treturn effect.value.endpoint;\n}\n"]}

package/lib/feature-libraries/sequence-field/prune.d.ts

@@ -0,0 +1,8 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { Changeset } from "./types";
+export type NodeChangePruner<TNodeChange> = (change: TNodeChange) => TNodeChange | undefined;
+export declare function prune<TNodeChange>(changeset: Changeset<TNodeChange>, pruneNode: NodeChangePruner<TNodeChange>): Changeset<TNodeChange>;
+//# sourceMappingURL=prune.d.ts.map

package/lib/feature-libraries/sequence-field/prune.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prune.d.ts","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/prune.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAKpC,MAAM,MAAM,gBAAgB,CAAC,WAAW,IAAI,CAAC,MAAM,EAAE,WAAW,KAAK,WAAW,GAAG,SAAS,CAAC;AAE7F,wBAAgB,KAAK,CAAC,WAAW,EAChC,SAAS,EAAE,SAAS,CAAC,WAAW,CAAC,EACjC,SAAS,EAAE,gBAAgB,CAAC,WAAW,CAAC,GACtC,SAAS,CAAC,WAAW,CAAC,CAYxB"}

package/lib/feature-libraries/sequence-field/prune.js

@@ -0,0 +1,21 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { MarkListFactory } from "./markListFactory";
+import { withNodeChange } from "./utils";
+import { isVestigialEndpoint } from "./helperTypes";
+export function prune(changeset, pruneNode) {
+    const pruned = new MarkListFactory();
+    for (let mark of changeset) {
+        if (isVestigialEndpoint(mark)) {
+            delete mark.vestigialEndpoint;
+        }
+        if (mark.changes !== undefined) {
+            mark = withNodeChange(mark, pruneNode(mark.changes));
+        }
+        pruned.push(mark);
+    }
+    return pruned.list;
+}
+//# sourceMappingURL=prune.js.map

package/lib/feature-libraries/sequence-field/prune.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prune.js","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/prune.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,EAAqB,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAIvE,MAAM,UAAU,KAAK,CACpB,SAAiC,EACjC,SAAwC;IAExC,MAAM,MAAM,GAAG,IAAI,eAAe,EAAe,CAAC;IAClD,KAAK,IAAI,IAAI,IAAI,SAAS,EAAE;QAC3B,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE;YAC9B,OAAQ,IAAmC,CAAC,iBAAiB,CAAC;SAC9D;QACD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE;YAC/B,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;SACrD;QACD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;KAClB;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACpB,CAAC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { Changeset } from \"./types\";\nimport { MarkListFactory } from \"./markListFactory\";\nimport { withNodeChange } from \"./utils\";\nimport { VestigialEndpoint, isVestigialEndpoint } from \"./helperTypes\";\n\nexport type NodeChangePruner<TNodeChange> = (change: TNodeChange) => TNodeChange | undefined;\n\nexport function prune<TNodeChange>(\n\tchangeset: Changeset<TNodeChange>,\n\tpruneNode: NodeChangePruner<TNodeChange>,\n): Changeset<TNodeChange> {\n\tconst pruned = new MarkListFactory<TNodeChange>();\n\tfor (let mark of changeset) {\n\t\tif (isVestigialEndpoint(mark)) {\n\t\t\tdelete (mark as Partial<VestigialEndpoint>).vestigialEndpoint;\n\t\t}\n\t\tif (mark.changes !== undefined) {\n\t\t\tmark = withNodeChange(mark, pruneNode(mark.changes));\n\t\t}\n\t\tpruned.push(mark);\n\t}\n\treturn pruned.list;\n}\n"]}

package/lib/feature-libraries/sequence-field/rebase.d.ts

@@ -0,0 +1,26 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { IdAllocator } from "../../util";
+import { TaggedChange } from "../../core";
+import { CrossFieldManager, NodeExistenceState, RebaseRevisionMetadata } from "../modular-schema";
+import { Changeset } from "./types";
+/**
+ * Rebases `change` over `base` assuming they both apply to the same initial state.
+ * @param change - The changeset to rebase.
+ * @param base - The changeset to rebase over.
+ * @returns A changeset that performs the changes in `change` but does so assuming `base` has been applied first.
+ *
+ * WARNING! This implementation is incomplete:
+ * - Some marks that affect existing content are removed instead of marked as conflicted when rebased over the deletion
+ * of that content. This prevents us from then reinstating the mark when rebasing over the revive.
+ * - Tombs are not added when rebasing an insert over a gap that is immediately left of deleted content.
+ * This prevents us from being able to accurately track the position of the insert.
+ * - Tiebreak ordering is not respected.
+ * - Support for moves is not implemented.
+ * - Support for slices is not implemented.
+ */
+export declare function rebase<TNodeChange>(change: Changeset<TNodeChange>, base: TaggedChange<Changeset<TNodeChange>>, rebaseChild: NodeChangeRebaser<TNodeChange>, genId: IdAllocator, manager: CrossFieldManager, revisionMetadata: RebaseRevisionMetadata, nodeExistenceState?: NodeExistenceState): Changeset<TNodeChange>;
+export type NodeChangeRebaser<TNodeChange> = (change: TNodeChange | undefined, baseChange: TNodeChange | undefined, stateChange?: NodeExistenceState) => TNodeChange | undefined;
+//# sourceMappingURL=rebase.d.ts.map

package/lib/feature-libraries/sequence-field/rebase.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rebase.d.ts","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/rebase.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,WAAW,EAAmC,MAAM,YAAY,CAAC;AAC1E,OAAO,EAKN,YAAY,EACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EACN,iBAAiB,EAEjB,kBAAkB,EAClB,sBAAsB,EAEtB,MAAM,mBAAmB,CAAC;AAuB3B,OAAO,EACN,SAAS,EAcT,MAAM,SAAS,CAAC;AAcjB;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,MAAM,CAAC,WAAW,EACjC,MAAM,EAAE,SAAS,CAAC,WAAW,CAAC,EAC9B,IAAI,EAAE,YAAY,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,EAC1C,WAAW,EAAE,iBAAiB,CAAC,WAAW,CAAC,EAC3C,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,iBAAiB,EAC1B,gBAAgB,EAAE,sBAAsB,EACxC,kBAAkB,GAAE,kBAA6C,GAC/D,SAAS,CAAC,WAAW,CAAC,CAWxB;AAED,MAAM,MAAM,iBAAiB,CAAC,WAAW,IAAI,CAC5C,MAAM,EAAE,WAAW,GAAG,SAAS,EAC/B,UAAU,EAAE,WAAW,GAAG,SAAS,EACnC,WAAW,CAAC,EAAE,kBAAkB,KAC5B,WAAW,GAAG,SAAS,CAAC"}