@kurot/ui-document 0.1.0 → 0.3.0

package/dist/kurot/editing/UITransaction.d.ts

@@ -0,0 +1,69 @@
+import type { UIDocument } from '../model/UIDocument.js';
+import type { UIDiagnostic } from '../validation/UIDiagnostic.js';
+import type { UIDocumentChange } from './diffUIDocuments.js';
+import type { UIOperation } from './UIOperation.js';
+/**
+ * Immutable document snapshot paired with its editing revision.
+ */
+export interface UIRevisionSnapshot {
+    /**
+     * Current semantic document.
+     */
+    readonly document: UIDocument;
+    /**
+     * Monotonically increasing edit revision.
+     */
+    readonly revision: number;
+}
+/**
+ * Atomic group of semantic operations expressing one user intent.
+ */
+export interface UITransaction {
+    /**
+     * Caller-supplied stable transaction identity.
+     */
+    readonly id: string;
+    /**
+     * Revision used when the transaction was authored.
+     */
+    readonly expectedRevision: number;
+    /**
+     * Human-readable intent shown in review and history UI.
+     */
+    readonly summary: string;
+    /**
+     * Ordered operations committed atomically.
+     */
+    readonly operations: readonly UIOperation[];
+}
+/**
+ * Optional semantic validation performed against the final transaction result.
+ */
+export type UITransactionValidator = (document: UIDocument) => readonly UIDiagnostic[];
+/**
+ * Transaction application customization.
+ */
+export interface ApplyUITransactionOptions {
+    /**
+     * Project-aware validator run after built-in structural validation.
+     */
+    readonly validate?: UITransactionValidator;
+}
+/**
+ * Committed transaction result and its complete undo information.
+ */
+export interface UITransactionResult extends UIRevisionSnapshot {
+    /**
+     * Original transaction that was committed.
+     */
+    readonly transaction: UITransaction;
+    /**
+     * Reverse-ordered transaction that restores the input document.
+     */
+    readonly inverse: UITransaction;
+    /**
+     * Deterministic semantic differences produced by the commit.
+     */
+    readonly changes: readonly UIDocumentChange[];
+}
+//# sourceMappingURL=UITransaction.d.ts.map

package/dist/kurot/editing/UITransaction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"UITransaction.d.ts","sourceRoot":"","sources":["../../../src/kurot/editing/UITransaction.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAEpD;;GAEG;AACH,MAAM,WAAW,kBAAkB;IAClC;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;IAE9B;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC7B;;OAEG;IACH,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAEpB;;OAEG;IACH,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAElC;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAEzB;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS,WAAW,EAAE,CAAC;CAC5C;AAED;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAAG,CACpC,QAAQ,EAAE,UAAU,KAChB,SAAS,YAAY,EAAE,CAAC;AAE7B;;GAEG;AACH,MAAM,WAAW,yBAAyB;IACzC;;OAEG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,sBAAsB,CAAC;CAC3C;AAED;;GAEG;AACH,MAAM,WAAW,mBAAoB,SAAQ,kBAAkB;IAC9D;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;IAEpC;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAEhC;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;CAC9C"}

package/dist/kurot/editing/UITransaction.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=UITransaction.js.map

package/dist/kurot/editing/UITransaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"UITransaction.js","sourceRoot":"","sources":["../../../src/kurot/editing/UITransaction.ts"],"names":[],"mappings":""}

package/dist/kurot/editing/applyContractOperation.d.ts

@@ -0,0 +1,11 @@
+import type { UIDocument } from '../model/UIDocument.js';
+import type { UIOperation, UIOperationResult } from './UIOperation.js';
+type UIContractOperation = Extract<UIOperation, {
+    readonly kind: `${'remove' | 'set'}-contract-${string}`;
+}>;
+/**
+ * Applies one contract-entry operation and returns its exact inverse.
+ */
+export declare function applyContractOperation(document: UIDocument, operation: UIContractOperation): UIOperationResult;
+export {};
+//# sourceMappingURL=applyContractOperation.d.ts.map

package/dist/kurot/editing/applyContractOperation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"applyContractOperation.d.ts","sourceRoot":"","sources":["../../../src/kurot/editing/applyContractOperation.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAGvE,KAAK,mBAAmB,GAAG,OAAO,CACjC,WAAW,EACX;IAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,QAAQ,GAAG,KAAK,aAAa,MAAM,EAAE,CAAA;CAAE,CAC3D,CAAC;AAEF;;GAEG;AACH,wBAAgB,sBAAsB,CACrC,QAAQ,EAAE,UAAU,EACpB,SAAS,EAAE,mBAAmB,GAC5B,iBAAiB,CAgDnB"}

package/dist/kurot/editing/applyContractOperation.js

