@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/validation/anon-type-naming.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Anonymous Type Naming & Member Conversion
+ *
+ * Named type generation, object-to-class member conversion, and behavioral
+ * object type name creation for anonymous type lowering.
+ */
+import type { IrInterfaceMember, IrObjectType, IrClassMember, IrExpression } from "../types.js";
+import type { LoweringContext } from "./anon-type-ir-rewriting.js";
+/**
+ * Convert interface members to class property declarations
+ */
+export declare const interfaceMembersToClassMembers: (members: readonly IrInterfaceMember[]) => readonly IrClassMember[];
+export declare const classMembersToInterfaceMembers: (members: readonly IrClassMember[]) => readonly IrInterfaceMember[];
+/**
+ * Get or create a generated type name for an object type shape
+ */
+export declare const getOrCreateTypeName: (objectType: IrObjectType, ctx: LoweringContext) => string;
+export declare const isReusableStructuralCarrierName: (name: string) => boolean;
+export declare const getOrCreateBehavioralObjectTypeName: (objectType: IrObjectType, behaviorMembers: readonly IrClassMember[], sourceLocation: IrExpression["sourceSpan"] | undefined, ctx: LoweringContext) => string;
+//# sourceMappingURL=anon-type-naming.d.ts.map

package/dist/ir/validation/anon-type-naming.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"anon-type-naming.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/anon-type-naming.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,iBAAiB,EACjB,YAAY,EAEZ,aAAa,EAEb,YAAY,EAEb,MAAM,aAAa,CAAC;AAYrB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAEnE;;GAEG;AACH,eAAO,MAAM,8BAA8B,GACzC,SAAS,SAAS,iBAAiB,EAAE,KACpC,SAAS,aAAa,EAuBxB,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,SAAS,SAAS,aAAa,EAAE,KAChC,SAAS,iBAAiB,EAmCzB,CAAC;AAEL;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,YAAY,YAAY,EACxB,KAAK,eAAe,KACnB,MAmDF,CAAC;AAEF,eAAO,MAAM,+BAA+B,GAAI,MAAM,MAAM,KAAG,OACL,CAAC;AAE3D,eAAO,MAAM,mCAAmC,GAC9C,YAAY,YAAY,EACxB,iBAAiB,SAAS,aAAa,EAAE,EACzC,gBAAgB,YAAY,CAAC,YAAY,CAAC,GAAG,SAAS,EACtD,KAAK,eAAe,KACnB,MA0DF,CAAC"}

package/dist/ir/validation/anon-type-naming.js

