@tsonic/frontend 0.0.15 → 0.0.16

package/dist/ir/type-universe/types.js

@@ -1,69 +0,0 @@
-/**
- * Type Universe Type Definitions
- *
- * This module defines the types for the unified type catalog that merges
- * source-authored types (from TS AST) and assembly-authored types (from
- * CLR metadata in bindings.json/metadata.json).
- *
- * INVARIANT INV-CLR: All nominal type identities come from ONE unified catalog.
- * No type query is allowed to "fall back" to parallel logic or parallel stores.
- *
- * Key Types:
- * - TypeId: Canonical identity for any nominal type
- * - NominalEntry: Complete type information from either source or assembly
- * - MemberEntry: Property/method/field information
- * - MethodSignatureEntry: Full method signature with parameters
- */
-// ═══════════════════════════════════════════════════════════════════════════
-// FACTORY FUNCTIONS
-// ═══════════════════════════════════════════════════════════════════════════
-/**
- * Create a TypeId from components.
- */
-export const makeTypeId = (stableId, clrName, assemblyName, tsName) => ({
-    stableId,
-    clrName,
-    assemblyName,
-    tsName,
-});
-/**
- * Parse a stableId into assemblyName and clrName.
- */
-export const parseStableId = (stableId) => {
-    const colonIndex = stableId.indexOf(":");
-    if (colonIndex === -1)
-        return undefined;
-    return {
-        assemblyName: stableId.slice(0, colonIndex),
-        clrName: stableId.slice(colonIndex + 1),
-    };
-};
-// ═══════════════════════════════════════════════════════════════════════════
-// PRIMITIVE ↔ NOMINAL MAPPINGS
-// ═══════════════════════════════════════════════════════════════════════════
-/**
- * Mapping from TS primitive type names to their CLR stableIds.
- *
- * This enables normalizing `primitiveType("string")` to the canonical
- * `System.String` nominal type for member lookups.
- */
-export const PRIMITIVE_TO_STABLE_ID = new Map([
-    ["string", "System.Private.CoreLib:System.String"],
-    ["number", "System.Private.CoreLib:System.Double"],
-    ["int", "System.Private.CoreLib:System.Int32"],
-    ["boolean", "System.Private.CoreLib:System.Boolean"],
-    ["char", "System.Private.CoreLib:System.Char"],
-]);
-/**
- * Mapping from CLR stableIds back to TS primitive type names.
- *
- * This enables the emitter to use primitive syntax when appropriate.
- */
-export const STABLE_ID_TO_PRIMITIVE = new Map([
-    ["System.Private.CoreLib:System.String", "string"],
-    ["System.Private.CoreLib:System.Double", "number"],
-    ["System.Private.CoreLib:System.Int32", "int"],
-    ["System.Private.CoreLib:System.Boolean", "boolean"],
-    ["System.Private.CoreLib:System.Char", "char"],
-]);
-//# sourceMappingURL=types.js.map

package/dist/ir/type-universe/types.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/ir/type-universe/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAwdH,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,QAAgB,EAChB,OAAe,EACf,YAAoB,EACpB,MAAc,EACN,EAAE,CAAC,CAAC;IACZ,QAAQ;IACR,OAAO;IACP,YAAY;IACZ,MAAM;CACP,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,QAAgB,EACuC,EAAE;IACzD,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,UAAU,KAAK,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACxC,OAAO;QACL,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC;QAC3C,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC;KACxC,CAAC;AACJ,CAAC,CAAC;AAEF,8EAA8E;AAC9E,+BAA+B;AAC/B,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAgC,IAAI,GAAG,CAAC;IACzE,CAAC,QAAQ,EAAE,sCAAsC,CAAC;IAClD,CAAC,QAAQ,EAAE,sCAAsC,CAAC;IAClD,CAAC,KAAK,EAAE,qCAAqC,CAAC;IAC9C,CAAC,SAAS,EAAE,uCAAuC,CAAC;IACpD,CAAC,MAAM,EAAE,oCAAoC,CAAC;CAC/C,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAgC,IAAI,GAAG,CAAC;IACzE,CAAC,sCAAsC,EAAE,QAAQ,CAAC;IAClD,CAAC,sCAAsC,EAAE,QAAQ,CAAC;IAClD,CAAC,qCAAqC,EAAE,KAAK,CAAC;IAC9C,CAAC,uCAAuC,EAAE,SAAS,CAAC;IACpD,CAAC,oCAAoC,EAAE,MAAM,CAAC;CAC/C,CAAC,CAAC"}

package/dist/ir/type-universe/unified-catalog.d.ts

