@unyt/datex 0.0.14 → 0.0.15

package/esm/dif/type-registry.js

@@ -1,3 +1,6 @@
+/**
+ * This module implements the TypeRegistry and TypeBinding classes which allow registering custom type definitions and bindings to JS implementations.
+ */
 var __classPrivateFieldSet = (this && this.__classPrivateFieldSet) || function (receiver, state, value, kind, f) {
     if (kind === "m") throw new TypeError("Private method is not writable");
     if (kind === "a" && !f) throw new TypeError("Private accessor was defined without a setter");
@@ -9,10 +12,10 @@ var __classPrivateFieldGet = (this && this.__classPrivateFieldGet) || function (
     if (typeof state === "function" ? receiver !== state || !f : !state.has(receiver)) throw new TypeError("Cannot read private member from an object whose class did not declare it");
     return kind === "m" ? f : kind === "a" ? f.call(receiver) : f ? f.value : state.get(receiver);
 };
-var _TypeRegistry_difHandler, _TypeRegistry_typeBindings, _TypeBinding_difHandler, _TypeBinding_definition;
+var _TypeRegistry_difHandler, _TypeRegistry_typePointerAddressBindings, _TypeRegistry_coreLibTypeIdBindings, _TypeBinding_difHandler, _TypeBinding_definition;
 import { DEBUG_MODE } from "../global.js";
-import { DIFUpdateKind } from "./definitions.js";
-import { IS_PROXY_ACCESS } from "./dif-handler.js";
+import { DIFUpdateKind } from "./types/mod.js";
+import { IS_PROXY_ACCESS, } from "./dif-handler.js";
 // interface GetProperty<K,V> = {
 //     function getProperty<K>(self: Type, key: K) -> X;
 // }
@@ -33,7 +36,8 @@ import { IS_PROXY_ACCESS } from "./dif-handler.js";
 export class TypeRegistry {
     constructor(difHandler) {
         _TypeRegistry_difHandler.set(this, void 0);
-        _TypeRegistry_typeBindings.set(this, new Map());
+        _TypeRegistry_typePointerAddressBindings.set(this, new Map());
+        _TypeRegistry_coreLibTypeIdBindings.set(this, new Map());
         __classPrivateFieldSet(this, _TypeRegistry_difHandler, difHandler, "f");
     }
     /**
@@ -48,29 +52,35 @@ export class TypeRegistry {
      * @param typePointerAddress The address of the type pointer in the Datex runtime.
      */
     registerTypeBinding(typeBindingDefinition) {
-        __classPrivateFieldGet(this, _TypeRegistry_typeBindings, "f").set(typeBindingDefinition.typeAddress, new TypeBinding(typeBindingDefinition, __classPrivateFieldGet(this, _TypeRegistry_difHandler, "f")));
+        const binding = new TypeBinding(typeBindingDefinition, __classPrivateFieldGet(this, _TypeRegistry_difHandler, "f"));
+        if (typeBindingDefinition.pointerAddress != null) {
+            __classPrivateFieldGet(this, _TypeRegistry_typePointerAddressBindings, "f").set(typeBindingDefinition.pointerAddress, binding);
+        }
+        else if (typeBindingDefinition.coreLibTypeId != null) {
+            __classPrivateFieldGet(this, _TypeRegistry_coreLibTypeIdBindings, "f").set(typeBindingDefinition.coreLibTypeId, binding);
+        }
+        else {
+            throw new Error("TypeBindingDefinition must have either pointerAddress or coreLibTypeId defined");
+        }
     }
     /**
-     * @private
      * Gets the type binding for a given type pointer address.
+     * @param typePointerAddress The pointer address of the type in the Datex runtime.
+     * @returns The corresponding TypeBinding or null if no binding is found for the given pointer address.
      */
-    _getTypeBinding(typePointerAddress) {
-        return __classPrivateFieldGet(this, _TypeRegistry_typeBindings, "f").get(typePointerAddress) || null;
+    getTypeBinding(typePointerAddress) {
+        return __classPrivateFieldGet(this, _TypeRegistry_typePointerAddressBindings, "f").get(typePointerAddress) || null;
     }
     /**
-     * Gets the type binding for a given type pointer address.
+     * Gets the type binding for a given core library type id.
+     * @param coreLibTypeId
+     * @returns
      */
-    getTypeBinding(typePointerAddress) {
-        const typeBinding = __classPrivateFieldGet(this, _TypeRegistry_typeBindings, "f").get(typePointerAddress);
-        if (typeBinding) {
-            return typeBinding;
-        }
-        else {
-            return null;
-        }
+    getTypeBindingByCoreLibTypeId(coreLibTypeId) {
+        return __classPrivateFieldGet(this, _TypeRegistry_coreLibTypeIdBindings, "f").get(coreLibTypeId) || null;
     }
 }
-_TypeRegistry_difHandler = new WeakMap(), _TypeRegistry_typeBindings = new WeakMap();
+_TypeRegistry_difHandler = new WeakMap(), _TypeRegistry_typePointerAddressBindings = new WeakMap(), _TypeRegistry_coreLibTypeIdBindings = new WeakMap();
 export class TypeBinding {
     get difHandler() {
         return __classPrivateFieldGet(this, _TypeBinding_difHandler, "f");
@@ -96,36 +106,38 @@ export class TypeBinding {
     /**
      * Sets up observers for the given value and pointer address if there are update handlers defined for this type binding.
      */
-    handleDifUpdate(value, pointerAddress, difUpdateData) {
+    handleDifUpdate(val, pointerAddress, difUpdateData) {
         const updateHandlerTypes = this.getUpdateHandlerTypes();
         // add observer if there are update handlers
         if (updateHandlerTypes.size > 0) {
+            const value = val;
             console.log("got update for pointer:", pointerAddress, difUpdateData);
             this.allowOriginalValueAccess(value, () => {
                 // call appropriate handler based on update kind
-                if (difUpdateData.kind === DIFUpdateKind.Set &&
+                if (difUpdateData[0] === DIFUpdateKind.SetEntry &&
                     __classPrivateFieldGet(this, _TypeBinding_definition, "f").handleSet) {
-                    __classPrivateFieldGet(this, _TypeBinding_definition, "f").handleSet.call(this, value, __classPrivateFieldGet(this, _TypeBinding_difHandler, "f").resolveDIFPropertySync(difUpdateData.key), __classPrivateFieldGet(this, _TypeBinding_difHandler, "f").resolveDIFValueContainerSync(difUpdateData.value));
+                    __classPrivateFieldGet(this, _TypeBinding_definition, "f").handleSet.call(this, value, __classPrivateFieldGet(this, _TypeBinding_difHandler, "f").resolveDIFProperty(difUpdateData[1]), __classPrivateFieldGet(this, _TypeBinding_difHandler, "f").resolveDIFValueContainer(difUpdateData[2]));
                 }
-                else if (difUpdateData.kind === DIFUpdateKind.Append &&
+                else if (difUpdateData[0] === DIFUpdateKind.AppendEntry &&
                     __classPrivateFieldGet(this, _TypeBinding_definition, "f").handleAppend) {
-                    __classPrivateFieldGet(this, _TypeBinding_definition, "f").handleAppend.call(this, value, __classPrivateFieldGet(this, _TypeBinding_difHandler, "f").resolveDIFValueContainerSync(difUpdateData.value));
+                    __classPrivateFieldGet(this, _TypeBinding_definition, "f").handleAppend.call(this, value, __classPrivateFieldGet(this, _TypeBinding_difHandler, "f").resolveDIFValueContainer(difUpdateData[1]));
                 }
-                else if (difUpdateData.kind === DIFUpdateKind.Replace &&
+                else if (difUpdateData[0] === DIFUpdateKind.Replace &&
                     __classPrivateFieldGet(this, _TypeBinding_definition, "f").handleReplace) {
-                    __classPrivateFieldGet(this, _TypeBinding_definition, "f").handleReplace.call(this, value, __classPrivateFieldGet(this, _TypeBinding_difHandler, "f").resolveDIFValueContainerSync(difUpdateData.value));
+                    __classPrivateFieldGet(this, _TypeBinding_definition, "f").handleReplace.call(this, value, __classPrivateFieldGet(this, _TypeBinding_difHandler, "f").resolveDIFValueContainer(difUpdateData[1]));
                 }
-                else if (difUpdateData.kind === DIFUpdateKind.Delete &&
+                else if (difUpdateData[0] === DIFUpdateKind.DeleteEntry &&
                     __classPrivateFieldGet(this, _TypeBinding_definition, "f").handleDelete) {
-                    __classPrivateFieldGet(this, _TypeBinding_definition, "f").handleDelete.call(this, value, __classPrivateFieldGet(this, _TypeBinding_difHandler, "f").resolveDIFPropertySync(difUpdateData.key));
+                    __classPrivateFieldGet(this, _TypeBinding_definition, "f").handleDelete.call(this, value, __classPrivateFieldGet(this, _TypeBinding_difHandler, "f").resolveDIFProperty(difUpdateData[1]));
                 }
-                else if (difUpdateData.kind === DIFUpdateKind.Clear &&
+                else if (difUpdateData[0] === DIFUpdateKind.Clear &&
                     __classPrivateFieldGet(this, _TypeBinding_definition, "f").handleClear) {
                     __classPrivateFieldGet(this, _TypeBinding_definition, "f").handleClear.call(this, value);
                 }
-                else if (difUpdateData.kind === DIFUpdateKind.ListSplice &&
+                else if (difUpdateData[0] === DIFUpdateKind.ListSplice &&
                     __classPrivateFieldGet(this, _TypeBinding_definition, "f").handleListSplice) {
-                    __classPrivateFieldGet(this, _TypeBinding_definition, "f").handleListSplice.call(this, value, difUpdateData.start, difUpdateData.delete_count, difUpdateData.items.map((item) => __classPrivateFieldGet(this, _TypeBinding_difHandler, "f").resolveDIFValueContainerSync(item)));
+                    console.log("handling list splice with items:", difUpdateData);
+                    __classPrivateFieldGet(this, _TypeBinding_definition, "f").handleListSplice.call(this, value, difUpdateData[1], difUpdateData[2], difUpdateData[3].map((item) => __classPrivateFieldGet(this, _TypeBinding_difHandler, "f").resolveDIFValueContainer(item)));
                 }
             });
         }
@@ -133,16 +145,16 @@ export class TypeBinding {
     getUpdateHandlerTypes() {
         const updateHandlerTypes = new Set();
         if (__classPrivateFieldGet(this, _TypeBinding_definition, "f").handleSet) {
-            updateHandlerTypes.add(DIFUpdateKind.Set);
+            updateHandlerTypes.add(DIFUpdateKind.SetEntry);
         }
         if (__classPrivateFieldGet(this, _TypeBinding_definition, "f").handleAppend) {
-            updateHandlerTypes.add(DIFUpdateKind.Append);
+            updateHandlerTypes.add(DIFUpdateKind.AppendEntry);
         }
         if (__classPrivateFieldGet(this, _TypeBinding_definition, "f").handleReplace) {
             updateHandlerTypes.add(DIFUpdateKind.Replace);
         }
         if (__classPrivateFieldGet(this, _TypeBinding_definition, "f").handleDelete) {
-            updateHandlerTypes.add(DIFUpdateKind.Delete);
+            updateHandlerTypes.add(DIFUpdateKind.DeleteEntry);
         }
         if (__classPrivateFieldGet(this, _TypeBinding_definition, "f").handleClear) {
             updateHandlerTypes.add(DIFUpdateKind.Clear);

package/esm/dif/types/mod.d.ts

@@ -0,0 +1,9 @@
+/**
+ * @module DIF Types
+ * @description
+ * This module contains all type definitions related to the representation of types and values in DIF.
+ */
+export * from "./type.js";
+export * from "./value.js";
+export * from "./update.js";
+//# sourceMappingURL=mod.d.ts.map

package/esm/dif/types/mod.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../../../src/dif/types/mod.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC"}

package/esm/dif/types/mod.js

@@ -0,0 +1,8 @@
+/**
+ * @module DIF Types
+ * @description
+ * This module contains all type definitions related to the representation of types and values in DIF.
+ */
+export * from "./type.js";
+export * from "./value.js";
+export * from "./update.js";

package/esm/dif/types/type.d.ts

@@ -0,0 +1,91 @@
+/**
+ * @module DIF Types
+ * @description
+ * This module contains all type definitions related to the representation of types in DIF.
+ */
+import type { PointerAddress, SharedContainerMutability } from "../../shared-container/mod.js";
+import type { CoreLibTypeId } from "../core.js";
+/**
+ * A core lib is directly serialized as number.
+ */
+type DIFCoreLibTypeDefinition = CoreLibTypeId;
+export type DIFTypeDefinitionMap = {
+    literal: DIFLiteralTypeDefinition;
+    list: DIFListTypeDefinition;
+    map: DIFMapTypeDefinition;
+    range: DIFRangeTypeDefinition;
+    collection: DIFCollectionTypeDefinition;
+    shared: DIFSharedTypeDefinition;
+    nested: DIFNestedTypeDefinition;
+    callable: DIFCallableTypeDefinition;
+    impl_type: DIFImplTypeDefinition;
+    intersection: DIFIntersectionTypeDefinition;
+    union: DIFUnionTypeDefinition;
+    tagged_type: DIFTaggedTypeDefinition;
+    marker_type: DIFTypeMarker;
+};
+export type DIFTypeKey = keyof DIFTypeDefinitionMap;
+export declare const DIFLocalMutability: {
+    readonly Immutable: 0;
+    readonly Mutable: 1;
+};
+export type DIFLocalMutability = typeof DIFLocalMutability[keyof typeof DIFLocalMutability];
+export declare const DIFLocalOwnership: {
+    readonly Immutable: 0;
+    readonly Mutable: 1;
+    readonly Owned: null;
+};
+export type DIFLocalOwnership = typeof DIFLocalOwnership[keyof typeof DIFLocalOwnership];
+export declare const DIFSharedContainerOwnership: {
+    readonly Immutable: 0;
+    readonly Mutable: 1;
+    readonly Owned: null;
+};
+export type DIFSharedContainerOwnership = typeof DIFSharedContainerOwnership[keyof typeof DIFSharedContainerOwnership];
+export type DIFTypeMetadata = {
+    kind: "local";
+    mutability: DIFLocalMutability;
+    ownership?: DIFLocalOwnership;
+} | {
+    kind: "shared";
+    mutability: SharedContainerMutability;
+    ownership: DIFSharedContainerOwnership;
+};
+export type DIFTypeDefinitionWithMetadata = [
+    DIFTypeMetadata,
+    DIFTypeDefinition
+];
+export type SharedContainerContainingNominalType = string;
+export type DIFType = DIFTypeDefinitionWithMetadata | SharedContainerContainingNominalType | CoreLibTypeId;
+/**
+ * Creates an immutable local DIFType for a given DIFTypeDefinition.
+ * @param def The DIFTypeDefinition to create the DIFType for.
+ * @returns A DIFType with the given definition and immutable local metadata.
+ */
+export declare function defaultDIFTypeForDefinition(def: DIFTypeDefinition): DIFType;
+/**
+ * The DIFTypeDefinition represents a structural (only for now) type definition in the DIF format.
+ */
+export type DIFTypeDefinition = DIFCoreLibTypeDefinition | {
+    [K in keyof DIFTypeDefinitionMap]: {
+        [P in K]: DIFTypeDefinitionMap[K];
+    };
+}[keyof DIFTypeDefinitionMap];
+export type DIFLiteralTypeDefinition = boolean | string | [typeof CoreLibTypeId.integer, number] | [typeof CoreLibTypeId.integer_u8, number] | [typeof CoreLibTypeId.integer_u16, number] | [typeof CoreLibTypeId.integer_u32, number] | [typeof CoreLibTypeId.integer_u64, number] | [typeof CoreLibTypeId.integer_u128, string] | [typeof CoreLibTypeId.integer_i8, number] | [typeof CoreLibTypeId.integer_i16, number] | [typeof CoreLibTypeId.integer_i32, number] | [typeof CoreLibTypeId.integer_i64, number] | [typeof CoreLibTypeId.integer_i128, string] | [typeof CoreLibTypeId.integer_ibig, string] | [typeof CoreLibTypeId.decimal, string] | [typeof CoreLibTypeId.decimal_f32, "nan" | "infinity" | "-infinity" | number] | [typeof CoreLibTypeId.decimal_f64, "nan" | "infinity" | "-infinity" | number] | [typeof CoreLibTypeId.decimal_dbig, string] | [typeof CoreLibTypeId.endpoint, string];
+export type DIFListTypeDefinition = DIFType[];
+export type DIFMapTypeDefinition = Array<[DIFType, DIFType]>;
+export type DIFRangeTypeDefinition = [DIFType, DIFType];
+export type DIFNestedTypeDefinition = DIFType;
+export type DIFImplTypeDefinition = [DIFType, Array<PointerAddress>];
+export type DIFIntersectionTypeDefinition = Array<DIFType>;
+export type DIFUnionTypeDefinition = Array<DIFType>;
+export type DIFTaggedTypeDefinition = [string, DIFType];
+export type DIFTypeMarker = "";
+export type DIFSharedTypeDefinition = null;
+export type DIFCallableTypeDefinition = null;
+export type DIFCollectionTypeDefinition = DIFCollectionListTypeDefinition | DIFCollectionListSliceTypeDefinition | DIFCollectionMapTypeDefinition | DIFRangeTypeDefinition;
+export type DIFCollectionListTypeDefinition = DIFType;
+export type DIFCollectionListSliceTypeDefinition = [DIFType, number];
+export type DIFCollectionMapTypeDefinition = Array<[DIFType, DIFType]>;
+export {};
+//# sourceMappingURL=type.d.ts.map

package/esm/dif/types/type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type.d.ts","sourceRoot":"","sources":["../../../src/dif/types/type.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAC;AAC/F,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD;;GAEG;AACH,KAAK,wBAAwB,GAAG,aAAa,CAAC;AAE9C,MAAM,MAAM,oBAAoB,GAAG;IAC/B,OAAO,EAAE,wBAAwB,CAAC;IAClC,IAAI,EAAE,qBAAqB,CAAC;IAC5B,GAAG,EAAE,oBAAoB,CAAC;IAC1B,KAAK,EAAE,sBAAsB,CAAC;IAC9B,UAAU,EAAE,2BAA2B,CAAC;IACxC,MAAM,EAAE,uBAAuB,CAAC;IAChC,MAAM,EAAE,uBAAuB,CAAC;IAChC,QAAQ,EAAE,yBAAyB,CAAC;IACpC,SAAS,EAAE,qBAAqB,CAAC;IACjC,YAAY,EAAE,6BAA6B,CAAC;IAC5C,KAAK,EAAE,sBAAsB,CAAC;IAC9B,WAAW,EAAE,uBAAuB,CAAC;IACrC,WAAW,EAAE,aAAa,CAAC;CAC9B,CAAC;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,oBAAoB,CAAC;AAEpD,eAAO,MAAM,kBAAkB;;;CAGrB,CAAC;AACX,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,MAAM,OAAO,kBAAkB,CAAC,CAAC;AAE5F,eAAO,MAAM,iBAAiB;;;;CAIpB,CAAC;AACX,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,MAAM,OAAO,iBAAiB,CAAC,CAAC;AAEzF,eAAO,MAAM,2BAA2B;;;;CAI9B,CAAC;AACX,MAAM,MAAM,2BAA2B,GAAG,OAAO,2BAA2B,CAAC,MAAM,OAAO,2BAA2B,CAAC,CAAC;AAEvH,MAAM,MAAM,eAAe,GAAG;IAC1B,IAAI,EAAE,OAAO,CAAC;IACd,UAAU,EAAE,kBAAkB,CAAC;IAC/B,SAAS,CAAC,EAAE,iBAAiB,CAAC;CACjC,GAAG;IACA,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,yBAAyB,CAAC;IACtC,SAAS,EAAE,2BAA2B,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,6BAA6B,GAAG;IACxC,eAAe;IACf,iBAAiB;CACpB,CAAC;AACF,MAAM,MAAM,oCAAoC,GAAG,MAAM,CAAC;AAC1D,MAAM,MAAM,OAAO,GAAG,6BAA6B,GAAG,oCAAoC,GAAG,aAAa,CAAC;AAE3G;;;;GAIG;AACH,wBAAgB,2BAA2B,CAAC,GAAG,EAAE,iBAAiB,GAAG,OAAO,CAQ3E;AACD;;GAEG;AACH,MAAM,MAAM,iBAAiB,GACvB,wBAAwB,GACxB;KACG,CAAC,IAAI,MAAM,oBAAoB,GAAG;SAC9B,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC;KACpC;CACJ,CAAC,MAAM,oBAAoB,CAAC,CAAC;AAElC,MAAM,MAAM,wBAAwB,GAC9B,OAAO,GACP,MAAM,GACN,CAAC,OAAO,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,GACtC,CAAC,OAAO,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,GACzC,CAAC,OAAO,aAAa,CAAC,WAAW,EAAE,MAAM,CAAC,GAC1C,CAAC,OAAO,aAAa,CAAC,WAAW,EAAE,MAAM,CAAC,GAC1C,CAAC,OAAO,aAAa,CAAC,WAAW,EAAE,MAAM,CAAC,GAC1C,CAAC,OAAO,aAAa,CAAC,YAAY,EAAE,MAAM,CAAC,GAC3C,CAAC,OAAO,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,GACzC,CAAC,OAAO,aAAa,CAAC,WAAW,EAAE,MAAM,CAAC,GAC1C,CAAC,OAAO,aAAa,CAAC,WAAW,EAAE,MAAM,CAAC,GAC1C,CAAC,OAAO,aAAa,CAAC,WAAW,EAAE,MAAM,CAAC,GAC1C,CAAC,OAAO,aAAa,CAAC,YAAY,EAAE,MAAM,CAAC,GAC3C,CAAC,OAAO,aAAa,CAAC,YAAY,EAAE,MAAM,CAAC,GAC3C,CAAC,OAAO,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,GACtC,CAAC,OAAO,aAAa,CAAC,WAAW,EAAE,KAAK,GAAG,UAAU,GAAG,WAAW,GAAG,MAAM,CAAC,GAC7E,CAAC,OAAO,aAAa,CAAC,WAAW,EAAE,KAAK,GAAG,UAAU,GAAG,WAAW,GAAG,MAAM,CAAC,GAC7E,CAAC,OAAO,aAAa,CAAC,YAAY,EAAE,MAAM,CAAC,GAC3C,CAAC,OAAO,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAE9C,MAAM,MAAM,qBAAqB,GAAG,OAAO,EAAE,CAAC;AAE9C,MAAM,MAAM,oBAAoB,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AAE7D,MAAM,MAAM,sBAAsB,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAExD,MAAM,MAAM,uBAAuB,GAAG,OAAO,CAAC;AAE9C,MAAM,MAAM,qBAAqB,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC;AAErE,MAAM,MAAM,6BAA6B,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;AAE3D,MAAM,MAAM,sBAAsB,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;AAEpD,MAAM,MAAM,uBAAuB,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAExD,MAAM,MAAM,aAAa,GAAG,EAAE,CAAC;AAE/B,MAAM,MAAM,uBAAuB,GAAG,IAAI,CAAC;AAC3C,MAAM,MAAM,yBAAyB,GAAG,IAAI,CAAC;AAE7C,MAAM,MAAM,2BAA2B,GACjC,+BAA+B,GAC/B,oCAAoC,GACpC,8BAA8B,GAC9B,sBAAsB,CAAC;AAE7B,MAAM,MAAM,+BAA+B,GAAG,OAAO,CAAC;AACtD,MAAM,MAAM,oCAAoC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AACrE,MAAM,MAAM,8BAA8B,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC"}

package/esm/dif/types/type.js

@@ -0,0 +1,33 @@
+/**
+ * @module DIF Types
+ * @description
+ * This module contains all type definitions related to the representation of types in DIF.
+ */
+export const DIFLocalMutability = {
+    Immutable: 0,
+    Mutable: 1,
+};
+export const DIFLocalOwnership = {
+    Immutable: 0,
+    Mutable: 1,
+    Owned: null,
+};
+export const DIFSharedContainerOwnership = {
+    Immutable: 0,
+    Mutable: 1,
+    Owned: null,
+};
+/**
+ * Creates an immutable local DIFType for a given DIFTypeDefinition.
+ * @param def The DIFTypeDefinition to create the DIFType for.
+ * @returns A DIFType with the given definition and immutable local metadata.
+ */
+export function defaultDIFTypeForDefinition(def) {
+    return [
+        {
+            kind: "local",
+            mutability: DIFLocalMutability.Immutable,
+        },
+        def,
+    ];
+}

package/esm/dif/types/update.d.ts

@@ -0,0 +1,63 @@
+/**
+ * @module DIF Update Types
+ * @description
+ * This module contains all type definitions related to the representation of updates in DIF.
+ */
+import type { DIFValueContainer } from "./value.js";
+/**
+ * Representation of a property in DIF, which can be a text key, an index, or a generic value.
+ */
+export type DIFProperty = string | number | {
+    value: DIFValueContainer;
+};
+/**
+ * Kinds of updates that can be applied to a DIF value.
+ */
+export declare const DIFUpdateKind: {
+    readonly Replace: "replace";
+    readonly AppendEntry: "append_entry";
+    readonly SetEntry: "set_entry";
+    readonly DeleteEntry: "delete_entry";
+    readonly Clear: "clear";
+    readonly ListSplice: "list_splice";
+};
+/** A DIF update kind. */
+export type DIFUpdateKind = typeof DIFUpdateKind[keyof typeof DIFUpdateKind];
+/** Different kinds of updates that can be applied to a DIF value. */
+export type DIFUpdateBaseData<Kind extends DIFUpdateKind> = {
+    kind: Kind;
+};
+export type DIFUpdateDataReplace = [DIFValueContainer];
+export type DIFUpdateDataPush = [DIFValueContainer];
+export type DIFUpdateDataDelete = [DIFProperty];
+export type DIFUpdateDataSet = [DIFProperty, DIFValueContainer];
+export type DIFUpdateDataListSplice = [number, number, DIFValueContainer[]];
+export type DIFUpdateReturn = ["none"] | ["single_value", DIFValueContainer] | [
+    "multiple_values",
+    ...DIFValueContainer[]
+];
+export type DIFUpdateData = [
+    typeof DIFUpdateKind.Replace,
+    ...DIFUpdateDataReplace
+] | [
+    typeof DIFUpdateKind.AppendEntry,
+    ...DIFUpdateDataPush
+] | [
+    typeof DIFUpdateKind.DeleteEntry,
+    ...DIFUpdateDataDelete
+] | [
+    typeof DIFUpdateKind.SetEntry,
+    ...DIFUpdateDataSet
+] | [
+    typeof DIFUpdateKind.Clear
+] | [
+    typeof DIFUpdateKind.ListSplice,
+    ...DIFUpdateDataListSplice
+];
+export type DIFTransceiverId = number;
+export type DIFUpdate = [DIFTransceiverId, ...DIFUpdateData];
+/** Options for observing DIF pointers. */
+export type ObserveOptions = {
+    relay_own_updates: boolean;
+};
+//# sourceMappingURL=update.d.ts.map

package/esm/dif/types/update.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"update.d.ts","sourceRoot":"","sources":["../../../src/dif/types/update.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAEpD;;GAEG;AACH,MAAM,MAAM,WAAW,GACjB,MAAM,GACN,MAAM,GACN;IAAE,KAAK,EAAE,iBAAiB,CAAA;CAAE,CAAC;AAEnC;;GAEG;AACH,eAAO,MAAM,aAAa;;;;;;;CAOhB,CAAC;AACX,yBAAyB;AACzB,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,MAAM,OAAO,aAAa,CAAC,CAAC;AAE7E,qEAAqE;AACrE,MAAM,MAAM,iBAAiB,CAAC,IAAI,SAAS,aAAa,IAAI;IACxD,IAAI,EAAE,IAAI,CAAC;CACd,CAAC;AACF,MAAM,MAAM,oBAAoB,GAAG,CAAC,iBAAiB,CAAC,CAAC;AACvD,MAAM,MAAM,iBAAiB,GAAG,CAAC,iBAAiB,CAAC,CAAC;AAEpD,MAAM,MAAM,mBAAmB,GAAG,CAAC,WAAW,CAAC,CAAC;AAEhD,MAAM,MAAM,gBAAgB,GAAG,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;AAEhE,MAAM,MAAM,uBAAuB,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC,CAAC;AAE5E,MAAM,MAAM,eAAe,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,cAAc,EAAE,iBAAiB,CAAC,GAAG;IAC3E,iBAAiB;IACjB,GAAG,iBAAiB,EAAE;CACzB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IACxB,OAAO,aAAa,CAAC,OAAO;IAC5B,GAAG,oBAAoB;CAC1B,GAAG;IACA,OAAO,aAAa,CAAC,WAAW;IAChC,GAAG,iBAAiB;CACvB,GAAG;IACA,OAAO,aAAa,CAAC,WAAW;IAChC,GAAG,mBAAmB;CACzB,GAAG;IACA,OAAO,aAAa,CAAC,QAAQ;IAC7B,GAAG,gBAAgB;CACtB,GAAG;IACA,OAAO,aAAa,CAAC,KAAK;CAC7B,GAAG;IACA,OAAO,aAAa,CAAC,UAAU;IAC/B,GAAG,uBAAuB;CAC7B,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC;AACtC,MAAM,MAAM,SAAS,GAAG,CAAC,gBAAgB,EAAE,GAAG,aAAa,CAAC,CAAC;AAE7D,0CAA0C;AAC1C,MAAM,MAAM,cAAc,GAAG;IACzB,iBAAiB,EAAE,OAAO,CAAC;CAC9B,CAAC"}

package/esm/dif/types/update.js

@@ -0,0 +1,16 @@
+/**
+ * @module DIF Update Types
+ * @description
+ * This module contains all type definitions related to the representation of updates in DIF.
+ */
+/**
+ * Kinds of updates that can be applied to a DIF value.
+ */
+export const DIFUpdateKind = {
+    Replace: "replace",
+    AppendEntry: "append_entry",
+    SetEntry: "set_entry",
+    DeleteEntry: "delete_entry",
+    Clear: "clear",
+    ListSplice: "list_splice",
+};

package/esm/dif/types/value.d.ts

@@ -0,0 +1,62 @@
+/**
+ * @module DIF Value Types
+ * @description
+ * This module contains all type definitions related to the representation of values in DIF.
+ */
+import type { PointerAddressWithOwnership, SharedContainerMutability } from "../../shared-container/mod.js";
+import type { CoreLibTypeId } from "../core.js";
+import type { DIFTypeDefinition } from "./type.js";
+/**
+ * An optional DIF value container, which can either be null or contain a DIFValueContainer. This is used to represent values that may be absent or optional in certain contexts within the DIF system.
+ */
+export type DIFOptionalValueContainer = null | [DIFValueContainer];
+/**
+ * DIF value container, which can be either a pointer address or a value.
+ */
+export type DIFValueContainer<T = unknown> = DIFPointerAddress | DIFValue;
+/**
+ * A DATEX pointer address representation in the DIF format.
+ */
+export type DIFPointerAddress = {
+    $: PointerAddressWithOwnership;
+};
+/**
+ * A DIF value, which can be directly represented in the DIF format (e.g., primitive types) or a value including
+ * additional type information.
+ */
+export type DIFValue = DIFDirectRepresentationValue | [CoreLibTypeId, DIFCoreValue] | [CoreLibTypeId, DIFCoreValue, DIFTypeDefinition];
+/**
+ * Types of values that can be directly represented in DIF without
+ * additional type information (e.g., for primitive types like text, f64, boolean, and null).
+ */
+export type DIFDirectRepresentationValue = boolean | string | number | null;
+/**
+ * Represents a list of DIFValueContainers.
+ */
+export type DIFCoreValueList = Array<DIFValueContainer>;
+/**
+ * Represents a map of key-value pairs in DIF, where both keys and values are DIFValueContainers.
+ */
+export type DIFCoreValueMap = Array<[DIFValueContainer, DIFValueContainer]>;
+/**
+ * Represents a range of values in DIF, defined by a start and end value container, or as a tuple of two value containers.
+ */
+export type DIFCoreValueRange = [DIFValueContainer, DIFValueContainer] | {
+    start: DIFValueContainer;
+    end: DIFValueContainer;
+};
+/**
+ * Represents a core value in DIF, which can be a primitive value, a structured object, a list, or a map.
+ */
+export type DIFCoreValue = DIFCoreValueList | DIFCoreValueMap | DIFCoreValueRange | Record<string, DIFValueContainer> | string | number | boolean | null;
+/**
+ * Base struct for the shared value container.
+ * The allowed type is optional and can be used to specify the type of value that can be stored in the container.
+ * If the allowed type is not provided, it means that the type is inferred based on the provided value container.
+ */
+export type DIFBaseSharedValueContainer = [
+    DIFValueContainer,
+    SharedContainerMutability,
+    DIFTypeDefinition
+];
+//# sourceMappingURL=value.d.ts.map

package/esm/dif/types/value.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"value.d.ts","sourceRoot":"","sources":["../../../src/dif/types/value.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,2BAA2B,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAC;AAC5G,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAEnD;;GAEG;AACH,MAAM,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,CAAC;AAEnE;;GAEG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,GAAG,OAAO,IAAI,iBAAiB,GAAG,QAAQ,CAAC;AAE1E;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAAE,CAAC,EAAE,2BAA2B,CAAA;CAAE,CAAC;AAEnE;;;GAGG;AACH,MAAM,MAAM,QAAQ,GACd,4BAA4B,GAC5B,CAAC,aAAa,EAAE,YAAY,CAAC,GAC7B,CAAC,aAAa,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC;AAEvD;;;GAGG;AACH,MAAM,MAAM,4BAA4B,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;AAE5E;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAC;AAExD;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC,CAAC;AAE5E;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,GAAG;IACrE,KAAK,EAAE,iBAAiB,CAAC;IACzB,GAAG,EAAE,iBAAiB,CAAC;CAC1B,CAAC;AACF;;GAEG;AACH,MAAM,MAAM,YAAY,GAClB,gBAAgB,GAChB,eAAe,GACf,iBAAiB,GACjB,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,GACjC,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,CAAC;AAEX;;;;GAIG;AACH,MAAM,MAAM,2BAA2B,GAAG;IACtC,iBAAiB;IACjB,yBAAyB;IACzB,iBAAiB;CACpB,CAAC"}

package/esm/dif/types/value.js

@@ -0,0 +1 @@
+export {};

package/esm/dif/update.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Helper methods for creating update data dif structures.
+ */
+import type { DIFProperty, DIFValueContainer } from "./types/mod.js";
+import { type DIFUpdateData } from "./types/update.js";
+export declare enum DIFPropertyKind {
+    Index = 0,
+    Text = 1,
+    ValueContainer = 2
+}
+export declare function createDIFProperty(value: string | number | DIFValueContainer, propertyKind: DIFPropertyKind): string | number | {
+    value: DIFValueContainer<T>;
+};
+export declare function clear(): DIFUpdateData;
+export declare function replace(value: DIFValueContainer): DIFUpdateData;
+export declare function appendEntry(value: DIFValueContainer): DIFUpdateData;
+export declare function setEntry(key: DIFProperty, value: DIFValueContainer): DIFUpdateData;
+export declare function deleteEntry(key: DIFProperty): DIFUpdateData;
+export declare function listSplice(start: number, deleteCount: number, items: DIFValueContainer[]): DIFUpdateData;
+//# sourceMappingURL=update.d.ts.map

package/esm/dif/update.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"update.d.ts","sourceRoot":"","sources":["../../src/dif/update.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACrE,OAAO,EAAE,KAAK,aAAa,EAAiB,MAAM,mBAAmB,CAAC;AAEtE,oBAAY,eAAe;IACvB,KAAK,IAAA;IACL,IAAI,IAAA;IACJ,cAAc,IAAA;CACjB;AACD,wBAAgB,iBAAiB,CAC7B,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,iBAAiB,EAC1C,YAAY,EAAE,eAAe;;EAgBhC;AAED,wBAAgB,KAAK,IAAI,aAAa,CAErC;AACD,wBAAgB,OAAO,CAAC,KAAK,EAAE,iBAAiB,GAAG,aAAa,CAE/D;AACD,wBAAgB,WAAW,CAAC,KAAK,EAAE,iBAAiB,GAAG,aAAa,CAEnE;AACD,wBAAgB,QAAQ,CACpB,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,iBAAiB,GACzB,aAAa,CAEf;AACD,wBAAgB,WAAW,CACvB,GAAG,EAAE,WAAW,GACjB,aAAa,CAEf;AACD,wBAAgB,UAAU,CACtB,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,iBAAiB,EAAE,GAC3B,aAAa,CAEf"}

package/esm/dif/update.js

@@ -0,0 +1,41 @@
+import { DIFUpdateKind } from "./types/update.js";
+export var DIFPropertyKind;
+(function (DIFPropertyKind) {
+    DIFPropertyKind[DIFPropertyKind["Index"] = 0] = "Index";
+    DIFPropertyKind[DIFPropertyKind["Text"] = 1] = "Text";
+    DIFPropertyKind[DIFPropertyKind["ValueContainer"] = 2] = "ValueContainer";
+})(DIFPropertyKind || (DIFPropertyKind = {}));
+export function createDIFProperty(value, propertyKind) {
+    switch (propertyKind) {
+        case DIFPropertyKind.Index:
+            if (typeof value !== "number") {
+                throw new Error("Expected number for index property");
+            }
+            return value;
+        case DIFPropertyKind.Text:
+            if (typeof value !== "string") {
+                throw new Error("Expected string for text property");
+            }
+            return value;
+        case DIFPropertyKind.ValueContainer:
+            return { value };
+    }
+}
+export function clear() {
+    return [DIFUpdateKind.Clear];
+}
+export function replace(value) {
+    return [DIFUpdateKind.Replace, value];
+}
+export function appendEntry(value) {
+    return [DIFUpdateKind.AppendEntry, value];
+}
+export function setEntry(key, value) {
+    return [DIFUpdateKind.SetEntry, key, value];
+}
+export function deleteEntry(key) {
+    return [DIFUpdateKind.DeleteEntry, key];
+}
+export function listSplice(start, deleteCount, items) {
+    return [DIFUpdateKind.ListSplice, start, deleteCount, items];
+}

package/esm/dif/utils.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Utility functions DIF
+ */
+import type { Option } from "../utils/option.js";
+export declare function getAllKeys(obj: object): Set<(string | symbol)>;
+export declare function getOwnPropertyDescriptorInPrototypeChain(obj: object, key: string | symbol): PropertyDescriptor | undefined;
+export declare function interceptAccessors(originalObject: object, getHandler?: ((key: string | symbol) => Option<unknown>) | null, setHandler?: ((key: string | symbol, value: unknown) => void) | null, keys?: Iterable<string | symbol>): void;
+//# sourceMappingURL=utils.d.ts.map

package/esm/dif/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/dif/utils.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,CAY9D;AAED,wBAAgB,wCAAwC,CACpD,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,MAAM,GAAG,MAAM,GACrB,kBAAkB,GAAG,SAAS,CAUhC;AAED,wBAAgB,kBAAkB,CAC9B,cAAc,EAAE,MAAM,EACtB,UAAU,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,KAAK,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,IAAI,EAC/D,UAAU,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,KAAK,EAAE,OAAO,KAAK,IAAI,CAAC,GAAG,IAAI,EACpE,IAAI,GAAE,QAAQ,CAAC,MAAM,GAAG,MAAM,CAA8B,QA6E/D"}

package/esm/dif/utils.js

@@ -0,0 +1,67 @@
+export function getAllKeys(obj) {
+    const keys = new Set();
+    let currentObj = obj;
+    while (currentObj && currentObj !== Object.prototype) {
+        for (const key of Reflect.ownKeys(currentObj)) {
+            keys.add(key);
+        }
+        currentObj = Object.getPrototypeOf(currentObj);
+    }
+    return keys;
+}
+export function getOwnPropertyDescriptorInPrototypeChain(obj, key) {
+    let currentObj = obj;
+    while (currentObj && currentObj !== Object.prototype) {
+        const descriptor = Object.getOwnPropertyDescriptor(currentObj, key);
+        if (descriptor) {
+            return descriptor;
+        }
+        currentObj = Object.getPrototypeOf(currentObj);
+    }
+    return undefined;
+}
+export function interceptAccessors(originalObject, getHandler, setHandler, keys = getAllKeys(originalObject)) {
+    const shadowObject = Array.isArray(originalObject) ? [] : {};
+    function addPropertyInterceptor(originalDescriptor, key) {
+        return {
+            get() {
+                if (getHandler) {
+                    const result = getHandler(key);
+                    if (result.isSome()) {
+                        return result.unwrap();
+                    }
+                }
+                return shadowObject[key];
+            },
+            set(value) {
+                if (setHandler) {
+                    setHandler(key, value);
+                }
+                shadowObject[key] = value;
+            },
+            enumerable: originalDescriptor?.enumerable,
+            configurable: true,
+        };
+    }
+    for (const key of keys) {
+        const originalDescriptor = getOwnPropertyDescriptorInPrototypeChain(originalObject, key);
+        // assign property directly to shadow object if non-configurable and no getter/setter
+        if (originalDescriptor && (("value" in originalDescriptor &&
+            originalDescriptor.writable) ||
+            !originalDescriptor.configurable)) {
+            shadowObject[key] = originalObject[key];
+        } // bind original getter/setter to shadow object
+        else if (originalDescriptor?.get || originalDescriptor?.set) {
+            Object.defineProperty(shadowObject, key, {
+                get: originalDescriptor.get ? originalDescriptor.get.bind(originalObject) : undefined,
+                set: originalDescriptor.set ? originalDescriptor.set.bind(originalObject) : undefined,
+                enumerable: originalDescriptor.enumerable,
+                configurable: true,
+            });
+        }
+        // only define interceptor if property is configurable
+        if (!originalDescriptor || originalDescriptor.configurable) {
+            Object.defineProperty(originalObject, key, addPropertyInterceptor(originalDescriptor, key));
+        }
+    }
+}

package/esm/lib/js-core-types/array.d.ts

@@ -0,0 +1,3 @@
+import type { TypeBindingDefinition } from "../../dif/type-registry.js";
+export declare const arrayTypeBinding: TypeBindingDefinition<Array<unknown>>;
+//# sourceMappingURL=array.d.ts.map

package/esm/lib/js-core-types/array.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array.d.ts","sourceRoot":"","sources":["../../../src/lib/js-core-types/array.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAaxE,eAAO,MAAM,gBAAgB,EAAE,qBAAqB,CAAC,KAAK,CAAC,OAAO,CAAC,CA8HlE,CAAC"}