@@ -0,0 +1,153 @@
+/**
+ * Anonymous Type Naming & Member Conversion
+ *
+ * Named type generation, object-to-class member conversion, and behavioral
+ * object type name creation for anonymous type lowering.
+ */
+import { collectTypeParameterNames, computeShapeSignature, generateShapeHash, generateModuleHash, addUndefinedToType, normalizeStructuralPropertySignature, stripUndefinedFromType, } from "./anon-type-shape-analysis.js";
+/**
+ * Convert interface members to class property declarations
+ */
+export const interfaceMembersToClassMembers = (members) => {
+    return members
+        .filter((m) => m.kind === "propertySignature")
+        .map((m) => {
+        const normalizedMember = normalizeStructuralPropertySignature(m);
+        const isOptional = normalizedMember.isOptional;
+        return {
+            kind: "propertyDeclaration",
+            name: normalizedMember.name,
+            type: isOptional
+                ? addUndefinedToType(normalizedMember.type)
+                : normalizedMember.type,
+            initializer: undefined,
+            emitAsAutoProperty: true,
+            isStatic: false,
+            isReadonly: normalizedMember.isReadonly ?? false,
+            accessibility: "public",
+            isRequired: !isOptional,
+        };
+    });
+};
+export const classMembersToInterfaceMembers = (members) => members.flatMap((member) => {
+    if (member.kind === "propertyDeclaration" &&
+        member.type &&
+        member.accessibility === "public" &&
+        !member.isStatic) {
+        const strippedType = stripUndefinedFromType(member.type);
+        const isOptional = strippedType !== member.type;
+        return {
+            kind: "propertySignature",
+            name: member.name,
+            type: isOptional ? strippedType : member.type,
+            isOptional,
+            isReadonly: member.isReadonly,
+        };
+    }
+    if (member.kind === "methodDeclaration" &&
+        member.accessibility === "public" &&
+        !member.isStatic) {
+        return {
+            kind: "methodSignature",
+            name: member.name,
+            typeParameters: member.typeParameters,
+            parameters: member.parameters,
+            returnType: member.returnType,
+            overloadFamily: member.overloadFamily,
+        };
+    }
+    return [];
+});
+/**
+ * Get or create a generated type name for an object type shape
+ */
+export const getOrCreateTypeName = (objectType, ctx) => {
+    const signature = computeShapeSignature(objectType);
+    const existing = ctx.shapeToName.get(signature);
+    if (existing) {
+        return existing;
+    }
+    // Generate name with module hash prefix to avoid collisions across modules
+    const moduleHash = generateModuleHash(ctx.moduleFilePath);
+    const shapeHash = generateShapeHash(signature);
+    // Keep a stable compiler-synthesized prefix for cross-module type tracking.
+    // Dependency/soundness passes treat __Anon_* as compiler-generated types.
+    const name = `__Anon_${moduleHash}_${shapeHash}`;
+    ctx.shapeToName.set(signature, name);
+    const typeParamNames = new Set();
+    for (const member of objectType.members) {
+        if (member.kind === "propertySignature") {
+            collectTypeParameterNames(member.type, typeParamNames);
+        }
+        else if (member.kind === "methodSignature") {
+            for (const p of member.parameters) {
+                if (p.type)
+                    collectTypeParameterNames(p.type, typeParamNames);
+            }
+            if (member.returnType)
+                collectTypeParameterNames(member.returnType, typeParamNames);
+        }
+    }
+    const orderedTypeParams = Array.from(typeParamNames).sort();
+    // Create a class declaration (not interface) so it can be instantiated
+    const declaration = {
+        kind: "classDeclaration",
+        name,
+        typeParameters: orderedTypeParams.length > 0
+            ? orderedTypeParams.map((tp) => ({
+                kind: "typeParameter",
+                name: tp,
+            }))
+            : undefined,
+        superClass: undefined,
+        implements: [],
+        members: interfaceMembersToClassMembers(objectType.members),
+        isExported: true, // Public to avoid inconsistent accessibility errors
+        isStruct: false,
+    };
+    ctx.generatedDeclarations.push(declaration);
+    return name;
+};
+export const isReusableStructuralCarrierName = (name) => name.startsWith("__Anon_") || name.startsWith("__Rest_");
+export const getOrCreateBehavioralObjectTypeName = (objectType, behaviorMembers, sourceLocation, ctx) => {
+    const moduleHash = generateModuleHash(ctx.moduleFilePath);
+    const locationKey = sourceLocation
+        ? `${sourceLocation.file}:${sourceLocation.line}:${sourceLocation.column}`
+        : `${ctx.moduleFilePath}:behavior`;
+    const behaviorSignature = [
+        "behavior",
+        locationKey,
+        computeShapeSignature(objectType),
+        ...behaviorMembers.map((member) => member.kind === "methodDeclaration"
+            ? `method:${member.name}`
+            : member.kind === "propertyDeclaration"
+                ? `property:${member.name}`
+                : `ctor:${member.parameters.length}`),
+    ].join("|");
+    const existing = ctx.shapeToName.get(behaviorSignature);
+    if (existing) {
+        return existing;
+    }
+    const name = `__Anon_${moduleHash}_${generateShapeHash(behaviorSignature)}`;
+    ctx.shapeToName.set(behaviorSignature, name);
+    const behaviorPropertyNames = new Set(behaviorMembers
+        .filter((member) => member.kind === "propertyDeclaration")
+        .map((member) => member.name));
+    const generatedMembers = [
+        ...interfaceMembersToClassMembers(objectType.members).filter((member) => member.kind !== "propertyDeclaration" ||
+            !behaviorPropertyNames.has(member.name)),
+        ...behaviorMembers,
+    ];
+    ctx.generatedDeclarations.push({
+        kind: "classDeclaration",
+        name,
+        typeParameters: undefined,
+        superClass: undefined,
+        implements: [],
+        members: generatedMembers,
+        isExported: true,
+        isStruct: false,
+    });
+    return name;
+};
+//# sourceMappingURL=anon-type-naming.js.map

