@tsonic/frontend 0.0.13 → 0.0.15

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

@@ -0,0 +1,69 @@
+/**
+ * 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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,70 @@
+/**
+ * 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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,319 @@
+/**
+ * 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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,7 @@
+/**
+ * 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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,135 @@
+/**
+ * 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

@@ -0,0 +1 @@
+{"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"}