@@ -1,70 +0,0 @@
-/**
- * Unified Type Catalog
- *
- * Merges source-authored types (from TypeRegistry) and assembly-authored
- * types (from AssemblyTypeCatalog) into a single unified lookup table.
- *
- * INVARIANT INV-CLR: This is THE source of truth for all type queries.
- * No fallback paths allowed. If a type isn't in this catalog, it doesn't exist.
- *
- * Design:
- * - Source types get stableIds generated as "{projectName}:{fullyQualifiedName}"
- * - Assembly types keep their original stableIds from metadata.json
- * - Lookups by tsName, clrName, or stableId all work uniformly
- */
-import type { IrType } from "../types/index.js";
-import type { TypeId, MemberEntry, AssemblyTypeCatalog, UnifiedTypeCatalog } from "./types.js";
-import type { TypeRegistry } from "../type-system/internal/type-registry.js";
-/**
- * Build a unified type catalog from source and assembly catalogs.
- *
- * @param sourceRegistry - TypeRegistry containing source-authored types
- * @param assemblyCatalog - AssemblyTypeCatalog containing CLR metadata types
- * @param projectName - Project name for generating source type stableIds
- * @returns UnifiedTypeCatalog with merged type information
- */
-export declare const buildUnifiedTypeCatalog: (sourceRegistry: TypeRegistry | undefined, assemblyCatalog: AssemblyTypeCatalog, projectName?: string) => UnifiedTypeCatalog;
-/**
- * Normalize a primitive IrType to its canonical nominal TypeId.
- *
- * This is the key function for unifying primitive types with their CLR counterparts:
- * - primitiveType("string") → TypeId for System.String
- * - primitiveType("int") → TypeId for System.Int32
- * - primitiveType("number") → TypeId for System.Double
- * - primitiveType("boolean") → TypeId for System.Boolean
- *
- * @param type - The IrType to normalize
- * @param catalog - The unified catalog to look up TypeIds
- * @returns The TypeId if this is a primitive that maps to a nominal, undefined otherwise
- */
-export declare const normalizePrimitiveToTypeId: (type: IrType, catalog: UnifiedTypeCatalog) => TypeId | undefined;
-/**
- * Get the TypeId for an IrType, normalizing primitives as needed.
- *
- * @param type - The IrType to get a TypeId for
- * @param catalog - The unified catalog
- * @returns The TypeId if this type has one, undefined for structural types
- */
-export declare const getTypeId: (type: IrType, catalog: UnifiedTypeCatalog) => TypeId | undefined;
-/**
- * Look up a member on a type, walking the inheritance chain if necessary.
- *
- * @param typeId - The type to start from
- * @param memberName - The member name (TS name)
- * @param catalog - The unified catalog
- * @returns The member entry if found, undefined otherwise
- */
-export declare const lookupMemberWithInheritance: (typeId: TypeId, memberName: string, catalog: UnifiedTypeCatalog) => MemberEntry | undefined;
-/**
- * Get the declared type of a member, normalizing primitives.
- *
- * This is the primary entry point for type queries about members.
- * Returns the IrType of the member, with primitives normalized.
- *
- * @param receiverType - The type of the receiver (object being accessed)
- * @param memberName - The member name (TS name)
- * @param catalog - The unified catalog
- * @returns The member's IrType if found, undefined otherwise
- */
-export declare const getMemberDeclaredType: (receiverType: IrType, memberName: string, catalog: UnifiedTypeCatalog) => IrType | undefined;
-//# sourceMappingURL=unified-catalog.d.ts.map

package/dist/ir/type-universe/unified-catalog.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"unified-catalog.d.ts","sourceRoot":"","sources":["../../../src/ir/type-universe/unified-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EACV,MAAM,EAGN,WAAW,EAIX,mBAAmB,EACnB,kBAAkB,EACnB,MAAM,YAAY,CAAC;AAEpB,OAAO,KAAK,EACV,YAAY,EAIb,MAAM,0CAA0C,CAAC;AA8LlD;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB,GAClC,gBAAgB,YAAY,GAAG,SAAS,EACxC,iBAAiB,mBAAmB,EACpC,cAAa,MAAkB,KAC9B,kBAmEF,CAAC;AAMF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,MAAM,EACZ,SAAS,kBAAkB,KAC1B,MAAM,GAAG,SAQX,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,SAAS,GACpB,MAAM,MAAM,EACZ,SAAS,kBAAkB,KAC1B,MAAM,GAAG,SAwBX,CAAC;AAMF;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,GACtC,QAAQ,MAAM,EACd,YAAY,MAAM,EAClB,SAAS,kBAAkB,KAC1B,WAAW,GAAG,SAoBhB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,qBAAqB,GAChC,cAAc,MAAM,EACpB,YAAY,MAAM,EAClB,SAAS,kBAAkB,KAC1B,MAAM,GAAG,SAUX,CAAC"}

package/dist/ir/type-universe/unified-catalog.js