package/dist/ir/validation/anon-type-naming.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anon-type-naming.js","sourceRoot":"","sources":["../../../src/ir/validation/anon-type-naming.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAYH,OAAO,EACL,yBAAyB,EACzB,qBAAqB,EACrB,iBAAiB,EACjB,kBAAkB,EAClB,kBAAkB,EAClB,oCAAoC,EACpC,sBAAsB,GACvB,MAAM,+BAA+B,CAAC;AAIvC;;GAEG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,OAAqC,EACX,EAAE;IAC5B,OAAO,OAAO;SACX,MAAM,CACL,CAAC,CAAC,EAAyD,EAAE,CAC3D,CAAC,CAAC,IAAI,KAAK,mBAAmB,CACjC;SACA,GAAG,CAAC,CAAC,CAAC,EAAyB,EAAE;QAChC,MAAM,gBAAgB,GAAG,oCAAoC,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,UAAU,GAAG,gBAAgB,CAAC,UAAU,CAAC;QAC/C,OAAO;YACL,IAAI,EAAE,qBAAqB;YAC3B,IAAI,EAAE,gBAAgB,CAAC,IAAI;YAC3B,IAAI,EAAE,UAAU;gBACd,CAAC,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,IAAI,CAAC;gBAC3C,CAAC,CAAC,gBAAgB,CAAC,IAAI;YACzB,WAAW,EAAE,SAAS;YACtB,kBAAkB,EAAE,IAAI;YACxB,QAAQ,EAAE,KAAK;YACf,UAAU,EAAE,gBAAgB,CAAC,UAAU,IAAI,KAAK;YAChD,aAAa,EAAE,QAAQ;YACvB,UAAU,EAAE,CAAC,UAAU;SACxB,CAAC;IACJ,CAAC,CAAC,CAAC;AACP,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,OAAiC,EACH,EAAE,CAChC,OAAO,CAAC,OAAO,CAAoB,CAAC,MAAM,EAAE,EAAE;IAC5C,IACE,MAAM,CAAC,IAAI,KAAK,qBAAqB;QACrC,MAAM,CAAC,IAAI;QACX,MAAM,CAAC,aAAa,KAAK,QAAQ;QACjC,CAAC,MAAM,CAAC,QAAQ,EAChB,CAAC;QACD,MAAM,YAAY,GAAG,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,UAAU,GAAG,YAAY,KAAK,MAAM,CAAC,IAAI,CAAC;QAChD,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI;YAC7C,UAAU;YACV,UAAU,EAAE,MAAM,CAAC,UAAU;SAC9B,CAAC;IACJ,CAAC;IAED,IACE,MAAM,CAAC,IAAI,KAAK,mBAAmB;QACnC,MAAM,CAAC,aAAa,KAAK,QAAQ;QACjC,CAAC,MAAM,CAAC,QAAQ,EAChB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,iBAAiB;YACvB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,cAAc,EAAE,MAAM,CAAC,cAAc;YACrC,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,cAAc,EAAE,MAAM,CAAC,cAAc;SACtC,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC,CAAC;AAEL;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,UAAwB,EACxB,GAAoB,EACZ,EAAE;IACV,MAAM,SAAS,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAChD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,2EAA2E;IAC3E,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IAC1D,MAAM,SAAS,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAC/C,4EAA4E;IAC5E,0EAA0E;IAC1E,MAAM,IAAI,GAAG,UAAU,UAAU,IAAI,SAAS,EAAE,CAAC;IACjD,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAErC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;QACxC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YAC7C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBAClC,IAAI,CAAC,CAAC,IAAI;oBAAE,yBAAyB,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;YAChE,CAAC;YACD,IAAI,MAAM,CAAC,UAAU;gBACnB,yBAAyB,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IACD,MAAM,iBAAiB,GAAG,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,EAAE,CAAC;IAE5D,uEAAuE;IACvE,MAAM,WAAW,GAAuB;QACtC,IAAI,EAAE,kBAAkB;QACxB,IAAI;QACJ,cAAc,EACZ,iBAAiB,CAAC,MAAM,GAAG,CAAC;YAC1B,CAAC,CAAC,iBAAiB,CAAC,GAAG,CACnB,CAAC,EAAE,EAAmB,EAAE,CAAC,CAAC;gBACxB,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,EAAE;aACT,CAAC,CACH;YACH,CAAC,CAAC,SAAS;QACf,UAAU,EAAE,SAAS;QACrB,UAAU,EAAE,EAAE;QACd,OAAO,EAAE,8BAA8B,CAAC,UAAU,CAAC,OAAO,CAAC;QAC3D,UAAU,EAAE,IAAI,EAAE,oDAAoD;QACtE,QAAQ,EAAE,KAAK;KAChB,CAAC;IAEF,GAAG,CAAC,qBAAqB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC5C,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,IAAY,EAAW,EAAE,CACvE,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;AAE3D,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,UAAwB,EACxB,eAAyC,EACzC,cAAsD,EACtD,GAAoB,EACZ,EAAE;IACV,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,cAAc;QAChC,CAAC,CAAC,GAAG,cAAc,CAAC,IAAI,IAAI,cAAc,CAAC,IAAI,IAAI,cAAc,CAAC,MAAM,EAAE;QAC1E,CAAC,CAAC,GAAG,GAAG,CAAC,cAAc,WAAW,CAAC;IACrC,MAAM,iBAAiB,GAAG;QACxB,UAAU;QACV,WAAW;QACX,qBAAqB,CAAC,UAAU,CAAC;QACjC,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAChC,MAAM,CAAC,IAAI,KAAK,mBAAmB;YACjC,CAAC,CAAC,UAAU,MAAM,CAAC,IAAI,EAAE;YACzB,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,qBAAqB;gBACrC,CAAC,CAAC,YAAY,MAAM,CAAC,IAAI,EAAE;gBAC3B,CAAC,CAAC,QAAQ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CACzC;KACF,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAEZ,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;IACxD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,IAAI,GAAG,UAAU,UAAU,IAAI,iBAAiB,CAAC,iBAAiB,CAAC,EAAE,CAAC;IAC5E,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC;IAE7C,MAAM,qBAAqB,GAAG,IAAI,GAAG,CACnC,eAAe;SACZ,MAAM,CACL,CACE,MAAM,EAC6D,EAAE,CACrE,MAAM,CAAC,IAAI,KAAK,qBAAqB,CACxC;SACA,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAChC,CAAC;IAEF,MAAM,gBAAgB,GAAoB;QACxC,GAAG,8BAA8B,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM,CAC1D,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,KAAK,qBAAqB;YACrC,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAC1C;QACD,GAAG,eAAe;KACnB,CAAC;IAEF,GAAG,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,kBAAkB;QACxB,IAAI;QACJ,cAAc,EAAE,SAAS;QACzB,UAAU,EAAE,SAAS;QACrB,UAAU,EAAE,EAAE;QACd,OAAO,EAAE,gBAAgB;QACzB,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,KAAK;KAChB,CAAC,CAAC;IAEH,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