@@ -0,0 +1,76 @@
+import { missingValue, requireName } from './editHelpers.js';
+/**
+ * Applies one contract-entry operation and returns its exact inverse.
+ */
+export function applyContractOperation(document, operation) {
+    switch (operation.kind) {
+        case 'set-contract-parameter':
+            return setEntry(document, operation.name, 'parameters', operation.definition, previous => previous
+                ? { kind: 'set-contract-parameter', name: operation.name, definition: previous }
+                : { kind: 'remove-contract-parameter', name: operation.name });
+        case 'remove-contract-parameter':
+            return removeEntry(document, operation.name, 'parameters', previous => ({
+                kind: 'set-contract-parameter', name: operation.name, definition: previous,
+            }));
+        case 'set-contract-part':
+            return setEntry(document, operation.name, 'parts', operation.definition, previous => previous
+                ? { kind: 'set-contract-part', name: operation.name, definition: previous }
+                : { kind: 'remove-contract-part', name: operation.name });
+        case 'remove-contract-part':
+            return removeEntry(document, operation.name, 'parts', previous => ({
+                kind: 'set-contract-part', name: operation.name, definition: previous,
+            }));
+        case 'set-contract-slot':
+            return setEntry(document, operation.name, 'slots', operation.definition, previous => previous
+                ? { kind: 'set-contract-slot', name: operation.name, definition: previous }
+                : { kind: 'remove-contract-slot', name: operation.name });
+        case 'remove-contract-slot':
+            return removeEntry(document, operation.name, 'slots', previous => ({
+                kind: 'set-contract-slot', name: operation.name, definition: previous,
+            }));
+        case 'set-contract-state':
+            return setEntry(document, operation.name, 'states', operation.definition, previous => previous
+                ? { kind: 'set-contract-state', name: operation.name, definition: previous }
+                : { kind: 'remove-contract-state', name: operation.name });
+        case 'remove-contract-state':
+            return removeEntry(document, operation.name, 'states', previous => ({
+                kind: 'set-contract-state', name: operation.name, definition: previous,
+            }));
+        case 'set-contract-variant':
+            return setEntry(document, operation.name, 'variants', operation.definition, previous => previous
+                ? { kind: 'set-contract-variant', name: operation.name, definition: previous }
+                : { kind: 'remove-contract-variant', name: operation.name });
+        case 'remove-contract-variant':
+            return removeEntry(document, operation.name, 'variants', previous => ({
+                kind: 'set-contract-variant', name: operation.name, definition: previous,
+            }));
+    }
+}
+function setEntry(document, nameInput, key, definition, createInverse) {
+    const name = requireName(nameInput, 'Contract entry name');
+    const entries = document.contract[key];
+    const contract = {
+        ...document.contract,
+        [key]: { ...entries, [name]: definition },
+    };
+    return {
+        document: { ...document, contract },
+        inverse: createInverse(entries[name]),
+    };
+}
+function removeEntry(document, name, key, createInverse) {
+    const entries = document.contract[key];
+    const previous = entries[name];
+    if (!previous)
+        throw missingValue('Contract entry', '$.name');
+    const nextEntries = { ...entries };
+    delete nextEntries[name];
+    return {
+        document: {
+            ...document,
+            contract: { ...document.contract, [key]: nextEntries },
+        },
+        inverse: createInverse(previous),
+    };
+}
+//# sourceMappingURL=applyContractOperation.js.map

package/dist/kurot/editing/applyContractOperation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"applyContractOperation.js","sourceRoot":"","sources":["../../../src/kurot/editing/applyContractOperation.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAO7D;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACrC,QAAoB,EACpB,SAA8B;IAE9B,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,wBAAwB;YAC5B,OAAO,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,YAAY,EAAE,SAAS,CAAC,UAAU,EAC3E,QAAQ,CAAC,EAAE,CAAC,QAAQ;gBACnB,CAAC,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE;gBAChF,CAAC,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;QAClE,KAAK,2BAA2B;YAC/B,OAAO,WAAW,CAAwB,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,YAAY,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAC9F,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ;aAC1E,CAAC,CAAC,CAAC;QACL,KAAK,mBAAmB;YACvB,OAAO,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,UAAU,EACtE,QAAQ,CAAC,EAAE,CAAC,QAAQ;gBACnB,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE;gBAC3E,CAAC,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7D,KAAK,sBAAsB;YAC1B,OAAO,WAAW,CAAmB,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;gBACpF,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ;aACrE,CAAC,CAAC,CAAC;QACL,KAAK,mBAAmB;YACvB,OAAO,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,UAAU,EACtE,QAAQ,CAAC,EAAE,CAAC,QAAQ;gBACnB,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE;gBAC3E,CAAC,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7D,KAAK,sBAAsB;YAC1B,OAAO,WAAW,CAAmB,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;gBACpF,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ;aACrE,CAAC,CAAC,CAAC;QACL,KAAK,oBAAoB;YACxB,OAAO,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,UAAU,EACvE,QAAQ,CAAC,EAAE,CAAC,QAAQ;gBACnB,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE;gBAC5E,CAAC,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9D,KAAK,uBAAuB;YAC3B,OAAO,WAAW,CAAoB,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;gBACtF,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ;aACtE,CAAC,CAAC,CAAC;QACL,KAAK,sBAAsB;YAC1B,OAAO,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,CAAC,UAAU,EACzE,QAAQ,CAAC,EAAE,CAAC,QAAQ;gBACnB,CAAC,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE;gBAC9E,CAAC,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;QAChE,KAAK,yBAAyB;YAC7B,OAAO,WAAW,CAAsB,QAAQ,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAC1F,IAAI,EAAE,sBAAsB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ;aACxE,CAAC,CAAC,CAAC;IACN,CAAC;AACF,CAAC;AAED,SAAS,QAAQ,CAChB,QAAoB,EACpB,SAAiB,EACjB,GAAuB,EACvB,UAAkB,EAClB,aAA4D;IAE5D,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAqC,CAAC;IAC3E,MAAM,QAAQ,GAAG;QAChB,GAAG,QAAQ,CAAC,QAAQ;QACpB,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE;KACzC,CAAC;IACF,OAAO;QACN,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE;QACnC,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;KACrC,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CACnB,QAAoB,EACpB,IAAY,EACZ,GAAuB,EACvB,aAAgD;IAEhD,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAqC,CAAC;IAC3E,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,CAAC,QAAQ;QAAE,MAAM,YAAY,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC;IAC9D,MAAM,WAAW,GAA2B,EAAE,GAAG,OAAO,EAAE,CAAC;IAC3D,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC;IACzB,OAAO;QACN,QAAQ,EAAE;YACT,GAAG,QAAQ;YACX,QAAQ,EAAE,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE;SACtD;QACD,OAAO,EAAE,aAAa,CAAC,QAAQ,CAAC;KAChC,CAAC;AACH,CAAC"}

