@fluidframework/tree 2.0.0-rc.2.0.2 → 2.0.0-rc.3.0.0

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

@@ -2,13 +2,13 @@
  * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
  * Licensed under the MIT License.
  */
-import { assert, unreachableCase } from "@fluidframework/core-utils";
+import { assert, unreachableCase } from "@fluidframework/core-utils/internal";
 import { fail } from "../../util/index.js";
 import { CrossFieldTarget } from "../modular-schema/index.js";
-import { NoopMarkType, } from "./types.js";
-import { MarkListFactory } from "./markListFactory.js";
-import { extractMarkEffect, getDetachOutputId, getEndpoint, getInputCellId, getOutputCellId, isAttach, isDetach, isImpactful, isReattach, normalizeCellRename, splitMark, withNodeChange, } from "./utils.js";
 import { DetachIdOverrideType } from "./format.js";
+import { MarkListFactory } from "./markListFactory.js";
+import { NoopMarkType, } from "./types.js";
+import { extractMarkEffect, getDetachOutputCellId, getEndpoint, getInputCellId, getOutputCellId, isAttach, isDetach, isImpactful, isReattach, normalizeCellRename, splitMark, withNodeChange, } from "./utils.js";
 /**
  * Inverts a given changeset.
  * @param change - The changeset to produce the inverse of.
@@ -17,30 +17,26 @@ import { DetachIdOverrideType } from "./format.js";
  * WARNING! This implementation is incomplete:
  * - Support for slices is not implemented.
  */
