@fluidframework/tree 2.113.0-411909 → 2.114.0

package/dist/feature-libraries/modular-schema/modularChangeUtils.d.ts

@@ -0,0 +1,61 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { type ChangesetLocalId, type FieldKindIdentifier, type RevisionInfo, type RevisionTag, type TaggedChange, type TreeChunk } from "../../core/index.js";
+import { type RangeQueryResult } from "../../util/index.js";
+import { type ChangeAtomIdBTree } from "../changeAtomIdBTree.js";
+import { CrossFieldTarget, type CrossFieldManager, type CrossFieldMap } from "./crossFieldQueries.js";
+import type { FieldChangeHandler } from "./fieldChangeHandler.js";
+import { NodeAttachState } from "./fieldChangeHandler.js";
+import type { FlexFieldKind } from "./fieldKind.js";
+import { type CrossFieldKeyTable, type FieldChangeMap, type FieldId, type ModularChangeset, type NoChangeConstraint, type NodeChangeset, type NodeId } from "./modularChangeTypes.js";
+export declare function hasConflicts(change: ModularChangeset): boolean;
+export declare function makeModularChangeset(props?: {
+    fieldChanges?: FieldChangeMap;
+    nodeChanges?: ChangeAtomIdBTree<NodeChangeset>;
+    nodeToParent?: ChangeAtomIdBTree<FieldId>;
+    nodeAliases?: ChangeAtomIdBTree<NodeId>;
+    crossFieldKeys?: CrossFieldKeyTable;
+    maxId: number;
+    revisions?: readonly RevisionInfo[];
+    constraintViolationCount?: number;
+    noChangeConstraint?: NoChangeConstraint;
+    noChangeConstraintOnRevert?: NoChangeConstraint;
+    builds?: ChangeAtomIdBTree<TreeChunk>;
+    destroys?: ChangeAtomIdBTree<number>;
+    refreshers?: ChangeAtomIdBTree<TreeChunk>;
+}): ModularChangeset;
+export interface CrossFieldTable<TFieldData> {
+    srcTable: CrossFieldMap<unknown>;
+    dstTable: CrossFieldMap<unknown>;
+    srcDependents: CrossFieldMap<TFieldData>;
+    dstDependents: CrossFieldMap<TFieldData>;
+    invalidatedFields: Set<TFieldData>;
+}
+export declare abstract class CrossFieldManagerI<T> implements CrossFieldManager {
+    protected readonly crossFieldTable: CrossFieldTable<T>;
+    private readonly currentFieldKey;
+    protected readonly allowInval: boolean;
+    constructor(crossFieldTable: CrossFieldTable<T>, currentFieldKey: T, allowInval?: boolean);
+    set(target: CrossFieldTarget, revision: RevisionTag | undefined, id: ChangesetLocalId, count: number, newValue: unknown, invalidateDependents: boolean): void;
+    get(target: CrossFieldTarget, revision: RevisionTag | undefined, id: ChangesetLocalId, count: number, addDependency: boolean): RangeQueryResult<unknown>;
+    abstract onMoveIn(id: NodeId): void;
+    abstract moveKey(target: CrossFieldTarget, revision: RevisionTag | undefined, id: ChangesetLocalId, count: number): void;
+    private getMap;
+    private getDependents;
+}
+export declare function newCrossFieldTable<T>(): CrossFieldTable<T>;
+export declare function getRevInfoFromTaggedChanges(changes: TaggedChange<ModularChangeset>[]): {
+    revInfos: RevisionInfo[];
+    maxId: ChangesetLocalId;
+};
+export declare function revisionInfoFromTaggedChange(taggedChange: TaggedChange<ModularChangeset>): RevisionInfo[];
+export declare function getChangeHandler(fieldKinds: ReadonlyMap<FieldKindIdentifier, FlexFieldKind>, kind: FieldKindIdentifier): FieldChangeHandler<unknown>;
+export interface ConstraintState {
+    violationCount: number;
+}
+export declare function newConstraintState(violationCount: number): ConstraintState;
+export declare function updateConstraintsForFields(fields: FieldChangeMap, parentInputAttachState: NodeAttachState, constraintState: ConstraintState, nodes: ChangeAtomIdBTree<NodeChangeset>, fieldKinds: ReadonlyMap<FieldKindIdentifier, FlexFieldKind>): void;
+export declare function nodeChangeFromId(nodes: ChangeAtomIdBTree<NodeChangeset>, id: NodeId): NodeChangeset;
+//# sourceMappingURL=modularChangeUtils.d.ts.map