@@ -1,319 +0,0 @@
-/**
- * Unified Type Catalog
- *
- * Merges source-authored types (from TypeRegistry) and assembly-authored
- * types (from AssemblyTypeCatalog) into a single unified lookup table.
- *
- * INVARIANT INV-CLR: This is THE source of truth for all type queries.
- * No fallback paths allowed. If a type isn't in this catalog, it doesn't exist.
- *
- * Design:
- * - Source types get stableIds generated as "{projectName}:{fullyQualifiedName}"
- * - Assembly types keep their original stableIds from metadata.json
- * - Lookups by tsName, clrName, or stableId all work uniformly
- */
-import { makeTypeId, PRIMITIVE_TO_STABLE_ID } from "./types.js";
-// ═══════════════════════════════════════════════════════════════════════════
-// SOURCE TYPE → NOMINAL ENTRY CONVERSION
-// ═══════════════════════════════════════════════════════════════════════════
-/**
- * Generate stableId for a source type.
- */
-const makeSourceStableId = (projectName, fullyQualifiedName) => {
-    return `${projectName}:${fullyQualifiedName}`;
-};
-/**
- * Extract name from IrParameter pattern.
- */
-const getParameterName = (param, index) => {
-    if (param.pattern.kind === "identifierPattern" && param.pattern.name) {
-        return param.pattern.name;
-    }
-    return `p${index}`;
-};
-/**
- * Convert MemberInfo from TypeRegistry to MemberEntry for unified catalog.
- */
-const convertMemberInfo = (memberInfo, parentFQName) => {
-    // Determine member kind
-    const memberKind = memberInfo.kind === "method"
-        ? "method"
-        : memberInfo.kind === "indexSignature"
-            ? "property" // Treat index signatures as properties
-            : "property";
-    return {
-        tsName: memberInfo.name,
-        clrName: toPascalCase(memberInfo.name), // Convert to C# naming convention
-        memberKind,
-        type: memberInfo.type,
-        signatures: memberInfo.methodSignatures?.map((sig) => ({
-            stableId: `${parentFQName}::${memberInfo.name}`,
-            parameters: sig.parameters.map((p, i) => ({
-                name: getParameterName(p, i),
-                type: p.type ?? { kind: "unknownType" }, // Default to unknown if no type
-                mode: "value",
-                isOptional: p.isOptional ?? false,
-                isRest: p.isRest ?? false,
-            })),
-            returnType: sig.returnType ?? { kind: "voidType" },
-            typeParameters: sig.typeParameters?.map((tp) => ({
-                name: tp.name,
-                constraint: tp.constraint,
-                defaultType: tp.default,
-            })) ?? [],
-            parameterCount: sig.parameters.length,
-            isStatic: false, // Source methods are instance by default unless marked
-            isExtensionMethod: false,
-            normalizedSignature: `${memberInfo.name}|${sig.parameters.map((p) => p.type?.kind ?? "unknown").join(",")}`,
-        })),
-        isStatic: false, // Would need to check actual declaration
-        isReadonly: memberInfo.isReadonly,
-        isAbstract: false,
-        isVirtual: false,
-        isOverride: false,
-        isIndexer: memberInfo.kind === "indexSignature",
-        hasGetter: true,
-        hasSetter: !memberInfo.isReadonly,
-        stableId: `${parentFQName}::${memberInfo.name}`,
-    };
-};
-/**
- * Convert HeritageInfo from TypeRegistry to HeritageEdge for unified catalog.
- */
-const convertHeritageInfo = (heritageInfo, projectName) => {
-    // Determine the target type's stableId
-    // This is tricky - we need to figure out if it's a source type or assembly type
-    const targetName = heritageInfo.typeName;
-    // Check if it's a primitive that maps to a CLR type
-    const primitiveStableId = PRIMITIVE_TO_STABLE_ID.get(targetName.toLowerCase());
-    // For now, assume source types for unresolved names
-    const targetStableId = primitiveStableId
-        ? primitiveStableId
-        : makeSourceStableId(projectName, targetName);
-    // Extract type arguments from the baseType if it's a reference type
-    const typeArguments = [];
-    if (heritageInfo.baseType.kind === "referenceType" &&
-        heritageInfo.baseType.typeArguments) {
-        typeArguments.push(...heritageInfo.baseType.typeArguments);
-    }
-    return {
-        kind: heritageInfo.kind,
-        targetStableId,
-        typeArguments,
-    };
-};
-/**
- * Convert TypeRegistryEntry to NominalEntry for unified catalog.
- */
-const convertRegistryEntry = (entry, projectName) => {
-    const stableId = makeSourceStableId(projectName, entry.fullyQualifiedName);
-    const typeId = makeTypeId(stableId, entry.fullyQualifiedName, // CLR name = FQ name for source types
-    projectName, entry.name // TS name = simple name
-    );
-    // Convert kind
-    const kindMap = {
-        class: "class",
-        interface: "interface",
-        typeAlias: "interface", // Type aliases treated as interfaces
-    };
-    const kind = kindMap[entry.kind] ?? "class";
-    // Convert members
-    const members = new Map();
-    for (const [name, memberInfo] of entry.members) {
-        members.set(name, convertMemberInfo(memberInfo, entry.fullyQualifiedName));
-    }
-    // Convert heritage
-    const heritage = entry.heritage.map((h) => convertHeritageInfo(h, projectName));
-    // Convert type parameters
-    const typeParameters = entry.typeParameters.map((tp) => ({
-        name: tp.name,
-        constraint: tp.constraint,
-        defaultType: tp.defaultType,
-    }));
-    return {
-        typeId,
-        kind,
-        typeParameters,
-        heritage,
-        members,
-        origin: "source",
-        accessibility: "public", // Source types are public by default
-        isAbstract: false, // Would need AST info
-        isSealed: false,
-        isStatic: false,
-    };
-};
-/**
- * Convert camelCase to PascalCase for C# naming.
- */
-const toPascalCase = (name) => {
-    return name.charAt(0).toUpperCase() + name.slice(1);
-};
-// ═══════════════════════════════════════════════════════════════════════════
-// UNIFIED CATALOG BUILDER
-// ═══════════════════════════════════════════════════════════════════════════
-/**
- * Build a unified type catalog from source and assembly catalogs.
- *
- * @param sourceRegistry - TypeRegistry containing source-authored types
- * @param assemblyCatalog - AssemblyTypeCatalog containing CLR metadata types
- * @param projectName - Project name for generating source type stableIds
- * @returns UnifiedTypeCatalog with merged type information
- */
-export const buildUnifiedTypeCatalog = (sourceRegistry, assemblyCatalog, projectName = "project") => {
-    // Start with assembly entries (these are the "ground truth" for CLR types)
-    const entries = new Map(assemblyCatalog.entries);
-    const tsNameToTypeId = new Map(assemblyCatalog.tsNameToTypeId);
-    const clrNameToTypeId = new Map(assemblyCatalog.clrNameToTypeId);
-    // Add source types if registry is provided
-    if (sourceRegistry) {
-        for (const fqName of sourceRegistry.getAllTypeNames()) {
-            const entry = sourceRegistry.resolveNominal(fqName);
-            if (!entry)
-                continue;
-            const nominalEntry = convertRegistryEntry(entry, projectName);
-            // Add to maps (source types won't collide with assembly types by stableId)
-            entries.set(nominalEntry.typeId.stableId, nominalEntry);
-            tsNameToTypeId.set(nominalEntry.typeId.tsName, nominalEntry.typeId);
-            clrNameToTypeId.set(nominalEntry.typeId.clrName, nominalEntry.typeId);
-        }
-    }
-    // Build the catalog interface
-    const catalog = {
-        getByTypeId: (typeId) => entries.get(typeId.stableId),
-        getByStableId: (stableId) => entries.get(stableId),
-        resolveTsName: (tsName) => tsNameToTypeId.get(tsName),
-        resolveClrName: (clrName) => clrNameToTypeId.get(clrName),
-        getMembers: (typeId) => {
-            const entry = entries.get(typeId.stableId);
-            return entry?.members ?? new Map();
-        },
-        getMember: (typeId, memberName) => {
-            const entry = entries.get(typeId.stableId);
-            return entry?.members.get(memberName);
-        },
-        getHeritage: (typeId) => {
-            const entry = entries.get(typeId.stableId);
-            return entry?.heritage ?? [];
-        },
-        getTypeParameters: (typeId) => {
-            const entry = entries.get(typeId.stableId);
-            return entry?.typeParameters ?? [];
-        },
-        hasType: (stableId) => entries.has(stableId),
-        getAllTypeIds: () => {
-            const typeIds = [];
-            for (const entry of entries.values()) {
-                typeIds.push(entry.typeId);
-            }
-            return typeIds;
-        },
-    };
-    return catalog;
-};
-// ═══════════════════════════════════════════════════════════════════════════
-// PRIMITIVE TYPE NORMALIZATION
-// ═══════════════════════════════════════════════════════════════════════════
-/**
- * Normalize a primitive IrType to its canonical nominal TypeId.
- *
- * This is the key function for unifying primitive types with their CLR counterparts:
- * - primitiveType("string") → TypeId for System.String
- * - primitiveType("int") → TypeId for System.Int32
- * - primitiveType("number") → TypeId for System.Double
- * - primitiveType("boolean") → TypeId for System.Boolean
- *
- * @param type - The IrType to normalize
- * @param catalog - The unified catalog to look up TypeIds
- * @returns The TypeId if this is a primitive that maps to a nominal, undefined otherwise
- */
-export const normalizePrimitiveToTypeId = (type, catalog) => {
-    if (type.kind !== "primitiveType")
-        return undefined;
-    const stableId = PRIMITIVE_TO_STABLE_ID.get(type.name);
-    if (!stableId)
-        return undefined;
-    const entry = catalog.getByStableId(stableId);
-    return entry?.typeId;
-};
-/**
- * Get the TypeId for an IrType, normalizing primitives as needed.
- *
- * @param type - The IrType to get a TypeId for
- * @param catalog - The unified catalog
- * @returns The TypeId if this type has one, undefined for structural types
- */
-export const getTypeId = (type, catalog) => {
-    // Handle primitives by normalizing to nominal
-    if (type.kind === "primitiveType") {
-        return normalizePrimitiveToTypeId(type, catalog);
-    }
-    // Handle reference types - look up by name
-    if (type.kind === "referenceType") {
-        // Try clrName first (most specific)
-        if (type.resolvedClrType) {
-            const typeId = catalog.resolveClrName(type.resolvedClrType);
-            if (typeId)
-                return typeId;
-        }
-        // Try tsName
-        const typeId = catalog.resolveTsName(type.name);
-        if (typeId)
-            return typeId;
-        // Try as clrName
-        return catalog.resolveClrName(type.name);
-    }
-    // Arrays, tuples, functions, unions, intersections, etc. don't have TypeIds
-    return undefined;
-};
-// ═══════════════════════════════════════════════════════════════════════════
-// MEMBER LOOKUP WITH INHERITANCE
-// ═══════════════════════════════════════════════════════════════════════════
-/**
- * Look up a member on a type, walking the inheritance chain if necessary.
- *
- * @param typeId - The type to start from
- * @param memberName - The member name (TS name)
- * @param catalog - The unified catalog
- * @returns The member entry if found, undefined otherwise
- */
-export const lookupMemberWithInheritance = (typeId, memberName, catalog) => {
-    // Check this type first
-    const member = catalog.getMember(typeId, memberName);
-    if (member)
-        return member;
-    // Walk inheritance chain
-    const heritage = catalog.getHeritage(typeId);
-    for (const edge of heritage) {
-        const parentEntry = catalog.getByStableId(edge.targetStableId);
-        if (!parentEntry)
-            continue;
-        const result = lookupMemberWithInheritance(parentEntry.typeId, memberName, catalog);
-        if (result)
-            return result;
-    }
-    return undefined;
-};
-/**
- * Get the declared type of a member, normalizing primitives.
- *
- * This is the primary entry point for type queries about members.
- * Returns the IrType of the member, with primitives normalized.
- *
- * @param receiverType - The type of the receiver (object being accessed)
- * @param memberName - The member name (TS name)
- * @param catalog - The unified catalog
- * @returns The member's IrType if found, undefined otherwise
- */
-export const getMemberDeclaredType = (receiverType, memberName, catalog) => {
-    // Get TypeId for the receiver (normalizing primitives)
-    const typeId = getTypeId(receiverType, catalog);
-    if (!typeId)
-        return undefined;
-    // Look up member with inheritance
-    const member = lookupMemberWithInheritance(typeId, memberName, catalog);
-    if (!member)
-        return undefined;
-    return member.type;
-};
-//# sourceMappingURL=unified-catalog.js.map

