@fluidframework/tree 2.0.0-dev-rc.1.0.0.224419

package/lib/shared-tree/treeCheckout.js

@@ -0,0 +1,184 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { assert } from "@fluidframework/core-utils";
+import { AnchorSet, TreeStoredSchemaRepository, assertIsRevisionTag, combineVisitors, visitDelta, makeDetachedFieldIndex, tagChange, } from "../core";
+import { createEmitter } from "../events";
+import { buildForest, intoDelta, jsonableTreeFromCursor } from "../feature-libraries";
+import { SharedTreeBranch, getChangeReplaceType } from "../shared-tree-core";
+import { TransactionResult, fail } from "../util";
+import { noopValidator } from "../codec";
+import { SharedTreeChangeFamily } from "./sharedTreeChangeFamily";
+/**
+ * Creates a {@link TreeCheckout}.
+ * @param args - an object containing optional components that will be used to build the view.
+ * Any components not provided will be created by default.
+ * @remarks This does not create a {@link SharedTree}, but rather a view with the minimal state
+ * and functionality required to implement {@link ITreeCheckout}.
+ */
+export function createTreeCheckout(args) {
+    const forest = args?.forest ?? buildForest();
+    const changeFamily = args?.changeFamily ?? new SharedTreeChangeFamily({ jsonValidator: noopValidator });
+    const branch = args?.branch ??
+        new SharedTreeBranch({
+            change: changeFamily.rebaser.compose([]),
+            revision: assertIsRevisionTag("00000000-0000-4000-8000-000000000000"),
+        }, changeFamily);
+    const schema = args?.schema ?? new TreeStoredSchemaRepository();
+    const events = args?.events ?? createEmitter();
+    const transaction = new Transaction(branch);
+    return new TreeCheckout(transaction, branch, changeFamily, schema, forest, events, args?.removedRoots);
+}
+class Transaction {
+    constructor(branch) {
+        this.branch = branch;
+    }
+    start() {
+        this.branch.startTransaction();
+        this.branch.editor.enterTransaction();
+    }
+    commit() {
+        this.branch.commitTransaction();
+        this.branch.editor.exitTransaction();
+        return TransactionResult.Commit;
+    }
+    abort() {
+        this.branch.abortTransaction();
+        this.branch.editor.exitTransaction();
+        return TransactionResult.Abort;
+    }
+    inProgress() {
+        return this.branch.isTransacting();
+    }
+}
+/**
+ * An implementation of {@link ITreeCheckoutFork}.
+ */
+export class TreeCheckout {
+    constructor(transaction, branch, changeFamily, storedSchema, forest, events, removedRoots = makeDetachedFieldIndex("repair")) {
+        this.transaction = transaction;
+        this.branch = branch;
+        this.changeFamily = changeFamily;
+        this.storedSchema = storedSchema;
+        this.forest = forest;
+        this.events = events;
+        this.removedRoots = removedRoots;
+        // We subscribe to `beforeChange` rather than `afterChange` here because it's possible that the change is invalid WRT our forest.
+        // For example, a bug in the editor might produce a malformed change object and thus applying the change to the forest will throw an error.
+        // In such a case we will crash here, preventing the change from being added to the commit graph, and preventing `afterChange` from firing.
+        // One important consequence of this is that we will not submit the op containing the invalid change, since op submissions happens in response to `afterChange`.
+        branch.on("beforeChange", (event) => {
+            if (event.change !== undefined) {
+                // Conflicts due to schema will be empty and thus are not applied.
+                for (const change of event.change.change.changes) {
+                    if (change.type === "data") {
+                        const delta = intoDelta(tagChange(change.innerChange, event.change.revision));
+                        const anchorVisitor = this.forest.anchors.acquireVisitor();
+                        const combinedVisitor = combineVisitors([this.forest.acquireVisitor(), anchorVisitor], [anchorVisitor]);
+                        visitDelta(delta, combinedVisitor, this.removedRoots);
+                        combinedVisitor.free();
+                    }
+                    else if (change.type === "schema") {
+                        if (change.innerChange.schema !== undefined) {
+                            storedSchema.apply(change.innerChange.schema.new);
+                        }
+                    }
+                    else {
+                        fail("Unknown Shared Tree change type.");
+                    }
+                }
+                this.events.emit("afterBatch");
+            }
+            if (event.type === "replace" && getChangeReplaceType(event) === "transactionCommit") {
+                const transactionRevision = event.newCommits[0].revision;
+                for (const transactionStep of event.removedCommits) {
+                    this.removedRoots.updateMajor(transactionStep.revision, transactionRevision);
+                }
+            }
+        });
+        branch.on("revertible", (revertible) => {
+            // if there are no listeners, discard the revertible to avoid memory leaks
+            if (!this.events.hasListeners("revertible")) {
+                revertible.discard();
+            }
+            else {
+                this.events.emit("revertible", revertible);
+            }
+        });
+    }
+    get rootEvents() {
+        return this.forest.anchors;
+    }
+    get editor() {
+        return this.branch.editor;
+    }
+    locate(anchor) {
+        return this.forest.anchors.locate(anchor);
+    }
+    fork() {
+        const anchors = new AnchorSet();
+        const branch = this.branch.fork();
+        const storedSchema = this.storedSchema.clone();
+        const forest = this.forest.clone(storedSchema, anchors);
+        const transaction = new Transaction(branch);
+        return new TreeCheckout(transaction, branch, this.changeFamily, storedSchema, forest, createEmitter(), this.removedRoots.clone());
+    }
+    rebase(view) {
+        view.branch.rebaseOnto(this.branch);
+    }
+    rebaseOnto(view) {
+        view.rebase(this);
+    }
+    merge(view, disposeView = true) {
+        assert(!this.transaction.inProgress() || disposeView, 0x710 /* A view that is merged into an in-progress transaction must be disposed */);
+        while (view.transaction.inProgress()) {
+            view.transaction.commit();
+        }
+        this.branch.merge(view.branch);
+        if (disposeView) {
+            view.dispose();
+        }
+    }
+    updateSchema(newSchema) {
+        this.editor.schema.setStoredSchema(this.storedSchema.clone(), newSchema);
+    }
+    /**
+     * Dispose this view, freezing its state and allowing the SharedTree to release resources required by it.
+     * Attempts to further mutate or dispose this view will error.
+     */
+    dispose() {
+        this.branch.dispose();
+    }
+    getRemovedRoots() {
+        const trees = [];
+        const cursor = this.forest.allocateCursor();
+        for (const { id, root } of this.removedRoots.entries()) {
+            const parentField = this.removedRoots.toFieldKey(root);
+            this.forest.moveCursorToPath({ parent: undefined, parentField, parentIndex: 0 }, cursor);
+            const tree = jsonableTreeFromCursor(cursor);
+            if (tree !== undefined) {
+                trees.push([id.major, id.minor, tree]);
+            }
+        }
+        cursor.free();
+        return trees;
+    }
+}
+/**
+ * Run a synchronous transaction on the given shared tree view.
+ * This is a convenience helper around the {@link SharedTreeFork#transaction} APIs.
+ * @param view - the view on which to run the transaction
+ * @param transaction - the transaction function. This will be executed immediately. It is passed `view` as an argument for convenience.
+ * If this function returns an `Abort` result then the transaction will be aborted. Otherwise, it will be committed.
+ * @returns whether or not the transaction was committed or aborted
+ * @internal
+ */
+export function runSynchronous(view, transaction) {
+    view.transaction.start();
+    const result = transaction(view);
+    return result === TransactionResult.Abort
+        ? view.transaction.abort()
+        : view.transaction.commit();
+}
+//# sourceMappingURL=treeCheckout.js.map