package/dist/feature-libraries/modular-schema/modularChangeUtils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"modularChangeUtils.d.ts","sourceRoot":"","sources":["../../../src/feature-libraries/modular-schema/modularChangeUtils.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAEN,KAAK,gBAAgB,EAErB,KAAK,mBAAmB,EACxB,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,SAAS,EACd,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAuB,KAAK,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACjF,OAAO,EAGN,KAAK,iBAAiB,EACtB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACN,gBAAgB,EAGhB,KAAK,iBAAiB,EACtB,KAAK,aAAa,EAClB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAEpD,OAAO,EAEN,KAAK,kBAAkB,EAEvB,KAAK,cAAc,EACnB,KAAK,OAAO,EACZ,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACvB,KAAK,aAAa,EAClB,KAAK,MAAM,EACX,MAAM,yBAAyB,CAAC;AAEjC,wBAAgB,YAAY,CAAC,MAAM,EAAE,gBAAgB,GAAG,OAAO,CAE9D;AAED,wBAAgB,oBAAoB,CAAC,KAAK,CAAC,EAAE;IAC5C,YAAY,CAAC,EAAE,cAAc,CAAC;IAC9B,WAAW,CAAC,EAAE,iBAAiB,CAAC,aAAa,CAAC,CAAC;IAC/C,YAAY,CAAC,EAAE,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC1C,WAAW,CAAC,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACxC,cAAc,CAAC,EAAE,kBAAkB,CAAC;IACpC,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IACpC,wBAAwB,CAAC,EAAE,MAAM,CAAC;IAClC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACxC,0BAA0B,CAAC,EAAE,kBAAkB,CAAC;IAChD,MAAM,CAAC,EAAE,iBAAiB,CAAC,SAAS,CAAC,CAAC;IACtC,QAAQ,CAAC,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACrC,UAAU,CAAC,EAAE,iBAAiB,CAAC,SAAS,CAAC,CAAC;CAC1C,GAAG,gBAAgB,CAmCnB;AAID,MAAM,WAAW,eAAe,CAAC,UAAU;IAC1C,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACjC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACjC,aAAa,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IACzC,aAAa,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IACzC,iBAAiB,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;CACnC;AAED,8BAAsB,kBAAkB,CAAC,CAAC,CAAE,YAAW,iBAAiB;IAEtE,SAAS,CAAC,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC,CAAC;IACtD,OAAO,CAAC,QAAQ,CAAC,eAAe;IAChC,SAAS,CAAC,QAAQ,CAAC,UAAU;gBAFV,eAAe,EAAE,eAAe,CAAC,CAAC,CAAC,EACrC,eAAe,EAAE,CAAC,EAChB,UAAU,UAAO;IAG9B,GAAG,CACT,MAAM,EAAE,gBAAgB,EACxB,QAAQ,EAAE,WAAW,GAAG,SAAS,EACjC,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,OAAO,EACjB,oBAAoB,EAAE,OAAO,GAC3B,IAAI;IAqBA,GAAG,CACT,MAAM,EAAE,gBAAgB,EACxB,QAAQ,EAAE,WAAW,GAAG,SAAS,EACjC,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,MAAM,EACb,aAAa,EAAE,OAAO,GACpB,gBAAgB,CAAC,OAAO,CAAC;aAgBZ,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;aAE1B,OAAO,CACtB,MAAM,EAAE,gBAAgB,EACxB,QAAQ,EAAE,WAAW,GAAG,SAAS,EACjC,EAAE,EAAE,gBAAgB,EACpB,KAAK,EAAE,MAAM,GACX,IAAI;IAEP,OAAO,CAAC,MAAM;IAMd,OAAO,CAAC,aAAa;CAKrB;AAED,wBAAgB,kBAAkB,CAAC,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAQ1D;AAED,wBAAgB,2BAA2B,CAAC,OAAO,EAAE,YAAY,CAAC,gBAAgB,CAAC,EAAE,GAAG;IACvF,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,KAAK,EAAE,gBAAgB,CAAC;CACxB,CA+BA;AAED,wBAAgB,4BAA4B,CAC3C,YAAY,EAAE,YAAY,CAAC,gBAAgB,CAAC,GAC1C,YAAY,EAAE,CAYhB;AAED,wBAAgB,gBAAgB,CAC/B,UAAU,EAAE,WAAW,CAAC,mBAAmB,EAAE,aAAa,CAAC,EAC3D,IAAI,EAAE,mBAAmB,GACvB,kBAAkB,CAAC,OAAO,CAAC,CAE7B;AAcD,MAAM,WAAW,eAAe;IAC/B,cAAc,EAAE,MAAM,CAAC;CACvB;AAED,wBAAgB,kBAAkB,CAAC,cAAc,EAAE,MAAM,GAAG,eAAe,CAI1E;AAED,wBAAgB,0BAA0B,CACzC,MAAM,EAAE,cAAc,EACtB,sBAAsB,EAAE,eAAe,EACvC,eAAe,EAAE,eAAe,EAChC,KAAK,EAAE,iBAAiB,CAAC,aAAa,CAAC,EACvC,UAAU,EAAE,WAAW,CAAC,mBAAmB,EAAE,aAAa,CAAC,GACzD,IAAI,CAaN;AAiCD,wBAAgB,gBAAgB,CAC/B,KAAK,EAAE,iBAAiB,CAAC,aAAa,CAAC,EACvC,EAAE,EAAE,MAAM,GACR,aAAa,CAIf"}

package/dist/feature-libraries/modular-schema/modularChangeUtils.js