package/dist/ir/type-universe/unified-catalog.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"unified-catalog.js","sourceRoot":"","sources":["../../../src/ir/type-universe/unified-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAcH,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAQhE,8EAA8E;AAC9E,yCAAyC;AACzC,8EAA8E;AAE9E;;GAEG;AACH,MAAM,kBAAkB,GAAG,CACzB,WAAmB,EACnB,kBAA0B,EAClB,EAAE;IACV,OAAO,GAAG,WAAW,IAAI,kBAAkB,EAAE,CAAC;AAChD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,gBAAgB,GAAG,CACvB,KAEC,EACD,KAAa,EACL,EAAE;IACV,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACrE,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;IAC5B,CAAC;IACD,OAAO,IAAI,KAAK,EAAE,CAAC;AACrB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,iBAAiB,GAAG,CACxB,UAAsB,EACtB,YAAoB,EACP,EAAE;IACf,wBAAwB;IACxB,MAAM,UAAU,GACd,UAAU,CAAC,IAAI,KAAK,QAAQ;QAC1B,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,gBAAgB;YACpC,CAAC,CAAC,UAAU,CAAC,uCAAuC;YACpD,CAAC,CAAC,UAAU,CAAC;IAEnB,OAAO;QACL,MAAM,EAAE,UAAU,CAAC,IAAI;QACvB,OAAO,EAAE,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,kCAAkC;QAC1E,UAAU;QACV,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,UAAU,EAAE,UAAU,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACrD,QAAQ,EAAE,GAAG,YAAY,KAAK,UAAU,CAAC,IAAI,EAAE;YAC/C,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;gBACxC,IAAI,EAAE,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC5B,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,aAAsB,EAAE,EAAE,gCAAgC;gBAClF,IAAI,EAAE,OAAgB;gBACtB,UAAU,EAAE,CAAC,CAAC,UAAU,IAAI,KAAK;gBACjC,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,KAAK;aAC1B,CAAC,CAAC;YACH,UAAU,EAAE,GAAG,CAAC,UAAU,IAAI,EAAE,IAAI,EAAE,UAAmB,EAAE;YAC3D,cAAc,EACZ,GAAG,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC/B,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,UAAU,EAAE,EAAE,CAAC,UAAU;gBACzB,WAAW,EAAE,EAAE,CAAC,OAAO;aACxB,CAAC,CAAC,IAAI,EAAE;YACX,cAAc,EAAE,GAAG,CAAC,UAAU,CAAC,MAAM;YACrC,QAAQ,EAAE,KAAK,EAAE,uDAAuD;YACxE,iBAAiB,EAAE,KAAK;YACxB,mBAAmB,EAAE,GAAG,UAAU,CAAC,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,IAAI,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;SAC5G,CAAC,CAAC;QACH,QAAQ,EAAE,KAAK,EAAE,yCAAyC;QAC1D,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,KAAK;QAChB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,UAAU,CAAC,IAAI,KAAK,gBAAgB;QAC/C,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,CAAC,UAAU,CAAC,UAAU;QACjC,QAAQ,EAAE,GAAG,YAAY,KAAK,UAAU,CAAC,IAAI,EAAE;KAChD,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,mBAAmB,GAAG,CAC1B,YAA0B,EAC1B,WAAmB,EACL,EAAE;IAChB,uCAAuC;IACvC,gFAAgF;IAChF,MAAM,UAAU,GAAG,YAAY,CAAC,QAAQ,CAAC;IAEzC,oDAAoD;IACpD,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,GAAG,CAClD,UAAU,CAAC,WAAW,EAAE,CACzB,CAAC;IAEF,oDAAoD;IACpD,MAAM,cAAc,GAAG,iBAAiB;QACtC,CAAC,CAAC,iBAAiB;QACnB,CAAC,CAAC,kBAAkB,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IAEhD,oEAAoE;IACpE,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,IACE,YAAY,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe;QAC9C,YAAY,CAAC,QAAQ,CAAC,aAAa,EACnC,CAAC;QACD,aAAa,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IAC7D,CAAC;IAED,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI;QACvB,cAAc;QACd,aAAa;KACd,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAC3B,KAAwB,EACxB,WAAmB,EACL,EAAE;IAChB,MAAM,QAAQ,GAAG,kBAAkB,CAAC,WAAW,EAAE,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAE3E,MAAM,MAAM,GAAG,UAAU,CACvB,QAAQ,EACR,KAAK,CAAC,kBAAkB,EAAE,sCAAsC;IAChE,WAAW,EACX,KAAK,CAAC,IAAI,CAAC,wBAAwB;KACpC,CAAC;IAEF,eAAe;IACf,MAAM,OAAO,GAAgC;QAC3C,KAAK,EAAE,OAAO;QACd,SAAS,EAAE,WAAW;QACtB,SAAS,EAAE,WAAW,EAAE,qCAAqC;KAC9D,CAAC;IACF,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC;IAE5C,kBAAkB;IAClB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAC/C,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,UAAU,EAAE,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC;IAC7E,CAAC;IAED,mBAAmB;IACnB,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxC,mBAAmB,CAAC,CAAC,EAAE,WAAW,CAAC,CACpC,CAAC;IAEF,0BAA0B;IAC1B,MAAM,cAAc,GAAyB,KAAK,CAAC,cAAc,CAAC,GAAG,CACnE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACP,IAAI,EAAE,EAAE,CAAC,IAAI;QACb,UAAU,EAAE,EAAE,CAAC,UAAU;QACzB,WAAW,EAAE,EAAE,CAAC,WAAW;KAC5B,CAAC,CACH,CAAC;IAEF,OAAO;QACL,MAAM;QACN,IAAI;QACJ,cAAc;QACd,QAAQ;QACR,OAAO;QACP,MAAM,EAAE,QAAQ;QAChB,aAAa,EAAE,QAAQ,EAAE,qCAAqC;QAC9D,UAAU,EAAE,KAAK,EAAE,sBAAsB;QACzC,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,KAAK;KAChB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,YAAY,GAAG,CAAC,IAAY,EAAU,EAAE;IAC5C,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC;AAEF,8EAA8E;AAC9E,0BAA0B;AAC1B,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,cAAwC,EACxC,eAAoC,EACpC,cAAsB,SAAS,EACX,EAAE;IACtB,2EAA2E;IAC3E,MAAM,OAAO,GAAG,IAAI,GAAG,CAAuB,eAAe,CAAC,OAAO,CAAC,CAAC;IACvE,MAAM,cAAc,GAAG,IAAI,GAAG,CAC5B,eAAe,CAAC,cAAc,CAC/B,CAAC;IACF,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,eAAe,CAAC,eAAe,CAChC,CAAC;IAEF,2CAA2C;IAC3C,IAAI,cAAc,EAAE,CAAC;QACnB,KAAK,MAAM,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,EAAE,CAAC;YACtD,MAAM,KAAK,GAAG,cAAc,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;YACpD,IAAI,CAAC,KAAK;gBAAE,SAAS;YAErB,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;YAE9D,2EAA2E;YAC3E,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;YACxD,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;YACpE,eAAe,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IAED,8BAA8B;IAC9B,MAAM,OAAO,GAAuB;QAClC,WAAW,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC;QAE7D,aAAa,EAAE,CAAC,QAAgB,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;QAE1D,aAAa,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;QAE7D,cAAc,EAAE,CAAC,OAAe,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC;QAEjE,UAAU,EAAE,CAAC,MAAc,EAAE,EAAE;YAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC3C,OAAO,KAAK,EAAE,OAAO,IAAI,IAAI,GAAG,EAAE,CAAC;QACrC,CAAC;QAED,SAAS,EAAE,CAAC,MAAc,EAAE,UAAkB,EAAE,EAAE;YAChD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC3C,OAAO,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC;QAED,WAAW,EAAE,CAAC,MAAc,EAAE,EAAE;YAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC3C,OAAO,KAAK,EAAE,QAAQ,IAAI,EAAE,CAAC;QAC/B,CAAC;QAED,iBAAiB,EAAE,CAAC,MAAc,EAAE,EAAE;YACpC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC3C,OAAO,KAAK,EAAE,cAAc,IAAI,EAAE,CAAC;QACrC,CAAC;QAED,OAAO,EAAE,CAAC,QAAgB,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;QAEpD,aAAa,EAAE,GAAG,EAAE;YAClB,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;gBACrC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC7B,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;IAEF,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,+BAA+B;AAC/B,8EAA8E;AAE9E;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAY,EACZ,OAA2B,EACP,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC9C,OAAO,KAAK,EAAE,MAAM,CAAC;AACvB,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,IAAY,EACZ,OAA2B,EACP,EAAE;IACtB,8CAA8C;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,CAAC;IAED,2CAA2C;IAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,oCAAoC;QACpC,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YAC5D,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC;QAC5B,CAAC;QAED,aAAa;QACb,MAAM,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAE1B,iBAAiB;QACjB,OAAO,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC;IAED,4EAA4E;IAC5E,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,iCAAiC;AACjC,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,MAAc,EACd,UAAkB,EAClB,OAA2B,EACF,EAAE;IAC3B,wBAAwB;IACxB,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACrD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,yBAAyB;IACzB,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC/D,IAAI,CAAC,WAAW;YAAE,SAAS;QAE3B,MAAM,MAAM,GAAG,2BAA2B,CACxC,WAAW,CAAC,MAAM,EAClB,UAAU,EACV,OAAO,CACR,CAAC;QACF,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC5B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,YAAoB,EACpB,UAAkB,EAClB,OAA2B,EACP,EAAE;IACtB,uDAAuD;IACvD,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,kCAAkC;IAClC,MAAM,MAAM,GAAG,2BAA2B,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IACxE,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC,CAAC"}