package/dist/kurot/editing/applyInstanceOperation.d.ts

@@ -0,0 +1,11 @@
+import type { UIDocument } from '../model/UIDocument.js';
+import type { UIOperation, UIOperationResult } from './UIOperation.js';
+type UIInstanceOperation = Extract<UIOperation, {
+    readonly kind: 'remove-instance-override' | 'remove-instance-parameter' | 'remove-instance-variant' | 'remove-node-instance' | 'set-instance-override' | 'set-instance-parameter' | 'set-instance-variant' | 'set-node-instance';
+}>;
+/**
+ * Applies one reusable-instance operation and returns its exact inverse.
+ */
+export declare function applyInstanceOperation(document: UIDocument, operation: UIInstanceOperation): UIOperationResult;
+export {};
+//# sourceMappingURL=applyInstanceOperation.d.ts.map

package/dist/kurot/editing/applyInstanceOperation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"applyInstanceOperation.d.ts","sourceRoot":"","sources":["../../../src/kurot/editing/applyInstanceOperation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AASvE,KAAK,mBAAmB,GAAG,OAAO,CACjC,WAAW,EACX;IACC,QAAQ,CAAC,IAAI,EACV,0BAA0B,GAC1B,2BAA2B,GAC3B,yBAAyB,GACzB,sBAAsB,GACtB,uBAAuB,GACvB,wBAAwB,GACxB,sBAAsB,GACtB,mBAAmB,CAAC;CACvB,CACD,CAAC;AAEF;;GAEG;AACH,wBAAgB,sBAAsB,CACrC,QAAQ,EAAE,UAAU,EACpB,SAAS,EAAE,mBAAmB,GAC5B,iBAAiB,CAmBnB"}

package/dist/kurot/editing/applyInstanceOperation.js