@@ -0,0 +1,205 @@
+"use strict";
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.nodeChangeFromId = exports.updateConstraintsForFields = exports.newConstraintState = exports.getChangeHandler = exports.revisionInfoFromTaggedChange = exports.getRevInfoFromTaggedChanges = exports.newCrossFieldTable = exports.CrossFieldManagerI = exports.makeModularChangeset = exports.hasConflicts = void 0;
+const internal_1 = require("@fluidframework/core-utils/internal");
+const index_js_1 = require("../../core/index.js");
+const index_js_2 = require("../../util/index.js");
+const changeAtomIdBTree_js_1 = require("../changeAtomIdBTree.js");
+const crossFieldQueries_js_1 = require("./crossFieldQueries.js");
+const fieldChangeHandler_js_1 = require("./fieldChangeHandler.js");
+const genericFieldKind_js_1 = require("./genericFieldKind.js");
+const modularChangeTypes_js_1 = require("./modularChangeTypes.js");
+function hasConflicts(change) {
+    return (change.constraintViolationCount ?? 0) > 0;
+}
+exports.hasConflicts = hasConflicts;
+function makeModularChangeset(props) {
+    const p = props ?? { maxId: -1 };
+    const changeset = {
+        fieldChanges: p.fieldChanges ?? new Map(),
+        nodeChanges: p.nodeChanges ?? (0, changeAtomIdBTree_js_1.newChangeAtomIdBTree)(),
+        nodeToParent: p.nodeToParent ?? (0, changeAtomIdBTree_js_1.newChangeAtomIdBTree)(),
+        nodeAliases: p.nodeAliases ?? (0, changeAtomIdBTree_js_1.newChangeAtomIdBTree)(),
+        crossFieldKeys: p.crossFieldKeys ?? (0, modularChangeTypes_js_1.newCrossFieldKeyTable)(),
+    };
+    if (p.revisions !== undefined && p.revisions.length > 0) {
+        changeset.revisions = p.revisions;
+    }
+    if (p.maxId >= 0) {
+        changeset.maxId = (0, index_js_2.brand)(p.maxId);
+    }
+    if (p.constraintViolationCount !== undefined && p.constraintViolationCount > 0) {
+        changeset.constraintViolationCount = p.constraintViolationCount;
+    }
+    if (p.noChangeConstraint !== undefined) {
+        changeset.noChangeConstraint = p.noChangeConstraint;
+    }
+    if (p.noChangeConstraintOnRevert !== undefined) {
+        changeset.noChangeConstraintOnRevert = p.noChangeConstraintOnRevert;
+    }
+    if (p.builds !== undefined && p.builds.size > 0) {
+        changeset.builds = p.builds;
+    }
+    if (p.destroys !== undefined && p.destroys.size > 0) {
+        changeset.destroys = p.destroys;
+    }
+    if (p.refreshers !== undefined && p.refreshers.size > 0) {
+        changeset.refreshers = p.refreshers;
+    }
+    return changeset;
+}
+exports.makeModularChangeset = makeModularChangeset;
+class CrossFieldManagerI {
+    constructor(crossFieldTable, currentFieldKey, allowInval = true) {
+        this.crossFieldTable = crossFieldTable;
+        this.currentFieldKey = currentFieldKey;
+        this.allowInval = allowInval;
+    }
+    set(target, revision, id, count, newValue, invalidateDependents) {
+        if (invalidateDependents && this.allowInval) {
+            const lastChangedId = id + count - 1;
+            let firstId = id;
+            while (firstId <= lastChangedId) {
+                const dependentEntry = (0, crossFieldQueries_js_1.getFirstFromCrossFieldMap)(this.getDependents(target), revision, firstId, lastChangedId - firstId + 1);
+                if (dependentEntry.value !== undefined) {
+                    this.crossFieldTable.invalidatedFields.add(dependentEntry.value);
+                }
+                firstId = (0, index_js_2.brand)(firstId + dependentEntry.length);
+            }
+        }
+        (0, crossFieldQueries_js_1.setInCrossFieldMap)(this.getMap(target), revision, id, count, newValue);
+    }
+    get(target, revision, id, count, addDependency) {
+        if (addDependency) {
+            // We assume that if there is already an entry for this ID it is because
+            // a field handler has called compose on the same node multiple times.
+            // In this case we only want to update the latest version, so we overwrite the dependency.
+            (0, crossFieldQueries_js_1.setInCrossFieldMap)(this.getDependents(target), revision, id, count, this.currentFieldKey);
+        }
+        return (0, crossFieldQueries_js_1.getFirstFromCrossFieldMap)(this.getMap(target), revision, id, count);
+    }
+    getMap(target) {
+        return target === crossFieldQueries_js_1.CrossFieldTarget.Source
+            ? this.crossFieldTable.srcTable
+            : this.crossFieldTable.dstTable;
+    }
+    getDependents(target) {
+        return target === crossFieldQueries_js_1.CrossFieldTarget.Source
+            ? this.crossFieldTable.srcDependents
+            : this.crossFieldTable.dstDependents;
+    }
+}
+exports.CrossFieldManagerI = CrossFieldManagerI;
+function newCrossFieldTable() {
+    return {
+        srcTable: (0, index_js_1.newChangeAtomIdRangeMap)(),
+        dstTable: (0, index_js_1.newChangeAtomIdRangeMap)(),
+        srcDependents: (0, index_js_1.newChangeAtomIdRangeMap)(),
+        dstDependents: (0, index_js_1.newChangeAtomIdRangeMap)(),
+        invalidatedFields: new Set(),
+    };
+}
+exports.newCrossFieldTable = newCrossFieldTable;
+function getRevInfoFromTaggedChanges(changes) {
+    let maxId = -1;
+    const revInfos = [];
+    const revisions = new Set();
+    for (const taggedChange of changes) {
+        const change = taggedChange.change;
+        maxId = Math.max(change.maxId ?? -1, maxId);
+        const infosToAdd = revisionInfoFromTaggedChange(taggedChange);
+        for (const info of infosToAdd) {
+            if (!revisions.has(info.revision)) {
+                revisions.add(info.revision);
+                revInfos.push(info);
+            }
+        }
+    }
+    const rolledBackRevisions = [];
+    for (const info of revInfos) {
+        if (info.rollbackOf !== undefined) {
+            rolledBackRevisions.push(info.rollbackOf);
+        }
+    }
+    rolledBackRevisions.reverse();
+    for (const revision of rolledBackRevisions) {
+        if (!revisions.has(revision)) {
+            revInfos.push({ revision });
+        }
+    }
+    return { maxId: (0, index_js_2.brand)(maxId), revInfos };
+}
+exports.getRevInfoFromTaggedChanges = getRevInfoFromTaggedChanges;
+function revisionInfoFromTaggedChange(taggedChange) {
+    const revInfos = [];
+    if (taggedChange.change.revisions !== undefined) {
+        revInfos.push(...taggedChange.change.revisions);
+    }
+    else if (taggedChange.revision !== undefined) {
+        const info = { revision: taggedChange.revision };
+        if (taggedChange.rollbackOf !== undefined) {
+            info.rollbackOf = taggedChange.rollbackOf;
+        }
+        revInfos.push(info);
+    }
+    return revInfos;
+}
+exports.revisionInfoFromTaggedChange = revisionInfoFromTaggedChange;
+function getChangeHandler(fieldKinds, kind) {
+    return getFieldKind(fieldKinds, kind).changeHandler;
+}
+exports.getChangeHandler = getChangeHandler;
+function getFieldKind(fieldKinds, kind) {
+    if (kind === genericFieldKind_js_1.genericFieldKind.identifier) {
+        return genericFieldKind_js_1.genericFieldKind;
+    }
+    const fieldKind = fieldKinds.get(kind);
+    (0, internal_1.assert)(fieldKind !== undefined, 0x3ad /* Unknown field kind */);
+    return fieldKind;
+}
+function newConstraintState(violationCount) {
+    return {
+        violationCount,
+    };
+}
+exports.newConstraintState = newConstraintState;
+function updateConstraintsForFields(fields, parentInputAttachState, constraintState, nodes, fieldKinds) {
+    for (const field of fields.values()) {
+        const handler = getChangeHandler(fieldKinds, field.fieldKind);
+        for (const [nodeId, inputIndex, _outputIndex] of handler.getNestedChanges(field.change)) {
+            const isInputDetached = inputIndex === undefined;
+            const inputAttachState = parentInputAttachState === fieldChangeHandler_js_1.NodeAttachState.Detached || isInputDetached
+                ? fieldChangeHandler_js_1.NodeAttachState.Detached
+                : fieldChangeHandler_js_1.NodeAttachState.Attached;
+            updateConstraintsForNode(nodeId, inputAttachState, nodes, constraintState, fieldKinds);
+        }
+    }
+}
+exports.updateConstraintsForFields = updateConstraintsForFields;
+function updateConstraintsForNode(nodeId, inputAttachState, nodes, constraintState, fieldKinds) {
+    const node = nodes.get([nodeId.revision, nodeId.localId]) ?? (0, internal_1.fail)(0xb24 /* Unknown node ID */);
+    if (node.nodeExistsConstraint !== undefined) {
+        const isNowViolated = inputAttachState === fieldChangeHandler_js_1.NodeAttachState.Detached;
+        if (node.nodeExistsConstraint.violated !== isNowViolated) {
+            node.nodeExistsConstraint = {
+                ...node.nodeExistsConstraint,
+                violated: isNowViolated,
+            };
+            constraintState.violationCount += isNowViolated ? 1 : -1;
+        }
+    }
+    if (node.fieldChanges !== undefined) {
+        updateConstraintsForFields(node.fieldChanges, inputAttachState, constraintState, nodes, fieldKinds);
+    }
+}
+function nodeChangeFromId(nodes, id) {
+    const node = (0, changeAtomIdBTree_js_1.getFromChangeAtomIdMap)(nodes, id);
+    (0, internal_1.assert)(node !== undefined, 0x9ca /* Unknown node ID */);
+    return node;
+}
+exports.nodeChangeFromId = nodeChangeFromId;
+//# sourceMappingURL=modularChangeUtils.js.map