package/dist/ir/type-universe/unified-catalog.test.d.ts

@@ -1,7 +0,0 @@
-/**
- * Unified Type Catalog Tests
- *
- * Tests for the unified type catalog that merges source and assembly types.
- */
-export {};
-//# sourceMappingURL=unified-catalog.test.d.ts.map

package/dist/ir/type-universe/unified-catalog.test.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"unified-catalog.test.d.ts","sourceRoot":"","sources":["../../../src/ir/type-universe/unified-catalog.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}

package/dist/ir/type-universe/unified-catalog.test.js

@@ -1,135 +0,0 @@
-/**
- * Unified Type Catalog Tests
- *
- * Tests for the unified type catalog that merges source and assembly types.
- */
-import { expect } from "chai";
-import * as path from "path";
-import { loadSinglePackageMetadata } from "./assembly-catalog.js";
-import { buildUnifiedTypeCatalog, normalizePrimitiveToTypeId, getTypeId, getMemberDeclaredType, } from "./unified-catalog.js";
-import { PRIMITIVE_TO_STABLE_ID } from "./types.js";
-describe("UnifiedTypeCatalog", () => {
-    // Path to System metadata
-    const systemMetadataPath = path.resolve(process.cwd(), "../..", "node_modules/@tsonic/dotnet/System/internal/metadata.json");
-    describe("buildUnifiedTypeCatalog", () => {
-        it("should build catalog from assembly metadata", () => {
-            const assemblyCatalog = loadSinglePackageMetadata(systemMetadataPath);
-            const catalog = buildUnifiedTypeCatalog(undefined, assemblyCatalog, "test");
-            // Check that we can look up System.String
-            const stringTypeId = catalog.resolveTsName("String");
-            expect(stringTypeId).to.not.be.undefined;
-            expect(stringTypeId?.clrName).to.equal("System.String");
-        });
-        it("should provide member lookup for assembly types", () => {
-            const assemblyCatalog = loadSinglePackageMetadata(systemMetadataPath);
-            const catalog = buildUnifiedTypeCatalog(undefined, assemblyCatalog, "test");
-            const stringTypeId = catalog.resolveTsName("String");
-            expect(stringTypeId).to.not.be.undefined;
-            if (stringTypeId) {
-                const lengthMember = catalog.getMember(stringTypeId, "length");
-                expect(lengthMember).to.not.be.undefined;
-                expect(lengthMember?.tsName).to.equal("length");
-                expect(lengthMember?.type).to.deep.equal({
-                    kind: "primitiveType",
-                    name: "int",
-                });
-            }
-        });
-    });
-    describe("normalizePrimitiveToTypeId", () => {
-        it("should normalize string primitive to System.String TypeId", () => {
-            const assemblyCatalog = loadSinglePackageMetadata(systemMetadataPath);
-            const catalog = buildUnifiedTypeCatalog(undefined, assemblyCatalog, "test");
-            const stringType = { kind: "primitiveType", name: "string" };
-            const typeId = normalizePrimitiveToTypeId(stringType, catalog);
-            expect(typeId).to.not.be.undefined;
-            expect(typeId?.stableId).to.equal("System.Private.CoreLib:System.String");
-            expect(typeId?.clrName).to.equal("System.String");
-        });
-        it("should normalize int primitive to System.Int32 TypeId", () => {
-            const assemblyCatalog = loadSinglePackageMetadata(systemMetadataPath);
-            const catalog = buildUnifiedTypeCatalog(undefined, assemblyCatalog, "test");
-            const intType = { kind: "primitiveType", name: "int" };
-            const typeId = normalizePrimitiveToTypeId(intType, catalog);
-            expect(typeId).to.not.be.undefined;
-            expect(typeId?.stableId).to.equal("System.Private.CoreLib:System.Int32");
-        });
-        it("should return undefined for non-primitive types", () => {
-            const assemblyCatalog = loadSinglePackageMetadata(systemMetadataPath);
-            const catalog = buildUnifiedTypeCatalog(undefined, assemblyCatalog, "test");
-            const refType = { kind: "referenceType", name: "SomeClass" };
-            const typeId = normalizePrimitiveToTypeId(refType, catalog);
-            expect(typeId).to.be.undefined;
-        });
-    });
-    describe("getTypeId", () => {
-        it("should get TypeId for primitive types via normalization", () => {
-            const assemblyCatalog = loadSinglePackageMetadata(systemMetadataPath);
-            const catalog = buildUnifiedTypeCatalog(undefined, assemblyCatalog, "test");
-            const stringType = { kind: "primitiveType", name: "string" };
-            const typeId = getTypeId(stringType, catalog);
-            expect(typeId).to.not.be.undefined;
-            expect(typeId?.clrName).to.equal("System.String");
-        });
-        it("should get TypeId for reference types by name", () => {
-            const assemblyCatalog = loadSinglePackageMetadata(systemMetadataPath);
-            const catalog = buildUnifiedTypeCatalog(undefined, assemblyCatalog, "test");
-            // Console is a type in System namespace
-            const consoleType = { kind: "referenceType", name: "Console" };
-            const typeId = getTypeId(consoleType, catalog);
-            expect(typeId).to.not.be.undefined;
-            expect(typeId?.clrName).to.equal("System.Console");
-        });
-    });
-    describe("getMemberDeclaredType", () => {
-        it("should get member type for string.length", () => {
-            const assemblyCatalog = loadSinglePackageMetadata(systemMetadataPath);
-            const catalog = buildUnifiedTypeCatalog(undefined, assemblyCatalog, "test");
-            const stringType = { kind: "primitiveType", name: "string" };
-            const memberType = getMemberDeclaredType(stringType, "length", catalog);
-            expect(memberType).to.not.be.undefined;
-            expect(memberType).to.deep.equal({
-                kind: "primitiveType",
-                name: "int",
-            });
-        });
-        it("should get member type for string.chars (indexer)", () => {
-            const assemblyCatalog = loadSinglePackageMetadata(systemMetadataPath);
-            const catalog = buildUnifiedTypeCatalog(undefined, assemblyCatalog, "test");
-            const stringType = { kind: "primitiveType", name: "string" };
-            const memberType = getMemberDeclaredType(stringType, "chars", catalog);
-            expect(memberType).to.not.be.undefined;
-            expect(memberType).to.deep.equal({
-                kind: "primitiveType",
-                name: "char",
-            });
-        });
-        it("should return undefined for non-existent members", () => {
-            const assemblyCatalog = loadSinglePackageMetadata(systemMetadataPath);
-            const catalog = buildUnifiedTypeCatalog(undefined, assemblyCatalog, "test");
-            const stringType = { kind: "primitiveType", name: "string" };
-            const memberType = getMemberDeclaredType(stringType, "nonExistentMember", catalog);
-            expect(memberType).to.be.undefined;
-        });
-        it("should return undefined for types not in catalog", () => {
-            const assemblyCatalog = loadSinglePackageMetadata(systemMetadataPath);
-            const catalog = buildUnifiedTypeCatalog(undefined, assemblyCatalog, "test");
-            const unknownType = {
-                kind: "referenceType",
-                name: "UnknownType",
-            };
-            const memberType = getMemberDeclaredType(unknownType, "foo", catalog);
-            expect(memberType).to.be.undefined;
-        });
-    });
-    describe("PRIMITIVE_TO_STABLE_ID mapping", () => {
-        it("should have correct mappings for all primitives", () => {
-            expect(PRIMITIVE_TO_STABLE_ID.get("string")).to.equal("System.Private.CoreLib:System.String");
-            expect(PRIMITIVE_TO_STABLE_ID.get("number")).to.equal("System.Private.CoreLib:System.Double");
-            expect(PRIMITIVE_TO_STABLE_ID.get("int")).to.equal("System.Private.CoreLib:System.Int32");
-            expect(PRIMITIVE_TO_STABLE_ID.get("boolean")).to.equal("System.Private.CoreLib:System.Boolean");
-            expect(PRIMITIVE_TO_STABLE_ID.get("char")).to.equal("System.Private.CoreLib:System.Char");
-        });
-    });
-});
-//# sourceMappingURL=unified-catalog.test.js.map

package/dist/ir/type-universe/unified-catalog.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"unified-catalog.test.js","sourceRoot":"","sources":["../../../src/ir/type-universe/unified-catalog.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAClE,OAAO,EACL,uBAAuB,EACvB,0BAA0B,EAC1B,SAAS,EACT,qBAAqB,GACtB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAGpD,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,0BAA0B;IAC1B,MAAM,kBAAkB,GAAG,IAAI,CAAC,OAAO,CACrC,OAAO,CAAC,GAAG,EAAE,EACb,OAAO,EACP,2DAA2D,CAC5D,CAAC;IAEF,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,eAAe,GAAG,yBAAyB,CAAC,kBAAkB,CAAC,CAAC;YACtE,MAAM,OAAO,GAAG,uBAAuB,CACrC,SAAS,EACT,eAAe,EACf,MAAM,CACP,CAAC;YAEF,0CAA0C;YAC1C,MAAM,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;YACrD,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACzC,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,eAAe,GAAG,yBAAyB,CAAC,kBAAkB,CAAC,CAAC;YACtE,MAAM,OAAO,GAAG,uBAAuB,CACrC,SAAS,EACT,eAAe,EACf,MAAM,CACP,CAAC;YAEF,MAAM,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;YACrD,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YAEzC,IAAI,YAAY,EAAE,CAAC;gBACjB,MAAM,YAAY,GAAG,OAAO,CAAC,SAAS,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;gBAC/D,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;gBACzC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAChD,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;oBACvC,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,KAAK;iBACZ,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;QAC1C,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,MAAM,eAAe,GAAG,yBAAyB,CAAC,kBAAkB,CAAC,CAAC;YACtE,MAAM,OAAO,GAAG,uBAAuB,CACrC,SAAS,EACT,eAAe,EACf,MAAM,CACP,CAAC;YAEF,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACrE,MAAM,MAAM,GAAG,0BAA0B,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAE/D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACnC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;YAC1E,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,eAAe,GAAG,yBAAyB,CAAC,kBAAkB,CAAC,CAAC;YACtE,MAAM,OAAO,GAAG,uBAAuB,CACrC,SAAS,EACT,eAAe,EACf,MAAM,CACP,CAAC;YAEF,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YAC/D,MAAM,MAAM,GAAG,0BAA0B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAE5D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACnC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,qCAAqC,CAAC,CAAC;QAC3E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,eAAe,GAAG,yBAAyB,CAAC,kBAAkB,CAAC,CAAC;YACtE,MAAM,OAAO,GAAG,uBAAuB,CACrC,SAAS,EACT,eAAe,EACf,MAAM,CACP,CAAC;YAEF,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;YACrE,MAAM,MAAM,GAAG,0BAA0B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAE5D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC;QACjC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;QACzB,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACjE,MAAM,eAAe,GAAG,yBAAyB,CAAC,kBAAkB,CAAC,CAAC;YACtE,MAAM,OAAO,GAAG,uBAAuB,CACrC,SAAS,EACT,eAAe,EACf,MAAM,CACP,CAAC;YAEF,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACrE,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YAE9C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACnC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,eAAe,GAAG,yBAAyB,CAAC,kBAAkB,CAAC,CAAC;YACtE,MAAM,OAAO,GAAG,uBAAuB,CACrC,SAAS,EACT,eAAe,EACf,MAAM,CACP,CAAC;YAEF,wCAAwC;YACxC,MAAM,WAAW,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;YACvE,MAAM,MAAM,GAAG,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YAE/C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACnC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,eAAe,GAAG,yBAAyB,CAAC,kBAAkB,CAAC,CAAC;YACtE,MAAM,OAAO,GAAG,uBAAuB,CACrC,SAAS,EACT,eAAe,EACf,MAAM,CACP,CAAC;YAEF,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACrE,MAAM,UAAU,GAAG,qBAAqB,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;YAExE,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC/B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,KAAK;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,eAAe,GAAG,yBAAyB,CAAC,kBAAkB,CAAC,CAAC;YACtE,MAAM,OAAO,GAAG,uBAAuB,CACrC,SAAS,EACT,eAAe,EACf,MAAM,CACP,CAAC;YAEF,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACrE,MAAM,UAAU,GAAG,qBAAqB,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAEvE,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;YACvC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC/B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,MAAM;aACb,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,eAAe,GAAG,yBAAyB,CAAC,kBAAkB,CAAC,CAAC;YACtE,MAAM,OAAO,GAAG,uBAAuB,CACrC,SAAS,EACT,eAAe,EACf,MAAM,CACP,CAAC;YAEF,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YACrE,MAAM,UAAU,GAAG,qBAAqB,CACtC,UAAU,EACV,mBAAmB,EACnB,OAAO,CACR,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,eAAe,GAAG,yBAAyB,CAAC,kBAAkB,CAAC,CAAC;YACtE,MAAM,OAAO,GAAG,uBAAuB,CACrC,SAAS,EACT,eAAe,EACf,MAAM,CACP,CAAC;YAEF,MAAM,WAAW,GAAW;gBAC1B,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,aAAa;aACpB,CAAC;YACF,MAAM,UAAU,GAAG,qBAAqB,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YAEtE,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC9C,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,CAAC,sBAAsB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACnD,sCAAsC,CACvC,CAAC;YACF,MAAM,CAAC,sBAAsB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACnD,sCAAsC,CACvC,CAAC;YACF,MAAM,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAChD,qCAAqC,CACtC,CAAC;YACF,MAAM,CAAC,sBAAsB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACpD,uCAAuC,CACxC,CAAC;YACF,MAAM,CAAC,sBAAsB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACjD,oCAAoC,CACrC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}