@@ -0,0 +1,150 @@
+import { missingInstance, missingValue, requireName, updateInstance, updateNode, } from './editHelpers.js';
+/**
+ * Applies one reusable-instance operation and returns its exact inverse.
+ */
+export function applyInstanceOperation(document, operation) {
+    switch (operation.kind) {
+        case 'set-node-instance':
+            return setNodeInstance(document, operation);
+        case 'remove-node-instance':
+            return removeNodeInstance(document, operation);
+        case 'set-instance-parameter':
+            return setInstanceParameter(document, operation);
+        case 'remove-instance-parameter':
+            return removeInstanceParameter(document, operation);
+        case 'set-instance-variant':
+            return setInstanceVariant(document, operation);
+        case 'remove-instance-variant':
+            return removeInstanceVariant(document, operation);
+        case 'set-instance-override':
+            return setInstanceOverride(document, operation);
+        case 'remove-instance-override':
+            return removeInstanceOverride(document, operation);
+    }
+}
+function setNodeInstance(document, operation) {
+    return updateNode(document, operation.nodeId, node => ({
+        documentNode: { ...node, instance: operation.instance },
+        inverse: node.instance
+            ? { kind: 'set-node-instance', nodeId: node.id, instance: node.instance }
+            : { kind: 'remove-node-instance', nodeId: node.id },
+    }));
+}
+function removeNodeInstance(document, operation) {
+    return updateNode(document, operation.nodeId, node => {
+        if (!node.instance)
+            throw missingInstance(node.id);
+        const { instance, ...documentNode } = node;
+        return {
+            documentNode,
+            inverse: { kind: 'set-node-instance', nodeId: node.id, instance },
+        };
+    });
+}
+function setInstanceParameter(document, operation) {
+    const parameter = requireName(operation.parameter, 'Parameter name');
+    return updateInstance(document, operation.nodeId, instance => ({
+        instance: {
+            ...instance,
+            parameters: { ...instance.parameters, [parameter]: operation.value },
+        },
+        inverse: Object.hasOwn(instance.parameters, parameter)
+            ? {
+                kind: 'set-instance-parameter',
+                nodeId: operation.nodeId,
+                parameter,
+                value: instance.parameters[parameter],
+            }
+            : { kind: 'remove-instance-parameter', nodeId: operation.nodeId, parameter },
+    }));
+}
+function removeInstanceParameter(document, operation) {
+    return updateInstance(document, operation.nodeId, instance => {
+        const value = instance.parameters[operation.parameter];
+        if (value === undefined)
+            throw missingValue('Instance parameter', '$.parameter');
+        const parameters = { ...instance.parameters };
+        delete parameters[operation.parameter];
+        return {
+            instance: { ...instance, parameters },
+            inverse: {
+                kind: 'set-instance-parameter',
+                nodeId: operation.nodeId,
+                parameter: operation.parameter,
+                value,
+            },
+        };
+    });
+}
+function setInstanceVariant(document, operation) {
+    const variant = requireName(operation.variant, 'Variant name');
+    return updateInstance(document, operation.nodeId, instance => ({
+        instance: { ...instance, variant },
+        inverse: instance.variant
+            ? {
+                kind: 'set-instance-variant',
+                nodeId: operation.nodeId,
+                variant: instance.variant,
+            }
+            : { kind: 'remove-instance-variant', nodeId: operation.nodeId },
+    }));
+}
+function removeInstanceVariant(document, operation) {
+    return updateInstance(document, operation.nodeId, instance => {
+        if (!instance.variant)
+            throw missingValue('Instance variant', '$.nodeId');
+        const { variant, ...nextInstance } = instance;
+        return {
+            instance: nextInstance,
+            inverse: { kind: 'set-instance-variant', nodeId: operation.nodeId, variant },
+        };
+    });
+}
+function setInstanceOverride(document, operation) {
+    return updateInstance(document, operation.nodeId, instance => {
+        const index = instance.overrides.findIndex(item => item.part === operation.override.part &&
+            item.property === operation.override.property);
+        const overrides = [...instance.overrides];
+        if (index >= 0)
+            overrides[index] = operation.override;
+        else
+            overrides.push(operation.override);
+        return {
+            instance: { ...instance, overrides },
+            inverse: index >= 0
+                ? {
+                    kind: 'set-instance-override',
+                    nodeId: operation.nodeId,
+                    override: instance.overrides[index],
+                }
+                : {
+                    kind: 'remove-instance-override',
+                    nodeId: operation.nodeId,
+                    part: operation.override.part,
+                    property: operation.override.property,
+                },
+        };
+    });
+}
+function removeInstanceOverride(document, operation) {
+    return updateInstance(document, operation.nodeId, instance => {
+        const index = instance.overrides.findIndex(item => item.part === operation.part && item.property === operation.property);
+        if (index < 0)
+            throw missingValue('Instance override', '$');
+        return {
+            instance: {
+                ...instance,
+                overrides: [
+                    ...instance.overrides.slice(0, index),
+                    ...instance.overrides.slice(index + 1),
+                ],
+            },
+            inverse: {
+                kind: 'set-instance-override',
+                nodeId: operation.nodeId,
+                override: instance.overrides[index],
+            },
+        };
+    });
+}
+//# sourceMappingURL=applyInstanceOperation.js.map