package/dist/feature-libraries/modular-schema/modularChangeUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"modularChangeUtils.js","sourceRoot":"","sources":["../../../src/feature-libraries/modular-schema/modularChangeUtils.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAEH,kEAAmE;AACnE,kDAS6B;AAC7B,kDAAiF;AACjF,kEAIiC;AACjC,iEAMgC;AAEhC,mEAA0D;AAE1D,+DAAyD;AACzD,mEAUiC;AAEjC,SAAgB,YAAY,CAAC,MAAwB;IACpD,OAAO,CAAC,MAAM,CAAC,wBAAwB,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;AACnD,CAAC;AAFD,oCAEC;AAED,SAAgB,oBAAoB,CAAC,KAcpC;IACA,MAAM,CAAC,GAAG,KAAK,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC;IACjC,MAAM,SAAS,GAA8B;QAC5C,YAAY,EAAE,CAAC,CAAC,YAAY,IAAI,IAAI,GAAG,EAAyB;QAChE,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,IAAA,2CAAoB,GAAE;QACpD,YAAY,EAAE,CAAC,CAAC,YAAY,IAAI,IAAA,2CAAoB,GAAE;QACtD,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,IAAA,2CAAoB,GAAE;QACpD,cAAc,EAAE,CAAC,CAAC,cAAc,IAAI,IAAA,6CAAqB,GAAE;KAC3D,CAAC;IAEF,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzD,SAAS,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC;IACnC,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;QAClB,SAAS,CAAC,KAAK,GAAG,IAAA,gBAAK,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,CAAC,CAAC,wBAAwB,KAAK,SAAS,IAAI,CAAC,CAAC,wBAAwB,GAAG,CAAC,EAAE,CAAC;QAChF,SAAS,CAAC,wBAAwB,GAAG,CAAC,CAAC,wBAAwB,CAAC;IACjE,CAAC;IACD,IAAI,CAAC,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;QACxC,SAAS,CAAC,kBAAkB,GAAG,CAAC,CAAC,kBAAkB,CAAC;IACrD,CAAC;IACD,IAAI,CAAC,CAAC,0BAA0B,KAAK,SAAS,EAAE,CAAC;QAChD,SAAS,CAAC,0BAA0B,GAAG,CAAC,CAAC,0BAA0B,CAAC;IACrE,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACjD,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACrD,SAAS,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC;IACjC,CAAC;IACD,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACzD,SAAS,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC;IACrC,CAAC;IACD,OAAO,SAAS,CAAC;AAClB,CAAC;AAjDD,oDAiDC;AAYD,MAAsB,kBAAkB;IACvC,YACoB,eAAmC,EACrC,eAAkB,EAChB,aAAa,IAAI;QAFjB,oBAAe,GAAf,eAAe,CAAoB;QACrC,oBAAe,GAAf,eAAe,CAAG;QAChB,eAAU,GAAV,UAAU,CAAO;IAClC,CAAC;IAEG,GAAG,CACT,MAAwB,EACxB,QAAiC,EACjC,EAAoB,EACpB,KAAa,EACb,QAAiB,EACjB,oBAA6B;QAE7B,IAAI,oBAAoB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAC7C,MAAM,aAAa,GAAI,EAAa,GAAG,KAAK,GAAG,CAAC,CAAC;YACjD,IAAI,OAAO,GAAG,EAAE,CAAC;YACjB,OAAO,OAAO,IAAI,aAAa,EAAE,CAAC;gBACjC,MAAM,cAAc,GAAG,IAAA,gDAAyB,EAC/C,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAC1B,QAAQ,EACR,OAAO,EACP,aAAa,GAAG,OAAO,GAAG,CAAC,CAC3B,CAAC;gBACF,IAAI,cAAc,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxC,IAAI,CAAC,eAAe,CAAC,iBAAiB,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;gBAClE,CAAC;gBAED,OAAO,GAAG,IAAA,gBAAK,EAAC,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;YAClD,CAAC;QACF,CAAC;QACD,IAAA,yCAAkB,EAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACxE,CAAC;IAEM,GAAG,CACT,MAAwB,EACxB,QAAiC,EACjC,EAAoB,EACpB,KAAa,EACb,aAAsB;QAEtB,IAAI,aAAa,EAAE,CAAC;YACnB,wEAAwE;YACxE,sEAAsE;YACtE,0FAA0F;YAC1F,IAAA,yCAAkB,EACjB,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAC1B,QAAQ,EACR,EAAE,EACF,KAAK,EACL,IAAI,CAAC,eAAe,CACpB,CAAC;QACH,CAAC;QACD,OAAO,IAAA,gDAAyB,EAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IAC5E,CAAC;IAWO,MAAM,CAAC,MAAwB;QACtC,OAAO,MAAM,KAAK,uCAAgB,CAAC,MAAM;YACxC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ;YAC/B,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC;IAClC,CAAC;IAEO,aAAa,CAAC,MAAwB;QAC7C,OAAO,MAAM,KAAK,uCAAgB,CAAC,MAAM;YACxC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,aAAa;YACpC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,aAAa,CAAC;IACvC,CAAC;CACD;AA7ED,gDA6EC;AAED,SAAgB,kBAAkB;IACjC,OAAO;QACN,QAAQ,EAAE,IAAA,kCAAuB,GAAE;QACnC,QAAQ,EAAE,IAAA,kCAAuB,GAAE;QACnC,aAAa,EAAE,IAAA,kCAAuB,GAAE;QACxC,aAAa,EAAE,IAAA,kCAAuB,GAAE;QACxC,iBAAiB,EAAE,IAAI,GAAG,EAAE;KAC5B,CAAC;AACH,CAAC;AARD,gDAQC;AAED,SAAgB,2BAA2B,CAAC,OAAyC;IAIpF,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IACf,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAe,CAAC;IACzC,KAAK,MAAM,YAAY,IAAI,OAAO,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC;QACnC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5C,MAAM,UAAU,GAAG,4BAA4B,CAAC,YAAY,CAAC,CAAC;QAC9D,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC/B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACnC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,CAAC;QACF,CAAC;IACF,CAAC;IAED,MAAM,mBAAmB,GAAkB,EAAE,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACnC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3C,CAAC;IACF,CAAC;IAED,mBAAmB,CAAC,OAAO,EAAE,CAAC;IAC9B,KAAK,MAAM,QAAQ,IAAI,mBAAmB,EAAE,CAAC;QAC5C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC7B,CAAC;IACF,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,IAAA,gBAAK,EAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;AAC1C,CAAC;AAlCD,kEAkCC;AAED,SAAgB,4BAA4B,CAC3C,YAA4C;IAE5C,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,IAAI,YAAY,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACjD,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACjD,CAAC;SAAM,IAAI,YAAY,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChD,MAAM,IAAI,GAA0B,EAAE,QAAQ,EAAE,YAAY,CAAC,QAAQ,EAAE,CAAC;QACxE,IAAI,YAAY,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAC3C,IAAI,CAAC,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC;QAC3C,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAdD,oEAcC;AAED,SAAgB,gBAAgB,CAC/B,UAA2D,EAC3D,IAAyB;IAEzB,OAAO,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,aAAa,CAAC;AACrD,CAAC;AALD,4CAKC;AAED,SAAS,YAAY,CACpB,UAA2D,EAC3D,IAAyB;IAEzB,IAAI,IAAI,KAAK,sCAAgB,CAAC,UAAU,EAAE,CAAC;QAC1C,OAAO,sCAAgB,CAAC;IACzB,CAAC;IACD,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,IAAA,iBAAM,EAAC,SAAS,KAAK,SAAS,EAAE,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAChE,OAAO,SAAS,CAAC;AAClB,CAAC;AAMD,SAAgB,kBAAkB,CAAC,cAAsB;IACxD,OAAO;QACN,cAAc;KACd,CAAC;AACH,CAAC;AAJD,gDAIC;AAED,SAAgB,0BAA0B,CACzC,MAAsB,EACtB,sBAAuC,EACvC,eAAgC,EAChC,KAAuC,EACvC,UAA2D;IAE3D,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;QAC9D,KAAK,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,YAAY,CAAC,IAAI,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACzF,MAAM,eAAe,GAAG,UAAU,KAAK,SAAS,CAAC;YACjD,MAAM,gBAAgB,GACrB,sBAAsB,KAAK,uCAAe,CAAC,QAAQ,IAAI,eAAe;gBACrE,CAAC,CAAC,uCAAe,CAAC,QAAQ;gBAC1B,CAAC,CAAC,uCAAe,CAAC,QAAQ,CAAC;YAE7B,wBAAwB,CAAC,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,eAAe,EAAE,UAAU,CAAC,CAAC;QACxF,CAAC;IACF,CAAC;AACF,CAAC;AAnBD,gEAmBC;AAED,SAAS,wBAAwB,CAChC,MAAc,EACd,gBAAiC,EACjC,KAAuC,EACvC,eAAgC,EAChC,UAA2D;IAE3D,MAAM,IAAI,GACT,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,IAAA,eAAI,EAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IACnF,IAAI,IAAI,CAAC,oBAAoB,KAAK,SAAS,EAAE,CAAC;QAC7C,MAAM,aAAa,GAAG,gBAAgB,KAAK,uCAAe,CAAC,QAAQ,CAAC;QACpE,IAAI,IAAI,CAAC,oBAAoB,CAAC,QAAQ,KAAK,aAAa,EAAE,CAAC;YAC1D,IAAI,CAAC,oBAAoB,GAAG;gBAC3B,GAAG,IAAI,CAAC,oBAAoB;gBAC5B,QAAQ,EAAE,aAAa;aACvB,CAAC;YACF,eAAe,CAAC,cAAc,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,CAAC;IACF,CAAC;IAED,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACrC,0BAA0B,CACzB,IAAI,CAAC,YAAY,EACjB,gBAAgB,EAChB,eAAe,EACf,KAAK,EACL,UAAU,CACV,CAAC;IACH,CAAC;AACF,CAAC;AAED,SAAgB,gBAAgB,CAC/B,KAAuC,EACvC,EAAU;IAEV,MAAM,IAAI,GAAG,IAAA,6CAAsB,EAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC/C,IAAA,iBAAM,EAAC,IAAI,KAAK,SAAS,EAAE,KAAK,CAAC,qBAAqB,CAAC,CAAC;IACxD,OAAO,IAAI,CAAC;AACb,CAAC;AAPD,4CAOC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { assert, fail } from \"@fluidframework/core-utils/internal\";\nimport {\n\tnewChangeAtomIdRangeMap,\n\ttype ChangesetLocalId,\n\ttype FieldKey,\n\ttype FieldKindIdentifier,\n\ttype RevisionInfo,\n\ttype RevisionTag,\n\ttype TaggedChange,\n\ttype TreeChunk,\n} from \"../../core/index.js\";\nimport { brand, type Mutable, type RangeQueryResult } from \"../../util/index.js\";\nimport {\n\tgetFromChangeAtomIdMap,\n\tnewChangeAtomIdBTree,\n\ttype ChangeAtomIdBTree,\n} from \"../changeAtomIdBTree.js\";\nimport {\n\tCrossFieldTarget,\n\tgetFirstFromCrossFieldMap,\n\tsetInCrossFieldMap,\n\ttype CrossFieldManager,\n\ttype CrossFieldMap,\n} from \"./crossFieldQueries.js\";\nimport type { FieldChangeHandler } from \"./fieldChangeHandler.js\";\nimport { NodeAttachState } from \"./fieldChangeHandler.js\";\nimport type { FlexFieldKind } from \"./fieldKind.js\";\nimport { genericFieldKind } from \"./genericFieldKind.js\";\nimport {\n\tnewCrossFieldKeyTable,\n\ttype CrossFieldKeyTable,\n\ttype FieldChange,\n\ttype FieldChangeMap,\n\ttype FieldId,\n\ttype ModularChangeset,\n\ttype NoChangeConstraint,\n\ttype NodeChangeset,\n\ttype NodeId,\n} from \"./modularChangeTypes.js\";\n\nexport function hasConflicts(change: ModularChangeset): boolean {\n\treturn (change.constraintViolationCount ?? 0) > 0;\n}\n\nexport function makeModularChangeset(props?: {\n\tfieldChanges?: FieldChangeMap;\n\tnodeChanges?: ChangeAtomIdBTree<NodeChangeset>;\n\tnodeToParent?: ChangeAtomIdBTree<FieldId>;\n\tnodeAliases?: ChangeAtomIdBTree<NodeId>;\n\tcrossFieldKeys?: CrossFieldKeyTable;\n\tmaxId: number;\n\trevisions?: readonly RevisionInfo[];\n\tconstraintViolationCount?: number;\n\tnoChangeConstraint?: NoChangeConstraint;\n\tnoChangeConstraintOnRevert?: NoChangeConstraint;\n\tbuilds?: ChangeAtomIdBTree<TreeChunk>;\n\tdestroys?: ChangeAtomIdBTree<number>;\n\trefreshers?: ChangeAtomIdBTree<TreeChunk>;\n}): ModularChangeset {\n\tconst p = props ?? { maxId: -1 };\n\tconst changeset: Mutable<ModularChangeset> = {\n\t\tfieldChanges: p.fieldChanges ?? new Map<FieldKey, FieldChange>(),\n\t\tnodeChanges: p.nodeChanges ?? newChangeAtomIdBTree(),\n\t\tnodeToParent: p.nodeToParent ?? newChangeAtomIdBTree(),\n\t\tnodeAliases: p.nodeAliases ?? newChangeAtomIdBTree(),\n\t\tcrossFieldKeys: p.crossFieldKeys ?? newCrossFieldKeyTable(),\n\t};\n\n\tif (p.revisions !== undefined && p.revisions.length > 0) {\n\t\tchangeset.revisions = p.revisions;\n\t}\n\tif (p.maxId >= 0) {\n\t\tchangeset.maxId = brand(p.maxId);\n\t}\n\tif (p.constraintViolationCount !== undefined && p.constraintViolationCount > 0) {\n\t\tchangeset.constraintViolationCount = p.constraintViolationCount;\n\t}\n\tif (p.noChangeConstraint !== undefined) {\n\t\tchangeset.noChangeConstraint = p.noChangeConstraint;\n\t}\n\tif (p.noChangeConstraintOnRevert !== undefined) {\n\t\tchangeset.noChangeConstraintOnRevert = p.noChangeConstraintOnRevert;\n\t}\n\tif (p.builds !== undefined && p.builds.size > 0) {\n\t\tchangeset.builds = p.builds;\n\t}\n\tif (p.destroys !== undefined && p.destroys.size > 0) {\n\t\tchangeset.destroys = p.destroys;\n\t}\n\tif (p.refreshers !== undefined && p.refreshers.size > 0) {\n\t\tchangeset.refreshers = p.refreshers;\n\t}\n\treturn changeset;\n}\n\n// TODO: TFieldData could instead just be a numeric ID generated by the CrossFieldTable\n// The CrossFieldTable could have a generic field ID to context table\nexport interface CrossFieldTable<TFieldData> {\n\tsrcTable: CrossFieldMap<unknown>;\n\tdstTable: CrossFieldMap<unknown>;\n\tsrcDependents: CrossFieldMap<TFieldData>;\n\tdstDependents: CrossFieldMap<TFieldData>;\n\tinvalidatedFields: Set<TFieldData>;\n}\n\nexport abstract class CrossFieldManagerI<T> implements CrossFieldManager {\n\tpublic constructor(\n\t\tprotected readonly crossFieldTable: CrossFieldTable<T>,\n\t\tprivate readonly currentFieldKey: T,\n\t\tprotected readonly allowInval = true,\n\t) {}\n\n\tpublic set(\n\t\ttarget: CrossFieldTarget,\n\t\trevision: RevisionTag | undefined,\n\t\tid: ChangesetLocalId,\n\t\tcount: number,\n\t\tnewValue: unknown,\n\t\tinvalidateDependents: boolean,\n\t): void {\n\t\tif (invalidateDependents && this.allowInval) {\n\t\t\tconst lastChangedId = (id as number) + count - 1;\n\t\t\tlet firstId = id;\n\t\t\twhile (firstId <= lastChangedId) {\n\t\t\t\tconst dependentEntry = getFirstFromCrossFieldMap(\n\t\t\t\t\tthis.getDependents(target),\n\t\t\t\t\trevision,\n\t\t\t\t\tfirstId,\n\t\t\t\t\tlastChangedId - firstId + 1,\n\t\t\t\t);\n\t\t\t\tif (dependentEntry.value !== undefined) {\n\t\t\t\t\tthis.crossFieldTable.invalidatedFields.add(dependentEntry.value);\n\t\t\t\t}\n\n\t\t\t\tfirstId = brand(firstId + dependentEntry.length);\n\t\t\t}\n\t\t}\n\t\tsetInCrossFieldMap(this.getMap(target), revision, id, count, newValue);\n\t}\n\n\tpublic get(\n\t\ttarget: CrossFieldTarget,\n\t\trevision: RevisionTag | undefined,\n\t\tid: ChangesetLocalId,\n\t\tcount: number,\n\t\taddDependency: boolean,\n\t): RangeQueryResult<unknown> {\n\t\tif (addDependency) {\n\t\t\t// We assume that if there is already an entry for this ID it is because\n\t\t\t// a field handler has called compose on the same node multiple times.\n\t\t\t// In this case we only want to update the latest version, so we overwrite the dependency.\n\t\t\tsetInCrossFieldMap(\n\t\t\t\tthis.getDependents(target),\n\t\t\t\trevision,\n\t\t\t\tid,\n\t\t\t\tcount,\n\t\t\t\tthis.currentFieldKey,\n\t\t\t);\n\t\t}\n\t\treturn getFirstFromCrossFieldMap(this.getMap(target), revision, id, count);\n\t}\n\n\tpublic abstract onMoveIn(id: NodeId): void;\n\n\tpublic abstract moveKey(\n\t\ttarget: CrossFieldTarget,\n\t\trevision: RevisionTag | undefined,\n\t\tid: ChangesetLocalId,\n\t\tcount: number,\n\t): void;\n\n\tprivate getMap(target: CrossFieldTarget): CrossFieldMap<unknown> {\n\t\treturn target === CrossFieldTarget.Source\n\t\t\t? this.crossFieldTable.srcTable\n\t\t\t: this.crossFieldTable.dstTable;\n\t}\n\n\tprivate getDependents(target: CrossFieldTarget): CrossFieldMap<T> {\n\t\treturn target === CrossFieldTarget.Source\n\t\t\t? this.crossFieldTable.srcDependents\n\t\t\t: this.crossFieldTable.dstDependents;\n\t}\n}\n\nexport function newCrossFieldTable<T>(): CrossFieldTable<T> {\n\treturn {\n\t\tsrcTable: newChangeAtomIdRangeMap(),\n\t\tdstTable: newChangeAtomIdRangeMap(),\n\t\tsrcDependents: newChangeAtomIdRangeMap(),\n\t\tdstDependents: newChangeAtomIdRangeMap(),\n\t\tinvalidatedFields: new Set(),\n\t};\n}\n\nexport function getRevInfoFromTaggedChanges(changes: TaggedChange<ModularChangeset>[]): {\n\trevInfos: RevisionInfo[];\n\tmaxId: ChangesetLocalId;\n} {\n\tlet maxId = -1;\n\tconst revInfos: RevisionInfo[] = [];\n\tconst revisions = new Set<RevisionTag>();\n\tfor (const taggedChange of changes) {\n\t\tconst change = taggedChange.change;\n\t\tmaxId = Math.max(change.maxId ?? -1, maxId);\n\t\tconst infosToAdd = revisionInfoFromTaggedChange(taggedChange);\n\t\tfor (const info of infosToAdd) {\n\t\t\tif (!revisions.has(info.revision)) {\n\t\t\t\trevisions.add(info.revision);\n\t\t\t\trevInfos.push(info);\n\t\t\t}\n\t\t}\n\t}\n\n\tconst rolledBackRevisions: RevisionTag[] = [];\n\tfor (const info of revInfos) {\n\t\tif (info.rollbackOf !== undefined) {\n\t\t\trolledBackRevisions.push(info.rollbackOf);\n\t\t}\n\t}\n\n\trolledBackRevisions.reverse();\n\tfor (const revision of rolledBackRevisions) {\n\t\tif (!revisions.has(revision)) {\n\t\t\trevInfos.push({ revision });\n\t\t}\n\t}\n\n\treturn { maxId: brand(maxId), revInfos };\n}\n\nexport function revisionInfoFromTaggedChange(\n\ttaggedChange: TaggedChange<ModularChangeset>,\n): RevisionInfo[] {\n\tconst revInfos: RevisionInfo[] = [];\n\tif (taggedChange.change.revisions !== undefined) {\n\t\trevInfos.push(...taggedChange.change.revisions);\n\t} else if (taggedChange.revision !== undefined) {\n\t\tconst info: Mutable<RevisionInfo> = { revision: taggedChange.revision };\n\t\tif (taggedChange.rollbackOf !== undefined) {\n\t\t\tinfo.rollbackOf = taggedChange.rollbackOf;\n\t\t}\n\t\trevInfos.push(info);\n\t}\n\treturn revInfos;\n}\n\nexport function getChangeHandler(\n\tfieldKinds: ReadonlyMap<FieldKindIdentifier, FlexFieldKind>,\n\tkind: FieldKindIdentifier,\n): FieldChangeHandler<unknown> {\n\treturn getFieldKind(fieldKinds, kind).changeHandler;\n}\n\nfunction getFieldKind(\n\tfieldKinds: ReadonlyMap<FieldKindIdentifier, FlexFieldKind>,\n\tkind: FieldKindIdentifier,\n): FlexFieldKind {\n\tif (kind === genericFieldKind.identifier) {\n\t\treturn genericFieldKind;\n\t}\n\tconst fieldKind = fieldKinds.get(kind);\n\tassert(fieldKind !== undefined, 0x3ad /* Unknown field kind */);\n\treturn fieldKind;\n}\n\nexport interface ConstraintState {\n\tviolationCount: number;\n}\n\nexport function newConstraintState(violationCount: number): ConstraintState {\n\treturn {\n\t\tviolationCount,\n\t};\n}\n\nexport function updateConstraintsForFields(\n\tfields: FieldChangeMap,\n\tparentInputAttachState: NodeAttachState,\n\tconstraintState: ConstraintState,\n\tnodes: ChangeAtomIdBTree<NodeChangeset>,\n\tfieldKinds: ReadonlyMap<FieldKindIdentifier, FlexFieldKind>,\n): void {\n\tfor (const field of fields.values()) {\n\t\tconst handler = getChangeHandler(fieldKinds, field.fieldKind);\n\t\tfor (const [nodeId, inputIndex, _outputIndex] of handler.getNestedChanges(field.change)) {\n\t\t\tconst isInputDetached = inputIndex === undefined;\n\t\t\tconst inputAttachState =\n\t\t\t\tparentInputAttachState === NodeAttachState.Detached || isInputDetached\n\t\t\t\t\t? NodeAttachState.Detached\n\t\t\t\t\t: NodeAttachState.Attached;\n\n\t\t\tupdateConstraintsForNode(nodeId, inputAttachState, nodes, constraintState, fieldKinds);\n\t\t}\n\t}\n}\n\nfunction updateConstraintsForNode(\n\tnodeId: NodeId,\n\tinputAttachState: NodeAttachState,\n\tnodes: ChangeAtomIdBTree<NodeChangeset>,\n\tconstraintState: ConstraintState,\n\tfieldKinds: ReadonlyMap<FieldKindIdentifier, FlexFieldKind>,\n): void {\n\tconst node =\n\t\tnodes.get([nodeId.revision, nodeId.localId]) ?? fail(0xb24 /* Unknown node ID */);\n\tif (node.nodeExistsConstraint !== undefined) {\n\t\tconst isNowViolated = inputAttachState === NodeAttachState.Detached;\n\t\tif (node.nodeExistsConstraint.violated !== isNowViolated) {\n\t\t\tnode.nodeExistsConstraint = {\n\t\t\t\t...node.nodeExistsConstraint,\n\t\t\t\tviolated: isNowViolated,\n\t\t\t};\n\t\t\tconstraintState.violationCount += isNowViolated ? 1 : -1;\n\t\t}\n\t}\n\n\tif (node.fieldChanges !== undefined) {\n\t\tupdateConstraintsForFields(\n\t\t\tnode.fieldChanges,\n\t\t\tinputAttachState,\n\t\t\tconstraintState,\n\t\t\tnodes,\n\t\t\tfieldKinds,\n\t\t);\n\t}\n}\n\nexport function nodeChangeFromId(\n\tnodes: ChangeAtomIdBTree<NodeChangeset>,\n\tid: NodeId,\n): NodeChangeset {\n\tconst node = getFromChangeAtomIdMap(nodes, id);\n\tassert(node !== undefined, 0x9ca /* Unknown node ID */);\n\treturn node;\n}\n"]}

