@fluidframework/tree 2.3.0-288113 → 2.3.1

package/src/feature-libraries/flex-tree/README.md

@@ -6,7 +6,7 @@ The entry point is `getTreeContext` which provides a root `TreeField` which allo
 
 ## Usage modes
 
-There are several main usage modes for this API:
+There are two main usage modes for this API:
 
 ### Generic tree readers
 
@@ -20,27 +20,8 @@ Since these users may not fully understand the semantics of the schema and the i
 
 ### Generic tree editors
 
-> **_NOTE:_** This use-case was recently added and is not well supported by the API yet.
-> The details of how this should work, and what runtime validation it will do are currently undecided.
-
-This use-case exists to facilitate authoring of wrappers around this API which provide editing functionality, like the proxy based API.
-
-### Schema Aware tree readers and editors
-
-Code that is authored with specific schema in mind, and is statically typed based on those schema, falls into this category.
-
-> **_NOTE:_** This use-case is being de-prioritized.
-> It is currently undecided if this use-case will continue to be supported at this API level at all, or it will only be supported in the proxy based API.
-> If support for this use-case is removed, major changes and simplifications to will be made.
-
-These users will want to use the typed extensions to the generic untyped API (above).
-The `is` methods can be used to [narrow](https://www.typescriptlang.org/docs/handbook/2/narrowing.html) to this typed API when the schema is statically known.
-This API surface provides both reading and editing.
-Some of its access APIs (for example fields of structs) are `unboxed` meaning that wrappers providing no extra information (to someone who already knows the schema) are discarded or `boxed` meaning that all the layers of the tree (each field and node) are included.
-Note that all of the untyped APIs are boxed since generic users may need to inspect the schema of these layers to interpret them.
-For schema aware code, usually the unboxed version provide everything that's needed when reading the tree, but when passing data into another API or doing editing, access to these intermediate layers via the `boxed` version can sometimes be necessary.
-
-This could could be split up to separate reading and editing APIs.
+This use-case exists to facilitate authoring of wrappers around this API which provide editing functionality, like the simple-based API.
+Validation is the responsibility of the caller.
 
 ### Subscribing to changes.
 
@@ -55,58 +36,6 @@ This means these event subscriptions should only be treated as changes to the co
 Some control over these events is available via branching which provides snapshot isolation (among other things):
 this is done at a higher level than the tree API covered here but can be accessed via each tree entity's context property. (TODO: provide this access).
 
-## Accommodate multiple usage modes
-
-To accommodate all of these at once in a single API surface, a few principles are followed in the API's design:
-
--   Generic APIs suited for generic (non schema aware) tree readers form the base types of everything in the API.
-    These provide access to all content of the tree in a uniform manner, including objects for every field and node.
-    These are all traversable via iteration, and also can be walked along specific paths through the tree.
-    This for example motivates the include of the optional `.value` on TreeNode.
--   Schema aware specializations of these types are provided which provide ergonomic access based on the specific kind of the node or field.
-    These APIs provide accessors which skip over (or "unbox") redundant layers of the tree - layers that provide no additional information to a user that knows the schema.
-    Since skipping over these layers is sometimes undesired (for example when needing to edit them), all APIs which do this implicit "unboxing" have "boxed" alternatives that do not skip any layers of the tree.
-    An example of this is how object nodes provide properties for their fields that "unbox" some field kinds.
-    For example, reading a Required field returns the content in the field instead of the field itself.
--   A subset of the tree properties are picked to be enumerable own properties for use by generic JavaScript object handling code.
-    This prefers the APIs which do implicit unboxing,
-    and occasionally special purposes APIs added just for this use-case to ensure all content in the tree is reachable exactly once (for example `MapNode.asObject`).
-    This ensures operations use object generic traversal like `JSON.stringify` or a simple deep object compare behave semantically correctly (for example they don't lose information which is significant, like types in polymorphic cases).
-    See Section below for details.
--   Special attention is paid to defining what is and is not valid to hold onto across edits, and providing ways to check what edits happened.
-    For example `Tree.treeStatus` allows checking if the subtree is still part of the document and `TreeNode.on` allows subscribing to events.
-
-## Javascript Object API: `enumerable` and `own` properties
-
-> **_NOTE:_** This use-case is being deprioritized, and the invariants called out below might not hold for future versions of this API.
-> Also be aware that the new Proxy based JavaScript object focused API does not meet these invariants since it does not expose types as properties, or a property based way to traverse map nodes.
-
-See [Mozilla's Enumerability and ownership of properties](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Enumerability_and_ownership_of_properties) for context.
-Note that `enumerable` has nothing to do with TypeScript's `Iterable` interface or JavaScript's `Symbol.iterator` and the related `for...of` loops: all of those are irrelevant to this section.
-
-Despite this tree API primarily being a TypeScript API, and TypeScript types having no way to indicate if members are `enumerable` or `own`, these details matter, even to TypeScript users.
-
-For example, TypeScript assumes all members of interfaces are `enumerable` and `own` when using the [Object spread](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/Spread_syntax) operator.
-TypeScript also assumes all non-method members of classes are `enumerable` and `own`, but allows assigning the class to an interface where it will start treating the methods as `enumerable` and `own` despite it being the same object.
-This compile time behavior often does not match what happens at runtime, so users of TypeScript are likely to run into issues despite their code compiling just fine if they rely on Object spread, or make assumptions about what properties are `enumerable` or `own`.
-
-Many existing libraries users of tree are likely to work with will also make assumptions about `enumerable` or `own`.
-
-So in addition to the TypeScript types, a separate decision needs to be made about what guarantees this library will make about `enumerable` and `own` properties.
-
-This library guarantees that when traversing from a root `UntypedEntity` via `enumerable` `own` properties:
-
--   All callable members are `inherited` (not `own`) or not `enumerable` and thus work like class methods. Note that TypeScript's type checking will get this wrong due to the API using interfaces.
--   When starting at a root node or fields, there is exactly one way to traverse to (or past in some unboxed cases) every node and field under it via only `enumerable` `own` properties.
--   Every leaf node's value within the tree will be reachable, either from its node, or as its node (in the unboxed case). Note that values are assumed to be immutable, and if multiple leaves hold structurally identical objects as values they may or may not be shared and this difference is not considered significant. TODO: determine how node's assert.deepEqual compares these cases.
--   Every node traversed has an unambiguous type, either implied by its position and parent's schema (for unboxed cases) and/or from an `enumerable` `own` property containing the schema's identifier.
--   No cycles will be encountered, with the exception of any `FluidHandle` stored as part of serializable values on `LeafNode`s.
--   Content outside of the tree, such as its schema objects and context, will not be reachable.
--   No symbols will be encountered as keys. This ensures that the traversal can use the APIs which only support strings (like `Object.entries`) and get the same result as if using APIs which also support symbols (like `object spread`).
-
-Note that if using `for...in`, be sure to filter out `inherited` properties.
-Using [Object.entries](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Object/entries) or similar [alternatives that omit inherited and non enumerable properties](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Enumerability_and_ownership_of_properties#traversing_object_properties) will usually be simpler.
-
 ## Status
 
-Implemented and working but major changes may happen. See above "**_NOTE:_**"s.
+Currently being simplified to reduce and eventually remove the flex tree schema abstraction: all usages at this level should be replaced by stored schema.

package/src/feature-libraries/flex-tree/context.ts

@@ -9,6 +9,7 @@ import {
 	type FieldKey,
 	type ForestEvents,
 	type TreeFieldStoredSchema,
+	type TreeStoredSchema,
 	anchorSlot,
 	moveToDetachedField,
 } from "../../core/index.js";
@@ -24,24 +25,39 @@ import { makeField } from "./lazyField.js";
 import type { ITreeCheckout } from "../../shared-tree/index.js";
 
 /**
- * A common context of a "forest" of FlexTrees.
- * It handles group operations like transforming cursors into anchors for edits.
+ * Context for FlexTrees.
  */
-export interface FlexTreeContext extends Listenable<ForestEvents> {
+export interface FlexTreeContext {
 	/**
-	 * Gets the root field of the tree.
+	 * Schema used within this context.
+	 * All data must conform to these schema.
 	 */
-	get root(): FlexTreeField;
+	readonly flexSchema: FlexTreeSchema;
 
 	/**
 	 * Schema used within this context.
 	 * All data must conform to these schema.
 	 */
-	readonly schema: FlexTreeSchema;
+	readonly schema: TreeStoredSchema;
 
-	// TODO: Add more members:
-	// - transaction APIs
-	// - branching APIs
+	/**
+	 * If true, this context is the canonical context instance for a given view,
+	 * and its schema include all schema from the document.
+	 *
+	 * If false, this context was created for use in a unhydrated tree, and the full document schema is unknown.
+	 */
+	isHydrated(): this is FlexTreeHydratedContext;
+}
+
+/**
+ * A common context of a "forest" of FlexTrees.
+ * It handles group operations like transforming cursors into anchors for edits.
+ */
+export interface FlexTreeHydratedContext extends FlexTreeContext, Listenable<ForestEvents> {
+	/**
+	 * Gets the root field of the tree.
+	 */
+	get root(): FlexTreeField;
 
 	readonly nodeKeyManager: NodeKeyManager;
 
@@ -54,9 +70,6 @@ export interface FlexTreeContext extends Listenable<ForestEvents> {
 /**
  * Creating multiple flex tree contexts for the same branch, and thus with the same underlying AnchorSet does not work due to how TreeNode caching works.
  * This slot is used to detect if one already exists and error if creating a second.
- *
- * TODO:
- * 1. API docs need to reflect this limitation or the limitation has to be removed.
  */
 export const ContextSlot = anchorSlot<Context>();
 
@@ -65,7 +78,7 @@ export const ContextSlot = anchorSlot<Context>();
  *
  * @remarks An editor is required to edit the FlexTree.
  */
-export class Context implements FlexTreeContext, IDisposable {
+export class Context implements FlexTreeHydratedContext, IDisposable {
 	public readonly withCursors: Set<LazyEntity> = new Set();
 	public readonly withAnchors: Set<LazyEntity> = new Set();
 
@@ -73,12 +86,12 @@ export class Context implements FlexTreeContext, IDisposable {
 	private disposed = false;
 
 	/**
-	 * @param schema - Schema to use when working with the  tree.
+	 * @param flexSchema - Schema to use when working with the  tree.
 	 * @param checkout - The checkout.
 	 * @param nodeKeyManager - An object which handles node key generation and conversion
 	 */
 	public constructor(
-		public readonly schema: FlexTreeSchema,
+		public readonly flexSchema: FlexTreeSchema,
 		public readonly checkout: ITreeCheckout,
 		public readonly nodeKeyManager: NodeKeyManager,
 	) {
@@ -95,6 +108,14 @@ export class Context implements FlexTreeContext, IDisposable {
 		this.checkout.forest.anchors.slots.set(ContextSlot, this);
 	}
 
+	public isHydrated(): this is FlexTreeHydratedContext {
+		return true;
+	}
+
+	public get schema(): TreeStoredSchema {
+		return this.checkout.storedSchema;
+	}
+
 	/**
 	 * Called before editing.
 	 * Clears all cursors so editing can proceed.
@@ -138,7 +159,7 @@ export class Context implements FlexTreeContext, IDisposable {
 		assert(this.disposed === false, 0x804 /* use after dispose */);
 		const cursor = this.checkout.forest.allocateCursor("root");
 		moveToDetachedField(this.checkout.forest, cursor);
-		const field = makeField(this, this.schema.rootFieldSchema, cursor);
+		const field = makeField(this, this.flexSchema.rootFieldSchema, cursor);
 		cursor.free();
 		return field;
 	}