package/dist/kurot/editing/applyInstanceOperation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"applyInstanceOperation.js","sourceRoot":"","sources":["../../../src/kurot/editing/applyInstanceOperation.ts"],"names":[],"mappings":"AAEA,OAAO,EACN,eAAe,EACf,YAAY,EACZ,WAAW,EACX,cAAc,EACd,UAAU,GACV,MAAM,kBAAkB,CAAC;AAiB1B;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACrC,QAAoB,EACpB,SAA8B;IAE9B,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,mBAAmB;YACvB,OAAO,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC7C,KAAK,sBAAsB;YAC1B,OAAO,kBAAkB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAChD,KAAK,wBAAwB;YAC5B,OAAO,oBAAoB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAClD,KAAK,2BAA2B;YAC/B,OAAO,uBAAuB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACrD,KAAK,sBAAsB;YAC1B,OAAO,kBAAkB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAChD,KAAK,yBAAyB;YAC7B,OAAO,qBAAqB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACnD,KAAK,uBAAuB;YAC3B,OAAO,mBAAmB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACjD,KAAK,0BAA0B;YAC9B,OAAO,sBAAsB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACrD,CAAC;AACF,CAAC;AAED,SAAS,eAAe,CACvB,QAAoB,EACpB,SAA+E;IAE/E,OAAO,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QACtD,YAAY,EAAE,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE;QACvD,OAAO,EAAE,IAAI,CAAC,QAAQ;YACrB,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE;YACzE,CAAC,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE;KACpD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAC1B,QAAoB,EACpB,SAAkF;IAElF,OAAO,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE;QACpD,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,MAAM,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnD,MAAM,EAAE,QAAQ,EAAE,GAAG,YAAY,EAAE,GAAG,IAAI,CAAC;QAC3C,OAAO;YACN,YAAY;YACZ,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE;SACjE,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC5B,QAAoB,EACpB,SAAoF;IAEpF,MAAM,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;IACrE,OAAO,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC9D,QAAQ,EAAE;YACT,GAAG,QAAQ;YACX,UAAU,EAAE,EAAE,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,KAAK,EAAE;SACpE;QACD,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC;YACrD,CAAC,CAAC;gBACA,IAAI,EAAE,wBAAwB;gBAC9B,MAAM,EAAE,SAAS,CAAC,MAAM;gBACxB,SAAS;gBACT,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAE;aACtC;YACF,CAAC,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,EAAE;KAC7E,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAC/B,QAAoB,EACpB,SAAuF;IAEvF,OAAO,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE;QAC5D,MAAM,KAAK,GAAG,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACvD,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,YAAY,CAAC,oBAAoB,EAAE,aAAa,CAAC,CAAC;QACjF,MAAM,UAAU,GAAG,EAAE,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC9C,OAAO,UAAU,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACvC,OAAO;YACN,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,UAAU,EAAE;YACrC,OAAO,EAAE;gBACR,IAAI,EAAE,wBAAwB;gBAC9B,MAAM,EAAE,SAAS,CAAC,MAAM;gBACxB,SAAS,EAAE,SAAS,CAAC,SAAS;gBAC9B,KAAK;aACL;SACD,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAC1B,QAAoB,EACpB,SAAkF;IAElF,MAAM,OAAO,GAAG,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;IAC/D,OAAO,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC9D,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE;QAClC,OAAO,EAAE,QAAQ,CAAC,OAAO;YACxB,CAAC,CAAC;gBACA,IAAI,EAAE,sBAAsB;gBAC5B,MAAM,EAAE,SAAS,CAAC,MAAM;gBACxB,OAAO,EAAE,QAAQ,CAAC,OAAO;aACzB;YACF,CAAC,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE;KAChE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAC7B,QAAoB,EACpB,SAAqF;IAErF,OAAO,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE;QAC5D,IAAI,CAAC,QAAQ,CAAC,OAAO;YAAE,MAAM,YAAY,CAAC,kBAAkB,EAAE,UAAU,CAAC,CAAC;QAC1E,MAAM,EAAE,OAAO,EAAE,GAAG,YAAY,EAAE,GAAG,QAAQ,CAAC;QAC9C,OAAO;YACN,QAAQ,EAAE,YAAY;YACtB,OAAO,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE;SAC5E,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC3B,QAAoB,EACpB,SAAmF;IAEnF,OAAO,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE;QAC5D,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,SAAS,CACzC,IAAI,CAAC,EAAE,CACN,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,QAAQ,CAAC,IAAI;YACrC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAC9C,CAAC;QACF,MAAM,SAAS,GAAG,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC1C,IAAI,KAAK,IAAI,CAAC;YAAE,SAAS,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC;;YACjD,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACxC,OAAO;YACN,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,SAAS,EAAE;YACpC,OAAO,EACN,KAAK,IAAI,CAAC;gBACT,CAAC,CAAC;oBACA,IAAI,EAAE,uBAAuB;oBAC7B,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,QAAQ,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAE;iBACpC;gBACF,CAAC,CAAC;oBACA,IAAI,EAAE,0BAA0B;oBAChC,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,IAAI,EAAE,SAAS,CAAC,QAAQ,CAAC,IAAI;oBAC7B,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,QAAQ;iBACrC;SACJ,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC9B,QAAoB,EACpB,SAAsF;IAEtF,OAAO,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE;QAC5D,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,SAAS,CACzC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,QAAQ,CAC5E,CAAC;QACF,IAAI,KAAK,GAAG,CAAC;YAAE,MAAM,YAAY,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC;QAC5D,OAAO;YACN,QAAQ,EAAE;gBACT,GAAG,QAAQ;gBACX,SAAS,EAAE;oBACV,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;oBACrC,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;iBACtC;aACD;YACD,OAAO,EAAE;gBACR,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,SAAS,CAAC,MAAM;gBACxB,QAAQ,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAE;aACpC;SACD,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC"}

package/dist/kurot/editing/applyNodeOperation.d.ts

@@ -0,0 +1,11 @@
+import type { UIDocument } from '../model/UIDocument.js';
+import type { UIOperation, UIOperationResult } from './UIOperation.js';
+type UINodeOperation = Extract<UIOperation, {
+    readonly kind: 'insert-node' | 'move-node' | 'remove-node' | 'remove-node-appearance' | 'remove-node-property' | 'replace-node-type' | 'set-node-appearance' | 'set-node-property';
+}>;
+/**
+ * Applies one structural or node-property operation and returns its inverse.
+ */
+export declare function applyNodeOperation(document: UIDocument, operation: UINodeOperation): UIOperationResult;
+export {};
+//# sourceMappingURL=applyNodeOperation.d.ts.map

package/dist/kurot/editing/applyNodeOperation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"applyNodeOperation.d.ts","sourceRoot":"","sources":["../../../src/kurot/editing/applyNodeOperation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEzD,OAAO,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAWvE,KAAK,eAAe,GAAG,OAAO,CAC7B,WAAW,EACX;IACC,QAAQ,CAAC,IAAI,EACV,aAAa,GACb,WAAW,GACX,aAAa,GACb,wBAAwB,GACxB,sBAAsB,GACtB,mBAAmB,GACnB,qBAAqB,GACrB,mBAAmB,CAAC;CACvB,CACD,CAAC;AAEF;;GAEG;AACH,wBAAgB,kBAAkB,CACjC,QAAQ,EAAE,UAAU,EACpB,SAAS,EAAE,eAAe,GACxB,iBAAiB,CAsBnB"}