package/dist/feature-libraries/modular-schema/prune.d.ts

@@ -0,0 +1,10 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import type { FieldKindIdentifier } from "../../core/index.js";
+import { type ChangeAtomIdBTree } from "../changeAtomIdBTree.js";
+import type { FlexFieldKind } from "./fieldKind.js";
+import type { FieldChangeMap, NodeChangeset } from "./modularChangeTypes.js";
+export declare function pruneFieldMap(changeset: FieldChangeMap | undefined, nodeMap: ChangeAtomIdBTree<NodeChangeset>, fieldKinds: ReadonlyMap<FieldKindIdentifier, FlexFieldKind>): FieldChangeMap | undefined;
+//# sourceMappingURL=prune.d.ts.map

package/dist/feature-libraries/modular-schema/prune.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prune.d.ts","sourceRoot":"","sources":["../../../src/feature-libraries/modular-schema/prune.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE/D,OAAO,EAAwB,KAAK,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACvF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAU,MAAM,yBAAyB,CAAC;AAGrF,wBAAgB,aAAa,CAC5B,SAAS,EAAE,cAAc,GAAG,SAAS,EACrC,OAAO,EAAE,iBAAiB,CAAC,aAAa,CAAC,EACzC,UAAU,EAAE,WAAW,CAAC,mBAAmB,EAAE,aAAa,CAAC,GACzD,cAAc,GAAG,SAAS,CAmB5B"}