package/lib/shared-tree/treeCheckout.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"treeCheckout.js","sourceRoot":"","sources":["../../src/shared-tree/treeCheckout.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACpD,OAAO,EAMN,SAAS,EAET,0BAA0B,EAC1B,mBAAmB,EACnB,eAAe,EACf,UAAU,EAEV,sBAAsB,EAGtB,SAAS,GAIT,MAAM,SAAS,CAAC;AACjB,OAAO,EAAyC,aAAa,EAAE,MAAM,WAAW,CAAC;AACjF,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AACtF,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AA+HlE;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,IASlC;IACA,MAAM,MAAM,GAAG,IAAI,EAAE,MAAM,IAAI,WAAW,EAAE,CAAC;IAC7C,MAAM,YAAY,GACjB,IAAI,EAAE,YAAY,IAAI,IAAI,sBAAsB,CAAC,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,CAAC;IACpF,MAAM,MAAM,GACX,IAAI,EAAE,MAAM;QACZ,IAAI,gBAAgB,CACnB;YACC,MAAM,EAAE,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACxC,QAAQ,EAAE,mBAAmB,CAAC,sCAAsC,CAAC;SACrE,EACD,YAAY,CACZ,CAAC;IACH,MAAM,MAAM,GAAG,IAAI,EAAE,MAAM,IAAI,IAAI,0BAA0B,EAAE,CAAC;IAChE,MAAM,MAAM,GAAG,IAAI,EAAE,MAAM,IAAI,aAAa,EAAE,CAAC;IAE/C,MAAM,WAAW,GAAG,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC;IAE5C,OAAO,IAAI,YAAY,CACtB,WAAW,EACX,MAAM,EACN,YAAY,EACZ,MAAM,EACN,MAAM,EACN,MAAM,EACN,IAAI,EAAE,YAAY,CAClB,CAAC;AACH,CAAC;AA+CD,MAAM,WAAW;IAChB,YACkB,MAAiE;QAAjE,WAAM,GAAN,MAAM,CAA2D;IAChF,CAAC;IAEG,KAAK;QACX,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;IACvC,CAAC;IACM,MAAM;QACZ,IAAI,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC;QACrC,OAAO,iBAAiB,CAAC,MAAM,CAAC;IACjC,CAAC;IACM,KAAK;QACX,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC/B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC;QACrC,OAAO,iBAAiB,CAAC,KAAK,CAAC;IAChC,CAAC;IACM,UAAU;QAChB,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;IACpC,CAAC;CACD;AAgBD;;GAEG;AACH,MAAM,OAAO,YAAY;IACxB,YACiB,WAAyB,EACxB,MAAiE,EACjE,YAAmE,EACpE,YAAwC,EACxC,MAAuB,EACvB,MAEa,EACZ,eAAmC,sBAAsB,CAAC,QAAQ,CAAC;QARpE,gBAAW,GAAX,WAAW,CAAc;QACxB,WAAM,GAAN,MAAM,CAA2D;QACjE,iBAAY,GAAZ,YAAY,CAAuD;QACpE,iBAAY,GAAZ,YAAY,CAA4B;QACxC,WAAM,GAAN,MAAM,CAAiB;QACvB,WAAM,GAAN,MAAM,CAEO;QACZ,iBAAY,GAAZ,YAAY,CAAuD;QAEpF,iIAAiI;QACjI,2IAA2I;QAC3I,2IAA2I;QAC3I,gKAAgK;QAChK,MAAM,CAAC,EAAE,CAAC,cAAc,EAAE,CAAC,KAAK,EAAE,EAAE;YACnC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE;gBAC/B,kEAAkE;gBAClE,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE;oBACjD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE;wBAC3B,MAAM,KAAK,GAAG,SAAS,CACtB,SAAS,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CACpD,CAAC;wBACF,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;wBAC3D,MAAM,eAAe,GAAG,eAAe,CACtC,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,EAAE,aAAa,CAAC,EAC7C,CAAC,aAAa,CAAC,CACf,CAAC;wBACF,UAAU,CAAC,KAAK,EAAE,eAAe,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;wBACtD,eAAe,CAAC,IAAI,EAAE,CAAC;qBACvB;yBAAM,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE;wBACpC,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,KAAK,SAAS,EAAE;4BAC5C,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;yBAClD;qBACD;yBAAM;wBACN,IAAI,CAAC,kCAAkC,CAAC,CAAC;qBACzC;iBACD;gBACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;aAC/B;YACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,oBAAoB,CAAC,KAAK,CAAC,KAAK,mBAAmB,EAAE;gBACpF,MAAM,mBAAmB,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;gBACzD,KAAK,MAAM,eAAe,IAAI,KAAK,CAAC,cAAc,EAAE;oBACnD,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,eAAe,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;iBAC7E;aACD;QACF,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,EAAE,CAAC,YAAY,EAAE,CAAC,UAAU,EAAE,EAAE;YACtC,0EAA0E;YAC1E,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,YAAY,CAAC,EAAE;gBAC5C,UAAU,CAAC,OAAO,EAAE,CAAC;aACrB;iBAAM;gBACN,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;aAC3C;QACF,CAAC,CAAC,CAAC;IACJ,CAAC;IAED,IAAW,UAAU;QACpB,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;IAC5B,CAAC;IAED,IAAW,MAAM;QAChB,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3B,CAAC;IAEM,MAAM,CAAC,MAAc;QAC3B,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC;IAEM,IAAI;QACV,MAAM,OAAO,GAAG,IAAI,SAAS,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAClC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QACxD,MAAM,WAAW,GAAG,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC;QAC5C,OAAO,IAAI,YAAY,CACtB,WAAW,EACX,MAAM,EACN,IAAI,CAAC,YAAY,EACjB,YAAY,EACZ,MAAM,EACN,aAAa,EAAE,EACf,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CACzB,CAAC;IACH,CAAC;IAEM,MAAM,CAAC,IAAkB;QAC/B,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrC,CAAC;IAEM,UAAU,CAAC,IAAmB;QACpC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IAIM,KAAK,CAAC,IAAkB,EAAE,WAAW,GAAG,IAAI;QAClD,MAAM,CACL,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,IAAI,WAAW,EAC7C,KAAK,CAAC,4EAA4E,CAClF,CAAC;QACF,OAAO,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,EAAE;YACrC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;SAC1B;QACD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,WAAW,EAAE;YAChB,IAAI,CAAC,OAAO,EAAE,CAAC;SACf;IACF,CAAC;IAEM,YAAY,CAAC,SAA2B;QAC9C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,SAAS,CAAC,CAAC;IAC1E,CAAC;IAED;;;OAGG;IACI,OAAO;QACb,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;IACvB,CAAC;IAEM,eAAe;QACrB,MAAM,KAAK,GAA0D,EAAE,CAAC;QACxE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;QAC5C,KAAK,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE;YACvD,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACvD,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAC3B,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,EAAE,EAClD,MAAM,CACN,CAAC;YACF,MAAM,IAAI,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,IAAI,KAAK,SAAS,EAAE;gBACvB,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;aACvC;SACD;QACD,MAAM,CAAC,IAAI,EAAE,CAAC;QACd,OAAO,KAAK,CAAC;IACd,CAAC;CACD;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAC7B,IAAmB,EACnB,WAA8D;IAE9D,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;IACzB,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,MAAM,KAAK,iBAAiB,CAAC,KAAK;QACxC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE;QAC1B,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;AAC9B,CAAC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\nimport { assert } from \"@fluidframework/core-utils\";\nimport {\n\tAnchorLocator,\n\tIForestSubscription,\n\tAnchorSetRootEvents,\n\tAnchor,\n\tAnchorNode,\n\tAnchorSet,\n\tIEditableForest,\n\tTreeStoredSchemaRepository,\n\tassertIsRevisionTag,\n\tcombineVisitors,\n\tvisitDelta,\n\tDetachedFieldIndex,\n\tmakeDetachedFieldIndex,\n\tRevertible,\n\tChangeFamily,\n\ttagChange,\n\tTreeStoredSchema,\n\tTreeStoredSchemaSubscription,\n\tJsonableTree,\n} from \"../core\";\nimport { HasListeners, IEmitter, ISubscribable, createEmitter } from \"../events\";\nimport { buildForest, intoDelta, jsonableTreeFromCursor } from \"../feature-libraries\";\nimport { SharedTreeBranch, getChangeReplaceType } from \"../shared-tree-core\";\nimport { TransactionResult, fail } from \"../util\";\nimport { noopValidator } from \"../codec\";\nimport { SharedTreeChange } from \"./sharedTreeChangeTypes\";\nimport { SharedTreeChangeFamily } from \"./sharedTreeChangeFamily\";\nimport { ISharedTreeEditor, SharedTreeEditBuilder } from \"./sharedTreeEditBuilder\";\n\n/**\n * Events for {@link ITreeCheckout}.\n * @beta\n */\nexport interface CheckoutEvents {\n\t/**\n\t * A batch of changes has finished processing and the view is in a consistent state.\n\t * It is once again safe to access the EditableTree, Forest and AnchorSet.\n\t *\n\t * @remarks\n\t * This is mainly useful for knowing when to do followup work scheduled during events from Anchors.\n\t */\n\tafterBatch(): void;\n\n\t/**\n\t * A revertible change has been made to this view.\n\t * Applications which subscribe to this event are expected to revert or discard revertibles they acquire, if they so choose (failure to do so will leak memory).\n\t * The provided revertible is inherently bound to the view that raised the event, calling `revert` won't apply to forked views.\n\t *\n\t * @remarks\n\t * This event provides a {@link Revertible} object that can be used to revert the change.\n\t */\n\trevertible(revertible: Revertible): void;\n}\n\n/**\n * Provides a means for interacting with a SharedTree.\n * This includes reading data from the tree and running transactions to mutate the tree.\n * @remarks This interface should not have any implementations other than those provided by the SharedTree package libraries.\n * @privateRemarks\n * API for interacting with a {@link SharedTreeBranch}.\n * Implementations of this interface must implement the {@link branchKey} property.\n * @internal\n */\nexport interface ITreeCheckout extends AnchorLocator {\n\t/**\n\t * Read and Write access for schema stored in the document.\n\t *\n\t * These APIs are temporary and will be replaced with different abstractions (View Schema based) in a different place later.\n\t *\n\t * TODO:\n\t * Editing of this should be moved into transactions with the rest of tree editing to they can be intermixed.\n\t * This will be done after the relations between views, branches and Indexes are figured out.\n\t *\n\t * TODO:\n\t * Public APIs for dealing with schema should be in terms of View Schema, and schema update policies.\n\t * The actual stored schema should be hidden (or ar least not be the most prominent way to interact with schema).\n\t *\n\t * TODO:\n\t * Something should ensure the document contents are always in schema.\n\t */\n\treadonly storedSchema: TreeStoredSchemaSubscription;\n\t/**\n\t * Current contents.\n\t * Updated by edits (local and remote).\n\t * Use `editor` to create a local edit.\n\t */\n\treadonly forest: IForestSubscription;\n\n\t/**\n\t * Used to edit the state of the tree. Edits will be immediately applied locally to the tree.\n\t * If there is no transaction currently ongoing, then the edits will be submitted to Fluid immediately as well.\n\t */\n\treadonly editor: ISharedTreeEditor;\n\n\t/**\n\t * A collection of functions for managing transactions.\n\t */\n\treadonly transaction: ITransaction;\n\n\t/**\n\t * Spawn a new view which is based off of the current state of this view.\n\t * Any mutations of the new view will not apply to this view until the new view is merged back into this view via `merge()`.\n\t */\n\tfork(): ITreeCheckoutFork;\n\n\t/**\n\t * Apply all the new changes on the given view to this view.\n\t * @param view - a view which was created by a call to `fork()`.\n\t * It is automatically disposed after the merge completes.\n\t * @remarks All ongoing transactions (if any) in `view` will be committed before the merge.\n\t */\n\tmerge(view: ITreeCheckoutFork): void;\n\n\t/**\n\t * Apply all the new changes on the given view to this view.\n\t * @param view - a view which was created by a call to `fork()`.\n\t * @param disposeView - whether or not to dispose `view` after the merge completes.\n\t * @remarks All ongoing transactions (if any) in `view` will be committed before the merge.\n\t */\n\tmerge(view: ITreeCheckoutFork, disposeView: boolean): void;\n\n\t/**\n\t * Rebase the given view onto this view.\n\t * @param view - a view which was created by a call to `fork()`. It is modified by this operation.\n\t */\n\trebase(view: ITreeCheckoutFork): void;\n\n\t/**\n\t * Replaces all schema with the provided schema.\n\t * Can over-write preexisting schema, and removes unmentioned schema.\n\t */\n\tupdateSchema(newSchema: TreeStoredSchema): void;\n\n\t/**\n\t * Events about this view.\n\t */\n\treadonly events: ISubscribable<CheckoutEvents>;\n\n\t/**\n\t * Events about the root of the tree in this view.\n\t */\n\treadonly rootEvents: ISubscribable<AnchorSetRootEvents>;\n\n\t/**\n\t * Returns a JsonableTree for each tree that was removed from (and not restored to) the document.\n\t * This list is guaranteed to contain all nodes that are recoverable through undo/redo on this checkout.\n\t * The list may also contain additional nodes.\n\t *\n\t * This is only intended for use in testing and exceptional code paths: it is not performant.\n\t */\n\tgetRemovedRoots(): [string | number | undefined, number, JsonableTree][];\n}\n\n/**\n * Creates a {@link TreeCheckout}.\n * @param args - an object containing optional components that will be used to build the view.\n * Any components not provided will be created by default.\n * @remarks This does not create a {@link SharedTree}, but rather a view with the minimal state\n * and functionality required to implement {@link ITreeCheckout}.\n */\nexport function createTreeCheckout(args?: {\n\tbranch?: SharedTreeBranch<SharedTreeEditBuilder, SharedTreeChange>;\n\tchangeFamily?: ChangeFamily<SharedTreeEditBuilder, SharedTreeChange>;\n\tschema?: TreeStoredSchemaRepository;\n\tforest?: IEditableForest;\n\tevents?: ISubscribable<CheckoutEvents> &\n\t\tIEmitter<CheckoutEvents> &\n\t\tHasListeners<CheckoutEvents>;\n\tremovedRoots?: DetachedFieldIndex;\n}): TreeCheckout {\n\tconst forest = args?.forest ?? buildForest();\n\tconst changeFamily =\n\t\targs?.changeFamily ?? new SharedTreeChangeFamily({ jsonValidator: noopValidator });\n\tconst branch =\n\t\targs?.branch ??\n\t\tnew SharedTreeBranch(\n\t\t\t{\n\t\t\t\tchange: changeFamily.rebaser.compose([]),\n\t\t\t\trevision: assertIsRevisionTag(\"00000000-0000-4000-8000-000000000000\"),\n\t\t\t},\n\t\t\tchangeFamily,\n\t\t);\n\tconst schema = args?.schema ?? new TreeStoredSchemaRepository();\n\tconst events = args?.events ?? createEmitter();\n\n\tconst transaction = new Transaction(branch);\n\n\treturn new TreeCheckout(\n\t\ttransaction,\n\t\tbranch,\n\t\tchangeFamily,\n\t\tschema,\n\t\tforest,\n\t\tevents,\n\t\targs?.removedRoots,\n\t);\n}\n\n/**\n * A collection of functions for managing transactions.\n * Transactions allow edits to be batched into atomic units.\n * Edits made during a transaction will update the local state of the tree immediately, but will be squashed into a single edit when the transaction is committed.\n * If the transaction is aborted, the local state will be reset to what it was before the transaction began.\n * Transactions may nest, meaning that a transaction may be started while a transaction is already ongoing.\n *\n * To avoid updating observers of the view state with intermediate results during a transaction,\n * use {@link ITreeCheckout#fork} and {@link ISharedTreeFork#merge}.\n * @internal\n */\nexport interface ITransaction {\n\t/**\n\t * Start a new transaction.\n\t * If a transaction is already in progress when this new transaction starts, then this transaction will be \"nested\" inside of it,\n\t * i.e. the outer transaction will still be in progress after this new transaction is committed or aborted.\n\t *\n\t * @remarks - Asynchronous transactions are not supported on the root checkout,\n\t * since it is always kept up-to-date with the latest remote edits and the results of this rebasing (which might invalidate\n\t * the transaction) is not visible to the application author.\n\t * Instead,\n\t *\n\t * 1. fork the root checkout\n\t * 2. run the transaction on the fork\n\t * 3. merge the fork back into the root checkout\n\t *\n\t * @privateRemarks - There is currently no enforcement that asynchronous transactions don't happen on the root checkout.\n\t * AB#6488 tracks adding some enforcement to make it more clear to application authors that this is not supported.\n\t */\n\tstart(): void;\n\t/**\n\t * Close this transaction by squashing its edits and committing them as a single edit.\n\t * If this is the root checkout and there are no ongoing transactions remaining, the squashed edit will be submitted to Fluid.\n\t */\n\tcommit(): TransactionResult.Commit;\n\t/**\n\t * Close this transaction and revert the state of the tree to what it was before this transaction began.\n\t */\n\tabort(): TransactionResult.Abort;\n\t/**\n\t * True if there is at least one transaction currently in progress on this view, otherwise false.\n\t */\n\tinProgress(): boolean;\n}\n\nclass Transaction implements ITransaction {\n\tpublic constructor(\n\t\tprivate readonly branch: SharedTreeBranch<SharedTreeEditBuilder, SharedTreeChange>,\n\t) {}\n\n\tpublic start(): void {\n\t\tthis.branch.startTransaction();\n\t\tthis.branch.editor.enterTransaction();\n\t}\n\tpublic commit(): TransactionResult.Commit {\n\t\tthis.branch.commitTransaction();\n\t\tthis.branch.editor.exitTransaction();\n\t\treturn TransactionResult.Commit;\n\t}\n\tpublic abort(): TransactionResult.Abort {\n\t\tthis.branch.abortTransaction();\n\t\tthis.branch.editor.exitTransaction();\n\t\treturn TransactionResult.Abort;\n\t}\n\tpublic inProgress(): boolean {\n\t\treturn this.branch.isTransacting();\n\t}\n}\n\n/**\n * Branch (like in a version control system) of SharedTree.\n *\n * {@link ITreeCheckout} that has forked off of the main trunk/branch.\n * @internal\n */\nexport interface ITreeCheckoutFork extends ITreeCheckout {\n\t/**\n\t * Rebase the changes that have been applied to this view over all the new changes in the given view.\n\t * @param view - Either the root view or a view that was created by a call to `fork()`. It is not modified by this operation.\n\t */\n\trebaseOnto(view: ITreeCheckout): void;\n}\n\n/**\n * An implementation of {@link ITreeCheckoutFork}.\n */\nexport class TreeCheckout implements ITreeCheckoutFork {\n\tpublic constructor(\n\t\tpublic readonly transaction: ITransaction,\n\t\tprivate readonly branch: SharedTreeBranch<SharedTreeEditBuilder, SharedTreeChange>,\n\t\tprivate readonly changeFamily: ChangeFamily<SharedTreeEditBuilder, SharedTreeChange>,\n\t\tpublic readonly storedSchema: TreeStoredSchemaRepository,\n\t\tpublic readonly forest: IEditableForest,\n\t\tpublic readonly events: ISubscribable<CheckoutEvents> &\n\t\t\tIEmitter<CheckoutEvents> &\n\t\t\tHasListeners<CheckoutEvents>,\n\t\tprivate readonly removedRoots: DetachedFieldIndex = makeDetachedFieldIndex(\"repair\"),\n\t) {\n\t\t// We subscribe to `beforeChange` rather than `afterChange` here because it's possible that the change is invalid WRT our forest.\n\t\t// For example, a bug in the editor might produce a malformed change object and thus applying the change to the forest will throw an error.\n\t\t// In such a case we will crash here, preventing the change from being added to the commit graph, and preventing `afterChange` from firing.\n\t\t// One important consequence of this is that we will not submit the op containing the invalid change, since op submissions happens in response to `afterChange`.\n\t\tbranch.on(\"beforeChange\", (event) => {\n\t\t\tif (event.change !== undefined) {\n\t\t\t\t// Conflicts due to schema will be empty and thus are not applied.\n\t\t\t\tfor (const change of event.change.change.changes) {\n\t\t\t\t\tif (change.type === \"data\") {\n\t\t\t\t\t\tconst delta = intoDelta(\n\t\t\t\t\t\t\ttagChange(change.innerChange, event.change.revision),\n\t\t\t\t\t\t);\n\t\t\t\t\t\tconst anchorVisitor = this.forest.anchors.acquireVisitor();\n\t\t\t\t\t\tconst combinedVisitor = combineVisitors(\n\t\t\t\t\t\t\t[this.forest.acquireVisitor(), anchorVisitor],\n\t\t\t\t\t\t\t[anchorVisitor],\n\t\t\t\t\t\t);\n\t\t\t\t\t\tvisitDelta(delta, combinedVisitor, this.removedRoots);\n\t\t\t\t\t\tcombinedVisitor.free();\n\t\t\t\t\t} else if (change.type === \"schema\") {\n\t\t\t\t\t\tif (change.innerChange.schema !== undefined) {\n\t\t\t\t\t\t\tstoredSchema.apply(change.innerChange.schema.new);\n\t\t\t\t\t\t}\n\t\t\t\t\t} else {\n\t\t\t\t\t\tfail(\"Unknown Shared Tree change type.\");\n\t\t\t\t\t}\n\t\t\t\t}\n\t\t\t\tthis.events.emit(\"afterBatch\");\n\t\t\t}\n\t\t\tif (event.type === \"replace\" && getChangeReplaceType(event) === \"transactionCommit\") {\n\t\t\t\tconst transactionRevision = event.newCommits[0].revision;\n\t\t\t\tfor (const transactionStep of event.removedCommits) {\n\t\t\t\t\tthis.removedRoots.updateMajor(transactionStep.revision, transactionRevision);\n\t\t\t\t}\n\t\t\t}\n\t\t});\n\t\tbranch.on(\"revertible\", (revertible) => {\n\t\t\t// if there are no listeners, discard the revertible to avoid memory leaks\n\t\t\tif (!this.events.hasListeners(\"revertible\")) {\n\t\t\t\trevertible.discard();\n\t\t\t} else {\n\t\t\t\tthis.events.emit(\"revertible\", revertible);\n\t\t\t}\n\t\t});\n\t}\n\n\tpublic get rootEvents(): ISubscribable<AnchorSetRootEvents> {\n\t\treturn this.forest.anchors;\n\t}\n\n\tpublic get editor(): ISharedTreeEditor {\n\t\treturn this.branch.editor;\n\t}\n\n\tpublic locate(anchor: Anchor): AnchorNode | undefined {\n\t\treturn this.forest.anchors.locate(anchor);\n\t}\n\n\tpublic fork(): TreeCheckout {\n\t\tconst anchors = new AnchorSet();\n\t\tconst branch = this.branch.fork();\n\t\tconst storedSchema = this.storedSchema.clone();\n\t\tconst forest = this.forest.clone(storedSchema, anchors);\n\t\tconst transaction = new Transaction(branch);\n\t\treturn new TreeCheckout(\n\t\t\ttransaction,\n\t\t\tbranch,\n\t\t\tthis.changeFamily,\n\t\t\tstoredSchema,\n\t\t\tforest,\n\t\t\tcreateEmitter(),\n\t\t\tthis.removedRoots.clone(),\n\t\t);\n\t}\n\n\tpublic rebase(view: TreeCheckout): void {\n\t\tview.branch.rebaseOnto(this.branch);\n\t}\n\n\tpublic rebaseOnto(view: ITreeCheckout): void {\n\t\tview.rebase(this);\n\t}\n\n\tpublic merge(view: TreeCheckout): void;\n\tpublic merge(view: TreeCheckout, disposeView: boolean): void;\n\tpublic merge(view: TreeCheckout, disposeView = true): void {\n\t\tassert(\n\t\t\t!this.transaction.inProgress() || disposeView,\n\t\t\t0x710 /* A view that is merged into an in-progress transaction must be disposed */,\n\t\t);\n\t\twhile (view.transaction.inProgress()) {\n\t\t\tview.transaction.commit();\n\t\t}\n\t\tthis.branch.merge(view.branch);\n\t\tif (disposeView) {\n\t\t\tview.dispose();\n\t\t}\n\t}\n\n\tpublic updateSchema(newSchema: TreeStoredSchema): void {\n\t\tthis.editor.schema.setStoredSchema(this.storedSchema.clone(), newSchema);\n\t}\n\n\t/**\n\t * Dispose this view, freezing its state and allowing the SharedTree to release resources required by it.\n\t * Attempts to further mutate or dispose this view will error.\n\t */\n\tpublic dispose(): void {\n\t\tthis.branch.dispose();\n\t}\n\n\tpublic getRemovedRoots(): [string | number | undefined, number, JsonableTree][] {\n\t\tconst trees: [string | number | undefined, number, JsonableTree][] = [];\n\t\tconst cursor = this.forest.allocateCursor();\n\t\tfor (const { id, root } of this.removedRoots.entries()) {\n\t\t\tconst parentField = this.removedRoots.toFieldKey(root);\n\t\t\tthis.forest.moveCursorToPath(\n\t\t\t\t{ parent: undefined, parentField, parentIndex: 0 },\n\t\t\t\tcursor,\n\t\t\t);\n\t\t\tconst tree = jsonableTreeFromCursor(cursor);\n\t\t\tif (tree !== undefined) {\n\t\t\t\ttrees.push([id.major, id.minor, tree]);\n\t\t\t}\n\t\t}\n\t\tcursor.free();\n\t\treturn trees;\n\t}\n}\n\n/**\n * Run a synchronous transaction on the given shared tree view.\n * This is a convenience helper around the {@link SharedTreeFork#transaction} APIs.\n * @param view - the view on which to run the transaction\n * @param transaction - the transaction function. This will be executed immediately. It is passed `view` as an argument for convenience.\n * If this function returns an `Abort` result then the transaction will be aborted. Otherwise, it will be committed.\n * @returns whether or not the transaction was committed or aborted\n * @internal\n */\nexport function runSynchronous(\n\tview: ITreeCheckout,\n\ttransaction: (view: ITreeCheckout) => TransactionResult | void,\n): TransactionResult {\n\tview.transaction.start();\n\tconst result = transaction(view);\n\treturn result === TransactionResult.Abort\n\t\t? view.transaction.abort()\n\t\t: view.transaction.commit();\n}\n"]}