package/dist/kurot/editing/applyNodeOperation.js

@@ -0,0 +1,133 @@
+import { UIEditError } from './UIEditError.js';
+import { assertInsertIdsAvailable, missingValue, nodeNotFound, requireName, updateNode, validateTarget, } from './editHelpers.js';
+import { insertUINode, removeUINode } from './nodeTree.js';
+/**
+ * Applies one structural or node-property operation and returns its inverse.
+ */
+export function applyNodeOperation(document, operation) {
+    switch (operation.kind) {
+        case 'insert-node':
+            return insertNode(document, operation);
+        case 'remove-node':
+            return removeNode(document, operation);
+        case 'move-node':
+            return moveNode(document, operation);
+        case 'replace-node-type':
+            return updateNode(document, operation.nodeId, node => ({
+                documentNode: { ...node, type: requireName(operation.type, 'Node type') },
+                inverse: { kind: 'replace-node-type', nodeId: node.id, type: node.type },
+            }));
+        case 'set-node-property':
+            return setNodeProperty(document, operation);
+        case 'remove-node-property':
+            return removeNodeProperty(document, operation);
+        case 'set-node-appearance':
+            return setNodeAppearance(document, operation);
+        case 'remove-node-appearance':
+            return removeNodeAppearance(document, operation);
+    }
+}
+function insertNode(document, operation) {
+    validateTarget(document.root, operation.target, operation.index);
+    assertInsertIdsAvailable(document.root, operation.node);
+    const root = insertUINode(document.root, operation.target, operation.index, operation.node);
+    if (!root)
+        throw nodeNotFound(operation.target.parentId, '$.target.parentId');
+    return {
+        document: { ...document, root },
+        inverse: { kind: 'remove-node', nodeId: operation.node.id },
+    };
+}
+function removeNode(document, operation) {
+    if (document.root.id === operation.nodeId) {
+        throw new UIEditError('root-operation', 'The document root cannot be removed.', '$.nodeId');
+    }
+    const removed = removeUINode(document.root, operation.nodeId);
+    if (!removed)
+        throw nodeNotFound(operation.nodeId, '$.nodeId');
+    return {
+        document: { ...document, root: removed.root },
+        inverse: {
+            kind: 'insert-node',
+            target: removed.target,
+            index: removed.index,
+            node: removed.node,
+        },
+    };
+}
+function moveNode(document, operation) {
+    if (document.root.id === operation.nodeId) {
+        throw new UIEditError('root-operation', 'The document root cannot be moved.', '$.nodeId');
+    }
+    const removed = removeUINode(document.root, operation.nodeId);
+    if (!removed)
+        throw nodeNotFound(operation.nodeId, '$.nodeId');
+    validateTarget(removed.root, operation.target, operation.index);
+    const root = insertUINode(removed.root, operation.target, operation.index, removed.node);
+    if (!root)
+        throw nodeNotFound(operation.target.parentId, '$.target.parentId');
+    return {
+        document: { ...document, root },
+        inverse: {
+            kind: 'move-node',
+            nodeId: operation.nodeId,
+            target: removed.target,
+            index: removed.index,
+        },
+    };
+}
+function setNodeProperty(document, operation) {
+    const property = requireName(operation.property, 'Property name');
+    return updateNode(document, operation.nodeId, node => ({
+        documentNode: {
+            ...node,
+            properties: { ...node.properties, [property]: operation.value },
+        },
+        inverse: Object.hasOwn(node.properties, property)
+            ? {
+                kind: 'set-node-property',
+                nodeId: node.id,
+                property,
+                value: node.properties[property],
+            }
+            : { kind: 'remove-node-property', nodeId: node.id, property },
+    }));
+}
+function removeNodeProperty(document, operation) {
+    return updateNode(document, operation.nodeId, node => {
+        const value = node.properties[operation.property];
+        if (value === undefined)
+            throw missingValue('Node property', '$.property');
+        const properties = { ...node.properties };
+        delete properties[operation.property];
+        return {
+            documentNode: { ...node, properties },
+            inverse: {
+                kind: 'set-node-property',
+                nodeId: node.id,
+                property: operation.property,
+                value,
+            },
+        };
+    });
+}
+function setNodeAppearance(document, operation) {
+    return updateNode(document, operation.nodeId, node => ({
+        documentNode: { ...node, appearance: operation.appearance },
+        inverse: node.appearance
+            ? { kind: 'set-node-appearance', nodeId: node.id, appearance: node.appearance }
+            : { kind: 'remove-node-appearance', nodeId: node.id },
+    }));
+}
+function removeNodeAppearance(document, operation) {
+    return updateNode(document, operation.nodeId, node => {
+        if (!node.appearance)
+            throw missingValue('Node appearance', '$.nodeId');
+        const { appearance, ...documentNode } = node;
+        return {
+            documentNode,
+            inverse: { kind: 'set-node-appearance', nodeId: node.id, appearance },
+        };
+    });
+}
+//# sourceMappingURL=applyNodeOperation.js.map