package/dist/feature-libraries/modular-schema/prune.js

@@ -0,0 +1,49 @@
+"use strict";
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.pruneFieldMap = void 0;
+const index_js_1 = require("../../util/index.js");
+const changeAtomIdBTree_js_1 = require("../changeAtomIdBTree.js");
+const modularChangeUtils_js_1 = require("./modularChangeUtils.js");
+function pruneFieldMap(changeset, nodeMap, fieldKinds) {
+    if (changeset === undefined) {
+        return undefined;
+    }
+    const prunedChangeset = new Map();
+    for (const [field, fieldChange] of changeset) {
+        const handler = (0, modularChangeUtils_js_1.getChangeHandler)(fieldKinds, fieldChange.fieldKind);
+        const prunedFieldChangeset = handler.rebaser.prune(fieldChange.change, (nodeId) => pruneNodeChange(nodeId, nodeMap, fieldKinds));
+        if (!handler.isEmpty(prunedFieldChangeset)) {
+            prunedChangeset.set(field, { ...fieldChange, change: (0, index_js_1.brand)(prunedFieldChangeset) });
+        }
+    }
+    return prunedChangeset.size > 0 ? prunedChangeset : undefined;
+}
+exports.pruneFieldMap = pruneFieldMap;
+function pruneNodeChange(nodeId, nodeMap, fieldKinds) {
+    const changeset = (0, modularChangeUtils_js_1.nodeChangeFromId)(nodeMap, nodeId);
+    const prunedFields = changeset.fieldChanges === undefined
+        ? undefined
+        : pruneFieldMap(changeset.fieldChanges, nodeMap, fieldKinds);
+    const prunedChange = { ...changeset, fieldChanges: prunedFields };
+    if (prunedChange.fieldChanges === undefined) {
+        delete prunedChange.fieldChanges;
+    }
+    if (isEmptyNodeChangeset(prunedChange)) {
+        nodeMap.delete([nodeId.revision, nodeId.localId]);
+        return undefined;
+    }
+    else {
+        (0, changeAtomIdBTree_js_1.setInChangeAtomIdMap)(nodeMap, nodeId, prunedChange);
+        return nodeId;
+    }
+}
+function isEmptyNodeChangeset(change) {
+    return (change.fieldChanges === undefined &&
+        change.nodeExistsConstraint === undefined &&
+        change.nodeExistsConstraintOnRevert === undefined);
+}
+//# sourceMappingURL=prune.js.map