package/dist/ir/validation/anon-type-shape-analysis.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Anonymous Type Shape Analysis — Facade
+ *
+ * Re-exports from sub-modules:
+ * - anon-type-shape-serialization: type serialization, shape computation,
+ *     hashing, reference lowering keys
+ * - anon-type-shape-collectors: type parameter collection, referenced type names,
+ *     reachability analysis, nullish/undefined type manipulation
+ */
+export type { SerializeState } from "./anon-type-shape-serialization.js";
+export { beginSerializeNode, serializeType, computeShapeSignature, generateShapeHash, generateModuleHash, getReferenceLoweringStableKey, } from "./anon-type-shape-serialization.js";
+export { collectTypeParameterNames, collectReferencedTypeNames, collectPubliclyReachableAnonymousTypes, normalizeStructuralPropertySignature, stripNullishFromType, stripUndefinedFromType, addUndefinedToType, } from "./anon-type-shape-collectors.js";
+//# sourceMappingURL=anon-type-shape-analysis.d.ts.map

package/dist/ir/validation/anon-type-shape-analysis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"anon-type-shape-analysis.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/anon-type-shape-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,YAAY,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EACL,kBAAkB,EAClB,aAAa,EACb,qBAAqB,EACrB,iBAAiB,EACjB,kBAAkB,EAClB,6BAA6B,GAC9B,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EACL,yBAAyB,EACzB,0BAA0B,EAC1B,sCAAsC,EACtC,oCAAoC,EACpC,oBAAoB,EACpB,sBAAsB,EACtB,kBAAkB,GACnB,MAAM,iCAAiC,CAAC"}

package/dist/ir/validation/anon-type-shape-analysis.js

@@ -0,0 +1,12 @@
+/**
+ * Anonymous Type Shape Analysis — Facade
+ *
+ * Re-exports from sub-modules:
+ * - anon-type-shape-serialization: type serialization, shape computation,
+ *     hashing, reference lowering keys
+ * - anon-type-shape-collectors: type parameter collection, referenced type names,
+ *     reachability analysis, nullish/undefined type manipulation
+ */
+export { beginSerializeNode, serializeType, computeShapeSignature, generateShapeHash, generateModuleHash, getReferenceLoweringStableKey, } from "./anon-type-shape-serialization.js";
+export { collectTypeParameterNames, collectReferencedTypeNames, collectPubliclyReachableAnonymousTypes, normalizeStructuralPropertySignature, stripNullishFromType, stripUndefinedFromType, addUndefinedToType, } from "./anon-type-shape-collectors.js";
+//# sourceMappingURL=anon-type-shape-analysis.js.map

package/dist/ir/validation/anon-type-shape-analysis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anon-type-shape-analysis.js","sourceRoot":"","sources":["../../../src/ir/validation/anon-type-shape-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EACL,kBAAkB,EAClB,aAAa,EACb,qBAAqB,EACrB,iBAAiB,EACjB,kBAAkB,EAClB,6BAA6B,GAC9B,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EACL,yBAAyB,EACzB,0BAA0B,EAC1B,sCAAsC,EACtC,oCAAoC,EACpC,oBAAoB,EACpB,sBAAsB,EACtB,kBAAkB,GACnB,MAAM,iCAAiC,CAAC"}

package/dist/ir/validation/anon-type-shape-collectors.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Anonymous Type Shape Analysis — Collectors & Type Utilities
+ *
+ * Type parameter collection, referenced type name collection, reachability
+ * analysis, and nullish type stripping/addition. Split from
+ * anon-type-shape-analysis.ts for file-size compliance.
+ */
+import type { IrType, IrClassDeclaration, IrModule, IrPropertySignature } from "../types.js";
+/**
+ * Collect free type parameter names referenced by an IrType.
+ *
+ * These are used to make synthesized anonymous types generic when their
+ * member types contain typeParameterType nodes (e.g., `{ value: T }`).
+ */
+type CollectTypeParameterState = {
+    readonly seen: WeakSet<object>;
+};
+export declare const collectTypeParameterNames: (type: IrType, out: Set<string>, state?: CollectTypeParameterState) => void;
+export declare const collectReferencedTypeNames: (type: IrType | undefined, out: Set<string>, seen?: WeakSet<object>) => void;
+export declare const collectPubliclyReachableAnonymousTypes: (modules: readonly IrModule[], generatedDeclarations: readonly IrClassDeclaration[]) => ReadonlySet<string>;
+/**
+ * Extract the non-undefined/null type from a union type.
+ * For `T | undefined` or `T | null | undefined`, returns T.
+ * For non-union types, returns the type as-is.
+ */
+export declare const stripNullishFromType: (type: IrType) => IrType;
+export declare const stripUndefinedFromType: (type: IrType) => IrType;
+export declare const normalizeStructuralPropertySignature: (member: IrPropertySignature) => IrPropertySignature;
+/**
+ * Ensure a type includes `undefined` (for optional members).
+ *
+ * Optional properties in TS (`foo?: T`) can carry optionality via a flag,
+ * not as an explicit `T | undefined` union in IR. When we synthesize a named
+ * type for an anonymous object, we must preserve optionality by materializing
+ * `undefined` into the type.
+ */
+export declare const addUndefinedToType: (type: IrType) => IrType;
+export {};
+//# sourceMappingURL=anon-type-shape-collectors.d.ts.map

