@opendaw/lib-box 0.0.80 → 0.0.81

package/dist/editing.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"editing.d.ts","sourceRoot":"","sources":["../src/editing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,QAAQ,EAAC,MAAM,SAAS,CAAA;AAChC,OAAO,EAGH,OAAO,EAEP,KAAK,EAEL,QAAQ,EACR,MAAM,EACN,YAAY,EACZ,YAAY,EAEf,MAAM,kBAAkB,CAAA;AAiDzB,MAAM,WAAW,mBAAmB;IAChC,OAAO,IAAI,IAAI,CAAA;IACf,MAAM,IAAI,IAAI,CAAA;CACjB;AAED,qBAAa,UAAW,YAAW,OAAO;;gBAY1B,KAAK,EAAE,QAAQ;IAM3B,IAAI,KAAK,IAAI,QAAQ,CAAqB;IAE1C,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY;IAIjD,SAAS,IAAI,IAAI;IAKjB,iBAAiB,IAAI,OAAO;IAM5B,YAAY,IAAI,OAAO;IAEvB,KAAK,IAAI,IAAI;IASb,IAAI,IAAI,OAAO;IAWf,IAAI,IAAI,OAAO;IASf,OAAO,IAAI,OAAO;IAKlB,OAAO,IAAI,OAAO;IAMlB,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,GAAE,OAAc,GAAG,MAAM,CAAC,CAAC,CAAC;IA4B5E,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IA8CtD,iBAAiB,IAAI,mBAAmB;IAoCxC,IAAI,IAAI,IAAI;IAYZ,aAAa,IAAI,IAAI;IAOrB,OAAO,IAAI,IAAI;CAGlB"}
+{"version":3,"file":"editing.d.ts","sourceRoot":"","sources":["../src/editing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,QAAQ,EAAC,MAAM,SAAS,CAAA;AAChC,OAAO,EAGH,OAAO,EAEP,KAAK,EAEL,QAAQ,EACR,MAAM,EAEN,YAAY,EACZ,YAAY,EAGf,MAAM,kBAAkB,CAAA;AAiDzB,MAAM,WAAW,mBAAmB;IAChC,OAAO,IAAI,IAAI,CAAA;IACf,MAAM,IAAI,IAAI,CAAA;CACjB;AAED,qBAAa,UAAW,YAAW,OAAO;;gBAY1B,KAAK,EAAE,QAAQ;IAM3B,IAAI,KAAK,IAAI,QAAQ,CAAqB;IAE1C,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY;IAIjD,SAAS,IAAI,IAAI;IAKjB,iBAAiB,IAAI,OAAO;IAM5B,YAAY,IAAI,OAAO;IAEvB,KAAK,IAAI,IAAI;IASb,IAAI,IAAI,OAAO;IAsBf,IAAI,IAAI,OAAO;IAoBf,OAAO,IAAI,OAAO;IAKlB,OAAO,IAAI,OAAO;IAMlB,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,GAAE,OAAc,GAAG,MAAM,CAAC,CAAC,CAAC;IAiC5E,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAoDtD,iBAAiB,IAAI,mBAAmB;IAoCxC,IAAI,IAAI,IAAI;IAYZ,aAAa,IAAI,IAAI;IAOrB,OAAO,IAAI,IAAI;CAGlB"}

package/dist/editing.js

@@ -1,4 +1,4 @@
-import { Arrays, assert, Notifier, Option, UUID } from "@opendaw/lib-std";
+import { Arrays, assert, Notifier, Option, RuntimeNotifier, tryCatch, UUID } from "@opendaw/lib-std";
 import { DeleteUpdate, NewUpdate, PointerUpdate, PrimitiveUpdate } from "./updates";
 // Removes updates for boxes that were created AND deleted in the same transaction.
 const optimizeUpdates = (updates) => {
@@ -96,8 +96,21 @@ export class BoxEditing {
         }
         console.debug("undo");
         const modifications = this.#marked[--this.#historyIndex];
-        modifications.toReversed().forEach(step => step.inverse(this.#graph));
-        this.#graph.edges().validateRequirements();
+        const reversed = modifications.toReversed();
+        const applied = [];
+        for (const step of reversed) {
+            const result = tryCatch(() => step.inverse(this.#graph));
+            if (result.status === "failure") {
+                if (this.#graph.inTransaction()) {
+                    this.#graph.abortTransaction();
+                }
+                applied.toReversed().forEach(completed => completed.forward(this.#graph));
+                this.#historyIndex++;
+                RuntimeNotifier.info({ headline: "Undo Failed", message: "This history step is no longer valid due to changes from other participants." });
+                return false;
+            }
+            applied.push(step);
+        }
         this.#notifier.notify();
         return true;
     }
@@ -106,8 +119,21 @@ export class BoxEditing {
             return false;
         }
         console.debug("redo");
-        this.#marked[this.#historyIndex++].forEach(step => step.forward(this.#graph));
-        this.#graph.edges().validateRequirements();
+        const modifications = this.#marked[this.#historyIndex++];
+        const applied = [];
+        for (const step of modifications) {
+            const result = tryCatch(() => step.forward(this.#graph));
+            if (result.status === "failure") {
+                if (this.#graph.inTransaction()) {
+                    this.#graph.abortTransaction();
+                }
+                applied.toReversed().forEach(completed => completed.inverse(this.#graph));
+                this.#historyIndex--;
+                RuntimeNotifier.info({ headline: "Redo Failed", message: "This history step is no longer valid due to changes from other participants." });
+                return false;
+            }
+            applied.push(step);
+        }
         this.#notifier.notify();
         return true;
     }
@@ -129,7 +155,6 @@ export class BoxEditing {
     modify(modifier, mark = true) {
         assert(!this.#inProcess, "Cannot call modify while a modification process is running");
         if (this.#modifying || this.#graph.inTransaction()) {
-            // Nested modify call or reactive call during undo/redo — just execute without separate recording
             this.#notifier.notify();
             return Option.wrap(modifier());
         }
@@ -141,21 +166,29 @@ export class BoxEditing {
         const subscription = this.#graph.subscribeToAllUpdates({
             onUpdate: (update) => updates.push(update)
         });
-        this.#graph.beginTransaction();
-        const result = modifier();
-        this.#graph.endTransaction();
+        const result = tryCatch(() => {
+            this.#graph.beginTransaction();
+            const result = modifier();
+            this.#graph.endTransaction();
+            return result;
+        });
         subscription.terminate();
+        this.#modifying = false;
+        if (result.status === "failure") {
+            if (this.#graph.inTransaction()) {
+                this.#graph.abortTransaction();
+            }
+            throw result.error;
+        }
         const optimized = optimizeUpdates(updates);
         if (optimized.length > 0) {
             this.#pending.push(new Modification(optimized));
         }
-        this.#modifying = false;
-        this.#graph.edges().validateRequirements();
         if (mark) {
             this.mark();
         }
         this.#notifier.notify();
-        return Option.wrap(result);
+        return Option.wrap(result.value);
     }
     append(modifier) {
         assert(!this.#inProcess, "Cannot call append while a modification process is running");
@@ -177,10 +210,20 @@ export class BoxEditing {
         const subscription = this.#graph.subscribeToAllUpdates({
             onUpdate: (update) => updates.push(update)
         });
-        this.#graph.beginTransaction();
-        const result = modifier();
-        this.#graph.endTransaction();
+        const result = tryCatch(() => {
+            this.#graph.beginTransaction();
+            const result = modifier();
+            this.#graph.endTransaction();
+            return result;
+        });
         subscription.terminate();
+        this.#modifying = false;
+        if (result.status === "failure") {
+            if (this.#graph.inTransaction()) {
+                this.#graph.abortTransaction();
+            }
+            throw result.error;
+        }
         const optimized = optimizeUpdates(updates);
         if (optimized.length > 0) {
             const modification = new Modification(optimized);
@@ -199,10 +242,8 @@ export class BoxEditing {
                 this.#historyIndex = this.#marked.length;
             }
         }
-        this.#modifying = false;
-        this.#graph.edges().validateRequirements();
         this.#notifier.notify();
-        return Option.wrap(result);
+        return Option.wrap(result.value);
     }
     beginModification() {
         assert(!this.#modifying && !this.#inProcess, "Cannot begin modification while another is in progress");
@@ -213,27 +254,29 @@ export class BoxEditing {
             onUpdate: (update) => updates.push(update)
         });
         this.#graph.beginTransaction();
+        const cleanup = () => {
+            subscription.terminate();
+            this.#modifying = false;
+            this.#inProcess = false;
+        };
         return {
             approve: () => {
-                this.#graph.endTransaction();
-                subscription.terminate();
+                const result = tryCatch(() => this.#graph.endTransaction());
+                cleanup();
+                if (result.status === "failure") {
+                    throw result.error;
+                }
                 const optimized = optimizeUpdates(updates);
                 if (optimized.length > 0) {
                     this.#pending.push(new Modification(optimized));
                 }
-                this.#modifying = false;
-                this.#inProcess = false;
-                this.#graph.edges().validateRequirements();
                 this.mark();
                 this.#notifier.notify();
             },
             revert: () => {
-                this.#graph.endTransaction();
-                subscription.terminate();
-                this.#modifying = false;
-                this.#inProcess = false;
-                this.#graph.edges().validateRequirements();
-                if (updates.length > 0) {
+                const result = tryCatch(() => this.#graph.endTransaction());
+                cleanup();
+                if (result.status === "success" && updates.length > 0) {
                     new Modification(updates).inverse(this.#graph);
                 }
             }

package/dist/graph-edges.d.ts

@@ -1,3 +1,4 @@
+import { Option } from "@opendaw/lib-std";
 import { Address } from "./address";
 import { PointerField } from "./pointer";
 import { Vertex } from "./vertex";
@@ -12,6 +13,8 @@ export declare class GraphEdges {
     isConnected(source: PointerField, target: Address): boolean;
     outgoingEdgesOf(box: Box): ReadonlyArray<[PointerField, Address]>;
     incomingEdgesOf(vertex: Box | Vertex): ReadonlyArray<PointerField>;
+    clearAffected(): void;
+    tryValidateAffected(): Option<Error>;
     validateRequirements(): void;
 }
 //# sourceMappingURL=graph-edges.d.ts.map

package/dist/graph-edges.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"graph-edges.d.ts","sourceRoot":"","sources":["../src/graph-edges.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,OAAO,EAAC,MAAM,WAAW,CAAA;AACjC,OAAO,EAAC,YAAY,EAAC,MAAM,WAAW,CAAA;AACtC,OAAO,EAAC,MAAM,EAAC,MAAM,UAAU,CAAA;AAC/B,OAAO,EAAC,GAAG,EAAC,MAAM,OAAO,CAAA;AAEzB,qBAAa,UAAU;;;IAenB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI;IAoBhD,iBAAiB,CAAC,GAAG,KAAK,EAAE,aAAa,CAAC,GAAG,CAAC,GAAG,IAAI;IAqBrD,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,GAAG,IAAI;IAQpD,UAAU,CAAC,MAAM,EAAE,YAAY,GAAG,IAAI;IAOtC,WAAW,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,GAAG,OAAO;IAI3D,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,aAAa,CAAC,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAIjE,eAAe,CAAC,MAAM,EAAE,GAAG,GAAG,MAAM,GAAG,aAAa,CAAC,YAAY,CAAC;IASlE,oBAAoB,IAAI,IAAI;CAgD/B"}
+{"version":3,"file":"graph-edges.d.ts","sourceRoot":"","sources":["../src/graph-edges.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwC,MAAM,EAAyB,MAAM,kBAAkB,CAAA;AACtG,OAAO,EAAC,OAAO,EAAC,MAAM,WAAW,CAAA;AACjC,OAAO,EAAC,YAAY,EAAC,MAAM,WAAW,CAAA;AACtC,OAAO,EAAC,MAAM,EAAC,MAAM,UAAU,CAAA;AAC/B,OAAO,EAAC,GAAG,EAAC,MAAM,OAAO,CAAA;AAEzB,qBAAa,UAAU;;;IAiBnB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI;IAqBhD,iBAAiB,CAAC,GAAG,KAAK,EAAE,aAAa,CAAC,GAAG,CAAC,GAAG,IAAI;IAqBrD,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,GAAG,IAAI;IAUpD,UAAU,CAAC,MAAM,EAAE,YAAY,GAAG,IAAI;IAStC,WAAW,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,GAAG,OAAO;IAI3D,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,aAAa,CAAC,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAIjE,eAAe,CAAC,MAAM,EAAE,GAAG,GAAG,MAAM,GAAG,aAAa,CAAC,YAAY,CAAC;IASlE,aAAa,IAAI,IAAI;IAErB,mBAAmB,IAAI,MAAM,CAAC,KAAK,CAAC;IAsCpC,oBAAoB,IAAI,IAAI;CAgD/B"}

package/dist/graph-edges.js

@@ -1,4 +1,4 @@
-import { Arrays, isDefined, isInstanceOf, panic } from "@opendaw/lib-std";
+import { Arrays, isDefined, isInstanceOf, Option, panic, UUID } from "@opendaw/lib-std";
 import { Address } from "./address";
 import { PointerField } from "./pointer";
 export class GraphEdges {
@@ -7,12 +7,14 @@ export class GraphEdges {
     #requiresExclusive;
     #incoming;
     #outgoing;
+    #affected;
     constructor() {
         this.#requiresTarget = Address.newSet(source => source.address);
         this.#requiresPointer = Address.newSet(vertex => vertex.address);
         this.#requiresExclusive = Address.newSet(vertex => vertex.address);
         this.#incoming = Address.newSet(([address]) => address);
         this.#outgoing = Address.newSet(([source]) => source.address);
+        this.#affected = UUID.newSet(uuid => uuid);
     }
     watchVertex(vertex) {
         if (isInstanceOf(vertex, PointerField)) {
@@ -33,6 +35,7 @@ export class GraphEdges {
                 this.#requiresExclusive.add(vertex);
             }
         }
+        this.#affected.add(vertex.address.uuid);
     }
     unwatchVerticesOf(...boxes) {
         const map = ({ box: { address: { uuid } } }) => uuid;
@@ -58,6 +61,8 @@ export class GraphEdges {
             none: () => this.#incoming.add([target, [source]]),
             some: ([, sources]) => sources.push(source)
         });
+        this.#affected.add(source.address.uuid);
+        this.#affected.add(target.uuid);
     }
     disconnect(source) {
         const [, target] = this.#outgoing.removeByKey(source.address);
@@ -66,6 +71,8 @@ export class GraphEdges {
         if (sources.length === 0) {
             this.#incoming.removeByKey(target);
         }
+        this.#affected.add(source.address.uuid);
+        this.#affected.add(target.uuid);
     }
     isConnected(source, target) {
         return this.#outgoing.opt(source.address).mapOr(([, actualTarget]) => actualTarget.equals(target), false);
@@ -82,6 +89,46 @@ export class GraphEdges {
             return this.#incoming.opt(vertex.address).mapOr(([_, pointers]) => pointers, Arrays.empty());
         }
     }
+    clearAffected() { this.#affected.clear(); }
+    tryValidateAffected() {
+        const map = ({ box: { address: { uuid } } }) => uuid;
+        for (const uuid of this.#affected.values()) {
+            const pointers = this.#collectSameBox(this.#requiresTarget, uuid, map);
+            for (const pointer of pointers) {
+                if (pointer.isEmpty()) {
+                    this.#affected.clear();
+                    if (pointer.mandatory) {
+                        return Option.wrap(new Error(`Pointer ${pointer.toString()} requires an edge.`));
+                    }
+                    else {
+                        return Option.wrap(new Error(`Illegal state: ${pointer} has no edge requirements.`));
+                    }
+                }
+            }
+            const targets = this.#collectSameBox(this.#requiresPointer, uuid, map);
+            for (const target of targets) {
+                if (target.pointerHub.isEmpty()) {
+                    this.#affected.clear();
+                    if (target.pointerRules.mandatory) {
+                        return Option.wrap(new Error(`Target ${target.toString()} requires an edge.`));
+                    }
+                    else {
+                        return Option.wrap(new Error(`Illegal state: ${target} has no edge requirements.`));
+                    }
+                }
+            }
+            const exclusives = this.#collectSameBox(this.#requiresExclusive, uuid, map);
+            for (const target of exclusives) {
+                const count = target.pointerHub.size();
+                if (count > 1) {
+                    this.#affected.clear();
+                    return Option.wrap(new Error(`Target ${target.toString()} is exclusive but has ${count} incoming pointers.`));
+                }
+            }
+        }
+        this.#affected.clear();
+        return Option.None;
+    }
     validateRequirements() {
         // TODO I removed the assertions because they were too slow in busy graphs.
         //  I tried to use a Set<Box> in BoxGraph, but that wasn't faster than the SortedSet.

package/dist/graph.d.ts

@@ -10,7 +10,7 @@ import { GraphEdges } from "./graph-edges";
 export type BoxFactory<BoxMap> = (name: keyof BoxMap, graph: BoxGraph<BoxMap>, uuid: UUID.Bytes, constructor: Procedure<Box>) => Box;
 export interface TransactionListener {
     onBeginTransaction(): void;
-    onEndTransaction(): void;
+    onEndTransaction(rolledBack: boolean): void;
 }
 export interface UpdateListener {
     onUpdate(update: Update): void;
@@ -23,6 +23,7 @@ export declare class BoxGraph<BoxMap = any> {
     #private;
     constructor(boxFactory?: Option<BoxFactory<BoxMap>>);
     beginTransaction(): void;
+    abortTransaction(): void;
     endTransaction(): void;
     inTransaction(): boolean;
     constructingBox(): boolean;
@@ -55,8 +56,8 @@ export declare class BoxGraph<BoxMap = any> {
     debugDependencies(): void;
     addressToDebugPath(address: Option<Address>): Option<string>;
     toArrayBuffer(): ArrayBufferLike;
-    fromArrayBuffer(arrayBuffer: ArrayBufferLike): void;
+    fromArrayBuffer(arrayBuffer: ArrayBufferLike, validate?: boolean): void;
     toJSON(): JSONValue;
-    fromJSON(value: JSONValue): void;
+    fromJSON(value: JSONValue, validate?: boolean): void;
 }
 //# sourceMappingURL=graph.d.ts.map

package/dist/graph.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"graph.d.ts","sourceRoot":"","sources":["../src/graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAMH,IAAI,EACJ,GAAG,EAEH,SAAS,EAET,MAAM,EAEN,SAAS,EAET,SAAS,EAET,YAAY,EACZ,IAAI,EACP,MAAM,kBAAkB,CAAA;AACzB,OAAO,EAAC,OAAO,EAAC,MAAM,WAAW,CAAA;AACjC,OAAO,EAAC,MAAM,EAAC,MAAM,UAAU,CAAA;AAC/B,OAAO,EAAC,YAAY,EAAC,MAAM,WAAW,CAAA;AACtC,OAAO,EAAC,cAAc,EAAE,eAAe,EAAC,MAAM,aAAa,CAAA;AAE3D,OAAO,EAAC,GAAG,EAAC,MAAM,OAAO,CAAA;AAGzB,OAAO,EAAuE,MAAM,EAAC,MAAM,WAAW,CAAA;AACtG,OAAO,EAAc,WAAW,EAAC,MAAM,eAAe,CAAA;AACtD,OAAO,EAAC,UAAU,EAAC,MAAM,eAAe,CAAA;AAExC,MAAM,MAAM,UAAU,CAAC,MAAM,IAAI,CAAC,IAAI,EAAE,MAAM,MAAM,EAClB,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,EACvB,IAAI,EAAE,IAAI,CAAC,KAAK,EAChB,WAAW,EAAE,SAAS,CAAC,GAAG,CAAC,KAAK,GAAG,CAAA;AAErE,MAAM,WAAW,mBAAmB;IAChC,kBAAkB,IAAI,IAAI,CAAA;IAC1B,gBAAgB,IAAI,IAAI,CAAA;CAC3B;AAED,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;CACjC;AAED,MAAM,MAAM,YAAY,GAAG;IAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAA;CAAE,CAAA;AAErF,qBAAa,QAAQ,CAAC,MAAM,GAAG,GAAG;;gBAqBlB,UAAU,GAAE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAe;IAchE,gBAAgB,IAAI,IAAI;IAMxB,cAAc,IAAI,IAAI;IA2BtB,aAAa,IAAI,OAAO;IACxB,eAAe,IAAI,OAAO;IAE1B,SAAS,CAAC,IAAI,EAAE,MAAM,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,GAAG,CAAC,GAAG,GAAG;IAIjF,QAAQ,CAAC,CAAC,SAAS,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC;IAgB9D,oBAAoB,CAAC,QAAQ,EAAE,mBAAmB,GAAG,YAAY;IAIjE,qBAAqB,CAAC,QAAQ,EAAE,cAAc,GAAG,YAAY;IAI7D,8BAA8B,CAAC,QAAQ,EAAE,cAAc,GAAG,YAAY;IAItE,sBAAsB,CAAC,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,GAAG,YAAY;IAI9G,uBAAuB,CAAC,QAAQ,EAAE,IAAI,GAAG,IAAI;IAE7C,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,GAAG,YAAY;IAajE,UAAU,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI;IAW1B,OAAO,CAAC,CAAC,SAAS,GAAG,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC;IAIzD,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;IAI5C,KAAK,IAAI,aAAa,CAAC,GAAG,CAAC;IAE3B,KAAK,IAAI,UAAU;IAEnB,QAAQ,IAAI,SAAS;IAMrB,sBAAsB,CAAC,CAAC,SAAS,eAAe,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI;IAUhH,uBAAuB,CAAC,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,IAAI;IA8B/G,WAAW,CAAC,OAAO,EAAE,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC;IA6C7C,cAAc,CAAC,IAAI,EAAE,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,OAAO,GAAE;QACpD,UAAU,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAA;QAC3B,qBAAqB,CAAC,EAAE,OAAO,CAAA;QAC/B,eAAe,CAAC,EAAE,OAAO,CAAA;KACvB,GAAG,YAAY;IAqDrB,cAAc,IAAI;QAAE,KAAK,EAAE,GAAG,CAAA;KAAE;IAwBhC,UAAU,IAAI,IAAI;IAYlB,iBAAiB,IAAI,IAAI;IAUzB,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;IAS5D,aAAa,IAAI,eAAe;IAYhC,eAAe,CAAC,WAAW,EAAE,eAAe,GAAG,IAAI;IA2BnD,MAAM,IAAI,SAAS;IAWnB,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI;CAqBnC"}
+{"version":3,"file":"graph.d.ts","sourceRoot":"","sources":["../src/graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAMH,IAAI,EACJ,GAAG,EAEH,SAAS,EAET,MAAM,EAEN,SAAS,EAET,SAAS,EAET,YAAY,EAEZ,IAAI,EACP,MAAM,kBAAkB,CAAA;AACzB,OAAO,EAAC,OAAO,EAAC,MAAM,WAAW,CAAA;AACjC,OAAO,EAAC,MAAM,EAAC,MAAM,UAAU,CAAA;AAC/B,OAAO,EAAC,YAAY,EAAC,MAAM,WAAW,CAAA;AACtC,OAAO,EAAC,cAAc,EAAE,eAAe,EAAC,MAAM,aAAa,CAAA;AAE3D,OAAO,EAAC,GAAG,EAAC,MAAM,OAAO,CAAA;AAGzB,OAAO,EAAuE,MAAM,EAAC,MAAM,WAAW,CAAA;AACtG,OAAO,EAAc,WAAW,EAAC,MAAM,eAAe,CAAA;AACtD,OAAO,EAAC,UAAU,EAAC,MAAM,eAAe,CAAA;AAExC,MAAM,MAAM,UAAU,CAAC,MAAM,IAAI,CAAC,IAAI,EAAE,MAAM,MAAM,EAClB,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,EACvB,IAAI,EAAE,IAAI,CAAC,KAAK,EAChB,WAAW,EAAE,SAAS,CAAC,GAAG,CAAC,KAAK,GAAG,CAAA;AAErE,MAAM,WAAW,mBAAmB;IAChC,kBAAkB,IAAI,IAAI,CAAA;IAC1B,gBAAgB,CAAC,UAAU,EAAE,OAAO,GAAG,IAAI,CAAA;CAC9C;AAED,MAAM,WAAW,cAAc;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;CACjC;AAED,MAAM,MAAM,YAAY,GAAG;IAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAA;CAAE,CAAA;AAErF,qBAAa,QAAQ,CAAC,MAAM,GAAG,GAAG;;gBAwBlB,UAAU,GAAE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAe;IAgBhE,gBAAgB,IAAI,IAAI;IAOxB,gBAAgB,IAAI,IAAI;IAOxB,cAAc,IAAI,IAAI;IAoBtB,aAAa,IAAI,OAAO;IACxB,eAAe,IAAI,OAAO;IAE1B,SAAS,CAAC,IAAI,EAAE,MAAM,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,GAAG,CAAC,GAAG,GAAG;IAIjF,QAAQ,CAAC,CAAC,SAAS,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC;IAiB9D,oBAAoB,CAAC,QAAQ,EAAE,mBAAmB,GAAG,YAAY;IAIjE,qBAAqB,CAAC,QAAQ,EAAE,cAAc,GAAG,YAAY;IAI7D,8BAA8B,CAAC,QAAQ,EAAE,cAAc,GAAG,YAAY;IAItE,sBAAsB,CAAC,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,GAAG,YAAY;IAI9G,uBAAuB,CAAC,QAAQ,EAAE,IAAI,GAAG,IAAI;IAE7C,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,GAAG,YAAY;IAajE,UAAU,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI;IAY1B,OAAO,CAAC,CAAC,SAAS,GAAG,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC;IAIzD,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;IAI5C,KAAK,IAAI,aAAa,CAAC,GAAG,CAAC;IAE3B,KAAK,IAAI,UAAU;IAEnB,QAAQ,IAAI,SAAS;IAMrB,sBAAsB,CAAC,CAAC,SAAS,eAAe,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI;IAWhH,uBAAuB,CAAC,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,IAAI;IAuF/G,WAAW,CAAC,OAAO,EAAE,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC;IA6C7C,cAAc,CAAC,IAAI,EAAE,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,OAAO,GAAE;QACpD,UAAU,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAA;QAC3B,qBAAqB,CAAC,EAAE,OAAO,CAAA;QAC/B,eAAe,CAAC,EAAE,OAAO,CAAA;KACvB,GAAG,YAAY;IAqDrB,cAAc,IAAI;QAAE,KAAK,EAAE,GAAG,CAAA;KAAE;IAwBhC,UAAU,IAAI,IAAI;IAYlB,iBAAiB,IAAI,IAAI;IAUzB,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;IAS5D,aAAa,IAAI,eAAe;IAYhC,eAAe,CAAC,WAAW,EAAE,eAAe,EAAE,QAAQ,GAAE,OAAc,GAAG,IAAI;IAqC7E,MAAM,IAAI,SAAS;IAWnB,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,GAAE,OAAc,GAAG,IAAI;CA4B7D"}

package/dist/graph.js

@@ -1,4 +1,4 @@
-import { asDefined, assert, ByteArrayInput, ByteArrayOutput, Checksum, isDefined, Listeners, Option, panic, Predicates, UUID } from "@opendaw/lib-std";
+import { asDefined, assert, ByteArrayInput, ByteArrayOutput, Checksum, isDefined, Listeners, Option, panic, Predicates, tryCatch, UUID } from "@opendaw/lib-std";
 import { Address } from "./address";
 import { DeleteUpdate, NewUpdate, PointerUpdate, PrimitiveUpdate } from "./updates";
 import { Dispatchers } from "./dispatchers";
@@ -7,6 +7,8 @@ export class BoxGraph {
     #boxFactory;
     #boxes;
     #deferredPointerUpdates;
+    #pendingDeferredNotifications;
+    #transactionUpdates;
     #updateListeners;
     #immediateUpdateListeners;
     #transactionListeners;
@@ -17,10 +19,13 @@ export class BoxGraph {
     #deletionListeners;
     #inTransaction = false;
     #constructingBox = false;
+    #rollingBack = false;
     constructor(boxFactory = Option.None) {
         this.#boxFactory = boxFactory;
         this.#boxes = UUID.newSet(box => box.address.uuid);
         this.#deferredPointerUpdates = [];
+        this.#pendingDeferredNotifications = [];
+        this.#transactionUpdates = [];
         this.#dispatchers = Dispatchers.create();
         this.#updateListeners = new Listeners();
         this.#immediateUpdateListeners = new Listeners();
@@ -33,32 +38,33 @@ export class BoxGraph {
     beginTransaction() {
         assert(!this.#inTransaction, "Transaction already in progress");
         this.#inTransaction = true;
+        this.#transactionUpdates.length = 0;
         this.#transactionListeners.proxy.onBeginTransaction();
     }
+    abortTransaction() {
+        assert(this.#inTransaction, "No transaction in progress");
+        this.#rollback();
+        this.#deferredPointerUpdates.length = 0;
+        this.#finalizeTransaction();
+    }
     endTransaction() {
         assert(this.#inTransaction, "No transaction in progress");
         if (this.#deferredPointerUpdates.length > 0) {
-            this.#deferredPointerUpdates.forEach(({ pointerField, update }) => this.#processPointerVertexUpdate(pointerField, update));
+            this.#deferredPointerUpdates.forEach(({ pointerField, update }) => {
+                this.#transactionUpdates.push(update);
+                this.#prepareDeferredPointerUpdate(pointerField, update);
+            });
             this.#deferredPointerUpdates.length = 0;
         }
-        this.#pointerTransactionState.values()
-            .toSorted((a, b) => a.index - b.index)
-            .forEach(({ pointer, initial, final }) => {
-            if (!initial.equals(final)) {
-                initial.ifSome(address => this.findVertex(address).unwrapOrUndefined()?.pointerHub.onRemoved(pointer));
-                final.ifSome(address => this.findVertex(address).unwrapOrUndefined()?.pointerHub.onAdded(pointer));
-            }
-        });
-        this.#pointerTransactionState.clear();
-        this.#inTransaction = false;
-        // it is possible that new observers will be added while executing
-        while (this.#finalizeTransactionObservers.length > 0) {
-            this.#finalizeTransactionObservers.splice(0).forEach(observer => observer());
-            if (this.#finalizeTransactionObservers.length > 0) {
-                console.debug(`${this.#finalizeTransactionObservers.length} new observers while notifying`);
-            }
+        if (!this.#rollingBack && this.#boxFactory.nonEmpty()) {
+            this.#edges.tryValidateAffected().ifSome(error => {
+                this.#rollback();
+                this.#finalizeTransaction();
+                throw error;
+            });
         }
-        this.#transactionListeners.proxy.onEndTransaction();
+        this.#dispatchDeferredNotifications();
+        this.#finalizeTransaction();
     }
     inTransaction() { return this.#inTransaction; }
     constructingBox() { return this.#constructingBox; }
@@ -76,6 +82,9 @@ export class BoxGraph {
         const added = this.#boxes.add(box);
         assert(added, () => `${box.name} ${box.address.toString()} already staged`);
         const update = new NewUpdate(box.address.uuid, box.name, box.toArrayBuffer());
+        if (!this.#rollingBack) {
+            this.#transactionUpdates.push(update);
+        }
         this.#updateListeners.proxy.onUpdate(update);
         this.#immediateUpdateListeners.proxy.onUpdate(update);
         return box;
@@ -111,6 +120,9 @@ export class BoxGraph {
         assert(deleted === box, `${box} could not be found to unstage`);
         this.#edges.unwatchVerticesOf(box);
         const update = new DeleteUpdate(box.address.uuid, box.name, box.toArrayBuffer());
+        if (!this.#rollingBack) {
+            this.#transactionUpdates.push(update);
+        }
         this.#deletionListeners.removeByKeyIfExist(box.address.uuid)?.listeners.forEach(listener => listener());
         this.#updateListeners.proxy.onUpdate(update);
         this.#immediateUpdateListeners.proxy.onUpdate(update);
@@ -132,6 +144,9 @@ export class BoxGraph {
         this.#assertTransaction();
         if (field.isAttached() && !this.#constructingBox) {
             const update = new PrimitiveUpdate(field.address, field.serialization(), oldValue, newValue);
+            if (!this.#rollingBack) {
+                this.#transactionUpdates.push(update);
+            }
             this.#dispatchers.dispatch(update);
             this.#updateListeners.proxy.onUpdate(update);
             this.#immediateUpdateListeners.proxy.onUpdate(update);
@@ -150,6 +165,9 @@ export class BoxGraph {
             this.#deferredPointerUpdates.push({ pointerField, update });
         }
         else {
+            if (!this.#rollingBack) {
+                this.#transactionUpdates.push(update);
+            }
             this.#processPointerVertexUpdate(pointerField, update);
             this.#immediateUpdateListeners.proxy.onUpdate(update);
         }
@@ -170,6 +188,60 @@ export class BoxGraph {
         this.#dispatchers.dispatch(update);
         this.#updateListeners.proxy.onUpdate(update);
     }
+    #prepareDeferredPointerUpdate(pointerField, update) {
+        const { oldAddress, newAddress } = update;
+        pointerField.resolvedTo(newAddress.flatMap(address => this.findVertex(address)));
+        const optState = this.#pointerTransactionState.opt(pointerField.address);
+        optState.match({
+            none: () => this.#pointerTransactionState.add({
+                pointer: pointerField,
+                initial: oldAddress,
+                final: newAddress,
+                index: this.#pointerTransactionState.size()
+            }),
+            some: state => state.final = newAddress
+        });
+        this.#pendingDeferredNotifications.push({ pointerField, update });
+    }
+    #dispatchDeferredNotifications() {
+        for (const { update } of this.#pendingDeferredNotifications) {
+            this.#dispatchers.dispatch(update);
+            this.#updateListeners.proxy.onUpdate(update);
+        }
+        this.#pendingDeferredNotifications.length = 0;
+    }
+    #finalizeTransaction() {
+        this.#pointerTransactionState.values()
+            .toSorted((a, b) => a.index - b.index)
+            .forEach(({ pointer, initial, final }) => {
+            if (!initial.equals(final)) {
+                initial.ifSome(address => this.findVertex(address).unwrapOrUndefined()?.pointerHub.onRemoved(pointer));
+                final.ifSome(address => this.findVertex(address).unwrapOrUndefined()?.pointerHub.onAdded(pointer));
+            }
+        });
+        this.#pointerTransactionState.clear();
+        this.#inTransaction = false;
+        while (this.#finalizeTransactionObservers.length > 0) {
+            this.#finalizeTransactionObservers.splice(0).forEach(observer => observer());
+            if (this.#finalizeTransactionObservers.length > 0) {
+                console.debug(`${this.#finalizeTransactionObservers.length} new observers while notifying`);
+            }
+        }
+        this.#transactionListeners.proxy.onEndTransaction(this.#rollingBack);
+        this.#rollingBack = false;
+    }
+    #rollback() {
+        this.#rollingBack = true;
+        const updates = this.#transactionUpdates.splice(0);
+        for (let i = updates.length - 1; i >= 0; i--) {
+            updates[i].inverse(this);
+        }
+        this.#deferredPointerUpdates.length = 0;
+        this.#pendingDeferredNotifications.length = 0;
+        this.#edges.clearAffected();
+        this.#pointerTransactionState.clear();
+        this.#transactionUpdates.length = 0;
+    }
     findOrphans(rootBox) {
         const connectedBoxes = this.#collectAllConnectedBoxes(rootBox);
         return this.boxes().filter(box => !connectedBoxes.has(box));
@@ -331,7 +403,7 @@ export class BoxGraph {
         });
         return output.toArrayBuffer();
     }
-    fromArrayBuffer(arrayBuffer) {
+    fromArrayBuffer(arrayBuffer, validate = true) {
         assert(this.#boxes.isEmpty(), "Cannot call fromArrayBuffer if boxes is not empty");
         const input = new ByteArrayInput(arrayBuffer);
         const numBoxes = input.readInt();
@@ -350,7 +422,17 @@ export class BoxGraph {
         boxes
             .sort((a, b) => a.creationIndex - b.creationIndex)
             .forEach(({ name, uuid, boxStream }) => this.createBox(name, uuid, box => box.read(boxStream)));
-        this.endTransaction();
+        if (validate) {
+            this.endTransaction();
+        }
+        else {
+            if (this.#deferredPointerUpdates.length > 0) {
+                this.#deferredPointerUpdates.forEach(({ pointerField, update }) => this.#processPointerVertexUpdate(pointerField, update));
+                this.#deferredPointerUpdates.length = 0;
+            }
+            this.#edges.clearAffected();
+            this.#finalizeTransaction();
+        }
     }
     toJSON() {
         const result = {};
@@ -362,7 +444,7 @@ export class BoxGraph {
         }
         return result;
     }
-    fromJSON(value) {
+    fromJSON(value, validate = true) {
         if (typeof value !== "object" || value === null || Array.isArray(value)) {
             return panic("Expected object");
         }
@@ -370,15 +452,23 @@ export class BoxGraph {
         const entries = Object.entries(value);
         for (const [uuid, { name, fields }] of entries) {
             this.createBox(name, UUID.parse(uuid), box => {
-                try {
-                    box.fromJSON(fields);
-                }
-                catch (reason) {
-                    console.warn(reason);
+                const result = tryCatch(() => box.fromJSON(fields));
+                if (result.status === "failure") {
+                    console.warn(result.error);
                 }
             });
         }
-        this.endTransaction();
+        if (validate) {
+            this.endTransaction();
+        }
+        else {
+            if (this.#deferredPointerUpdates.length > 0) {
+                this.#deferredPointerUpdates.forEach(({ pointerField, update }) => this.#processPointerVertexUpdate(pointerField, update));
+                this.#deferredPointerUpdates.length = 0;
+            }
+            this.#edges.clearAffected();
+            this.#finalizeTransaction();
+        }
     }
     #assertTransaction() {
         assert(this.#inTransaction, () => "Modification only prohibited in transaction mode.");

package/dist/sync-source.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sync-source.d.ts","sourceRoot":"","sources":["../src/sync-source.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2B,UAAU,EAAa,MAAM,kBAAkB,CAAA;AACjF,OAAO,EAAe,SAAS,EAAC,MAAM,sBAAsB,CAAA;AAC5D,OAAO,EAAC,QAAQ,EAAC,MAAM,SAAS,CAAA;AAIhC,qBAAa,UAAU,CAAC,CAAC,CAAE,YAAW,UAAU;;IAC5C,MAAM,CAAC,QAAQ,CAAC,cAAc,SAAQ;gBAK1B,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,EAAE,OAAO;IAkE1E,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;IACzC,SAAS;CACZ"}
+{"version":3,"file":"sync-source.d.ts","sourceRoot":"","sources":["../src/sync-source.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2B,UAAU,EAAa,MAAM,kBAAkB,CAAA;AACjF,OAAO,EAAe,SAAS,EAAC,MAAM,sBAAsB,CAAA;AAC5D,OAAO,EAAC,QAAQ,EAAC,MAAM,SAAS,CAAA;AAIhC,qBAAa,UAAU,CAAC,CAAC,CAAE,YAAW,UAAU;;IAC5C,MAAM,CAAC,QAAQ,CAAC,cAAc,SAAQ;gBAK1B,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,EAAE,OAAO;IAsE1E,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;IACzC,SAAS;CACZ"}

package/dist/sync-source.js

@@ -23,7 +23,11 @@ export class SyncSource {
         const updates = [];
         this.#terminator.own(graph.subscribeTransaction({
             onBeginTransaction: EmptyExec,
-            onEndTransaction: () => {
+            onEndTransaction: (rolledBack) => {
+                if (rolledBack) {
+                    Arrays.clear(updates);
+                    return;
+                }
                 this.#caller.sendUpdates(updates);
                 if (SyncSource.DEBUG_CHECKSUM) {
                     this.#caller.checksum(graph.checksum()).then(EmptyExec, (reason) => panic(reason));

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@opendaw/lib-box",
-  "version": "0.0.80",
+  "version": "0.0.81",
   "sideEffects": false,
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",
@@ -23,12 +23,12 @@
     "test": "vitest run"
   },
   "dependencies": {
-    "@opendaw/lib-runtime": "^0.0.75",
-    "@opendaw/lib-std": "^0.0.74"
+    "@opendaw/lib-runtime": "^0.0.76",
+    "@opendaw/lib-std": "^0.0.75"
   },
   "devDependencies": {
     "@opendaw/eslint-config": "^0.0.27",
     "@opendaw/typescript-config": "^0.0.29"
   },
-  "gitHead": "7ccb6855109bc13274fd83ec5dc4ea2302d83b8e"
+  "gitHead": "ff6efcb5332559bb0ba064be829ab0d18a6ba226"
 }