package/dist/kurot/editing/applyNodeOperation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"applyNodeOperation.js","sourceRoot":"","sources":["../../../src/kurot/editing/applyNodeOperation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,EACN,wBAAwB,EACxB,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,UAAU,EACV,cAAc,GACd,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAiB3D;;GAEG;AACH,MAAM,UAAU,kBAAkB,CACjC,QAAoB,EACpB,SAA0B;IAE1B,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,aAAa;YACjB,OAAO,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACxC,KAAK,aAAa;YACjB,OAAO,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACxC,KAAK,WAAW;YACf,OAAO,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACtC,KAAK,mBAAmB;YACvB,OAAO,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;gBACtD,YAAY,EAAE,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE;gBACzE,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;aACxE,CAAC,CAAC,CAAC;QACL,KAAK,mBAAmB;YACvB,OAAO,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC7C,KAAK,sBAAsB;YAC1B,OAAO,kBAAkB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAChD,KAAK,qBAAqB;YACzB,OAAO,iBAAiB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC/C,KAAK,wBAAwB;YAC5B,OAAO,oBAAoB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACnD,CAAC;AACF,CAAC;AAED,SAAS,UAAU,CAClB,QAAoB,EACpB,SAAqE;IAErE,cAAc,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;IACjE,wBAAwB,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAC5F,IAAI,CAAC,IAAI;QAAE,MAAM,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;IAC9E,OAAO;QACN,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE;QAC/B,OAAO,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE;KAC3D,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAClB,QAAoB,EACpB,SAAqE;IAErE,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;QAC3C,MAAM,IAAI,WAAW,CAAC,gBAAgB,EAAE,sCAAsC,EAAE,UAAU,CAAC,CAAC;IAC7F,CAAC;IACD,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;IAC9D,IAAI,CAAC,OAAO;QAAE,MAAM,YAAY,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC/D,OAAO;QACN,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE;QAC7C,OAAO,EAAE;YACR,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,IAAI,EAAE,OAAO,CAAC,IAAI;SAClB;KACD,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAChB,QAAoB,EACpB,SAAmE;IAEnE,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;QAC3C,MAAM,IAAI,WAAW,CAAC,gBAAgB,EAAE,oCAAoC,EAAE,UAAU,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;IAC9D,IAAI,CAAC,OAAO;QAAE,MAAM,YAAY,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC/D,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACzF,IAAI,CAAC,IAAI;QAAE,MAAM,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;IAC9E,OAAO;QACN,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE;QAC/B,OAAO,EAAE;YACR,IAAI,EAAE,WAAW;YACjB,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK,EAAE,OAAO,CAAC,KAAK;SACpB;KACD,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACvB,QAAoB,EACpB,SAA2E;IAE3E,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;IAClE,OAAO,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QACtD,YAAY,EAAE;YACb,GAAG,IAAI;YACP,UAAU,EAAE,EAAE,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,KAAK,EAAE;SAC/D;QACD,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC;YAChD,CAAC,CAAC;gBACA,IAAI,EAAE,mBAAmB;gBACzB,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,QAAQ;gBACR,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAE;aACjC;YACF,CAAC,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE;KAC9D,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAC1B,QAAoB,EACpB,SAA8E;IAE9E,OAAO,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE;QACpD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,YAAY,CAAC,eAAe,EAAE,YAAY,CAAC,CAAC;QAC3E,MAAM,UAAU,GAAG,EAAE,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QAC1C,OAAO,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACtC,OAAO;YACN,YAAY,EAAE,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE;YACrC,OAAO,EAAE;gBACR,IAAI,EAAE,mBAAmB;gBACzB,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,QAAQ,EAAE,SAAS,CAAC,QAAQ;gBAC5B,KAAK;aACL;SACD,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACzB,QAAoB,EACpB,SAA6E;IAE7E,OAAO,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QACtD,YAAY,EAAE,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,SAAS,CAAC,UAAU,EAAE;QAC3D,OAAO,EAAE,IAAI,CAAC,UAAU;YACvB,CAAC,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE;YAC/E,CAAC,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE;KACtD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,oBAAoB,CAC5B,QAAoB,EACpB,SAAgF;IAEhF,OAAO,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE;QACpD,IAAI,CAAC,IAAI,CAAC,UAAU;YAAE,MAAM,YAAY,CAAC,iBAAiB,EAAE,UAAU,CAAC,CAAC;QACxE,MAAM,EAAE,UAAU,EAAE,GAAG,YAAY,EAAE,GAAG,IAAI,CAAC;QAC7C,OAAO;YACN,YAAY;YACZ,OAAO,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE;SACrE,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC"}

package/dist/kurot/editing/applyUIOperation.d.ts

@@ -0,0 +1,11 @@
+import type { UIDocument } from '../model/UIDocument.js';
+import type { UIOperation, UIOperationResult } from './UIOperation.js';
+/**
+ * Applies one semantic operation and rejects an invalid resulting document.
+ */
+export declare function applyUIOperation(document: UIDocument, operation: UIOperation): UIOperationResult;
+/**
+ * Applies one operation without final validation so transactions may be atomic.
+ */
+export declare function applyUIOperationUnchecked(document: UIDocument, operation: UIOperation): UIOperationResult;
+//# sourceMappingURL=applyUIOperation.d.ts.map