package/dist/ir/validation/anon-type-shape-collectors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"anon-type-shape-collectors.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/anon-type-shape-collectors.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EACV,MAAM,EAEN,kBAAkB,EAElB,QAAQ,EACR,mBAAmB,EACpB,MAAM,aAAa,CAAC;AAErB;;;;;GAKG;AACH,KAAK,yBAAyB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;CAChC,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,MAAM,MAAM,EACZ,KAAK,GAAG,CAAC,MAAM,CAAC,EAChB,QAAQ,yBAAyB,KAChC,IAyEF,CAAC;AAEF,eAAO,MAAM,0BAA0B,GACrC,MAAM,MAAM,GAAG,SAAS,EACxB,KAAK,GAAG,CAAC,MAAM,CAAC,EAChB,OAAM,OAAO,CAAC,MAAM,CAAyB,KAC5C,IAiEF,CAAC;AAEF,eAAO,MAAM,sCAAsC,GACjD,SAAS,SAAS,QAAQ,EAAE,EAC5B,uBAAuB,SAAS,kBAAkB,EAAE,KACnD,WAAW,CAAC,MAAM,CAkKpB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,GAAI,MAAM,MAAM,KAAG,MA6BnD,CAAC;AAEF,eAAO,MAAM,sBAAsB,GAAI,MAAM,MAAM,KAAG,MAkBrD,CAAC;AAEF,eAAO,MAAM,oCAAoC,GAC/C,QAAQ,mBAAmB,KAC1B,mBASF,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,GAAI,MAAM,MAAM,KAAG,MAajD,CAAC"}

package/dist/ir/validation/anon-type-shape-collectors.js