package/dist/feature-libraries/modular-schema/prune.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prune.js","sourceRoot":"","sources":["../../../src/feature-libraries/modular-schema/prune.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAGH,kDAA4C;AAC5C,kEAAuF;AAGvF,mEAA6E;AAE7E,SAAgB,aAAa,CAC5B,SAAqC,EACrC,OAAyC,EACzC,UAA2D;IAE3D,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,SAAS,CAAC;IAClB,CAAC;IAED,MAAM,eAAe,GAAmB,IAAI,GAAG,EAAE,CAAC;IAClD,KAAK,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,SAAS,EAAE,CAAC;QAC9C,MAAM,OAAO,GAAG,IAAA,wCAAgB,EAAC,UAAU,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;QAEpE,MAAM,oBAAoB,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CACjF,eAAe,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,CAC5C,CAAC;QAEF,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,EAAE,CAAC;YAC5C,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,GAAG,WAAW,EAAE,MAAM,EAAE,IAAA,gBAAK,EAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;QACrF,CAAC;IACF,CAAC;IAED,OAAO,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/D,CAAC;AAvBD,sCAuBC;AAED,SAAS,eAAe,CACvB,MAAc,EACd,OAAyC,EACzC,UAA2D;IAE3D,MAAM,SAAS,GAAG,IAAA,wCAAgB,EAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACpD,MAAM,YAAY,GACjB,SAAS,CAAC,YAAY,KAAK,SAAS;QACnC,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,YAAY,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAE/D,MAAM,YAAY,GAAG,EAAE,GAAG,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC;IAClE,IAAI,YAAY,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QAC7C,OAAO,YAAY,CAAC,YAAY,CAAC;IAClC,CAAC;IAED,IAAI,oBAAoB,CAAC,YAAY,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAClD,OAAO,SAAS,CAAC;IAClB,CAAC;SAAM,CAAC;QACP,IAAA,2CAAoB,EAAC,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC;QACpD,OAAO,MAAM,CAAC;IACf,CAAC;AACF,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAqB;IAClD,OAAO,CACN,MAAM,CAAC,YAAY,KAAK,SAAS;QACjC,MAAM,CAAC,oBAAoB,KAAK,SAAS;QACzC,MAAM,CAAC,4BAA4B,KAAK,SAAS,CACjD,CAAC;AACH,CAAC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport type { FieldKindIdentifier } from \"../../core/index.js\";\nimport { brand } from \"../../util/index.js\";\nimport { setInChangeAtomIdMap, type ChangeAtomIdBTree } from \"../changeAtomIdBTree.js\";\nimport type { FlexFieldKind } from \"./fieldKind.js\";\nimport type { FieldChangeMap, NodeChangeset, NodeId } from \"./modularChangeTypes.js\";\nimport { getChangeHandler, nodeChangeFromId } from \"./modularChangeUtils.js\";\n\nexport function pruneFieldMap(\n\tchangeset: FieldChangeMap | undefined,\n\tnodeMap: ChangeAtomIdBTree<NodeChangeset>,\n\tfieldKinds: ReadonlyMap<FieldKindIdentifier, FlexFieldKind>,\n): FieldChangeMap | undefined {\n\tif (changeset === undefined) {\n\t\treturn undefined;\n\t}\n\n\tconst prunedChangeset: FieldChangeMap = new Map();\n\tfor (const [field, fieldChange] of changeset) {\n\t\tconst handler = getChangeHandler(fieldKinds, fieldChange.fieldKind);\n\n\t\tconst prunedFieldChangeset = handler.rebaser.prune(fieldChange.change, (nodeId) =>\n\t\t\tpruneNodeChange(nodeId, nodeMap, fieldKinds),\n\t\t);\n\n\t\tif (!handler.isEmpty(prunedFieldChangeset)) {\n\t\t\tprunedChangeset.set(field, { ...fieldChange, change: brand(prunedFieldChangeset) });\n\t\t}\n\t}\n\n\treturn prunedChangeset.size > 0 ? prunedChangeset : undefined;\n}\n\nfunction pruneNodeChange(\n\tnodeId: NodeId,\n\tnodeMap: ChangeAtomIdBTree<NodeChangeset>,\n\tfieldKinds: ReadonlyMap<FieldKindIdentifier, FlexFieldKind>,\n): NodeId | undefined {\n\tconst changeset = nodeChangeFromId(nodeMap, nodeId);\n\tconst prunedFields =\n\t\tchangeset.fieldChanges === undefined\n\t\t\t? undefined\n\t\t\t: pruneFieldMap(changeset.fieldChanges, nodeMap, fieldKinds);\n\n\tconst prunedChange = { ...changeset, fieldChanges: prunedFields };\n\tif (prunedChange.fieldChanges === undefined) {\n\t\tdelete prunedChange.fieldChanges;\n\t}\n\n\tif (isEmptyNodeChangeset(prunedChange)) {\n\t\tnodeMap.delete([nodeId.revision, nodeId.localId]);\n\t\treturn undefined;\n\t} else {\n\t\tsetInChangeAtomIdMap(nodeMap, nodeId, prunedChange);\n\t\treturn nodeId;\n\t}\n}\n\nfunction isEmptyNodeChangeset(change: NodeChangeset): boolean {\n\treturn (\n\t\tchange.fieldChanges === undefined &&\n\t\tchange.nodeExistsConstraint === undefined &&\n\t\tchange.nodeExistsConstraintOnRevert === undefined\n\t);\n}\n"]}

package/dist/feature-libraries/optional-field/optionalField.js

@@ -564,7 +564,7 @@ function filterEdits(change, options) {
             const attachId = filtered.valueReplace.src;
             const attachResult = attachId === undefined ? undefined : options.filterAttach(attachId, 1).value;
             if (detachResult === index_js_3.EditFilterStatus.Remove) {
-                (0, internal_1.assert)(attachId === undefined || attachResult === index_js_3.EditFilterStatus.Remove, "Cannot remove detach without also removing attach");
+                (0, internal_1.assert)(attachId === undefined || attachResult === index_js_3.EditFilterStatus.Remove, 0xd0e /* Cannot remove detach without also removing attach */);
                 delete filtered.valueReplace;
             }
             else if (attachResult === index_js_3.EditFilterStatus.Remove) {