package/lib/shared-tree/treeView.d.ts

@@ -0,0 +1,66 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { FieldKey } from "../core";
+import { TreeFieldSchema, FlexTreeSchema, FlexTreeTypedField, FlexTreeContext, NodeKeyManager, Context } from "../feature-libraries";
+import { IDisposable, disposeSymbol } from "../util";
+import { ITreeCheckoutFork, ITreeCheckout } from "./treeCheckout";
+/**
+ * An editable view of a (version control style) branch of a shared tree.
+ * @privateRemarks
+ * TODO:
+ * 1. Once ISharedTreeView is renamed this can become ISharedTreeView.
+ * 2. This object should be combined with or accessible from the TreeContext to allow easy access to thinks like branching.
+ * @internal
+ */
+export interface FlexTreeView<in out TRoot extends TreeFieldSchema> extends IDisposable {
+    /**
+     * Context for controlling the EditableTree nodes produced from {@link FlexTreeView.editableTree}.
+     *
+     * @remarks
+     * This is an owning reference: disposing of this view disposes its context.
+     */
+    readonly context: FlexTreeContext;
+    /**
+     * Access non-view schema specific aspects of of this branch.
+     *
+     * @remarks
+     * This is a non-owning reference: disposing of this view does not impact the branch.
+     */
+    readonly checkout: ITreeCheckout;
+    /**
+     * Get a typed view of the tree content using the editable-tree-2 API.
+     */
+    readonly editableTree: FlexTreeTypedField<TRoot>;
+    /**
+     * Spawn a new view which is based off of the current state of this view.
+     * Any mutations of the new view will not apply to this view until the new view is merged back into this view via `merge()`.
+     */
+    fork(): ITreeViewFork<TRoot>;
+}
+/**
+ * Branch (like in a version control system) of SharedTree.
+ *
+ * {@link FlexTreeView} that has forked off of the main trunk/branch.
+ * @internal
+ */
+export interface ITreeViewFork<in out TRoot extends TreeFieldSchema> extends FlexTreeView<TRoot> {
+    readonly checkout: ITreeCheckoutFork;
+}
+/**
+ * Implementation of FlexTreeView wrapping a ITreeCheckout.
+ */
+export declare class CheckoutFlexTreeView<in out TRoot extends TreeFieldSchema, out TCheckout extends ITreeCheckout = ITreeCheckout> implements FlexTreeView<TRoot> {
+    readonly checkout: TCheckout;
+    readonly schema: FlexTreeSchema<TRoot>;
+    readonly nodeKeyManager: NodeKeyManager;
+    readonly nodeKeyFieldKey: FieldKey;
+    private readonly onDispose?;
+    readonly context: Context;
+    readonly editableTree: FlexTreeTypedField<TRoot>;
+    constructor(checkout: TCheckout, schema: FlexTreeSchema<TRoot>, nodeKeyManager: NodeKeyManager, nodeKeyFieldKey: FieldKey, onDispose?: (() => void) | undefined);
+    [disposeSymbol](): void;
+    fork(): CheckoutFlexTreeView<TRoot, ITreeCheckoutFork>;
+}
+//# sourceMappingURL=treeView.d.ts.map