-export function invert(change, invertChild, isRollback, genId, crossFieldManager, revisionMetadata) {
-    return invertMarkList(change.change, change.revision, invertChild, crossFieldManager, revisionMetadata);
+export function invert(change, isRollback, genId, crossFieldManager, revisionMetadata) {
+    return invertMarkList(change.change, change.revision, crossFieldManager, revisionMetadata);
 }
-function invertMarkList(markList, revision, invertChild, crossFieldManager, revisionMetadata) {
+function invertMarkList(markList, revision, crossFieldManager, revisionMetadata) {
     const inverseMarkList = new MarkListFactory();
     for (const mark of markList) {
-        const inverseMarks = invertMark(mark, revision, invertChild, crossFieldManager, revisionMetadata);
+        const inverseMarks = invertMark(mark, revision, crossFieldManager, revisionMetadata);
         inverseMarkList.push(...inverseMarks);
     }
     return inverseMarkList.list;
 }
-function invertMark(mark, revision, invertChild, crossFieldManager, revisionMetadata) {
+function invertMark(mark, revision, crossFieldManager, revisionMetadata) {
     if (!isImpactful(mark, revision, revisionMetadata)) {
         const inputId = getInputCellId(mark, revision, revisionMetadata);
-        return [invertNodeChangeOrSkip(mark.count, mark.changes, invertChild, inputId)];
+        return [invertNodeChangeOrSkip(mark.count, mark.changes, inputId)];
     }
     const type = mark.type;
     switch (type) {
         case NoopMarkType: {
-            const inverse = { ...mark };
-            if (mark.changes !== undefined) {
-                inverse.changes = invertChild(mark.changes);
-            }
-            return [inverse];
+            return [mark];
         }
         case "Remove": {
             assert(revision !== undefined, 0x5a1 /* Unable to revert to undefined revision */);
@@ -63,7 +59,7 @@ function invertMark(mark, revision, invertChild, crossFieldManager, revisionMeta
                         id: inputId,
                     },
                 };
-            return [withNodeChange(inverse, invertNodeChange(mark.changes, invertChild))];
+            return [withNodeChange(inverse, mark.changes)];
         }
         case "Insert": {
             const inputId = getInputCellId(mark, revision, revisionMetadata);
@@ -79,16 +75,16 @@ function invertMark(mark, revision, invertChild, crossFieldManager, revisionMeta
                     : DetachIdOverrideType.Unattach,
                 id: inputId,
             };
-            const inverse = withNodeChange(removeMark, invertNodeChange(mark.changes, invertChild));
+            const inverse = withNodeChange(removeMark, mark.changes);
             return [inverse];
         }
         case "MoveOut": {
             if (mark.changes !== undefined) {
                 assert(mark.count === 1, 0x6ed /* Mark with changes can only target a single cell */);
                 const endpoint = getEndpoint(mark, revision);
-                crossFieldManager.set(CrossFieldTarget.Destination, endpoint.revision, endpoint.localId, mark.count, invertChild(mark.changes), true);
+                crossFieldManager.set(CrossFieldTarget.Destination, endpoint.revision, endpoint.localId, mark.count, mark.changes, true);
             }
-            const cellId = getDetachOutputId(mark, mark.revision ?? revision ?? fail("Revision must be defined"), revisionMetadata) ?? {
+            const cellId = getDetachOutputCellId(mark, mark.revision ?? revision ?? fail("Revision must be defined"), revisionMetadata) ?? {
                 revision: mark.revision ?? revision ?? fail("Revision must be defined"),
                 localId: mark.id,
             };
@@ -152,8 +148,8 @@ function invertMark(mark, revision, invertChild, crossFieldManager, revisionMeta
                 changes: mark.changes,
                 ...mark.detach,
             };
-            const attachInverses = invertMark(attach, revision, invertChild, crossFieldManager, revisionMetadata);
-            const detachInverses = invertMark(detach, revision, invertChild, crossFieldManager, revisionMetadata);
+            const attachInverses = invertMark(attach, revision, crossFieldManager, revisionMetadata);
+            const detachInverses = invertMark(detach, revision, crossFieldManager, revisionMetadata);
             if (detachInverses.length === 0) {
                 return attachInverses;
             }
@@ -210,18 +206,16 @@ function applyMovedChanges(mark, revision, manager) {
         return [mark1WithChanges, ...applyMovedChanges(mark2, revision, manager)];
     }
     if (entry.value !== undefined) {
-        return [
-            withNodeChange(mark, entry.value),
-        ];
+        return [withNodeChange(mark, entry.value)];
     }
     return [mark];
 }
-function invertNodeChangeOrSkip(count, changes, inverter, cellId) {
+function invertNodeChangeOrSkip(count, changes, cellId) {
     if (changes !== undefined) {
         assert(count === 1, 0x66c /* A modify mark must have length equal to one */);
         const noop = {
             count,
-            changes: inverter(changes),
+            changes,
         };
         if (cellId !== undefined) {
             noop.cellId = cellId;
@@ -233,7 +227,4 @@ function invertNodeChangeOrSkip(count, changes, inverter, cellId) {
     }
     return { count };
 }
-function invertNodeChange(change, inverter) {
-    return change === undefined ? undefined : inverter(change);
-}
 //# sourceMappingURL=invert.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"invert.js","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/invert.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAErE,OAAO,EAAwB,IAAI,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAqB,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACjF,OAAO,EAIN,YAAY,GAQZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACN,iBAAiB,EACjB,iBAAiB,EACjB,WAAW,EACX,cAAc,EACd,eAAe,EACf,QAAQ,EACR,QAAQ,EACR,WAAW,EACX,UAAU,EACV,mBAAmB,EACnB,SAAS,EACT,cAAc,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAInD;;;;;;;GAOG;AACH,MAAM,UAAU,MAAM,CACrB,MAA4C,EAC5C,WAA4C,EAC5C,UAAmB,EACnB,KAAkB,EAClB,iBAAoC,EACpC,gBAAwC;IAExC,OAAO,cAAc,CACpB,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,QAAQ,EACf,WAAW,EACX,iBAAmD,EACnD,gBAAgB,CAChB,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACtB,QAA+B,EAC/B,QAAiC,EACjC,WAA4C,EAC5C,iBAAiD,EACjD,gBAAwC;IAExC,MAAM,eAAe,GAAG,IAAI,eAAe,EAAe,CAAC;IAE3D,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE;QAC5B,MAAM,YAAY,GAAG,UAAU,CAC9B,IAAI,EACJ,QAAQ,EACR,WAAW,EACX,iBAAiB,EACjB,gBAAgB,CAChB,CAAC;QACF,eAAe,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC;KACtC;IAED,OAAO,eAAe,CAAC,IAAI,CAAC;AAC7B,CAAC;AAED,SAAS,UAAU,CAClB,IAAuB,EACvB,QAAiC,EACjC,WAA4C,EAC5C,iBAAiD,EACjD,gBAAwC;IAExC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,gBAAgB,CAAC,EAAE;QACnD,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;QACjE,OAAO,CAAC,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;KAChF;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,QAAQ,IAAI,EAAE;QACb,KAAK,YAAY,CAAC,CAAC;YAClB,MAAM,OAAO,GAAG,EAAE,GAAG,IAAI,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE;gBAC/B,OAAO,CAAC,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;aAC5C;YACD,OAAO,CAAC,OAAO,CAAC,CAAC;SACjB;QACD,KAAK,QAAQ,CAAC,CAAC;YACd,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,KAAK,CAAC,4CAA4C,CAAC,CAAC;YACnF,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;YACnE,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;YACjE,MAAM,OAAO,GACZ,OAAO,KAAK,SAAS;gBACpB,CAAC,CAAC;oBACA,IAAI,EAAE,QAAQ;oBACd,EAAE,EAAE,IAAI,CAAC,EAAE;oBACX,MAAM,EAAE,QAAQ;oBAChB,KAAK,EAAE,IAAI,CAAC,KAAK;iBAChB;gBACH,CAAC,CAAC;oBACA,IAAI,EAAE,QAAQ;oBACd,EAAE,EAAE,IAAI,CAAC,EAAE;oBACX,MAAM,EAAE,QAAQ;oBAChB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,UAAU,EAAE;wBACX,IAAI,EAAE,oBAAoB,CAAC,QAAQ;wBACnC,EAAE,EAAE,OAAO;qBACX;iBACA,CAAC;YACN,OAAO,CAAC,cAAc,CAAC,OAAO,EAAE,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;SAC9E;QACD,KAAK,QAAQ,CAAC,CAAC;YACd,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;YACjE,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,KAAK,CAAC,8CAA8C,CAAC,CAAC;YACpF,MAAM,UAAU,GAA2C;gBAC1D,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,EAAE,EAAE,OAAO,CAAC,OAAO;aACnB,CAAC;YAEF,UAAU,CAAC,UAAU,GAAG;gBACvB,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC;oBACrB,CAAC,CAAC,oBAAoB,CAAC,QAAQ;oBAC/B,CAAC,CAAC,oBAAoB,CAAC,QAAQ;gBAChC,EAAE,EAAE,OAAO;aACX,CAAC;YAEF,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,EAAE,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;YACxF,OAAO,CAAC,OAAO,CAAC,CAAC;SACjB;QACD,KAAK,SAAS,CAAC,CAAC;YACf,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE;gBAC/B,MAAM,CACL,IAAI,CAAC,KAAK,KAAK,CAAC,EAChB,KAAK,CAAC,qDAAqD,CAC3D,CAAC;gBAEF,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC7C,iBAAiB,CAAC,GAAG,CACpB,gBAAgB,CAAC,WAAW,EAC5B,QAAQ,CAAC,QAAQ,EACjB,QAAQ,CAAC,OAAO,EAChB,IAAI,CAAC,KAAK,EACV,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EACzB,IAAI,CACJ,CAAC;aACF;YAED,MAAM,MAAM,GAAG,iBAAiB,CAC/B,IAAI,EACJ,IAAI,CAAC,QAAQ,IAAI,QAAQ,IAAI,IAAI,CAAC,0BAA0B,CAAC,EAC7D,gBAAgB,CAChB,IAAI;gBACJ,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,QAAQ,IAAI,IAAI,CAAC,0BAA0B,CAAC;gBACvE,OAAO,EAAE,IAAI,CAAC,EAAE;aAChB,CAAC;YAEF,MAAM,MAAM,GAAW;gBACtB,IAAI,EAAE,QAAQ;gBACd,EAAE,EAAE,IAAI,CAAC,EAAE;aACX,CAAC;YAEF,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE;gBACrC,MAAM,CAAC,aAAa,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC;aAC/D;YACD,IAAI,MAAM,GAAe,MAAM,CAAC;YAChC,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;YACjE,IAAI,OAAO,KAAK,SAAS,EAAE;gBAC1B,MAAM,GAAG;oBACR,IAAI,EAAE,iBAAiB;oBACvB,MAAM,EAAE,MAAM;oBACd,MAAM,EAAE;wBACP,IAAI,EAAE,QAAQ;wBACd,EAAE,EAAE,IAAI,CAAC,EAAE;wBACX,UAAU,EAAE;4BACX,IAAI,EAAE,oBAAoB,CAAC,QAAQ;4BACnC,EAAE,EAAE,OAAO;yBACX;qBACD;iBACD,CAAC;aACF;YACD,OAAO,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;SAClD;QACD,KAAK,QAAQ,CAAC,CAAC;YACd,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;YACjE,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,KAAK,CAAC,+CAA+C,CAAC,CAAC;YACrF,MAAM,YAAY,GAA4C;gBAC7D,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,KAAK,EAAE,IAAI,CAAC,KAAK;aACjB,CAAC;YAEF,IAAI,IAAI,CAAC,aAAa,EAAE;gBACvB,YAAY,CAAC,aAAa,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC;aACrE;YAED,YAAY,CAAC,UAAU,GAAG;gBACzB,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC;oBACrB,CAAC,CAAC,oBAAoB,CAAC,QAAQ;oBAC/B,CAAC,CAAC,oBAAoB,CAAC,QAAQ;gBAChC,EAAE,EAAE,OAAO;aACX,CAAC;YAEF,OAAO,iBAAiB,CAAC,YAAY,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;SACpE;QACD,KAAK,iBAAiB,CAAC,CAAC;YACvB,gEAAgE;YAChE,MAAM,MAAM,GAAsB;gBACjC,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,GAAG,IAAI,CAAC,MAAM;aACd,CAAC;YACF,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YAEnE,qEAAqE;YACrE,2CAA2C;YAC3C,MAAM,MAAM,GAAsB;gBACjC,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,MAAM,EAAE,aAAa;gBACrB,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,GAAG,IAAI,CAAC,MAAM;aACd,CAAC;YACF,MAAM,cAAc,GAAG,UAAU,CAChC,MAAM,EACN,QAAQ,EACR,WAAW,EACX,iBAAiB,EACjB,gBAAgB,CAChB,CAAC;YACF,MAAM,cAAc,GAAG,UAAU,CAChC,MAAM,EACN,QAAQ,EACR,WAAW,EACX,iBAAiB,EACjB,gBAAgB,CAChB,CAAC;YAEF,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE;gBAChC,OAAO,cAAc,CAAC;aACtB;YAED,MAAM,CACL,cAAc,CAAC,MAAM,KAAK,CAAC,EAC3B,KAAK,CAAC,2DAA2D,CACjE,CAAC;YAEF,IAAI,aAAa,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;YACtC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,KAAK,CAAC,6CAA6C,CAAC,CAAC;YAErF,MAAM,QAAQ,GAAwB,EAAE,CAAC;YACzC,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE;gBAC3C,IAAI,iBAAiB,GAAsB,aAAa,CAAC;gBACzD,IAAI,aAAa,CAAC,KAAK,KAAK,aAAa,CAAC,KAAK,EAAE;oBAChD,CAAC,iBAAiB,EAAE,aAAa,CAAC,GAAG,SAAS,CAC7C,aAAa,EACb,aAAa,CAAC,KAAK,CACnB,CAAC;iBACF;gBAED,IAAI,aAAa,CAAC,IAAI,KAAK,YAAY,EAAE;oBACxC,IAAI,aAAa,CAAC,OAAO,KAAK,SAAS,EAAE;wBACxC,MAAM,CACL,iBAAiB,CAAC,OAAO,KAAK,SAAS,EACvC,KAAK,CAAC,6BAA6B,CACnC,CAAC;wBACF,iBAAiB,CAAC,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC;qBAClD;oBACD,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;oBACjC,SAAS;iBACT;gBACD,MAAM,CACL,QAAQ,CAAC,aAAa,CAAC,EACvB,KAAK,CAAC,6CAA6C,CACnD,CAAC;gBAEF,MAAM,QAAQ,GAAsB;oBACnC,IAAI,EAAE,iBAAiB;oBACvB,KAAK,EAAE,aAAa,CAAC,KAAK;oBAC1B,MAAM,EAAE,iBAAiB,CAAC,iBAAiB,CAAC;oBAC5C,MAAM,EAAE,iBAAiB,CAAC,aAAa,CAAC;iBACxC,CAAC;gBAEF,IAAI,iBAAiB,CAAC,MAAM,KAAK,SAAS,EAAE;oBAC3C,QAAQ,CAAC,MAAM,GAAG,iBAAiB,CAAC,MAAM,CAAC;iBAC3C;gBAED,IAAI,iBAAiB,CAAC,OAAO,KAAK,SAAS,EAAE;oBAC5C,QAAQ,CAAC,OAAO,GAAG,iBAAiB,CAAC,OAAO,CAAC;iBAC7C;gBAED,IAAI,aAAa,CAAC,OAAO,KAAK,SAAS,EAAE;oBACxC,MAAM,CAAC,QAAQ,CAAC,OAAO,KAAK,SAAS,EAAE,KAAK,CAAC,6BAA6B,CAAC,CAAC;oBAC5E,QAAQ,CAAC,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC;iBACzC;gBAED,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC;aAC7C;YAED,OAAO,QAAQ,CAAC;SAChB;QACD;YACC,eAAe,CAAC,IAAI,CAAC,CAAC;KACvB;AACF,CAAC;AAED,SAAS,iBAAiB,CACzB,IAAoC,EACpC,QAAiC,EACjC,OAAuC;IAEvC,gIAAgI;IAChI,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CACxB,gBAAgB,CAAC,WAAW,EAC5B,IAAI,CAAC,QAAQ,IAAI,QAAQ,EACzB,IAAI,CAAC,EAAE,EACP,IAAI,CAAC,KAAK,EACV,IAAI,CACJ,CAAC;IAEF,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE;QAC9B,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,gBAAgB,GACrB,KAAK,CAAC,KAAK,KAAK,SAAS;YACxB,CAAC,CAAC,cAAc,CACd,KAAK,EACL,KAAK,CAAC,KAAK,CACV;YACH,CAAC,CAAC,KAAK,CAAC;QAEV,OAAO,CAAC,gBAAgB,EAAE,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;KAC1E;IAED,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE;QAC9B,OAAO;YACN,cAAc,CAAuD,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;SACvF,CAAC;KACF;IAED,OAAO,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAC9B,KAAa,EACb,OAAgC,EAChC,QAAyC,EACzC,MAAe;IAEf,IAAI,OAAO,KAAK,SAAS,EAAE;QAC1B,MAAM,CAAC,KAAK,KAAK,CAAC,EAAE,KAAK,CAAC,iDAAiD,CAAC,CAAC;QAC7E,MAAM,IAAI,GAAoC;YAC7C,KAAK;YACL,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC;SAC1B,CAAC;QACF,IAAI,MAAM,KAAK,SAAS,EAAE;YACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;SACrB;QACD,OAAO,IAAI,CAAC;KACZ;IAED,IAAI,MAAM,KAAK,SAAS,EAAE;QACzB,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;KACzB;IACD,OAAO,EAAE,KAAK,EAAE,CAAC;AAClB,CAAC;AAED,SAAS,gBAAgB,CACxB,MAA+B,EAC/B,QAAyC;IAEzC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC5D,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 { RevisionMetadataSource, RevisionTag, TaggedChange } from \"../../core/index.js\";\nimport { IdAllocator, Mutable, fail } from \"../../util/index.js\";\nimport { CrossFieldManager, CrossFieldTarget } from \"../modular-schema/index.js\";\nimport {\n\tChangeset,\n\tMark,\n\tMarkList,\n\tNoopMarkType,\n\tMoveOut,\n\tNoopMark,\n\tRemove,\n\tCellMark,\n\tMoveIn,\n\tMarkEffect,\n\tCellId,\n} from \"./types.js\";\nimport { MarkListFactory } from \"./markListFactory.js\";\nimport {\n\textractMarkEffect,\n\tgetDetachOutputId,\n\tgetEndpoint,\n\tgetInputCellId,\n\tgetOutputCellId,\n\tisAttach,\n\tisDetach,\n\tisImpactful,\n\tisReattach,\n\tnormalizeCellRename,\n\tsplitMark,\n\twithNodeChange,\n} from \"./utils.js\";\nimport { DetachIdOverrideType } from \"./format.js\";\n\nexport type NodeChangeInverter<TNodeChange> = (change: TNodeChange) => TNodeChange;\n\n/**\n * Inverts a given changeset.\n * @param change - The changeset to produce the inverse of.\n * @returns The inverse of the given `change` such that the inverse can be applied after `change`.\n *\n * WARNING! This implementation is incomplete:\n * - Support for slices is not implemented.\n */\nexport function invert<TNodeChange>(\n\tchange: TaggedChange<Changeset<TNodeChange>>,\n\tinvertChild: NodeChangeInverter<TNodeChange>,\n\tisRollback: boolean,\n\tgenId: IdAllocator,\n\tcrossFieldManager: CrossFieldManager,\n\trevisionMetadata: RevisionMetadataSource,\n): Changeset<TNodeChange> {\n\treturn invertMarkList(\n\t\tchange.change,\n\t\tchange.revision,\n\t\tinvertChild,\n\t\tcrossFieldManager as CrossFieldManager<TNodeChange>,\n\t\trevisionMetadata,\n\t);\n}\n\nfunction invertMarkList<TNodeChange>(\n\tmarkList: MarkList<TNodeChange>,\n\trevision: RevisionTag | undefined,\n\tinvertChild: NodeChangeInverter<TNodeChange>,\n\tcrossFieldManager: CrossFieldManager<TNodeChange>,\n\trevisionMetadata: RevisionMetadataSource,\n): MarkList<TNodeChange> {\n\tconst inverseMarkList = new MarkListFactory<TNodeChange>();\n\n\tfor (const mark of markList) {\n\t\tconst inverseMarks = invertMark(\n\t\t\tmark,\n\t\t\trevision,\n\t\t\tinvertChild,\n\t\t\tcrossFieldManager,\n\t\t\trevisionMetadata,\n\t\t);\n\t\tinverseMarkList.push(...inverseMarks);\n\t}\n\n\treturn inverseMarkList.list;\n}\n\nfunction invertMark<TNodeChange>(\n\tmark: Mark<TNodeChange>,\n\trevision: RevisionTag | undefined,\n\tinvertChild: NodeChangeInverter<TNodeChange>,\n\tcrossFieldManager: CrossFieldManager<TNodeChange>,\n\trevisionMetadata: RevisionMetadataSource,\n): Mark<TNodeChange>[] {\n\tif (!isImpactful(mark, revision, revisionMetadata)) {\n\t\tconst inputId = getInputCellId(mark, revision, revisionMetadata);\n\t\treturn [invertNodeChangeOrSkip(mark.count, mark.changes, invertChild, inputId)];\n\t}\n\tconst type = mark.type;\n\tswitch (type) {\n\t\tcase NoopMarkType: {\n\t\t\tconst inverse = { ...mark };\n\t\t\tif (mark.changes !== undefined) {\n\t\t\t\tinverse.changes = invertChild(mark.changes);\n\t\t\t}\n\t\t\treturn [inverse];\n\t\t}\n\t\tcase \"Remove\": {\n\t\t\tassert(revision !== undefined, 0x5a1 /* Unable to revert to undefined revision */);\n\t\t\tconst outputId = getOutputCellId(mark, revision, revisionMetadata);\n\t\t\tconst inputId = getInputCellId(mark, revision, revisionMetadata);\n\t\t\tconst inverse: Mark<TNodeChange> =\n\t\t\t\tinputId === undefined\n\t\t\t\t\t? {\n\t\t\t\t\t\t\ttype: \"Insert\",\n\t\t\t\t\t\t\tid: mark.id,\n\t\t\t\t\t\t\tcellId: outputId,\n\t\t\t\t\t\t\tcount: mark.count,\n\t\t\t\t\t  }\n\t\t\t\t\t: {\n\t\t\t\t\t\t\ttype: \"Remove\",\n\t\t\t\t\t\t\tid: mark.id,\n\t\t\t\t\t\t\tcellId: outputId,\n\t\t\t\t\t\t\tcount: mark.count,\n\t\t\t\t\t\t\tidOverride: {\n\t\t\t\t\t\t\t\ttype: DetachIdOverrideType.Redetach,\n\t\t\t\t\t\t\t\tid: inputId,\n\t\t\t\t\t\t\t},\n\t\t\t\t\t  };\n\t\t\treturn [withNodeChange(inverse, invertNodeChange(mark.changes, invertChild))];\n\t\t}\n\t\tcase \"Insert\": {\n\t\t\tconst inputId = getInputCellId(mark, revision, revisionMetadata);\n\t\t\tassert(inputId !== undefined, 0x80c /* Active inserts should target empty cells */);\n\t\t\tconst removeMark: Mutable<CellMark<Remove, TNodeChange>> = {\n\t\t\t\ttype: \"Remove\",\n\t\t\t\tcount: mark.count,\n\t\t\t\tid: inputId.localId,\n\t\t\t};\n\n\t\t\tremoveMark.idOverride = {\n\t\t\t\ttype: isReattach(mark)\n\t\t\t\t\t? DetachIdOverrideType.Redetach\n\t\t\t\t\t: DetachIdOverrideType.Unattach,\n\t\t\t\tid: inputId,\n\t\t\t};\n\n\t\t\tconst inverse = withNodeChange(removeMark, invertNodeChange(mark.changes, invertChild));\n\t\t\treturn [inverse];\n\t\t}\n\t\tcase \"MoveOut\": {\n\t\t\tif (mark.changes !== undefined) {\n\t\t\t\tassert(\n\t\t\t\t\tmark.count === 1,\n\t\t\t\t\t0x6ed /* Mark with changes can only target a single cell */,\n\t\t\t\t);\n\n\t\t\t\tconst endpoint = getEndpoint(mark, revision);\n\t\t\t\tcrossFieldManager.set(\n\t\t\t\t\tCrossFieldTarget.Destination,\n\t\t\t\t\tendpoint.revision,\n\t\t\t\t\tendpoint.localId,\n\t\t\t\t\tmark.count,\n\t\t\t\t\tinvertChild(mark.changes),\n\t\t\t\t\ttrue,\n\t\t\t\t);\n\t\t\t}\n\n\t\t\tconst cellId = getDetachOutputId(\n\t\t\t\tmark,\n\t\t\t\tmark.revision ?? revision ?? fail(\"Revision must be defined\"),\n\t\t\t\trevisionMetadata,\n\t\t\t) ?? {\n\t\t\t\trevision: mark.revision ?? revision ?? fail(\"Revision must be defined\"),\n\t\t\t\tlocalId: mark.id,\n\t\t\t};\n\n\t\t\tconst moveIn: MoveIn = {\n\t\t\t\ttype: \"MoveIn\",\n\t\t\t\tid: mark.id,\n\t\t\t};\n\n\t\t\tif (mark.finalEndpoint !== undefined) {\n\t\t\t\tmoveIn.finalEndpoint = { localId: mark.finalEndpoint.localId };\n\t\t\t}\n\t\t\tlet effect: MarkEffect = moveIn;\n\t\t\tconst inputId = getInputCellId(mark, revision, revisionMetadata);\n\t\t\tif (inputId !== undefined) {\n\t\t\t\teffect = {\n\t\t\t\t\ttype: \"AttachAndDetach\",\n\t\t\t\t\tattach: moveIn,\n\t\t\t\t\tdetach: {\n\t\t\t\t\t\ttype: \"Remove\",\n\t\t\t\t\t\tid: mark.id,\n\t\t\t\t\t\tidOverride: {\n\t\t\t\t\t\t\ttype: DetachIdOverrideType.Redetach,\n\t\t\t\t\t\t\tid: inputId,\n\t\t\t\t\t\t},\n\t\t\t\t\t},\n\t\t\t\t};\n\t\t\t}\n\t\t\treturn [{ ...effect, count: mark.count, cellId }];\n\t\t}\n\t\tcase \"MoveIn\": {\n\t\t\tconst inputId = getInputCellId(mark, revision, revisionMetadata);\n\t\t\tassert(inputId !== undefined, 0x89e /* Active move-ins should target empty cells */);\n\t\t\tconst invertedMark: Mutable<CellMark<MoveOut, TNodeChange>> = {\n\t\t\t\ttype: \"MoveOut\",\n\t\t\t\tid: mark.id,\n\t\t\t\tcount: mark.count,\n\t\t\t};\n\n\t\t\tif (mark.finalEndpoint) {\n\t\t\t\tinvertedMark.finalEndpoint = { localId: mark.finalEndpoint.localId };\n\t\t\t}\n\n\t\t\tinvertedMark.idOverride = {\n\t\t\t\ttype: isReattach(mark)\n\t\t\t\t\t? DetachIdOverrideType.Redetach\n\t\t\t\t\t: DetachIdOverrideType.Unattach,\n\t\t\t\tid: inputId,\n\t\t\t};\n\n\t\t\treturn applyMovedChanges(invertedMark, revision, crossFieldManager);\n\t\t}\n\t\tcase \"AttachAndDetach\": {\n\t\t\t// Which should get the child change? Don't want to invert twice\n\t\t\tconst attach: Mark<TNodeChange> = {\n\t\t\t\tcount: mark.count,\n\t\t\t\tcellId: mark.cellId,\n\t\t\t\t...mark.attach,\n\t\t\t};\n\t\t\tconst idAfterAttach = getOutputCellId(attach, revision, undefined);\n\n\t\t\t// We put `mark.changes` on the detach so that if it is a move source\n\t\t\t// the changes can be sent to the endpoint.\n\t\t\tconst detach: Mark<TNodeChange> = {\n\t\t\t\tcount: mark.count,\n\t\t\t\tcellId: idAfterAttach,\n\t\t\t\tchanges: mark.changes,\n\t\t\t\t...mark.detach,\n\t\t\t};\n\t\t\tconst attachInverses = invertMark(\n\t\t\t\tattach,\n\t\t\t\trevision,\n\t\t\t\tinvertChild,\n\t\t\t\tcrossFieldManager,\n\t\t\t\trevisionMetadata,\n\t\t\t);\n\t\t\tconst detachInverses = invertMark(\n\t\t\t\tdetach,\n\t\t\t\trevision,\n\t\t\t\tinvertChild,\n\t\t\t\tcrossFieldManager,\n\t\t\t\trevisionMetadata,\n\t\t\t);\n\n\t\t\tif (detachInverses.length === 0) {\n\t\t\t\treturn attachInverses;\n\t\t\t}\n\n\t\t\tassert(\n\t\t\t\tdetachInverses.length === 1,\n\t\t\t\t0x80d /* Only expected MoveIn marks to be split when inverting */,\n\t\t\t);\n\n\t\t\tlet detachInverse = detachInverses[0];\n\t\t\tassert(isAttach(detachInverse), 0x80e /* Inverse of a detach should be an attach */);\n\n\t\t\tconst inverses: Mark<TNodeChange>[] = [];\n\t\t\tfor (const attachInverse of attachInverses) {\n\t\t\t\tlet detachInverseCurr: Mark<TNodeChange> = detachInverse;\n\t\t\t\tif (attachInverse.count !== detachInverse.count) {\n\t\t\t\t\t[detachInverseCurr, detachInverse] = splitMark(\n\t\t\t\t\t\tdetachInverse,\n\t\t\t\t\t\tattachInverse.count,\n\t\t\t\t\t);\n\t\t\t\t}\n\n\t\t\t\tif (attachInverse.type === NoopMarkType) {\n\t\t\t\t\tif (attachInverse.changes !== undefined) {\n\t\t\t\t\t\tassert(\n\t\t\t\t\t\t\tdetachInverseCurr.changes === undefined,\n\t\t\t\t\t\t\t0x80f /* Unexpected node changes */,\n\t\t\t\t\t\t);\n\t\t\t\t\t\tdetachInverseCurr.changes = attachInverse.changes;\n\t\t\t\t\t}\n\t\t\t\t\tinverses.push(detachInverseCurr);\n\t\t\t\t\tcontinue;\n\t\t\t\t}\n\t\t\t\tassert(\n\t\t\t\t\tisDetach(attachInverse),\n\t\t\t\t\t0x810 /* Inverse of an attach should be a detach */,\n\t\t\t\t);\n\n\t\t\t\tconst inverted: Mark<TNodeChange> = {\n\t\t\t\t\ttype: \"AttachAndDetach\",\n\t\t\t\t\tcount: attachInverse.count,\n\t\t\t\t\tattach: extractMarkEffect(detachInverseCurr),\n\t\t\t\t\tdetach: extractMarkEffect(attachInverse),\n\t\t\t\t};\n\n\t\t\t\tif (detachInverseCurr.cellId !== undefined) {\n\t\t\t\t\tinverted.cellId = detachInverseCurr.cellId;\n\t\t\t\t}\n\n\t\t\t\tif (detachInverseCurr.changes !== undefined) {\n\t\t\t\t\tinverted.changes = detachInverseCurr.changes;\n\t\t\t\t}\n\n\t\t\t\tif (attachInverse.changes !== undefined) {\n\t\t\t\t\tassert(inverted.changes === undefined, 0x811 /* Unexpected node changes */);\n\t\t\t\t\tinverted.changes = attachInverse.changes;\n\t\t\t\t}\n\n\t\t\t\tinverses.push(normalizeCellRename(inverted));\n\t\t\t}\n\n\t\t\treturn inverses;\n\t\t}\n\t\tdefault:\n\t\t\tunreachableCase(type);\n\t}\n}\n\nfunction applyMovedChanges<TNodeChange>(\n\tmark: CellMark<MoveOut, TNodeChange>,\n\trevision: RevisionTag | undefined,\n\tmanager: CrossFieldManager<TNodeChange>,\n): Mark<TNodeChange>[] {\n\t// Although this is a source mark, we query the destination because this was a destination mark during the original invert pass.\n\tconst entry = manager.get(\n\t\tCrossFieldTarget.Destination,\n\t\tmark.revision ?? revision,\n\t\tmark.id,\n\t\tmark.count,\n\t\ttrue,\n\t);\n\n\tif (entry.length < mark.count) {\n\t\tconst [mark1, mark2] = splitMark(mark, entry.length);\n\t\tconst mark1WithChanges =\n\t\t\tentry.value !== undefined\n\t\t\t\t? withNodeChange<CellMark<MoveOut, TNodeChange>, MoveOut, TNodeChange>(\n\t\t\t\t\t\tmark1,\n\t\t\t\t\t\tentry.value,\n\t\t\t\t  )\n\t\t\t\t: mark1;\n\n\t\treturn [mark1WithChanges, ...applyMovedChanges(mark2, revision, manager)];\n\t}\n\n\tif (entry.value !== undefined) {\n\t\treturn [\n\t\t\twithNodeChange<CellMark<MoveOut, TNodeChange>, MoveOut, TNodeChange>(mark, entry.value),\n\t\t];\n\t}\n\n\treturn [mark];\n}\n\nfunction invertNodeChangeOrSkip<TNodeChange>(\n\tcount: number,\n\tchanges: TNodeChange | undefined,\n\tinverter: NodeChangeInverter<TNodeChange>,\n\tcellId?: CellId,\n): Mark<TNodeChange> {\n\tif (changes !== undefined) {\n\t\tassert(count === 1, 0x66c /* A modify mark must have length equal to one */);\n\t\tconst noop: CellMark<NoopMark, TNodeChange> = {\n\t\t\tcount,\n\t\t\tchanges: inverter(changes),\n\t\t};\n\t\tif (cellId !== undefined) {\n\t\t\tnoop.cellId = cellId;\n\t\t}\n\t\treturn noop;\n\t}\n\n\tif (cellId !== undefined) {\n\t\treturn { count, cellId };\n\t}\n\treturn { count };\n}\n\nfunction invertNodeChange<TNodeChange>(\n\tchange: TNodeChange | undefined,\n\tinverter: NodeChangeInverter<TNodeChange>,\n): TNodeChange | undefined {\n\treturn change === undefined ? undefined : inverter(change);\n}\n"]}
+{"version":3,"file":"invert.js","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/invert.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AAG9E,OAAO,EAAwB,IAAI,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAqB,gBAAgB,EAAU,MAAM,4BAA4B,CAAC;AAEzF,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAUN,YAAY,GAEZ,MAAM,YAAY,CAAC;AACpB,OAAO,EACN,iBAAiB,EACjB,qBAAqB,EACrB,WAAW,EACX,cAAc,EACd,eAAe,EACf,QAAQ,EACR,QAAQ,EACR,WAAW,EACX,UAAU,EACV,mBAAmB,EACnB,SAAS,EACT,cAAc,GACd,MAAM,YAAY,CAAC;AAEpB;;;;;;;GAOG;AACH,MAAM,UAAU,MAAM,CACrB,MAA+B,EAC/B,UAAmB,EACnB,KAAkB,EAClB,iBAAoC,EACpC,gBAAwC;IAExC,OAAO,cAAc,CACpB,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,QAAQ,EACf,iBAA8C,EAC9C,gBAAgB,CAChB,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACtB,QAAkB,EAClB,QAAiC,EACjC,iBAA4C,EAC5C,gBAAwC;IAExC,MAAM,eAAe,GAAG,IAAI,eAAe,EAAE,CAAC;IAE9C,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE;QAC5B,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,iBAAiB,EAAE,gBAAgB,CAAC,CAAC;QACrF,eAAe,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC;KACtC;IAED,OAAO,eAAe,CAAC,IAAI,CAAC;AAC7B,CAAC;AAED,SAAS,UAAU,CAClB,IAAU,EACV,QAAiC,EACjC,iBAA4C,EAC5C,gBAAwC;IAExC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,gBAAgB,CAAC,EAAE;QACnD,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;QACjE,OAAO,CAAC,sBAAsB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;KACnE;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,QAAQ,IAAI,EAAE;QACb,KAAK,YAAY,CAAC,CAAC;YAClB,OAAO,CAAC,IAAI,CAAC,CAAC;SACd;QACD,KAAK,QAAQ,CAAC,CAAC;YACd,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,KAAK,CAAC,4CAA4C,CAAC,CAAC;YACnF,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;YACnE,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;YACjE,MAAM,OAAO,GACZ,OAAO,KAAK,SAAS;gBACpB,CAAC,CAAC;oBACA,IAAI,EAAE,QAAQ;oBACd,EAAE,EAAE,IAAI,CAAC,EAAE;oBACX,MAAM,EAAE,QAAQ;oBAChB,KAAK,EAAE,IAAI,CAAC,KAAK;iBAChB;gBACH,CAAC,CAAC;oBACA,IAAI,EAAE,QAAQ;oBACd,EAAE,EAAE,IAAI,CAAC,EAAE;oBACX,MAAM,EAAE,QAAQ;oBAChB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,UAAU,EAAE;wBACX,IAAI,EAAE,oBAAoB,CAAC,QAAQ;wBACnC,EAAE,EAAE,OAAO;qBACX;iBACA,CAAC;YACN,OAAO,CAAC,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;SAC/C;QACD,KAAK,QAAQ,CAAC,CAAC;YACd,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;YACjE,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,KAAK,CAAC,8CAA8C,CAAC,CAAC;YACpF,MAAM,UAAU,GAA8B;gBAC7C,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,EAAE,EAAE,OAAO,CAAC,OAAO;aACnB,CAAC;YAEF,UAAU,CAAC,UAAU,GAAG;gBACvB,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC;oBACrB,CAAC,CAAC,oBAAoB,CAAC,QAAQ;oBAC/B,CAAC,CAAC,oBAAoB,CAAC,QAAQ;gBAChC,EAAE,EAAE,OAAO;aACX,CAAC;YAEF,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YACzD,OAAO,CAAC,OAAO,CAAC,CAAC;SACjB;QACD,KAAK,SAAS,CAAC,CAAC;YACf,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE;gBAC/B,MAAM,CACL,IAAI,CAAC,KAAK,KAAK,CAAC,EAChB,KAAK,CAAC,qDAAqD,CAC3D,CAAC;gBAEF,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC7C,iBAAiB,CAAC,GAAG,CACpB,gBAAgB,CAAC,WAAW,EAC5B,QAAQ,CAAC,QAAQ,EACjB,QAAQ,CAAC,OAAO,EAChB,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,OAAO,EACZ,IAAI,CACJ,CAAC;aACF;YAED,MAAM,MAAM,GAAG,qBAAqB,CACnC,IAAI,EACJ,IAAI,CAAC,QAAQ,IAAI,QAAQ,IAAI,IAAI,CAAC,0BAA0B,CAAC,EAC7D,gBAAgB,CAChB,IAAI;gBACJ,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,QAAQ,IAAI,IAAI,CAAC,0BAA0B,CAAC;gBACvE,OAAO,EAAE,IAAI,CAAC,EAAE;aAChB,CAAC;YAEF,MAAM,MAAM,GAAW;gBACtB,IAAI,EAAE,QAAQ;gBACd,EAAE,EAAE,IAAI,CAAC,EAAE;aACX,CAAC;YAEF,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE;gBACrC,MAAM,CAAC,aAAa,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC;aAC/D;YACD,IAAI,MAAM,GAAe,MAAM,CAAC;YAChC,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;YACjE,IAAI,OAAO,KAAK,SAAS,EAAE;gBAC1B,MAAM,GAAG;oBACR,IAAI,EAAE,iBAAiB;oBACvB,MAAM,EAAE,MAAM;oBACd,MAAM,EAAE;wBACP,IAAI,EAAE,QAAQ;wBACd,EAAE,EAAE,IAAI,CAAC,EAAE;wBACX,UAAU,EAAE;4BACX,IAAI,EAAE,oBAAoB,CAAC,QAAQ;4BACnC,EAAE,EAAE,OAAO;yBACX;qBACD;iBACD,CAAC;aACF;YACD,OAAO,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;SAClD;QACD,KAAK,QAAQ,CAAC,CAAC;YACd,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;YACjE,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,KAAK,CAAC,+CAA+C,CAAC,CAAC;YACrF,MAAM,YAAY,GAA+B;gBAChD,IAAI,EAAE,SAAS;gBACf,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,KAAK,EAAE,IAAI,CAAC,KAAK;aACjB,CAAC;YAEF,IAAI,IAAI,CAAC,aAAa,EAAE;gBACvB,YAAY,CAAC,aAAa,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC;aACrE;YAED,YAAY,CAAC,UAAU,GAAG;gBACzB,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC;oBACrB,CAAC,CAAC,oBAAoB,CAAC,QAAQ;oBAC/B,CAAC,CAAC,oBAAoB,CAAC,QAAQ;gBAChC,EAAE,EAAE,OAAO;aACX,CAAC;YAEF,OAAO,iBAAiB,CAAC,YAAY,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;SACpE;QACD,KAAK,iBAAiB,CAAC,CAAC;YACvB,gEAAgE;YAChE,MAAM,MAAM,GAAS;gBACpB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,GAAG,IAAI,CAAC,MAAM;aACd,CAAC;YACF,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YAEnE,qEAAqE;YACrE,2CAA2C;YAC3C,MAAM,MAAM,GAAS;gBACpB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,MAAM,EAAE,aAAa;gBACrB,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,GAAG,IAAI,CAAC,MAAM;aACd,CAAC;YACF,MAAM,cAAc,GAAG,UAAU,CAChC,MAAM,EACN,QAAQ,EACR,iBAAiB,EACjB,gBAAgB,CAChB,CAAC;YACF,MAAM,cAAc,GAAG,UAAU,CAChC,MAAM,EACN,QAAQ,EACR,iBAAiB,EACjB,gBAAgB,CAChB,CAAC;YAEF,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE;gBAChC,OAAO,cAAc,CAAC;aACtB;YAED,MAAM,CACL,cAAc,CAAC,MAAM,KAAK,CAAC,EAC3B,KAAK,CAAC,2DAA2D,CACjE,CAAC;YAEF,IAAI,aAAa,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;YACtC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,KAAK,CAAC,6CAA6C,CAAC,CAAC;YAErF,MAAM,QAAQ,GAAW,EAAE,CAAC;YAC5B,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE;gBAC3C,IAAI,iBAAiB,GAAS,aAAa,CAAC;gBAC5C,IAAI,aAAa,CAAC,KAAK,KAAK,aAAa,CAAC,KAAK,EAAE;oBAChD,CAAC,iBAAiB,EAAE,aAAa,CAAC,GAAG,SAAS,CAC7C,aAAa,EACb,aAAa,CAAC,KAAK,CACnB,CAAC;iBACF;gBAED,IAAI,aAAa,CAAC,IAAI,KAAK,YAAY,EAAE;oBACxC,IAAI,aAAa,CAAC,OAAO,KAAK,SAAS,EAAE;wBACxC,MAAM,CACL,iBAAiB,CAAC,OAAO,KAAK,SAAS,EACvC,KAAK,CAAC,6BAA6B,CACnC,CAAC;wBACF,iBAAiB,CAAC,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC;qBAClD;oBACD,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;oBACjC,SAAS;iBACT;gBACD,MAAM,CACL,QAAQ,CAAC,aAAa,CAAC,EACvB,KAAK,CAAC,6CAA6C,CACnD,CAAC;gBAEF,MAAM,QAAQ,GAAS;oBACtB,IAAI,EAAE,iBAAiB;oBACvB,KAAK,EAAE,aAAa,CAAC,KAAK;oBAC1B,MAAM,EAAE,iBAAiB,CAAC,iBAAiB,CAAC;oBAC5C,MAAM,EAAE,iBAAiB,CAAC,aAAa,CAAC;iBACxC,CAAC;gBAEF,IAAI,iBAAiB,CAAC,MAAM,KAAK,SAAS,EAAE;oBAC3C,QAAQ,CAAC,MAAM,GAAG,iBAAiB,CAAC,MAAM,CAAC;iBAC3C;gBAED,IAAI,iBAAiB,CAAC,OAAO,KAAK,SAAS,EAAE;oBAC5C,QAAQ,CAAC,OAAO,GAAG,iBAAiB,CAAC,OAAO,CAAC;iBAC7C;gBAED,IAAI,aAAa,CAAC,OAAO,KAAK,SAAS,EAAE;oBACxC,MAAM,CAAC,QAAQ,CAAC,OAAO,KAAK,SAAS,EAAE,KAAK,CAAC,6BAA6B,CAAC,CAAC;oBAC5E,QAAQ,CAAC,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC;iBACzC;gBAED,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC;aAC7C;YAED,OAAO,QAAQ,CAAC;SAChB;QACD;YACC,eAAe,CAAC,IAAI,CAAC,CAAC;KACvB;AACF,CAAC;AAED,SAAS,iBAAiB,CACzB,IAAuB,EACvB,QAAiC,EACjC,OAAkC;IAElC,gIAAgI;IAChI,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CACxB,gBAAgB,CAAC,WAAW,EAC5B,IAAI,CAAC,QAAQ,IAAI,QAAQ,EACzB,IAAI,CAAC,EAAE,EACP,IAAI,CAAC,KAAK,EACV,IAAI,CACJ,CAAC;IAEF,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE;QAC9B,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,gBAAgB,GACrB,KAAK,CAAC,KAAK,KAAK,SAAS;YACxB,CAAC,CAAC,cAAc,CAA6B,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;YAChE,CAAC,CAAC,KAAK,CAAC;QAEV,OAAO,CAAC,gBAAgB,EAAE,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;KAC1E;IAED,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE;QAC9B,OAAO,CAAC,cAAc,CAA6B,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;KACvE;IAED,OAAO,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAa,EAAE,OAA2B,EAAE,MAAe;IAC1F,IAAI,OAAO,KAAK,SAAS,EAAE;QAC1B,MAAM,CAAC,KAAK,KAAK,CAAC,EAAE,KAAK,CAAC,iDAAiD,CAAC,CAAC;QAC7E,MAAM,IAAI,GAAuB;YAChC,KAAK;YACL,OAAO;SACP,CAAC;QACF,IAAI,MAAM,KAAK,SAAS,EAAE;YACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;SACrB;QACD,OAAO,IAAI,CAAC;KACZ;IAED,IAAI,MAAM,KAAK,SAAS,EAAE;QACzB,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;KACzB;IACD,OAAO,EAAE,KAAK,EAAE,CAAC;AAClB,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/internal\";\n\nimport { RevisionMetadataSource, RevisionTag, TaggedChange } from \"../../core/index.js\";\nimport { IdAllocator, Mutable, fail } from \"../../util/index.js\";\nimport { CrossFieldManager, CrossFieldTarget, NodeId } from \"../modular-schema/index.js\";\n\nimport { DetachIdOverrideType } from \"./format.js\";\nimport { MarkListFactory } from \"./markListFactory.js\";\nimport {\n\tCellId,\n\tCellMark,\n\tChangeset,\n\tMark,\n\tMarkEffect,\n\tMarkList,\n\tMoveIn,\n\tMoveOut,\n\tNoopMark,\n\tNoopMarkType,\n\tRemove,\n} from \"./types.js\";\nimport {\n\textractMarkEffect,\n\tgetDetachOutputCellId,\n\tgetEndpoint,\n\tgetInputCellId,\n\tgetOutputCellId,\n\tisAttach,\n\tisDetach,\n\tisImpactful,\n\tisReattach,\n\tnormalizeCellRename,\n\tsplitMark,\n\twithNodeChange,\n} from \"./utils.js\";\n\n/**\n * Inverts a given changeset.\n * @param change - The changeset to produce the inverse of.\n * @returns The inverse of the given `change` such that the inverse can be applied after `change`.\n *\n * WARNING! This implementation is incomplete:\n * - Support for slices is not implemented.\n */\nexport function invert(\n\tchange: TaggedChange<Changeset>,\n\tisRollback: boolean,\n\tgenId: IdAllocator,\n\tcrossFieldManager: CrossFieldManager,\n\trevisionMetadata: RevisionMetadataSource,\n): Changeset {\n\treturn invertMarkList(\n\t\tchange.change,\n\t\tchange.revision,\n\t\tcrossFieldManager as CrossFieldManager<NodeId>,\n\t\trevisionMetadata,\n\t);\n}\n\nfunction invertMarkList(\n\tmarkList: MarkList,\n\trevision: RevisionTag | undefined,\n\tcrossFieldManager: CrossFieldManager<NodeId>,\n\trevisionMetadata: RevisionMetadataSource,\n): MarkList {\n\tconst inverseMarkList = new MarkListFactory();\n\n\tfor (const mark of markList) {\n\t\tconst inverseMarks = invertMark(mark, revision, crossFieldManager, revisionMetadata);\n\t\tinverseMarkList.push(...inverseMarks);\n\t}\n\n\treturn inverseMarkList.list;\n}\n\nfunction invertMark(\n\tmark: Mark,\n\trevision: RevisionTag | undefined,\n\tcrossFieldManager: CrossFieldManager<NodeId>,\n\trevisionMetadata: RevisionMetadataSource,\n): Mark[] {\n\tif (!isImpactful(mark, revision, revisionMetadata)) {\n\t\tconst inputId = getInputCellId(mark, revision, revisionMetadata);\n\t\treturn [invertNodeChangeOrSkip(mark.count, mark.changes, inputId)];\n\t}\n\tconst type = mark.type;\n\tswitch (type) {\n\t\tcase NoopMarkType: {\n\t\t\treturn [mark];\n\t\t}\n\t\tcase \"Remove\": {\n\t\t\tassert(revision !== undefined, 0x5a1 /* Unable to revert to undefined revision */);\n\t\t\tconst outputId = getOutputCellId(mark, revision, revisionMetadata);\n\t\t\tconst inputId = getInputCellId(mark, revision, revisionMetadata);\n\t\t\tconst inverse: Mark =\n\t\t\t\tinputId === undefined\n\t\t\t\t\t? {\n\t\t\t\t\t\t\ttype: \"Insert\",\n\t\t\t\t\t\t\tid: mark.id,\n\t\t\t\t\t\t\tcellId: outputId,\n\t\t\t\t\t\t\tcount: mark.count,\n\t\t\t\t\t  }\n\t\t\t\t\t: {\n\t\t\t\t\t\t\ttype: \"Remove\",\n\t\t\t\t\t\t\tid: mark.id,\n\t\t\t\t\t\t\tcellId: outputId,\n\t\t\t\t\t\t\tcount: mark.count,\n\t\t\t\t\t\t\tidOverride: {\n\t\t\t\t\t\t\t\ttype: DetachIdOverrideType.Redetach,\n\t\t\t\t\t\t\t\tid: inputId,\n\t\t\t\t\t\t\t},\n\t\t\t\t\t  };\n\t\t\treturn [withNodeChange(inverse, mark.changes)];\n\t\t}\n\t\tcase \"Insert\": {\n\t\t\tconst inputId = getInputCellId(mark, revision, revisionMetadata);\n\t\t\tassert(inputId !== undefined, 0x80c /* Active inserts should target empty cells */);\n\t\t\tconst removeMark: Mutable<CellMark<Remove>> = {\n\t\t\t\ttype: \"Remove\",\n\t\t\t\tcount: mark.count,\n\t\t\t\tid: inputId.localId,\n\t\t\t};\n\n\t\t\tremoveMark.idOverride = {\n\t\t\t\ttype: isReattach(mark)\n\t\t\t\t\t? DetachIdOverrideType.Redetach\n\t\t\t\t\t: DetachIdOverrideType.Unattach,\n\t\t\t\tid: inputId,\n\t\t\t};\n\n\t\t\tconst inverse = withNodeChange(removeMark, mark.changes);\n\t\t\treturn [inverse];\n\t\t}\n\t\tcase \"MoveOut\": {\n\t\t\tif (mark.changes !== undefined) {\n\t\t\t\tassert(\n\t\t\t\t\tmark.count === 1,\n\t\t\t\t\t0x6ed /* Mark with changes can only target a single cell */,\n\t\t\t\t);\n\n\t\t\t\tconst endpoint = getEndpoint(mark, revision);\n\t\t\t\tcrossFieldManager.set(\n\t\t\t\t\tCrossFieldTarget.Destination,\n\t\t\t\t\tendpoint.revision,\n\t\t\t\t\tendpoint.localId,\n\t\t\t\t\tmark.count,\n\t\t\t\t\tmark.changes,\n\t\t\t\t\ttrue,\n\t\t\t\t);\n\t\t\t}\n\n\t\t\tconst cellId = getDetachOutputCellId(\n\t\t\t\tmark,\n\t\t\t\tmark.revision ?? revision ?? fail(\"Revision must be defined\"),\n\t\t\t\trevisionMetadata,\n\t\t\t) ?? {\n\t\t\t\trevision: mark.revision ?? revision ?? fail(\"Revision must be defined\"),\n\t\t\t\tlocalId: mark.id,\n\t\t\t};\n\n\t\t\tconst moveIn: MoveIn = {\n\t\t\t\ttype: \"MoveIn\",\n\t\t\t\tid: mark.id,\n\t\t\t};\n\n\t\t\tif (mark.finalEndpoint !== undefined) {\n\t\t\t\tmoveIn.finalEndpoint = { localId: mark.finalEndpoint.localId };\n\t\t\t}\n\t\t\tlet effect: MarkEffect = moveIn;\n\t\t\tconst inputId = getInputCellId(mark, revision, revisionMetadata);\n\t\t\tif (inputId !== undefined) {\n\t\t\t\teffect = {\n\t\t\t\t\ttype: \"AttachAndDetach\",\n\t\t\t\t\tattach: moveIn,\n\t\t\t\t\tdetach: {\n\t\t\t\t\t\ttype: \"Remove\",\n\t\t\t\t\t\tid: mark.id,\n\t\t\t\t\t\tidOverride: {\n\t\t\t\t\t\t\ttype: DetachIdOverrideType.Redetach,\n\t\t\t\t\t\t\tid: inputId,\n\t\t\t\t\t\t},\n\t\t\t\t\t},\n\t\t\t\t};\n\t\t\t}\n\t\t\treturn [{ ...effect, count: mark.count, cellId }];\n\t\t}\n\t\tcase \"MoveIn\": {\n\t\t\tconst inputId = getInputCellId(mark, revision, revisionMetadata);\n\t\t\tassert(inputId !== undefined, 0x89e /* Active move-ins should target empty cells */);\n\t\t\tconst invertedMark: Mutable<CellMark<MoveOut>> = {\n\t\t\t\ttype: \"MoveOut\",\n\t\t\t\tid: mark.id,\n\t\t\t\tcount: mark.count,\n\t\t\t};\n\n\t\t\tif (mark.finalEndpoint) {\n\t\t\t\tinvertedMark.finalEndpoint = { localId: mark.finalEndpoint.localId };\n\t\t\t}\n\n\t\t\tinvertedMark.idOverride = {\n\t\t\t\ttype: isReattach(mark)\n\t\t\t\t\t? DetachIdOverrideType.Redetach\n\t\t\t\t\t: DetachIdOverrideType.Unattach,\n\t\t\t\tid: inputId,\n\t\t\t};\n\n\t\t\treturn applyMovedChanges(invertedMark, revision, crossFieldManager);\n\t\t}\n\t\tcase \"AttachAndDetach\": {\n\t\t\t// Which should get the child change? Don't want to invert twice\n\t\t\tconst attach: Mark = {\n\t\t\t\tcount: mark.count,\n\t\t\t\tcellId: mark.cellId,\n\t\t\t\t...mark.attach,\n\t\t\t};\n\t\t\tconst idAfterAttach = getOutputCellId(attach, revision, undefined);\n\n\t\t\t// We put `mark.changes` on the detach so that if it is a move source\n\t\t\t// the changes can be sent to the endpoint.\n\t\t\tconst detach: Mark = {\n\t\t\t\tcount: mark.count,\n\t\t\t\tcellId: idAfterAttach,\n\t\t\t\tchanges: mark.changes,\n\t\t\t\t...mark.detach,\n\t\t\t};\n\t\t\tconst attachInverses = invertMark(\n\t\t\t\tattach,\n\t\t\t\trevision,\n\t\t\t\tcrossFieldManager,\n\t\t\t\trevisionMetadata,\n\t\t\t);\n\t\t\tconst detachInverses = invertMark(\n\t\t\t\tdetach,\n\t\t\t\trevision,\n\t\t\t\tcrossFieldManager,\n\t\t\t\trevisionMetadata,\n\t\t\t);\n\n\t\t\tif (detachInverses.length === 0) {\n\t\t\t\treturn attachInverses;\n\t\t\t}\n\n\t\t\tassert(\n\t\t\t\tdetachInverses.length === 1,\n\t\t\t\t0x80d /* Only expected MoveIn marks to be split when inverting */,\n\t\t\t);\n\n\t\t\tlet detachInverse = detachInverses[0];\n\t\t\tassert(isAttach(detachInverse), 0x80e /* Inverse of a detach should be an attach */);\n\n\t\t\tconst inverses: Mark[] = [];\n\t\t\tfor (const attachInverse of attachInverses) {\n\t\t\t\tlet detachInverseCurr: Mark = detachInverse;\n\t\t\t\tif (attachInverse.count !== detachInverse.count) {\n\t\t\t\t\t[detachInverseCurr, detachInverse] = splitMark(\n\t\t\t\t\t\tdetachInverse,\n\t\t\t\t\t\tattachInverse.count,\n\t\t\t\t\t);\n\t\t\t\t}\n\n\t\t\t\tif (attachInverse.type === NoopMarkType) {\n\t\t\t\t\tif (attachInverse.changes !== undefined) {\n\t\t\t\t\t\tassert(\n\t\t\t\t\t\t\tdetachInverseCurr.changes === undefined,\n\t\t\t\t\t\t\t0x80f /* Unexpected node changes */,\n\t\t\t\t\t\t);\n\t\t\t\t\t\tdetachInverseCurr.changes = attachInverse.changes;\n\t\t\t\t\t}\n\t\t\t\t\tinverses.push(detachInverseCurr);\n\t\t\t\t\tcontinue;\n\t\t\t\t}\n\t\t\t\tassert(\n\t\t\t\t\tisDetach(attachInverse),\n\t\t\t\t\t0x810 /* Inverse of an attach should be a detach */,\n\t\t\t\t);\n\n\t\t\t\tconst inverted: Mark = {\n\t\t\t\t\ttype: \"AttachAndDetach\",\n\t\t\t\t\tcount: attachInverse.count,\n\t\t\t\t\tattach: extractMarkEffect(detachInverseCurr),\n\t\t\t\t\tdetach: extractMarkEffect(attachInverse),\n\t\t\t\t};\n\n\t\t\t\tif (detachInverseCurr.cellId !== undefined) {\n\t\t\t\t\tinverted.cellId = detachInverseCurr.cellId;\n\t\t\t\t}\n\n\t\t\t\tif (detachInverseCurr.changes !== undefined) {\n\t\t\t\t\tinverted.changes = detachInverseCurr.changes;\n\t\t\t\t}\n\n\t\t\t\tif (attachInverse.changes !== undefined) {\n\t\t\t\t\tassert(inverted.changes === undefined, 0x811 /* Unexpected node changes */);\n\t\t\t\t\tinverted.changes = attachInverse.changes;\n\t\t\t\t}\n\n\t\t\t\tinverses.push(normalizeCellRename(inverted));\n\t\t\t}\n\n\t\t\treturn inverses;\n\t\t}\n\t\tdefault:\n\t\t\tunreachableCase(type);\n\t}\n}\n\nfunction applyMovedChanges(\n\tmark: CellMark<MoveOut>,\n\trevision: RevisionTag | undefined,\n\tmanager: CrossFieldManager<NodeId>,\n): Mark[] {\n\t// Although this is a source mark, we query the destination because this was a destination mark during the original invert pass.\n\tconst entry = manager.get(\n\t\tCrossFieldTarget.Destination,\n\t\tmark.revision ?? revision,\n\t\tmark.id,\n\t\tmark.count,\n\t\ttrue,\n\t);\n\n\tif (entry.length < mark.count) {\n\t\tconst [mark1, mark2] = splitMark(mark, entry.length);\n\t\tconst mark1WithChanges =\n\t\t\tentry.value !== undefined\n\t\t\t\t? withNodeChange<CellMark<MoveOut>, MoveOut>(mark1, entry.value)\n\t\t\t\t: mark1;\n\n\t\treturn [mark1WithChanges, ...applyMovedChanges(mark2, revision, manager)];\n\t}\n\n\tif (entry.value !== undefined) {\n\t\treturn [withNodeChange<CellMark<MoveOut>, MoveOut>(mark, entry.value)];\n\t}\n\n\treturn [mark];\n}\n\nfunction invertNodeChangeOrSkip(count: number, changes: NodeId | undefined, cellId?: CellId): Mark {\n\tif (changes !== undefined) {\n\t\tassert(count === 1, 0x66c /* A modify mark must have length equal to one */);\n\t\tconst noop: CellMark<NoopMark> = {\n\t\t\tcount,\n\t\t\tchanges,\n\t\t};\n\t\tif (cellId !== undefined) {\n\t\t\tnoop.cellId = cellId;\n\t\t}\n\t\treturn noop;\n\t}\n\n\tif (cellId !== undefined) {\n\t\treturn { count, cellId };\n\t}\n\treturn { count };\n}\n"]}

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

@@ -10,12 +10,12 @@ import { Mark, MarkList } from "./types.js";
  * - Merges runs of offsets together
  * - Merges marks together
  */
-export declare class MarkListFactory<TNodeChange> {
+export declare class MarkListFactory {
     private offset;
-    readonly list: MarkList<TNodeChange>;
+    readonly list: MarkList;
     constructor();
-    push(...marks: Mark<TNodeChange>[]): void;
+    push(...marks: Mark[]): void;
     pushOffset(offset: number): void;
-    pushContent(mark: Mark<TNodeChange>): void;
+    pushContent(mark: Mark): void;
 }
 //# sourceMappingURL=markListFactory.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"markListFactory.d.ts","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/markListFactory.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAG5C;;;;;;GAMG;AACH,qBAAa,eAAe,CAAC,WAAW;IACvC,OAAO,CAAC,MAAM,CAAK;IACnB,SAAgB,IAAI,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAM;;IAI1C,IAAI,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE,GAAG,IAAI;IAMzC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAIhC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,IAAI;CAsBjD"}
+{"version":3,"file":"markListFactory.d.ts","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/markListFactory.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAG5C;;;;;;GAMG;AACH,qBAAa,eAAe;IAC3B,OAAO,CAAC,MAAM,CAAK;IACnB,SAAgB,IAAI,EAAE,QAAQ,CAAM;;IAI7B,IAAI,CAAC,GAAG,KAAK,EAAE,IAAI,EAAE,GAAG,IAAI;IAM5B,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAIhC,WAAW,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI;CAsBpC"}

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

@@ -1 +1 @@
-{"version":3,"file":"markListFactory.js","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/markListFactory.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,IAAI,aAAa,EAAE,MAAM,YAAY,CAAC;AAErF;;;;;;GAMG;AACH,MAAM,OAAO,eAAe;IAI3B;QAHQ,WAAM,GAAG,CAAC,CAAC;QACH,SAAI,GAA0B,EAAE,CAAC;IAE3B,CAAC;IAEhB,IAAI,CAAC,GAAG,KAA0B;QACxC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE;YACzB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;SACvB;IACF,CAAC;IAEM,UAAU,CAAC,MAAc;QAC/B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC;IACvB,CAAC;IAEM,WAAW,CAAC,IAAuB;QACzC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,YAAY,KAAK,WAAW,EAAE;YACrE,OAAO;SACP;QACD,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE;YACzE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5B,OAAO;SACP;QACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE;YACpB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YACvC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;SAChB;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE;YAClD,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACzC,IAAI,MAAM,KAAK,SAAS,EAAE;gBACzB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;gBAClD,OAAO;aACP;SACD;QACD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;CACD","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { sequenceConfig } from \"./config.js\";\nimport { Mark, MarkList } from \"./types.js\";\nimport { isNoopMark, isTombstone, tryMergeMarks as tryMergeMarks } from \"./utils.js\";\n\n/**\n * Helper class for constructing an offset list of marks that...\n * - Does not insert offsets if there is no content after them\n * - Does not insert 0-sized offsets\n * - Merges runs of offsets together\n * - Merges marks together\n */\nexport class MarkListFactory<TNodeChange> {\n\tprivate offset = 0;\n\tpublic readonly list: MarkList<TNodeChange> = [];\n\n\tpublic constructor() {}\n\n\tpublic push(...marks: Mark<TNodeChange>[]): void {\n\t\tfor (const item of marks) {\n\t\t\tthis.pushContent(item);\n\t\t}\n\t}\n\n\tpublic pushOffset(offset: number): void {\n\t\tthis.offset += offset;\n\t}\n\n\tpublic pushContent(mark: Mark<TNodeChange>): void {\n\t\tif (isTombstone(mark) && sequenceConfig.cellOrdering !== \"Tombstone\") {\n\t\t\treturn;\n\t\t}\n\t\tif (isNoopMark(mark) && mark.changes === undefined && !isTombstone(mark)) {\n\t\t\tthis.pushOffset(mark.count);\n\t\t\treturn;\n\t\t}\n\t\tif (this.offset > 0) {\n\t\t\tthis.list.push({ count: this.offset });\n\t\t\tthis.offset = 0;\n\t\t}\n\t\tconst prev = this.list[this.list.length - 1];\n\t\tif (prev !== undefined && prev.type === mark.type) {\n\t\t\tconst merged = tryMergeMarks(prev, mark);\n\t\t\tif (merged !== undefined) {\n\t\t\t\tthis.list.splice(this.list.length - 1, 1, merged);\n\t\t\t\treturn;\n\t\t\t}\n\t\t}\n\t\tthis.list.push(mark);\n\t}\n}\n"]}
+{"version":3,"file":"markListFactory.js","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/markListFactory.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,IAAI,aAAa,EAAE,MAAM,YAAY,CAAC;AAErF;;;;;;GAMG;AACH,MAAM,OAAO,eAAe;IAI3B;QAHQ,WAAM,GAAG,CAAC,CAAC;QACH,SAAI,GAAa,EAAE,CAAC;IAEd,CAAC;IAEhB,IAAI,CAAC,GAAG,KAAa;QAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE;YACzB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;SACvB;IACF,CAAC;IAEM,UAAU,CAAC,MAAc;QAC/B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC;IACvB,CAAC;IAEM,WAAW,CAAC,IAAU;QAC5B,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,YAAY,KAAK,WAAW,EAAE;YACrE,OAAO;SACP;QACD,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE;YACzE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5B,OAAO;SACP;QACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE;YACpB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YACvC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;SAChB;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE;YAClD,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACzC,IAAI,MAAM,KAAK,SAAS,EAAE;gBACzB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;gBAClD,OAAO;aACP;SACD;QACD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;CACD","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { sequenceConfig } from \"./config.js\";\nimport { Mark, MarkList } from \"./types.js\";\nimport { isNoopMark, isTombstone, tryMergeMarks as tryMergeMarks } from \"./utils.js\";\n\n/**\n * Helper class for constructing an offset list of marks that...\n * - Does not insert offsets if there is no content after them\n * - Does not insert 0-sized offsets\n * - Merges runs of offsets together\n * - Merges marks together\n */\nexport class MarkListFactory {\n\tprivate offset = 0;\n\tpublic readonly list: MarkList = [];\n\n\tpublic constructor() {}\n\n\tpublic push(...marks: Mark[]): void {\n\t\tfor (const item of marks) {\n\t\t\tthis.pushContent(item);\n\t\t}\n\t}\n\n\tpublic pushOffset(offset: number): void {\n\t\tthis.offset += offset;\n\t}\n\n\tpublic pushContent(mark: Mark): void {\n\t\tif (isTombstone(mark) && sequenceConfig.cellOrdering !== \"Tombstone\") {\n\t\t\treturn;\n\t\t}\n\t\tif (isNoopMark(mark) && mark.changes === undefined && !isTombstone(mark)) {\n\t\t\tthis.pushOffset(mark.count);\n\t\t\treturn;\n\t\t}\n\t\tif (this.offset > 0) {\n\t\t\tthis.list.push({ count: this.offset });\n\t\t\tthis.offset = 0;\n\t\t}\n\t\tconst prev = this.list[this.list.length - 1];\n\t\tif (prev !== undefined && prev.type === mark.type) {\n\t\t\tconst merged = tryMergeMarks(prev, mark);\n\t\t\tif (merged !== undefined) {\n\t\t\t\tthis.list.splice(this.list.length - 1, 1, merged);\n\t\t\t\treturn;\n\t\t\t}\n\t\t}\n\t\tthis.list.push(mark);\n\t}\n}\n"]}

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

@@ -3,24 +3,24 @@
  * Licensed under the MIT License.
  */
 import { RevisionTag } from "../../core/index.js";
-import { Mark } from "./types.js";
 import { MoveEffectTable } from "./moveEffectTable.js";
-export declare class MarkQueue<T> {
+import { Mark } from "./types.js";
+export declare class MarkQueue {
     private readonly list;
     readonly revision: RevisionTag | undefined;
     private readonly moveEffects;
     private readonly stack;
     private index;
-    constructor(list: readonly Mark<T>[], revision: RevisionTag | undefined, moveEffects: MoveEffectTable<T>);
+    constructor(list: readonly Mark[], revision: RevisionTag | undefined, moveEffects: MoveEffectTable);
     isEmpty(): boolean;
-    dequeue(): Mark<T>;
-    tryDequeue(): Mark<T> | undefined;
+    dequeue(): Mark;
+    tryDequeue(): Mark | undefined;
     /**
      * Dequeues the first `length` sized portion of the next mark,
      * or the entire next mark if `length` is longer than the mark's length.
      * @param length - The length to dequeue, measured in the input context.
      */
-    dequeueUpTo(length: number): Mark<T>;
-    peek(): Mark<T> | undefined;
+    dequeueUpTo(length: number): Mark;
+    peek(): Mark | undefined;
 }
 //# sourceMappingURL=markQueue.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"markQueue.d.ts","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/markQueue.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAClC,OAAO,EAA2B,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAGhF,qBAAa,SAAS,CAAC,CAAC;IAKtB,OAAO,CAAC,QAAQ,CAAC,IAAI;aACL,QAAQ,EAAE,WAAW,GAAG,SAAS;IACjD,OAAO,CAAC,QAAQ,CAAC,WAAW;IAN7B,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAiB;IACvC,OAAO,CAAC,KAAK,CAAK;gBAGA,IAAI,EAAE,SAAS,IAAI,CAAC,CAAC,CAAC,EAAE,EACzB,QAAQ,EAAE,WAAW,GAAG,SAAS,EAChC,WAAW,EAAE,eAAe,CAAC,CAAC,CAAC;IAK1C,OAAO,IAAI,OAAO;IAIlB,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC;IAMlB,UAAU,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS;IAaxC;;;;OAIG;IACI,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;IAWpC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS;CAOlC"}
+{"version":3,"file":"markQueue.d.ts","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/markQueue.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAElD,OAAO,EAAE,eAAe,EAA2B,MAAM,sBAAsB,CAAC;AAChF,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAGlC,qBAAa,SAAS;IAKpB,OAAO,CAAC,QAAQ,CAAC,IAAI;aACL,QAAQ,EAAE,WAAW,GAAG,SAAS;IACjD,OAAO,CAAC,QAAQ,CAAC,WAAW;IAN7B,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAc;IACpC,OAAO,CAAC,KAAK,CAAK;gBAGA,IAAI,EAAE,SAAS,IAAI,EAAE,EACtB,QAAQ,EAAE,WAAW,GAAG,SAAS,EAChC,WAAW,EAAE,eAAe;IAKvC,OAAO,IAAI,OAAO;IAIlB,OAAO,IAAI,IAAI;IAMf,UAAU,IAAI,IAAI,GAAG,SAAS;IAarC;;;;OAIG;IACI,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAWjC,IAAI,IAAI,IAAI,GAAG,SAAS;CAO/B"}

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

@@ -2,7 +2,7 @@
  * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
  * Licensed under the MIT License.
  */
-import { assert } from "@fluidframework/core-utils";
+import { assert } from "@fluidframework/core-utils/internal";
 import { splitMarkForMoveEffects } from "./moveEffectTable.js";
 import { splitMark } from "./utils.js";
 export class MarkQueue {

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

@@ -1 +1 @@
-{"version":3,"file":"markQueue.js","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/markQueue.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAGpD,OAAO,EAAE,uBAAuB,EAAmB,MAAM,sBAAsB,CAAC;AAChF,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvC,MAAM,OAAO,SAAS;IAIrB,YACkB,IAAwB,EACzB,QAAiC,EAChC,WAA+B;QAF/B,SAAI,GAAJ,IAAI,CAAoB;QACzB,aAAQ,GAAR,QAAQ,CAAyB;QAChC,gBAAW,GAAX,WAAW,CAAoB;QANhC,UAAK,GAAc,EAAE,CAAC;QAC/B,UAAK,GAAG,CAAC,CAAC;QAOjB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IAClB,CAAC;IAEM,OAAO;QACb,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,SAAS,CAAC;IAClC,CAAC;IAEM,OAAO;QACb,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QACjC,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACvE,OAAO,MAAM,CAAC;IACf,CAAC;IAEM,UAAU;QAChB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QAChF,IAAI,IAAI,KAAK,SAAS,EAAE;YACvB,OAAO,SAAS,CAAC;SACjB;QAED,MAAM,UAAU,GAAG,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QAClF,KAAK,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;YAC/C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;SAC/B;QACD,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC;IAED;;;;OAIG;IACI,WAAW,CAAC,MAAc;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,KAAK,IAAI,MAAM,EAAE;YACzB,OAAO,IAAI,CAAC;SACZ;QAED,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvB,OAAO,KAAK,CAAC;IACd,CAAC;IAEM,IAAI;QACV,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS,EAAE;YACvB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACtB;QACD,OAAO,IAAI,CAAC;IACb,CAAC;CACD","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { assert } from \"@fluidframework/core-utils\";\nimport { RevisionTag } from \"../../core/index.js\";\nimport { Mark } from \"./types.js\";\nimport { splitMarkForMoveEffects, MoveEffectTable } from \"./moveEffectTable.js\";\nimport { splitMark } from \"./utils.js\";\n\nexport class MarkQueue<T> {\n\tprivate readonly stack: Mark<T>[] = [];\n\tprivate index = 0;\n\n\tpublic constructor(\n\t\tprivate readonly list: readonly Mark<T>[],\n\t\tpublic readonly revision: RevisionTag | undefined,\n\t\tprivate readonly moveEffects: MoveEffectTable<T>,\n\t) {\n\t\tthis.list = list;\n\t}\n\n\tpublic isEmpty(): boolean {\n\t\treturn this.peek() === undefined;\n\t}\n\n\tpublic dequeue(): Mark<T> {\n\t\tconst output = this.tryDequeue();\n\t\tassert(output !== undefined, 0x4e2 /* Unexpected end of mark queue */);\n\t\treturn output;\n\t}\n\n\tpublic tryDequeue(): Mark<T> | undefined {\n\t\tconst mark = this.stack.length > 0 ? this.stack.pop() : this.list[this.index++];\n\t\tif (mark === undefined) {\n\t\t\treturn undefined;\n\t\t}\n\n\t\tconst splitMarks = splitMarkForMoveEffects(mark, this.revision, this.moveEffects);\n\t\tfor (let i = splitMarks.length - 1; i > 0; i--) {\n\t\t\tthis.stack.push(splitMarks[i]);\n\t\t}\n\t\treturn splitMarks[0];\n\t}\n\n\t/**\n\t * Dequeues the first `length` sized portion of the next mark,\n\t * or the entire next mark if `length` is longer than the mark's length.\n\t * @param length - The length to dequeue, measured in the input context.\n\t */\n\tpublic dequeueUpTo(length: number): Mark<T> {\n\t\tconst mark = this.dequeue();\n\t\tif (mark.count <= length) {\n\t\t\treturn mark;\n\t\t}\n\n\t\tconst [mark1, mark2] = splitMark(mark, length);\n\t\tthis.stack.push(mark2);\n\t\treturn mark1;\n\t}\n\n\tpublic peek(): Mark<T> | undefined {\n\t\tconst mark = this.tryDequeue();\n\t\tif (mark !== undefined) {\n\t\t\tthis.stack.push(mark);\n\t\t}\n\t\treturn mark;\n\t}\n}\n"]}
+{"version":3,"file":"markQueue.js","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/markQueue.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,qCAAqC,CAAC;AAI7D,OAAO,EAAmB,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAEhF,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvC,MAAM,OAAO,SAAS;IAIrB,YACkB,IAAqB,EACtB,QAAiC,EAChC,WAA4B;QAF5B,SAAI,GAAJ,IAAI,CAAiB;QACtB,aAAQ,GAAR,QAAQ,CAAyB;QAChC,gBAAW,GAAX,WAAW,CAAiB;QAN7B,UAAK,GAAW,EAAE,CAAC;QAC5B,UAAK,GAAG,CAAC,CAAC;QAOjB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IAClB,CAAC;IAEM,OAAO;QACb,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,SAAS,CAAC;IAClC,CAAC;IAEM,OAAO;QACb,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QACjC,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACvE,OAAO,MAAM,CAAC;IACf,CAAC;IAEM,UAAU;QAChB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QAChF,IAAI,IAAI,KAAK,SAAS,EAAE;YACvB,OAAO,SAAS,CAAC;SACjB;QAED,MAAM,UAAU,GAAG,uBAAuB,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QAClF,KAAK,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;YAC/C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;SAC/B;QACD,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC;IAED;;;;OAIG;IACI,WAAW,CAAC,MAAc;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,KAAK,IAAI,MAAM,EAAE;YACzB,OAAO,IAAI,CAAC;SACZ;QAED,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvB,OAAO,KAAK,CAAC;IACd,CAAC;IAEM,IAAI;QACV,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS,EAAE;YACvB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACtB;QACD,OAAO,IAAI,CAAC;IACb,CAAC;CACD","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { assert } from \"@fluidframework/core-utils/internal\";\n\nimport { RevisionTag } from \"../../core/index.js\";\n\nimport { MoveEffectTable, splitMarkForMoveEffects } from \"./moveEffectTable.js\";\nimport { Mark } from \"./types.js\";\nimport { splitMark } from \"./utils.js\";\n\nexport class MarkQueue {\n\tprivate readonly stack: Mark[] = [];\n\tprivate index = 0;\n\n\tpublic constructor(\n\t\tprivate readonly list: readonly Mark[],\n\t\tpublic readonly revision: RevisionTag | undefined,\n\t\tprivate readonly moveEffects: MoveEffectTable,\n\t) {\n\t\tthis.list = list;\n\t}\n\n\tpublic isEmpty(): boolean {\n\t\treturn this.peek() === undefined;\n\t}\n\n\tpublic dequeue(): Mark {\n\t\tconst output = this.tryDequeue();\n\t\tassert(output !== undefined, 0x4e2 /* Unexpected end of mark queue */);\n\t\treturn output;\n\t}\n\n\tpublic tryDequeue(): Mark | undefined {\n\t\tconst mark = this.stack.length > 0 ? this.stack.pop() : this.list[this.index++];\n\t\tif (mark === undefined) {\n\t\t\treturn undefined;\n\t\t}\n\n\t\tconst splitMarks = splitMarkForMoveEffects(mark, this.revision, this.moveEffects);\n\t\tfor (let i = splitMarks.length - 1; i > 0; i--) {\n\t\t\tthis.stack.push(splitMarks[i]);\n\t\t}\n\t\treturn splitMarks[0];\n\t}\n\n\t/**\n\t * Dequeues the first `length` sized portion of the next mark,\n\t * or the entire next mark if `length` is longer than the mark's length.\n\t * @param length - The length to dequeue, measured in the input context.\n\t */\n\tpublic dequeueUpTo(length: number): Mark {\n\t\tconst mark = this.dequeue();\n\t\tif (mark.count <= length) {\n\t\t\treturn mark;\n\t\t}\n\n\t\tconst [mark1, mark2] = splitMark(mark, length);\n\t\tthis.stack.push(mark2);\n\t\treturn mark1;\n\t}\n\n\tpublic peek(): Mark | undefined {\n\t\tconst mark = this.tryDequeue();\n\t\tif (mark !== undefined) {\n\t\t\tthis.stack.push(mark);\n\t\t}\n\t\treturn mark;\n\t}\n}\n"]}

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

@@ -3,20 +3,20 @@
  * Licensed under the MIT License.
  */
 import { ChangeAtomId, RevisionTag, TaggedChange } from "../../core/index.js";
-import { CrossFieldManager, CrossFieldTarget } from "../modular-schema/index.js";
 import { RangeQueryResult } from "../../util/index.js";
-import { CellMark, Mark, MarkEffect, MoveId, MoveIn, MoveOut } from "./types.js";
+import { CrossFieldManager, CrossFieldTarget, NodeId } from "../modular-schema/index.js";
 import { MoveMarkEffect } from "./helperTypes.js";
-export type MoveEffectTable<T> = CrossFieldManager<MoveEffect<T>>;
+import { CellMark, Mark, MarkEffect, MoveId, MoveIn, MoveOut } from "./types.js";
+export type MoveEffectTable = CrossFieldManager<MoveEffect>;
 /**
  * Changes to be applied to a move mark.
  */
-export interface MoveEffect<T> {
+export interface MoveEffect {
     /**
      * Node changes which should be applied to this mark.
      * If this mark already has node changes, `modifyAfter` should be composed as later changes.
      */
-    modifyAfter?: T;
+    modifyAfter?: NodeId;
     /**
      * Only used during rebasing.
      * An effect from changeset being rebased which should be moved to the same position as this mark.
@@ -25,29 +25,40 @@ export interface MoveEffect<T> {
     /**
      * Rebased changes for a node which has been moved to the position of this mark.
      */
-    rebasedChanges?: T;
+    rebasedChanges?: NodeId;
     /**
-     * The ID of the new endpoint associated with this mark.
+     * The ID of the other outer endpoint.
+     * Used when this is the outer endpoint in a move chain which is being composed with another move chain.
      */
     endpoint?: ChangeAtomId;
+    /**
+     * The ID of the truncated endpoint.
+     * Used when this mark is the outer endpoint of a chain being composed with a redundant move chain.
+     */
+    truncatedEndpoint?: ChangeAtomId;
+    /**
+     * The ID of the truncated endpoint.
+     * Used when this mark is the inner endpoint of a redundant move chain.
+     */
+    truncatedEndpointForInner?: ChangeAtomId;
 }
 export declare enum MoveEnd {
     Source = 0,
     Dest = 1
 }
-export interface MovePartition<TNodeChange> {
+export interface MovePartition {
     id: MoveId;
     count?: number;
-    replaceWith?: Mark<TNodeChange>[];
-    modifyAfter?: TaggedChange<TNodeChange>;
+    replaceWith?: Mark[];
+    modifyAfter?: TaggedChange<NodeId>;
 }
-export declare function setMoveEffect<T>(moveEffects: MoveEffectTable<T>, target: CrossFieldTarget, revision: RevisionTag | undefined, id: MoveId, count: number, effect: MoveEffect<T>, invalidate?: boolean): void;
-export declare function getMoveEffect<T>(moveEffects: MoveEffectTable<T>, target: CrossFieldTarget, revision: RevisionTag | undefined, id: MoveId, count: number, addDependency?: boolean): RangeQueryResult<MoveEffect<T>>;
-export type MoveMark<T> = CellMark<MoveMarkEffect, T>;
+export declare function setMoveEffect(moveEffects: MoveEffectTable, target: CrossFieldTarget, revision: RevisionTag | undefined, id: MoveId, count: number, effect: MoveEffect, invalidate?: boolean): void;
+export declare function getMoveEffect(moveEffects: MoveEffectTable, target: CrossFieldTarget, revision: RevisionTag | undefined, id: MoveId, count: number, addDependency?: boolean): RangeQueryResult<MoveEffect>;
+export type MoveMark = CellMark<MoveMarkEffect>;
 export declare function isMoveMark(effect: MarkEffect): effect is MoveMarkEffect;
 export declare function isMoveOut(effect: MarkEffect): effect is MoveOut;
 export declare function isMoveIn(effect: MarkEffect): effect is MoveIn;
 export declare function getMoveIn(effect: MarkEffect): MoveIn | undefined;
-export declare function splitMarkForMoveEffects<T>(mark: Mark<T>, revision: RevisionTag | undefined, effects: MoveEffectTable<T>): Mark<T>[];
+export declare function splitMarkForMoveEffects(mark: Mark, revision: RevisionTag | undefined, effects: MoveEffectTable): Mark[];
 export declare function getCrossFieldTargetFromMove(mark: MoveMarkEffect): CrossFieldTarget;
 //# sourceMappingURL=moveEffectTable.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"moveEffectTable.d.ts","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/moveEffectTable.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACjF,OAAO,EAAE,gBAAgB,EAAS,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAEjF,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AAElE;;GAEG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC;IAC5B;;;OAGG;IACH,WAAW,CAAC,EAAE,CAAC,CAAC;IAEhB;;;OAGG;IACH,WAAW,CAAC,EAAE,UAAU,CAAC;IAEzB;;OAEG;IACH,cAAc,CAAC,EAAE,CAAC,CAAC;IAEnB;;OAEG;IACH,QAAQ,CAAC,EAAE,YAAY,CAAC;CACxB;AAUD,oBAAY,OAAO;IAClB,MAAM,IAAA;IACN,IAAI,IAAA;CACJ;AAED,MAAM,WAAW,aAAa,CAAC,WAAW;IACzC,EAAE,EAAE,MAAM,CAAC;IAGX,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;IAClC,WAAW,CAAC,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC;CACxC;AAED,wBAAgB,aAAa,CAAC,CAAC,EAC9B,WAAW,EAAE,eAAe,CAAC,CAAC,CAAC,EAC/B,MAAM,EAAE,gBAAgB,EACxB,QAAQ,EAAE,WAAW,GAAG,SAAS,EACjC,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,EACrB,UAAU,GAAE,OAAc,QAI1B;AAED,wBAAgB,aAAa,CAAC,CAAC,EAC9B,WAAW,EAAE,eAAe,CAAC,CAAC,CAAC,EAC/B,MAAM,EAAE,gBAAgB,EACxB,QAAQ,EAAE,WAAW,GAAG,SAAS,EACjC,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,MAAM,EACb,aAAa,GAAE,OAAc,GAC3B,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAKjC;AAED,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;AAEtD,wBAAgB,UAAU,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,IAAI,cAAc,CAEvE;AAED,wBAAgB,SAAS,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,IAAI,OAAO,CAE/D;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,IAAI,MAAM,CAE7D;AAED,wBAAgB,SAAS,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS,CAShE;AA0BD,wBAAgB,uBAAuB,CAAC,CAAC,EACxC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EACb,QAAQ,EAAE,WAAW,GAAG,SAAS,EACjC,OAAO,EAAE,eAAe,CAAC,CAAC,CAAC,GACzB,IAAI,CAAC,CAAC,CAAC,EAAE,CAGX;AA0BD,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,cAAc,GAAG,gBAAgB,CAUlF"}
+{"version":3,"file":"moveEffectTable.d.ts","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/moveEffectTable.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAC9E,OAAO,EAAE,gBAAgB,EAAS,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAEzF,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAGjF,MAAM,MAAM,eAAe,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;AAE5D;;GAEG;AACH,MAAM,WAAW,UAAU;IAC1B;;;OAGG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB;;;OAGG;IACH,WAAW,CAAC,EAAE,UAAU,CAAC;IAEzB;;OAEG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IAExB;;;OAGG;IACH,QAAQ,CAAC,EAAE,YAAY,CAAC;IAExB;;;OAGG;IACH,iBAAiB,CAAC,EAAE,YAAY,CAAC;IAEjC;;;OAGG;IACH,yBAAyB,CAAC,EAAE,YAAY,CAAC;CACzC;AAUD,oBAAY,OAAO;IAClB,MAAM,IAAA;IACN,IAAI,IAAA;CACJ;AAED,MAAM,WAAW,aAAa;IAC7B,EAAE,EAAE,MAAM,CAAC;IAGX,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,IAAI,EAAE,CAAC;IACrB,WAAW,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;CACnC;AAED,wBAAgB,aAAa,CAC5B,WAAW,EAAE,eAAe,EAC5B,MAAM,EAAE,gBAAgB,EACxB,QAAQ,EAAE,WAAW,GAAG,SAAS,EACjC,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,UAAU,EAClB,UAAU,GAAE,OAAc,QAI1B;AAED,wBAAgB,aAAa,CAC5B,WAAW,EAAE,eAAe,EAC5B,MAAM,EAAE,gBAAgB,EACxB,QAAQ,EAAE,WAAW,GAAG,SAAS,EACjC,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,MAAM,EACb,aAAa,GAAE,OAAc,GAC3B,gBAAgB,CAAC,UAAU,CAAC,CAK9B;AAED,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC,cAAc,CAAC,CAAC;AAEhD,wBAAgB,UAAU,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,IAAI,cAAc,CAEvE;AAED,wBAAgB,SAAS,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,IAAI,OAAO,CAE/D;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,IAAI,MAAM,CAE7D;AAED,wBAAgB,SAAS,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS,CAShE;AAkCD,wBAAgB,uBAAuB,CACtC,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,WAAW,GAAG,SAAS,EACjC,OAAO,EAAE,eAAe,GACtB,IAAI,EAAE,CAGR;AA0BD,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,cAAc,GAAG,gBAAgB,CAUlF"}

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

@@ -2,9 +2,9 @@
  * 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/index.js";
+import { assert, unreachableCase } from "@fluidframework/core-utils/internal";
 import { brand } from "../../util/index.js";
+import { CrossFieldTarget } from "../modular-schema/index.js";
 import { isAttachAndDetachEffect, splitMark, splitMarkEffect } from "./utils.js";
 export var MoveEnd;
 (function (MoveEnd) {
@@ -48,10 +48,13 @@ function adjustMoveEffectBasis(effect, 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),
-        };
+        adjusted.endpoint = adjustChangeAtomId(effect.endpoint, basisShift);
+    }
+    if (effect.truncatedEndpoint !== undefined) {
+        adjusted.truncatedEndpoint = adjustChangeAtomId(effect.truncatedEndpoint, basisShift);
+    }
+    if (effect.truncatedEndpointForInner !== undefined) {
+        adjusted.truncatedEndpointForInner = adjustChangeAtomId(effect.truncatedEndpointForInner, basisShift);
     }
     if (effect.movedEffect !== undefined) {
         const [_mark1, mark2] = splitMarkEffect(effect.movedEffect, basisShift);
@@ -83,4 +86,10 @@ export function getCrossFieldTargetFromMove(mark) {
             unreachableCase(type);
     }
 }
+function adjustChangeAtomId(id, shift) {
+    return {
+        ...id,
+        localId: brand(id.localId + shift),
+    };
+}
 //# sourceMappingURL=moveEffectTable.js.map

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

@@ -1 +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,4BAA4B,CAAC;AACjF,OAAO,EAAoB,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAE9D,OAAO,EAAE,uBAAuB,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAwCjF,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,WAAW,KAAK,SAAS,EAAE;QACrC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;QACxE,QAAQ,CAAC,WAAW,GAAG,KAAK,CAAC;KAC7B;IAED,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,uBAAuB,CACtC,IAAa,EACb,QAAiC,EACjC,OAA2B;IAE3B,MAAM,MAAM,GAAG,wBAAwB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7E,OAAO,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,wBAAwB,CAChC,UAAsB,EACtB,KAAa,EACb,QAAiC,EACjC,OAAiC;IAEjC,IAAI,UAAU,CAAC,UAAU,CAAC,EAAE;QAC3B,OAAO,aAAa,CACnB,OAAO,EACP,2BAA2B,CAAC,UAAU,CAAC,EACvC,UAAU,CAAC,QAAQ,IAAI,QAAQ,EAC/B,UAAU,CAAC,EAAE,EACb,KAAK,CACL,CAAC,MAAM,CAAC;KACT;SAAM,IAAI,uBAAuB,CAAC,UAAU,CAAC,EAAE;QAC/C,OAAO,IAAI,CAAC,GAAG,CACd,wBAAwB,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,EACrE,wBAAwB,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CACrE,CAAC;KACF;IAED,OAAO,KAAK,CAAC;AACd,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,IAAoB;IAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,QAAQ,IAAI,EAAE;QACb,KAAK,QAAQ;YACZ,OAAO,gBAAgB,CAAC,WAAW,CAAC;QACrC,KAAK,SAAS;YACb,OAAO,gBAAgB,CAAC,MAAM,CAAC;QAChC;YACC,eAAe,CAAC,IAAI,CAAC,CAAC;KACvB;AACF,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/index.js\";\nimport { CrossFieldManager, CrossFieldTarget } from \"../modular-schema/index.js\";\nimport { RangeQueryResult, brand } from \"../../util/index.js\";\nimport { CellMark, Mark, MarkEffect, MoveId, MoveIn, MoveOut } from \"./types.js\";\nimport { isAttachAndDetachEffect, splitMark, splitMarkEffect } from \"./utils.js\";\nimport { MoveMarkEffect } from \"./helperTypes.js\";\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?: T;\n\n\t/**\n\t * Only used during rebasing.\n\t * An effect from changeset being rebased which should be moved to the same position as this mark.\n\t */\n\tmovedEffect?: MarkEffect;\n\n\t/**\n\t * Rebased changes for a node which has been moved to the position of this mark.\n\t */\n\trebasedChanges?: 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.movedEffect !== undefined) {\n\t\tconst [_mark1, mark2] = splitMarkEffect(effect.movedEffect, basisShift);\n\t\tadjusted.movedEffect = mark2;\n\t}\n\n\treturn adjusted;\n}\n\nexport function splitMarkForMoveEffects<T>(\n\tmark: Mark<T>,\n\trevision: RevisionTag | undefined,\n\teffects: MoveEffectTable<T>,\n): Mark<T>[] {\n\tconst length = getFirstMoveEffectLength(mark, mark.count, revision, effects);\n\treturn length < mark.count ? splitMark(mark, length) : [mark];\n}\n\nfunction getFirstMoveEffectLength(\n\tmarkEffect: MarkEffect,\n\tcount: number,\n\trevision: RevisionTag | undefined,\n\teffects: MoveEffectTable<unknown>,\n): number {\n\tif (isMoveMark(markEffect)) {\n\t\treturn getMoveEffect(\n\t\t\teffects,\n\t\t\tgetCrossFieldTargetFromMove(markEffect),\n\t\t\tmarkEffect.revision ?? revision,\n\t\t\tmarkEffect.id,\n\t\t\tcount,\n\t\t).length;\n\t} else if (isAttachAndDetachEffect(markEffect)) {\n\t\treturn Math.min(\n\t\t\tgetFirstMoveEffectLength(markEffect.attach, count, revision, effects),\n\t\t\tgetFirstMoveEffectLength(markEffect.detach, count, revision, effects),\n\t\t);\n\t}\n\n\treturn count;\n}\n\nexport function getCrossFieldTargetFromMove(mark: MoveMarkEffect): CrossFieldTarget {\n\tconst type = mark.type;\n\tswitch (type) {\n\t\tcase \"MoveIn\":\n\t\t\treturn CrossFieldTarget.Destination;\n\t\tcase \"MoveOut\":\n\t\t\treturn CrossFieldTarget.Source;\n\t\tdefault:\n\t\t\tunreachableCase(type);\n\t}\n}\n"]}
+{"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,qCAAqC,CAAC;AAG9E,OAAO,EAAoB,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,EAAqB,gBAAgB,EAAU,MAAM,4BAA4B,CAAC;AAIzF,OAAO,EAAE,uBAAuB,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAoDjF,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,WAA4B,EAC5B,MAAwB,EACxB,QAAiC,EACjC,EAAU,EACV,KAAa,EACb,MAAkB,EAClB,aAAsB,IAAI;IAEzB,MAA8B,CAAC,KAAK,GAAG,EAAE,CAAC;IAC3C,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,aAAa,CAC5B,WAA4B,EAC5B,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,KAA4B,EAAE,EAAE,CAAC,EAAE;QACtF,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,CAAC,MAA2B,EAAE,QAAgB;IAC3E,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,kBAAkB,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;KACpE;IAED,IAAI,MAAM,CAAC,iBAAiB,KAAK,SAAS,EAAE;QAC3C,QAAQ,CAAC,iBAAiB,GAAG,kBAAkB,CAAC,MAAM,CAAC,iBAAiB,EAAE,UAAU,CAAC,CAAC;KACtF;IAED,IAAI,MAAM,CAAC,yBAAyB,KAAK,SAAS,EAAE;QACnD,QAAQ,CAAC,yBAAyB,GAAG,kBAAkB,CACtD,MAAM,CAAC,yBAAyB,EAChC,UAAU,CACV,CAAC;KACF;IAED,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,EAAE;QACrC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;QACxE,QAAQ,CAAC,WAAW,GAAG,KAAK,CAAC;KAC7B;IAED,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,uBAAuB,CACtC,IAAU,EACV,QAAiC,EACjC,OAAwB;IAExB,MAAM,MAAM,GAAG,wBAAwB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC7E,OAAO,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,wBAAwB,CAChC,UAAsB,EACtB,KAAa,EACb,QAAiC,EACjC,OAAwB;IAExB,IAAI,UAAU,CAAC,UAAU,CAAC,EAAE;QAC3B,OAAO,aAAa,CACnB,OAAO,EACP,2BAA2B,CAAC,UAAU,CAAC,EACvC,UAAU,CAAC,QAAQ,IAAI,QAAQ,EAC/B,UAAU,CAAC,EAAE,EACb,KAAK,CACL,CAAC,MAAM,CAAC;KACT;SAAM,IAAI,uBAAuB,CAAC,UAAU,CAAC,EAAE;QAC/C,OAAO,IAAI,CAAC,GAAG,CACd,wBAAwB,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,EACrE,wBAAwB,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CACrE,CAAC;KACF;IAED,OAAO,KAAK,CAAC;AACd,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,IAAoB;IAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,QAAQ,IAAI,EAAE;QACb,KAAK,QAAQ;YACZ,OAAO,gBAAgB,CAAC,WAAW,CAAC;QACrC,KAAK,SAAS;YACb,OAAO,gBAAgB,CAAC,MAAM,CAAC;QAChC;YACC,eAAe,CAAC,IAAI,CAAC,CAAC;KACvB;AACF,CAAC;AAED,SAAS,kBAAkB,CAAC,EAAgB,EAAE,KAAa;IAC1D,OAAO;QACN,GAAG,EAAE;QACL,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC,OAAO,GAAG,KAAK,CAAC;KAClC,CAAC;AACH,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/internal\";\n\nimport { ChangeAtomId, RevisionTag, TaggedChange } from \"../../core/index.js\";\nimport { RangeQueryResult, brand } from \"../../util/index.js\";\nimport { CrossFieldManager, CrossFieldTarget, NodeId } from \"../modular-schema/index.js\";\n\nimport { MoveMarkEffect } from \"./helperTypes.js\";\nimport { CellMark, Mark, MarkEffect, MoveId, MoveIn, MoveOut } from \"./types.js\";\nimport { isAttachAndDetachEffect, splitMark, splitMarkEffect } from \"./utils.js\";\n\nexport type MoveEffectTable = CrossFieldManager<MoveEffect>;\n\n/**\n * Changes to be applied to a move mark.\n */\nexport interface MoveEffect {\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?: NodeId;\n\n\t/**\n\t * Only used during rebasing.\n\t * An effect from changeset being rebased which should be moved to the same position as this mark.\n\t */\n\tmovedEffect?: MarkEffect;\n\n\t/**\n\t * Rebased changes for a node which has been moved to the position of this mark.\n\t */\n\trebasedChanges?: NodeId;\n\n\t/**\n\t * The ID of the other outer endpoint.\n\t * Used when this is the outer endpoint in a move chain which is being composed with another move chain.\n\t */\n\tendpoint?: ChangeAtomId;\n\n\t/**\n\t * The ID of the truncated endpoint.\n\t * Used when this mark is the outer endpoint of a chain being composed with a redundant move chain.\n\t */\n\ttruncatedEndpoint?: ChangeAtomId;\n\n\t/**\n\t * The ID of the truncated endpoint.\n\t * Used when this mark is the inner endpoint of a redundant move chain.\n\t */\n\ttruncatedEndpointForInner?: ChangeAtomId;\n}\n\ninterface MoveEffectWithBasis extends MoveEffect {\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 {\n\tid: MoveId;\n\n\t// Undefined means the partition is the same size as the input.\n\tcount?: number;\n\treplaceWith?: Mark[];\n\tmodifyAfter?: TaggedChange<NodeId>;\n}\n\nexport function setMoveEffect(\n\tmoveEffects: MoveEffectTable,\n\ttarget: CrossFieldTarget,\n\trevision: RevisionTag | undefined,\n\tid: MoveId,\n\tcount: number,\n\teffect: MoveEffect,\n\tinvalidate: boolean = true,\n) {\n\t(effect as MoveEffectWithBasis).basis = id;\n\tmoveEffects.set(target, revision, id, count, effect, invalidate);\n}\n\nexport function getMoveEffect(\n\tmoveEffects: MoveEffectTable,\n\ttarget: CrossFieldTarget,\n\trevision: RevisionTag | undefined,\n\tid: MoveId,\n\tcount: number,\n\taddDependency: boolean = true,\n): RangeQueryResult<MoveEffect> {\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, id) }\n\t\t: result;\n}\n\nexport type MoveMark = CellMark<MoveMarkEffect>;\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(effect: MoveEffectWithBasis, newBasis: MoveId): MoveEffect {\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 = adjustChangeAtomId(effect.endpoint, basisShift);\n\t}\n\n\tif (effect.truncatedEndpoint !== undefined) {\n\t\tadjusted.truncatedEndpoint = adjustChangeAtomId(effect.truncatedEndpoint, basisShift);\n\t}\n\n\tif (effect.truncatedEndpointForInner !== undefined) {\n\t\tadjusted.truncatedEndpointForInner = adjustChangeAtomId(\n\t\t\teffect.truncatedEndpointForInner,\n\t\t\tbasisShift,\n\t\t);\n\t}\n\n\tif (effect.movedEffect !== undefined) {\n\t\tconst [_mark1, mark2] = splitMarkEffect(effect.movedEffect, basisShift);\n\t\tadjusted.movedEffect = mark2;\n\t}\n\n\treturn adjusted;\n}\n\nexport function splitMarkForMoveEffects(\n\tmark: Mark,\n\trevision: RevisionTag | undefined,\n\teffects: MoveEffectTable,\n): Mark[] {\n\tconst length = getFirstMoveEffectLength(mark, mark.count, revision, effects);\n\treturn length < mark.count ? splitMark(mark, length) : [mark];\n}\n\nfunction getFirstMoveEffectLength(\n\tmarkEffect: MarkEffect,\n\tcount: number,\n\trevision: RevisionTag | undefined,\n\teffects: MoveEffectTable,\n): number {\n\tif (isMoveMark(markEffect)) {\n\t\treturn getMoveEffect(\n\t\t\teffects,\n\t\t\tgetCrossFieldTargetFromMove(markEffect),\n\t\t\tmarkEffect.revision ?? revision,\n\t\t\tmarkEffect.id,\n\t\t\tcount,\n\t\t).length;\n\t} else if (isAttachAndDetachEffect(markEffect)) {\n\t\treturn Math.min(\n\t\t\tgetFirstMoveEffectLength(markEffect.attach, count, revision, effects),\n\t\t\tgetFirstMoveEffectLength(markEffect.detach, count, revision, effects),\n\t\t);\n\t}\n\n\treturn count;\n}\n\nexport function getCrossFieldTargetFromMove(mark: MoveMarkEffect): CrossFieldTarget {\n\tconst type = mark.type;\n\tswitch (type) {\n\t\tcase \"MoveIn\":\n\t\t\treturn CrossFieldTarget.Destination;\n\t\tcase \"MoveOut\":\n\t\t\treturn CrossFieldTarget.Source;\n\t\tdefault:\n\t\t\tunreachableCase(type);\n\t}\n}\n\nfunction adjustChangeAtomId(id: ChangeAtomId, shift: number): ChangeAtomId {\n\treturn {\n\t\t...id,\n\t\tlocalId: brand(id.localId + shift),\n\t};\n}\n"]}

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

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

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

@@ -1 +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,YAAY,CAAC;AAIvC,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,CASxB"}
+{"version":3,"file":"prune.d.ts","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/prune.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAE9D,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAGvC,wBAAgB,KAAK,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,gBAAgB,GAAG,SAAS,CASlF"}

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

@@ -1 +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,sBAAsB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAI5C,MAAM,UAAU,KAAK,CACpB,SAAiC,EACjC,SAAwC;IAExC,MAAM,MAAM,GAAG,IAAI,eAAe,EAAe,CAAC;IAClD,KAAK,IAAI,IAAI,IAAI,SAAS,EAAE;QAC3B,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.js\";\nimport { MarkListFactory } from \"./markListFactory.js\";\nimport { withNodeChange } from \"./utils.js\";\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 (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"]}
+{"version":3,"file":"prune.js","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/prune.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C,MAAM,UAAU,KAAK,CAAC,SAAoB,EAAE,SAA2B;IACtE,MAAM,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;IACrC,KAAK,IAAI,IAAI,IAAI,SAAS,EAAE;QAC3B,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 { NodeChangePruner } from \"../modular-schema/index.js\";\nimport { MarkListFactory } from \"./markListFactory.js\";\nimport { Changeset } from \"./types.js\";\nimport { withNodeChange } from \"./utils.js\";\n\nexport function prune(changeset: Changeset, pruneNode: NodeChangePruner): Changeset {\n\tconst pruned = new MarkListFactory();\n\tfor (let mark of changeset) {\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

@@ -2,9 +2,9 @@
  * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
  * Licensed under the MIT License.
  */
-import { IdAllocator } from "../../util/index.js";
 import { TaggedChange } from "../../core/index.js";
-import { CrossFieldManager, NodeExistenceState, RebaseRevisionMetadata } from "../modular-schema/index.js";
+import { IdAllocator } from "../../util/index.js";
+import { CrossFieldManager, NodeChangeRebaser, NodeExistenceState, RebaseRevisionMetadata } from "../modular-schema/index.js";
 import { Changeset, MarkEffect } from "./types.js";
 /**
  * Rebases `change` over `base` assuming they both apply to the same initial state.
@@ -12,7 +12,6 @@ import { Changeset, MarkEffect } from "./types.js";
  * @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.
  */
-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;
+export declare function rebase(change: Changeset, base: TaggedChange<Changeset>, rebaseChild: NodeChangeRebaser, genId: IdAllocator, manager: CrossFieldManager, revisionMetadata: RebaseRevisionMetadata, nodeExistenceState?: NodeExistenceState): Changeset;
 export declare function isRedetach(effect: MarkEffect): boolean;
 //# sourceMappingURL=rebase.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"rebase.d.ts","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/rebase.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,WAAW,EAAmC,MAAM,qBAAqB,CAAC;AACnF,OAAO,EAKN,YAAY,EACZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACN,iBAAiB,EAEjB,kBAAkB,EAClB,sBAAsB,EAEtB,MAAM,4BAA4B,CAAC;AA4BpC,OAAO,EACN,SAAS,EAUT,UAAU,EAIV,MAAM,YAAY,CAAC;AAgBpB;;;;;GAKG;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;AAkH7B,wBAAgB,UAAU,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAUtD"}
+{"version":3,"file":"rebase.d.ts","sourceRoot":"","sources":["../../../src/feature-libraries/sequence-field/rebase.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAKN,YAAY,EACZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,WAAW,EAAmC,MAAM,qBAAqB,CAAC;AACnF,OAAO,EACN,iBAAiB,EAEjB,iBAAiB,EACjB,kBAAkB,EAElB,sBAAsB,EAEtB,MAAM,4BAA4B,CAAC;AAgBpC,OAAO,EAGN,SAAS,EAKT,UAAU,EAOV,MAAM,YAAY,CAAC;AA6BpB;;;;;GAKG;AACH,wBAAgB,MAAM,CACrB,MAAM,EAAE,SAAS,EACjB,IAAI,EAAE,YAAY,CAAC,SAAS,CAAC,EAC7B,WAAW,EAAE,iBAAiB,EAC9B,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,iBAAiB,EAC1B,gBAAgB,EAAE,sBAAsB,EACxC,kBAAkB,GAAE,kBAA6C,GAC/D,SAAS,CAWX;AAkHD,wBAAgB,UAAU,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAUtD"}