@@ -0,0 +1,369 @@
+/**
+ * Anonymous Type Shape Analysis — Collectors & Type Utilities
+ *
+ * Type parameter collection, referenced type name collection, reachability
+ * analysis, and nullish type stripping/addition. Split from
+ * anon-type-shape-analysis.ts for file-size compliance.
+ */
+export const collectTypeParameterNames = (type, out, state) => {
+    const currentState = state ?? { seen: new WeakSet() };
+    if (typeof type === "object" && type !== null) {
+        if (currentState.seen.has(type)) {
+            return;
+        }
+        currentState.seen.add(type);
+    }
+    switch (type.kind) {
+        case "typeParameterType":
+            out.add(type.name);
+            return;
+        case "referenceType":
+            for (const ta of type.typeArguments ?? []) {
+                if (ta)
+                    collectTypeParameterNames(ta, out, currentState);
+            }
+            return;
+        case "arrayType":
+            collectTypeParameterNames(type.elementType, out, currentState);
+            return;
+        case "tupleType":
+            for (const el of type.elementTypes) {
+                if (el)
+                    collectTypeParameterNames(el, out, currentState);
+            }
+            return;
+        case "functionType":
+            for (const p of type.parameters) {
+                if (p.type)
+                    collectTypeParameterNames(p.type, out, currentState);
+            }
+            collectTypeParameterNames(type.returnType, out, currentState);
+            return;
+        case "unionType":
+        case "intersectionType":
+            for (const t of type.types) {
+                if (t)
+                    collectTypeParameterNames(t, out, currentState);
+            }
+            return;
+        case "dictionaryType":
+            collectTypeParameterNames(type.keyType, out, currentState);
+            collectTypeParameterNames(type.valueType, out, currentState);
+            return;
+        case "objectType":
+            for (const m of type.members) {
+                if (m.kind === "propertySignature") {
+                    collectTypeParameterNames(m.type, out, currentState);
+                }
+                else if (m.kind === "methodSignature") {
+                    for (const p of m.parameters) {
+                        if (p.type)
+                            collectTypeParameterNames(p.type, out, currentState);
+                    }
+                    if (m.returnType) {
+                        collectTypeParameterNames(m.returnType, out, currentState);
+                    }
+                }
+            }
+            return;
+        case "primitiveType":
+        case "literalType":
+        case "anyType":
+        case "unknownType":
+        case "voidType":
+        case "neverType":
+            return;
+    }
+};
+export const collectReferencedTypeNames = (type, out, seen = new WeakSet()) => {
+    if (!type || typeof type !== "object") {
+        return;
+    }
+    if (seen.has(type)) {
+        return;
+    }
+    seen.add(type);
+    switch (type.kind) {
+        case "referenceType":
+            out.add(type.name);
+            for (const arg of type.typeArguments ?? []) {
+                if (arg) {
+                    collectReferencedTypeNames(arg, out, seen);
+                }
+            }
+            return;
+        case "arrayType":
+            collectReferencedTypeNames(type.elementType, out, seen);
+            return;
+        case "tupleType":
+            for (const element of type.elementTypes) {
+                if (element) {
+                    collectReferencedTypeNames(element, out, seen);
+                }
+            }
+            return;
+        case "unionType":
+        case "intersectionType":
+            for (const member of type.types) {
+                collectReferencedTypeNames(member, out, seen);
+            }
+            return;
+        case "dictionaryType":
+            collectReferencedTypeNames(type.keyType, out, seen);
+            collectReferencedTypeNames(type.valueType, out, seen);
+            return;
+        case "functionType":
+            for (const parameter of type.parameters) {
+                if (parameter.type) {
+                    collectReferencedTypeNames(parameter.type, out, seen);
+                }
+            }
+            collectReferencedTypeNames(type.returnType, out, seen);
+            return;
+        case "objectType":
+            for (const member of type.members) {
+                if (member.kind === "propertySignature") {
+                    collectReferencedTypeNames(member.type, out, seen);
+                    continue;
+                }
+                for (const parameter of member.parameters) {
+                    if (parameter.type) {
+                        collectReferencedTypeNames(parameter.type, out, seen);
+                    }
+                }
+                if (member.returnType) {
+                    collectReferencedTypeNames(member.returnType, out, seen);
+                }
+            }
+            return;
+        default:
+            return;
+    }
+};
+export const collectPubliclyReachableAnonymousTypes = (modules, generatedDeclarations) => {
+    const declarationMap = new Map();
+    for (const module of modules) {
+        for (const statement of module.body) {
+            if (statement.kind === "classDeclaration" ||
+                statement.kind === "interfaceDeclaration" ||
+                statement.kind === "typeAliasDeclaration" ||
+                statement.kind === "enumDeclaration" ||
+                statement.kind === "functionDeclaration") {
+                declarationMap.set(statement.name, statement);
+            }
+        }
+    }
+    for (const declaration of generatedDeclarations) {
+        declarationMap.set(declaration.name, declaration);
+    }
+    const queue = [];
+    const reachable = new Set();
+    const enqueueType = (type) => {
+        const names = new Set();
+        collectReferencedTypeNames(type, names);
+        for (const name of names) {
+            if (reachable.has(name)) {
+                continue;
+            }
+            reachable.add(name);
+            queue.push(name);
+        }
+    };
+    const enqueueClassMember = (member) => {
+        if (member.kind === "propertyDeclaration") {
+            if (member.accessibility === "private")
+                return;
+            enqueueType(member.type);
+            return;
+        }
+        if (member.kind === "methodDeclaration") {
+            if (member.accessibility === "private")
+                return;
+            enqueueType(member.returnType);
+            for (const parameter of member.parameters) {
+                enqueueType(parameter.type);
+            }
+            return;
+        }
+        if (member.accessibility === "private")
+            return;
+        for (const parameter of member.parameters) {
+            enqueueType(parameter.type);
+        }
+    };
+    for (const module of modules) {
+        for (const statement of module.body) {
+            if (statement.kind === "classDeclaration") {
+                if (!statement.isExported)
+                    continue;
+                enqueueType(statement.superClass);
+                for (const implemented of statement.implements) {
+                    enqueueType(implemented);
+                }
+                for (const member of statement.members) {
+                    enqueueClassMember(member);
+                }
+                continue;
+            }
+            if (statement.kind === "interfaceDeclaration") {
+                if (!statement.isExported)
+                    continue;
+                for (const extended of statement.extends) {
+                    enqueueType(extended);
+                }
+                for (const member of statement.members) {
+                    if (member.kind === "propertySignature") {
+                        enqueueType(member.type);
+                        continue;
+                    }
+                    enqueueType(member.returnType);
+                    for (const parameter of member.parameters) {
+                        enqueueType(parameter.type);
+                    }
+                }
+                continue;
+            }
+            if (statement.kind === "typeAliasDeclaration") {
+                if (statement.isExported) {
+                    enqueueType(statement.type);
+                }
+                continue;
+            }
+            if (statement.kind === "functionDeclaration") {
+                if (!statement.isExported)
+                    continue;
+                enqueueType(statement.returnType);
+                for (const parameter of statement.parameters) {
+                    enqueueType(parameter.type);
+                }
+                continue;
+            }
+            if (statement.kind === "variableDeclaration") {
+                if (!statement.isExported)
+                    continue;
+                for (const declaration of statement.declarations) {
+                    enqueueType(declaration.type);
+                }
+            }
+        }
+    }
+    while (queue.length > 0) {
+        const current = queue.shift();
+        if (!current)
+            continue;
+        const declaration = declarationMap.get(current);
+        if (!declaration)
+            continue;
+        if (declaration.kind === "classDeclaration") {
+            enqueueType(declaration.superClass);
+            for (const implemented of declaration.implements) {
+                enqueueType(implemented);
+            }
+            for (const member of declaration.members) {
+                enqueueClassMember(member);
+            }
+            continue;
+        }
+        if (declaration.kind === "interfaceDeclaration") {
+            for (const extended of declaration.extends) {
+                enqueueType(extended);
+            }
+            for (const member of declaration.members) {
+                if (member.kind === "propertySignature") {
+                    enqueueType(member.type);
+                    continue;
+                }
+                enqueueType(member.returnType);
+                for (const parameter of member.parameters) {
+                    enqueueType(parameter.type);
+                }
+            }
+            continue;
+        }
+        if (declaration.kind === "typeAliasDeclaration") {
+            enqueueType(declaration.type);
+            continue;
+        }
+        if (declaration.kind === "functionDeclaration") {
+            enqueueType(declaration.returnType);
+            for (const parameter of declaration.parameters) {
+                enqueueType(parameter.type);
+            }
+        }
+    }
+    return new Set([...reachable].filter((name) => generatedDeclarations.some((d) => d.name === name)));
+};
+/**
+ * Extract the non-undefined/null type from a union type.
+ * For `T | undefined` or `T | null | undefined`, returns T.
+ * For non-union types, returns the type as-is.
+ */
+export const stripNullishFromType = (type) => {
+    if (type.kind !== "unionType") {
+        return type;
+    }
+    const nonNullish = type.types.filter((t) => !(t.kind === "primitiveType" &&
+        (t.name === "undefined" || t.name === "null")));
+    if (nonNullish.length === 0) {
+        // All types were nullish, return original
+        return type;
+    }
+    if (nonNullish.length === type.types.length) {
+        // No nullish types were filtered
+        return type;
+    }
+    if (nonNullish.length === 1) {
+        // Safe: we checked length === 1
+        const first = nonNullish[0];
+        if (first !== undefined) {
+            return first;
+        }
+        return type;
+    }
+    // Return a new union with the filtered types
+    return { ...type, types: nonNullish };
+};
+export const stripUndefinedFromType = (type) => {
+    if (type.kind !== "unionType") {
+        return type;
+    }
+    const nonUndefined = type.types.filter((t) => !(t.kind === "primitiveType" && t.name === "undefined"));
+    if (nonUndefined.length === type.types.length) {
+        return type;
+    }
+    if (nonUndefined.length === 0) {
+        return type;
+    }
+    if (nonUndefined.length === 1) {
+        return nonUndefined[0] ?? type;
+    }
+    return { ...type, types: nonUndefined };
+};
+export const normalizeStructuralPropertySignature = (member) => {
+    const strippedType = stripUndefinedFromType(member.type);
+    const isOptional = member.isOptional || strippedType !== member.type;
+    return {
+        ...member,
+        type: isOptional ? strippedType : member.type,
+        isOptional,
+    };
+};
+/**
+ * Ensure a type includes `undefined` (for optional members).
+ *
+ * Optional properties in TS (`foo?: T`) can carry optionality via a flag,
+ * not as an explicit `T | undefined` union in IR. When we synthesize a named
+ * type for an anonymous object, we must preserve optionality by materializing
+ * `undefined` into the type.
+ */
+export const addUndefinedToType = (type) => {
+    const undefinedType = { kind: "primitiveType", name: "undefined" };
+    if (type.kind === "unionType") {
+        const hasUndefined = type.types.some((t) => t.kind === "primitiveType" && t.name === "undefined");
+        return hasUndefined
+            ? type
+            : { ...type, types: [...type.types, undefinedType] };
+    }
+    return { kind: "unionType", types: [type, undefinedType] };
+};
+//# sourceMappingURL=anon-type-shape-collectors.js.map