package/lib/shared-tree/treeView.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"treeView.d.ts","sourceRoot":"","sources":["../../src/shared-tree/treeView.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AACnC,OAAO,EACN,eAAe,EACf,cAAc,EACd,kBAAkB,EAClB,eAAe,EACf,cAAc,EAEd,OAAO,EACP,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAElE;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,SAAS,eAAe,CAAE,SAAQ,WAAW;IACtF;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAElC;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IAEjC;;OAEG;IACH,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAEjD;;;OAGG;IACH,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC;CAC7B;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,SAAS,eAAe,CAAE,SAAQ,YAAY,CAAC,KAAK,CAAC;IAC/F,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;CACrC;AAED;;GAEG;AACH,qBAAa,oBAAoB,CAChC,EAAE,CAAC,GAAG,CAAC,KAAK,SAAS,eAAe,EACpC,GAAG,CAAC,SAAS,SAAS,aAAa,GAAG,aAAa,CAClD,YAAW,YAAY,CAAC,KAAK,CAAC;aAKd,QAAQ,EAAE,SAAS;aACnB,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC;aAC7B,cAAc,EAAE,cAAc;aAC9B,eAAe,EAAE,QAAQ;IACzC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;IAP5B,SAAgB,OAAO,EAAE,OAAO,CAAC;IACjC,SAAgB,YAAY,EAAE,kBAAkB,CAAC,KAAK,CAAC,CAAC;gBAEvC,QAAQ,EAAE,SAAS,EACnB,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC,EAC7B,cAAc,EAAE,cAAc,EAC9B,eAAe,EAAE,QAAQ,EACxB,SAAS,CAAC,SAAQ,IAAI,aAAA;IAYjC,CAAC,aAAa,CAAC,IAAI,IAAI;IAKvB,IAAI,IAAI,oBAAoB,CAAC,KAAK,EAAE,iBAAiB,CAAC;CAS7D"}