package/dist/kurot/editing/applyUIOperation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"applyUIOperation.d.ts","sourceRoot":"","sources":["../../../src/kurot/editing/applyUIOperation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAMzD,OAAO,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAEvE;;GAEG;AACH,wBAAgB,gBAAgB,CAC/B,QAAQ,EAAE,UAAU,EACpB,SAAS,EAAE,WAAW,GACpB,iBAAiB,CAYnB;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CACxC,QAAQ,EAAE,UAAU,EACpB,SAAS,EAAE,WAAW,GACpB,iBAAiB,CAyBnB"}

package/dist/kurot/editing/applyUIOperation.js

@@ -0,0 +1,46 @@
+import { validateUIDocument } from '../validation/validateUIDocument.js';
+import { applyContractOperation } from './applyContractOperation.js';
+import { applyInstanceOperation } from './applyInstanceOperation.js';
+import { applyNodeOperation } from './applyNodeOperation.js';
+import { UIEditError } from './UIEditError.js';
+/**
+ * Applies one semantic operation and rejects an invalid resulting document.
+ */
+export function applyUIOperation(document, operation) {
+    const result = applyUIOperationUnchecked(document, operation);
+    const diagnostics = validateUIDocument(result.document);
+    if (diagnostics.length > 0) {
+        throw new UIEditError('invalid-edit-result', 'Operation produced an invalid UI document.', '$', diagnostics);
+    }
+    return result;
+}
+/**
+ * Applies one operation without final validation so transactions may be atomic.
+ */
+export function applyUIOperationUnchecked(document, operation) {
+    switch (operation.kind) {
+        case 'set-contract-parameter':
+        case 'remove-contract-parameter':
+        case 'set-contract-part':
+        case 'remove-contract-part':
+        case 'set-contract-slot':
+        case 'remove-contract-slot':
+        case 'set-contract-state':
+        case 'remove-contract-state':
+        case 'set-contract-variant':
+        case 'remove-contract-variant':
+            return applyContractOperation(document, operation);
+        case 'set-node-instance':
+        case 'remove-node-instance':
+        case 'set-instance-parameter':
+        case 'remove-instance-parameter':
+        case 'set-instance-variant':
+        case 'remove-instance-variant':
+        case 'set-instance-override':
+        case 'remove-instance-override':
+            return applyInstanceOperation(document, operation);
+        default:
+            return applyNodeOperation(document, operation);
+    }
+}
+//# sourceMappingURL=applyUIOperation.js.map

package/dist/kurot/editing/applyUIOperation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"applyUIOperation.js","sourceRoot":"","sources":["../../../src/kurot/editing/applyUIOperation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAG/C;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAC/B,QAAoB,EACpB,SAAsB;IAEtB,MAAM,MAAM,GAAG,yBAAyB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC9D,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACxD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,WAAW,CACpB,qBAAqB,EACrB,4CAA4C,EAC5C,GAAG,EACH,WAAW,CACX,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,yBAAyB,CACxC,QAAoB,EACpB,SAAsB;IAEtB,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,wBAAwB,CAAC;QAC9B,KAAK,2BAA2B,CAAC;QACjC,KAAK,mBAAmB,CAAC;QACzB,KAAK,sBAAsB,CAAC;QAC5B,KAAK,mBAAmB,CAAC;QACzB,KAAK,sBAAsB,CAAC;QAC5B,KAAK,oBAAoB,CAAC;QAC1B,KAAK,uBAAuB,CAAC;QAC7B,KAAK,sBAAsB,CAAC;QAC5B,KAAK,yBAAyB;YAC7B,OAAO,sBAAsB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACpD,KAAK,mBAAmB,CAAC;QACzB,KAAK,sBAAsB,CAAC;QAC5B,KAAK,wBAAwB,CAAC;QAC9B,KAAK,2BAA2B,CAAC;QACjC,KAAK,sBAAsB,CAAC;QAC5B,KAAK,yBAAyB,CAAC;QAC/B,KAAK,uBAAuB,CAAC;QAC7B,KAAK,0BAA0B;YAC9B,OAAO,sBAAsB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QACpD;YACC,OAAO,kBAAkB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACjD,CAAC;AACF,CAAC"}

package/dist/kurot/editing/applyUITransaction.d.ts

@@ -0,0 +1,6 @@
+import type { ApplyUITransactionOptions, UIRevisionSnapshot, UITransaction, UITransactionResult } from './UITransaction.js';
+/**
+ * Applies an ordered transaction atomically against one revision snapshot.
+ */
+export declare function applyUITransaction(snapshot: UIRevisionSnapshot, transaction: UITransaction, options?: ApplyUITransactionOptions): UITransactionResult;
+//# sourceMappingURL=applyUITransaction.d.ts.map

package/dist/kurot/editing/applyUITransaction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"applyUITransaction.d.ts","sourceRoot":"","sources":["../../../src/kurot/editing/applyUITransaction.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACX,yBAAyB,EACzB,kBAAkB,EAClB,aAAa,EACb,mBAAmB,EACnB,MAAM,oBAAoB,CAAC;AAE5B;;GAEG;AACH,wBAAgB,kBAAkB,CACjC,QAAQ,EAAE,kBAAkB,EAC5B,WAAW,EAAE,aAAa,EAC1B,OAAO,GAAE,yBAA8B,GACrC,mBAAmB,CA8CrB"}