package/dist/ir/validation/anon-type-shape-collectors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anon-type-shape-collectors.js","sourceRoot":"","sources":["../../../src/ir/validation/anon-type-shape-collectors.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAqBH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAY,EACZ,GAAgB,EAChB,KAAiC,EAC3B,EAAE;IACR,MAAM,YAAY,GAAG,KAAK,IAAI,EAAE,IAAI,EAAE,IAAI,OAAO,EAAU,EAAE,CAAC;IAE9D,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,OAAO;QACT,CAAC;QACD,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,mBAAmB;YACtB,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,OAAO;QAET,KAAK,eAAe;YAClB,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;gBAC1C,IAAI,EAAE;oBAAE,yBAAyB,CAAC,EAAE,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;YAC3D,CAAC;YACD,OAAO;QAET,KAAK,WAAW;YACd,yBAAyB,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;YAC/D,OAAO;QAET,KAAK,WAAW;YACd,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACnC,IAAI,EAAE;oBAAE,yBAAyB,CAAC,EAAE,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;YAC3D,CAAC;YACD,OAAO;QAET,KAAK,cAAc;YACjB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChC,IAAI,CAAC,CAAC,IAAI;oBAAE,yBAAyB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;YACnE,CAAC;YACD,yBAAyB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;YAC9D,OAAO;QAET,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC3B,IAAI,CAAC;oBAAE,yBAAyB,CAAC,CAAC,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;YACzD,CAAC;YACD,OAAO;QAET,KAAK,gBAAgB;YACnB,yBAAyB,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;YAC3D,yBAAyB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;YAC7D,OAAO;QAET,KAAK,YAAY;YACf,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACnC,yBAAyB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;gBACvD,CAAC;qBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;oBACxC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;wBAC7B,IAAI,CAAC,CAAC,IAAI;4BAAE,yBAAyB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;oBACnE,CAAC;oBACD,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;wBACjB,yBAAyB,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;oBAC7D,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO;QAET,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,aAAa,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACd,OAAO;IACX,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAwB,EACxB,GAAgB,EAChB,OAAwB,IAAI,OAAO,EAAU,EACvC,EAAE;IACR,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtC,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACnB,OAAO;IACT,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAEf,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;gBAC3C,IAAI,GAAG,EAAE,CAAC;oBACR,0BAA0B,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;gBAC7C,CAAC;YACH,CAAC;YACD,OAAO;QACT,KAAK,WAAW;YACd,0BAA0B,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YACxD,OAAO;QACT,KAAK,WAAW;YACd,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACxC,IAAI,OAAO,EAAE,CAAC;oBACZ,0BAA0B,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;gBACjD,CAAC;YACH,CAAC;YACD,OAAO;QACT,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB;YACrB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAChC,0BAA0B,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YAChD,CAAC;YACD,OAAO;QACT,KAAK,gBAAgB;YACnB,0BAA0B,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YACpD,0BAA0B,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YACtD,OAAO;QACT,KAAK,cAAc;YACjB,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACxC,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;oBACnB,0BAA0B,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;gBACxD,CAAC;YACH,CAAC;YACD,0BAA0B,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YACvD,OAAO;QACT,KAAK,YAAY;YACf,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACxC,0BAA0B,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;oBACnD,SAAS;gBACX,CAAC;gBACD,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBAC1C,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;wBACnB,0BAA0B,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;oBACxD,CAAC;gBACH,CAAC;gBACD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBACtB,0BAA0B,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;gBAC3D,CAAC;YACH,CAAC;YACD,OAAO;QACT;YACE,OAAO;IACX,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sCAAsC,GAAG,CACpD,OAA4B,EAC5B,qBAAoD,EAC/B,EAAE;IACvB,MAAM,cAAc,GAAG,IAAI,GAAG,EAAuB,CAAC;IACtD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YACpC,IACE,SAAS,CAAC,IAAI,KAAK,kBAAkB;gBACrC,SAAS,CAAC,IAAI,KAAK,sBAAsB;gBACzC,SAAS,CAAC,IAAI,KAAK,sBAAsB;gBACzC,SAAS,CAAC,IAAI,KAAK,iBAAiB;gBACpC,SAAS,CAAC,IAAI,KAAK,qBAAqB,EACxC,CAAC;gBACD,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,qBAAqB,EAAE,CAAC;QAChD,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,WAAW,GAAG,CAAC,IAAwB,EAAQ,EAAE;QACrD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,0BAA0B,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACxC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxB,SAAS;YACX,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,kBAAkB,GAAG,CAAC,MAAqB,EAAQ,EAAE;QACzD,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC1C,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;gBAAE,OAAO;YAC/C,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACzB,OAAO;QACT,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACxC,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;gBAAE,OAAO;YAC/C,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YAC/B,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBAC1C,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC9B,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;YAAE,OAAO;QAC/C,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YAC1C,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YACpC,IAAI,SAAS,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBAC1C,IAAI,CAAC,SAAS,CAAC,UAAU;oBAAE,SAAS;gBACpC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;gBAClC,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;oBAC/C,WAAW,CAAC,WAAW,CAAC,CAAC;gBAC3B,CAAC;gBACD,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;oBACvC,kBAAkB,CAAC,MAAM,CAAC,CAAC;gBAC7B,CAAC;gBACD,SAAS;YACX,CAAC;YAED,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;gBAC9C,IAAI,CAAC,SAAS,CAAC,UAAU;oBAAE,SAAS;gBACpC,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;oBACzC,WAAW,CAAC,QAAQ,CAAC,CAAC;gBACxB,CAAC;gBACD,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;oBACvC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;wBACxC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;wBACzB,SAAS;oBACX,CAAC;oBACD,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;oBAC/B,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;wBAC1C,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;oBAC9B,CAAC;gBACH,CAAC;gBACD,SAAS;YACX,CAAC;YAED,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;gBAC9C,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;oBACzB,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBAC9B,CAAC;gBACD,SAAS;YACX,CAAC;YAED,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC7C,IAAI,CAAC,SAAS,CAAC,UAAU;oBAAE,SAAS;gBACpC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;gBAClC,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;oBAC7C,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBAC9B,CAAC;gBACD,SAAS;YACX,CAAC;YAED,IAAI,SAAS,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC7C,IAAI,CAAC,SAAS,CAAC,UAAU;oBAAE,SAAS;gBACpC,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,YAAY,EAAE,CAAC;oBACjD,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBAChC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,MAAM,WAAW,GAAG,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAChD,IAAI,CAAC,WAAW;YAAE,SAAS;QAE3B,IAAI,WAAW,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YAC5C,WAAW,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;YACpC,KAAK,MAAM,WAAW,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;gBACjD,WAAW,CAAC,WAAW,CAAC,CAAC;YAC3B,CAAC;YACD,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;gBACzC,kBAAkB,CAAC,MAAM,CAAC,CAAC;YAC7B,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,WAAW,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YAChD,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;gBAC3C,WAAW,CAAC,QAAQ,CAAC,CAAC;YACxB,CAAC;YACD,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;gBACzC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACxC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBACzB,SAAS;gBACX,CAAC;gBACD,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;gBAC/B,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBAC1C,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBAC9B,CAAC;YACH,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,WAAW,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;YAChD,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC9B,SAAS;QACX,CAAC;QAED,IAAI,WAAW,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC/C,WAAW,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;YACpC,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;gBAC/C,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,IAAI,GAAG,CACZ,CAAC,GAAG,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7B,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CACnD,CACF,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAU,EAAE;IAC3D,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAClC,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CACC,CAAC,CAAC,IAAI,KAAK,eAAe;QAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAC9C,CACJ,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,0CAA0C;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAC5C,iCAAiC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,gCAAgC;QAChC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,6CAA6C;IAC7C,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AACxC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAU,EAAE;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC/D,CAAC;IACF,IAAI,YAAY,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,YAAY,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IACjC,CAAC;IACD,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAClD,MAA2B,EACN,EAAE;IACvB,MAAM,YAAY,GAAG,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACzD,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,IAAI,YAAY,KAAK,MAAM,CAAC,IAAI,CAAC;IAErE,OAAO;QACL,GAAG,MAAM;QACT,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI;QAC7C,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAU,EAAE;IACzD,MAAM,aAAa,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAE3E,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC5D,CAAC;QACF,OAAO,YAAY;YACjB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,CAAC;IACzD,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC;AAC7D,CAAC,CAAC"}