package/lib/shared-tree/treeView.js

@@ -0,0 +1,29 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { getTreeContext, } from "../feature-libraries";
+import { disposeSymbol } from "../util";
+/**
+ * Implementation of FlexTreeView wrapping a ITreeCheckout.
+ */
+export class CheckoutFlexTreeView {
+    constructor(checkout, schema, nodeKeyManager, nodeKeyFieldKey, onDispose) {
+        this.checkout = checkout;
+        this.schema = schema;
+        this.nodeKeyManager = nodeKeyManager;
+        this.nodeKeyFieldKey = nodeKeyFieldKey;
+        this.onDispose = onDispose;
+        this.context = getTreeContext(schema, this.checkout.forest, this.checkout.editor, nodeKeyManager, nodeKeyFieldKey);
+        this.editableTree = this.context.root;
+    }
+    [disposeSymbol]() {
+        this.context[disposeSymbol]();
+        this.onDispose?.();
+    }
+    fork() {
+        const branch = this.checkout.fork();
+        return new CheckoutFlexTreeView(branch, this.schema, this.nodeKeyManager, this.nodeKeyFieldKey);
+    }
+}
+//# sourceMappingURL=treeView.js.map

package/lib/shared-tree/treeView.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"treeView.js","sourceRoot":"","sources":["../../src/shared-tree/treeView.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAMN,cAAc,GAEd,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAe,aAAa,EAAE,MAAM,SAAS,CAAC;AAkDrD;;GAEG;AACH,MAAM,OAAO,oBAAoB;IAOhC,YACiB,QAAmB,EACnB,MAA6B,EAC7B,cAA8B,EAC9B,eAAyB,EACxB,SAAsB;QAJvB,aAAQ,GAAR,QAAQ,CAAW;QACnB,WAAM,GAAN,MAAM,CAAuB;QAC7B,mBAAc,GAAd,cAAc,CAAgB;QAC9B,oBAAe,GAAf,eAAe,CAAU;QACxB,cAAS,GAAT,SAAS,CAAa;QAEvC,IAAI,CAAC,OAAO,GAAG,cAAc,CAC5B,MAAM,EACN,IAAI,CAAC,QAAQ,CAAC,MAAM,EACpB,IAAI,CAAC,QAAQ,CAAC,MAAM,EACpB,cAAc,EACd,eAAe,CACf,CAAC;QACF,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,IAAiC,CAAC;IACpE,CAAC;IAEM,CAAC,aAAa,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;IACpB,CAAC;IAEM,IAAI;QACV,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpC,OAAO,IAAI,oBAAoB,CAC9B,MAAM,EACN,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,cAAc,EACnB,IAAI,CAAC,eAAe,CACpB,CAAC;IACH,CAAC;CACD","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { FieldKey } from \"../core\";\nimport {\n\tTreeFieldSchema,\n\tFlexTreeSchema,\n\tFlexTreeTypedField,\n\tFlexTreeContext,\n\tNodeKeyManager,\n\tgetTreeContext,\n\tContext,\n} from \"../feature-libraries\";\nimport { IDisposable, disposeSymbol } from \"../util\";\nimport { ITreeCheckoutFork, ITreeCheckout } from \"./treeCheckout\";\n\n/**\n * An editable view of a (version control style) branch of a shared tree.\n * @privateRemarks\n * TODO:\n * 1. Once ISharedTreeView is renamed this can become ISharedTreeView.\n * 2. This object should be combined with or accessible from the TreeContext to allow easy access to thinks like branching.\n * @internal\n */\nexport interface FlexTreeView<in out TRoot extends TreeFieldSchema> extends IDisposable {\n\t/**\n\t * Context for controlling the EditableTree nodes produced from {@link FlexTreeView.editableTree}.\n\t *\n\t * @remarks\n\t * This is an owning reference: disposing of this view disposes its context.\n\t */\n\treadonly context: FlexTreeContext;\n\n\t/**\n\t * Access non-view schema specific aspects of of this branch.\n\t *\n\t * @remarks\n\t * This is a non-owning reference: disposing of this view does not impact the branch.\n\t */\n\treadonly checkout: ITreeCheckout;\n\n\t/**\n\t * Get a typed view of the tree content using the editable-tree-2 API.\n\t */\n\treadonly editableTree: FlexTreeTypedField<TRoot>;\n\n\t/**\n\t * Spawn a new view which is based off of the current state of this view.\n\t * Any mutations of the new view will not apply to this view until the new view is merged back into this view via `merge()`.\n\t */\n\tfork(): ITreeViewFork<TRoot>;\n}\n\n/**\n * Branch (like in a version control system) of SharedTree.\n *\n * {@link FlexTreeView} that has forked off of the main trunk/branch.\n * @internal\n */\nexport interface ITreeViewFork<in out TRoot extends TreeFieldSchema> extends FlexTreeView<TRoot> {\n\treadonly checkout: ITreeCheckoutFork;\n}\n\n/**\n * Implementation of FlexTreeView wrapping a ITreeCheckout.\n */\nexport class CheckoutFlexTreeView<\n\tin out TRoot extends TreeFieldSchema,\n\tout TCheckout extends ITreeCheckout = ITreeCheckout,\n> implements FlexTreeView<TRoot>\n{\n\tpublic readonly context: Context;\n\tpublic readonly editableTree: FlexTreeTypedField<TRoot>;\n\tpublic constructor(\n\t\tpublic readonly checkout: TCheckout,\n\t\tpublic readonly schema: FlexTreeSchema<TRoot>,\n\t\tpublic readonly nodeKeyManager: NodeKeyManager,\n\t\tpublic readonly nodeKeyFieldKey: FieldKey,\n\t\tprivate readonly onDispose?: () => void,\n\t) {\n\t\tthis.context = getTreeContext(\n\t\t\tschema,\n\t\t\tthis.checkout.forest,\n\t\t\tthis.checkout.editor,\n\t\t\tnodeKeyManager,\n\t\t\tnodeKeyFieldKey,\n\t\t);\n\t\tthis.editableTree = this.context.root as FlexTreeTypedField<TRoot>;\n\t}\n\n\tpublic [disposeSymbol](): void {\n\t\tthis.context[disposeSymbol]();\n\t\tthis.onDispose?.();\n\t}\n\n\tpublic fork(): CheckoutFlexTreeView<TRoot, ITreeCheckoutFork> {\n\t\tconst branch = this.checkout.fork();\n\t\treturn new CheckoutFlexTreeView(\n\t\t\tbranch,\n\t\t\tthis.schema,\n\t\t\tthis.nodeKeyManager,\n\t\t\tthis.nodeKeyFieldKey,\n\t\t);\n\t}\n}\n"]}

package/lib/shared-tree-core/branch.d.ts

@@ -0,0 +1,199 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { ChangeFamily, ChangeFamilyEditor, GraphCommit, TaggedChange, RevisionTag, Revertible, BranchRebaseResult } from "../core";
+import { EventEmitter, ISubscribable } from "../events";
+/**
+ * Describes a change to a `SharedTreeBranch`. Various operations can mutate the head of the branch;
+ * this change format describes each in terms of the "removed commits" (all commits which were present
+ * on the branch before the operation but are no longer present after) and the "new commits" (all
+ * commits which are present on the branch after the operation that were not present before). Each of
+ * the following event types also provides a `change` which contains the net change to the branch
+ * (or is undefined if there was no net change):
+ * * Append - when one or more commits are appended to the head of the branch, for example via
+ * a change applied by the branch's editor, or as a result of merging another branch into this one
+ * * Remove - when one or more commits are removed from the head of the branch. This occurs
+ * when a transaction is aborted and all commits pending in that transaction are removed.
+ * * Replace - when an operation simultaneously removes and appends commits. For example, when this
+ * branch is rebased and some commits are removed and replaced with rebased versions, or when a
+ * transaction completes and all pending commits are replaced with a single squash commit.
+ */
+export type SharedTreeBranchChange<TChange> = {
+    type: "append";
+    change: TaggedChange<TChange>;
+    newCommits: readonly GraphCommit<TChange>[];
+} | {
+    type: "remove";
+    change: TaggedChange<TChange> | undefined;
+    removedCommits: readonly GraphCommit<TChange>[];
+} | {
+    type: "replace";
+    change: TaggedChange<TChange> | undefined;
+    removedCommits: readonly GraphCommit<TChange>[];
+    newCommits: readonly GraphCommit<TChange>[];
+};
+/**
+ * Returns the operation that caused the given {@link SharedTreeBranchChange}.
+ */
+export declare function getChangeReplaceType(change: SharedTreeBranchChange<unknown> & {
+    type: "replace";
+}): "transactionCommit" | "rebase";
+/**
+ * The events emitted by a `SharedTreeBranch`
+ */
+export interface SharedTreeBranchEvents<TEditor extends ChangeFamilyEditor, TChange> {
+    /**
+     * Fired just before the head of this branch changes.
+     * @param change - the change to this branch's state and commits
+     */
+    beforeChange(change: SharedTreeBranchChange<TChange>): void;
+    /**
+     * Fired just after the head of this branch changes.
+     * @param change - the change to this branch's state and commits
+     */
+    afterChange(change: SharedTreeBranchChange<TChange>): void;
+    /**
+     * Fired when a revertible change is made to this branch.
+     */
+    revertible(type: Revertible): void;
+    /**
+     * Fired when a revertible made on this branch is disposed.
+     */
+    revertibleDispose(revision: RevisionTag): void;
+    /**
+     * Fired when this branch forks
+     * @param fork - the new branch that forked off of this branch
+     */
+    fork(fork: SharedTreeBranch<TEditor, TChange>): void;
+    /**
+     * Fired after this branch is disposed
+     */
+    dispose(): void;
+}
+/**
+ * A branch of changes that can be applied to a SharedTree.
+ */
+export declare class SharedTreeBranch<TEditor extends ChangeFamilyEditor, TChange> extends EventEmitter<SharedTreeBranchEvents<TEditor, TChange>> {
+    private head;
+    readonly changeFamily: ChangeFamily<TEditor, TChange>;
+    readonly editor: TEditor;
+    private readonly revertibles;
+    private readonly _revertibleCommits;
+    private readonly transactions;
+    private disposed;
+    /**
+     * Construct a new branch.
+     * @param head - the head of the branch
+     * @param changeFamily - determines the set of changes that this branch can commit
+     */
+    constructor(head: GraphCommit<TChange>, changeFamily: ChangeFamily<TEditor, TChange>);
+    /**
+     * Sets the head of this branch. Emits no change events.
+     */
+    setHead(head: GraphCommit<TChange>): void;
+    /**
+     * Apply a change to this branch.
+     * @param change - the change to apply
+     * @param revision - the revision of the new head commit of the branch that contains `change`
+     * @returns the change that was applied and the new head commit of the branch
+     */
+    apply(change: TChange, revision: RevisionTag): [change: TChange, newCommit: GraphCommit<TChange>];
+    private applyChange;
+    /**
+     * @returns the commit at the head of this branch.
+     */
+    getHead(): GraphCommit<TChange>;
+    /**
+     * Begin a transaction on this branch. If the transaction is committed via {@link commitTransaction},
+     * all commits made since this call will be squashed into a single head commit.
+     * @param repairStore - the repair store associated with this transaction
+     */
+    startTransaction(): void;
+    /**
+     * Commit the current transaction. There must be a transaction in progress that was begun via {@link startTransaction}.
+     * If there are commits in the current transaction, they will be squashed into a new single head commit.
+     * @returns the commits that were squashed and the new squash commit if a squash occurred, otherwise `undefined`.
+     * @remarks If the transaction had no changes applied during its lifetime, then no squash occurs (i.e. this method is a no-op).
+     * Even if the transaction contained only one change, it will still be replaced with an (equivalent) squash change.
+     */
+    commitTransaction(): [squashedCommits: GraphCommit<TChange>[], newCommit: GraphCommit<TChange>] | undefined;
+    /**
+     * Cancel the current transaction. There must be a transaction in progress that was begun via
+     * {@link startTransaction}. All commits made during the transaction will be removed.
+     * @returns the change to this branch resulting in the removal of the commits, and a list of the
+     * commits that were removed.
+     */
+    abortTransaction(): [
+        change: TChange | undefined,
+        abortedCommits: GraphCommit<TChange>[]
+    ];
+    /**
+     * True iff this branch is in the middle of a transaction that was begin via {@link startTransaction}
+     */
+    isTransacting(): boolean;
+    private popTransaction;
+    revertibleCommits(): IterableIterator<RevisionTag>;
+    /**
+     * Associate a revertible with a new commit of the same revision.
+     * This is applicable when a commit is replaced by a rebase or a local commit is sequenced.
+     */
+    updateRevertibleCommit(commit: GraphCommit<TChange>): void;
+    private makeSharedTreeRevertible;
+    private revert;
+    /**
+     * Spawn a new branch that is based off of the current state of this branch.
+     * Changes made to the new branch will not be applied to this branch until the new branch is merged back in.
+     *
+     * @remarks Forks created during a transaction will be disposed when the transaction ends.
+     */
+    fork(): SharedTreeBranch<TEditor, TChange>;
+    /**
+     * Rebase the changes that have been applied to this branch over divergent changes in the given branch.
+     * After this operation completes, this branch will be based off of `branch`.
+     *
+     * @remarks
+     * This operation can change the relative ordering between revertible commits therefore, the revertible event
+     * is not emitted during this operation.
+     *
+     * @param branch - the branch to rebase onto
+     * @param upTo - the furthest commit on `branch` over which to rebase (inclusive). Defaults to the head commit of `branch`.
+     * @returns the result of the rebase or undefined if nothing changed
+     */
+    rebaseOnto(branch: SharedTreeBranch<TEditor, TChange>, upTo?: GraphCommit<TChange>): BranchRebaseResult<TChange> | undefined;
+    /**
+     * Apply all the divergent changes on the given branch to this branch.
+     *
+     * @remarks
+     * Revertible events are emitted for new local commits merged into this branch.
+     *
+     * @param branch - the branch to merge into this branch
+     * @returns the net change to this branch and the commits that were added to this branch by the merge,
+     * or undefined if nothing changed
+     */
+    merge(branch: SharedTreeBranch<TEditor, TChange>): [change: TChange, newCommits: GraphCommit<TChange>[]] | undefined;
+    /** Rebase `branchHead` onto `onto`, but return undefined if nothing changed */
+    private rebaseBranch;
+    /**
+     * Dispose this branch, freezing its state.
+     *
+     * @remarks
+     * Attempts to further mutate the branch will error.
+     * Any transactions in progress will be aborted.
+     * Calling dispose more than once has no effect.
+     */
+    dispose(): void;
+    private assertNotDisposed;
+}
+/**
+ * Registers an event listener that fires when the given forkable object forks.
+ * The listener will also fire when any of those forks fork, and when those forks of forks fork, and so on.
+ * @param forkable - an object that emits an event when it is forked
+ * @param onFork - the fork event listener
+ * @returns a function which when called will deregister all registrations (including transitive) created by this function.
+ * The deregister function has undefined behavior if called more than once.
+ */
+export declare function onForkTransitive<T extends ISubscribable<{
+    fork: (t: T) => void;
+}>>(forkable: T, onFork: (fork: T) => void): () => void;
+//# sourceMappingURL=branch.d.ts.map

package/lib/shared-tree-core/branch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"branch.d.ts","sourceRoot":"","sources":["../../src/shared-tree-core/branch.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EACN,YAAY,EACZ,kBAAkB,EAElB,WAAW,EAIX,YAAY,EAEZ,WAAW,EAGX,UAAU,EAIV,kBAAkB,EAGlB,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAIxD;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,sBAAsB,CAAC,OAAO,IACvC;IACA,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC;IAC9B,UAAU,EAAE,SAAS,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;CAC3C,GACD;IACA,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,YAAY,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC;IAC1C,cAAc,EAAE,SAAS,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;CAC/C,GACD;IACA,IAAI,EAAE,SAAS,CAAC;IAChB,MAAM,EAAE,YAAY,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC;IAC1C,cAAc,EAAE,SAAS,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;IAChD,UAAU,EAAE,SAAS,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;CAC3C,CAAC;AAEL;;GAEG;AACH,wBAAgB,oBAAoB,CACnC,MAAM,EAAE,sBAAsB,CAAC,OAAO,CAAC,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GAC3D,mBAAmB,GAAG,QAAQ,CAuBhC;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB,CAAC,OAAO,SAAS,kBAAkB,EAAE,OAAO;IAClF;;;OAGG;IACH,YAAY,CAAC,MAAM,EAAE,sBAAsB,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC;IAE5D;;;OAGG;IACH,WAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC;IAE3D;;OAEG;IACH,UAAU,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IAEnC;;OAEG;IACH,iBAAiB,CAAC,QAAQ,EAAE,WAAW,GAAG,IAAI,CAAC;IAE/C;;;OAGG;IACH,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IAErD;;OAEG;IACH,OAAO,IAAI,IAAI,CAAC;CAChB;AAED;;GAEG;AACH,qBAAa,gBAAgB,CAAC,OAAO,SAAS,kBAAkB,EAAE,OAAO,CAAE,SAAQ,YAAY,CAC9F,sBAAsB,CAAC,OAAO,EAAE,OAAO,CAAC,CACxC;IAaC,OAAO,CAAC,IAAI;aACI,YAAY,EAAE,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC;IAb7D,SAAgB,MAAM,EAAE,OAAO,CAAC;IAEhC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAyB;IACrD,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAgD;IACnF,OAAO,CAAC,QAAQ,CAAC,YAAY,CAA0B;IACvD,OAAO,CAAC,QAAQ,CAAS;IACzB;;;;OAIG;gBAEM,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC,EAClB,YAAY,EAAE,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC;IAQ7D;;OAEG;IACI,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC,GAAG,IAAI;IAMhD;;;;;OAKG;IACI,KAAK,CACX,MAAM,EAAE,OAAO,EACf,QAAQ,EAAE,WAAW,GACnB,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;IAIrD,OAAO,CAAC,WAAW;IA8BnB;;OAEG;IACI,OAAO,IAAI,WAAW,CAAC,OAAO,CAAC;IAItC;;;;OAIG;IACI,gBAAgB,IAAI,IAAI;IAgB/B;;;;;;OAMG;IACI,iBAAiB,IACrB,CAAC,eAAe,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,GAC1E,SAAS;IAwCZ;;;;;OAKG;IACI,gBAAgB,IAAI;QAC1B,MAAM,EAAE,OAAO,GAAG,SAAS;QAC3B,cAAc,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE;KACtC;IA6BD;;OAEG;IACI,aAAa,IAAI,OAAO;IAI/B,OAAO,CAAC,cAAc;IAWf,iBAAiB,IAAI,gBAAgB,CAAC,WAAW,CAAC;IAIzD;;;OAGG;IACI,sBAAsB,CAAC,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC;IAM1D,OAAO,CAAC,wBAAwB;IAuChC,OAAO,CAAC,MAAM;IAgCd;;;;;OAKG;IACI,IAAI,IAAI,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC;IAOjD;;;;;;;;;;;OAWG;IACI,UAAU,CAChB,MAAM,EAAE,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,EAC1C,IAAI,uBAAmB,GACrB,kBAAkB,CAAC,OAAO,CAAC,GAAG,SAAS;IA2C1C;;;;;;;;;OASG;IACI,KAAK,CACX,MAAM,EAAE,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,GACxC,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,SAAS;IAgCpE,+EAA+E;IAC/E,OAAO,CAAC,YAAY;IAkBpB;;;;;;;OAOG;IACI,OAAO,IAAI,IAAI;IAetB,OAAO,CAAC,iBAAiB;CAGzB;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,SAAS,aAAa,CAAC;IAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAA;CAAE,CAAC,EACjF,QAAQ,EAAE,CAAC,EACX,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,IAAI,GACvB,MAAM,IAAI,CASZ"}