@tsonic/frontend 0.0.1 → 0.0.2

package/dist/ir/expression-converter.js

@@ -0,0 +1,167 @@
+/**
+ * Expression converter - TypeScript AST to IR expressions
+ * Main dispatcher - delegates to specialized modules
+ */
+import * as ts from "typescript";
+import { getBindingRegistry } from "./converters/statements/declarations/registry.js";
+import { convertType } from "./type-converter.js";
+// Import expression converters from specialized modules
+import { convertLiteral } from "./converters/expressions/literals.js";
+import { convertArrayLiteral, convertObjectLiteral, } from "./converters/expressions/collections.js";
+import { convertMemberExpression } from "./converters/expressions/access.js";
+import { convertCallExpression, convertNewExpression, } from "./converters/expressions/calls.js";
+import { convertBinaryExpression, convertUnaryExpression, convertUpdateExpression, } from "./converters/expressions/operators.js";
+import { convertFunctionExpression, convertArrowFunction, } from "./converters/expressions/functions.js";
+import { convertConditionalExpression, convertTemplateLiteral, } from "./converters/expressions/other.js";
+import { getInferredType } from "./converters/expressions/helpers.js";
+/**
+ * Main expression conversion dispatcher
+ * Converts TypeScript expression nodes to IR expressions
+ */
+export const convertExpression = (node, checker) => {
+    const inferredType = getInferredType(node, checker);
+    if (ts.isStringLiteral(node) || ts.isNumericLiteral(node)) {
+        return convertLiteral(node, checker);
+    }
+    if (node.kind === ts.SyntaxKind.TrueKeyword ||
+        node.kind === ts.SyntaxKind.FalseKeyword) {
+        return {
+            kind: "literal",
+            value: node.kind === ts.SyntaxKind.TrueKeyword,
+            raw: node.getText(),
+            inferredType,
+        };
+    }
+    if (node.kind === ts.SyntaxKind.NullKeyword) {
+        return { kind: "literal", value: null, raw: "null", inferredType };
+    }
+    if (node.kind === ts.SyntaxKind.UndefinedKeyword ||
+        ts.isVoidExpression(node)) {
+        return {
+            kind: "literal",
+            value: undefined,
+            raw: "undefined",
+            inferredType,
+        };
+    }
+    if (ts.isIdentifier(node)) {
+        // Check if this identifier is bound to a CLR type (e.g., console, Math, etc.)
+        const binding = getBindingRegistry().getBinding(node.text);
+        if (binding && binding.kind === "global") {
+            return {
+                kind: "identifier",
+                name: node.text,
+                inferredType,
+                resolvedClrType: binding.type,
+                resolvedAssembly: binding.assembly,
+                csharpName: binding.csharpName, // Optional C# name from binding
+            };
+        }
+        return { kind: "identifier", name: node.text, inferredType };
+    }
+    if (ts.isArrayLiteralExpression(node)) {
+        return convertArrayLiteral(node, checker);
+    }
+    if (ts.isObjectLiteralExpression(node)) {
+        return convertObjectLiteral(node, checker);
+    }
+    if (ts.isPropertyAccessExpression(node) ||
+        ts.isElementAccessExpression(node)) {
+        return convertMemberExpression(node, checker);
+    }
+    if (ts.isCallExpression(node)) {
+        return convertCallExpression(node, checker);
+    }
+    if (ts.isNewExpression(node)) {
+        return convertNewExpression(node, checker);
+    }
+    if (ts.isBinaryExpression(node)) {
+        return convertBinaryExpression(node, checker);
+    }
+    if (ts.isPrefixUnaryExpression(node)) {
+        return convertUnaryExpression(node, checker);
+    }
+    if (ts.isPostfixUnaryExpression(node)) {
+        return convertUpdateExpression(node, checker);
+    }
+    if (ts.isTypeOfExpression(node)) {
+        return {
+            kind: "unary",
+            operator: "typeof",
+            expression: convertExpression(node.expression, checker),
+            inferredType,
+        };
+    }
+    if (ts.isVoidExpression(node)) {
+        return {
+            kind: "unary",
+            operator: "void",
+            expression: convertExpression(node.expression, checker),
+            inferredType,
+        };
+    }
+    if (ts.isDeleteExpression(node)) {
+        return {
+            kind: "unary",
+            operator: "delete",
+            expression: convertExpression(node.expression, checker),
+            inferredType,
+        };
+    }
+    if (ts.isConditionalExpression(node)) {
+        return convertConditionalExpression(node, checker);
+    }
+    if (ts.isFunctionExpression(node)) {
+        return convertFunctionExpression(node, checker);
+    }
+    if (ts.isArrowFunction(node)) {
+        return convertArrowFunction(node, checker);
+    }
+    if (ts.isTemplateExpression(node) ||
+        ts.isNoSubstitutionTemplateLiteral(node)) {
+        return convertTemplateLiteral(node, checker);
+    }
+    if (ts.isSpreadElement(node)) {
+        return {
+            kind: "spread",
+            expression: convertExpression(node.expression, checker),
+            inferredType,
+        };
+    }
+    if (node.kind === ts.SyntaxKind.ThisKeyword) {
+        return { kind: "this", inferredType };
+    }
+    if (ts.isAwaitExpression(node)) {
+        return {
+            kind: "await",
+            expression: convertExpression(node.expression, checker),
+            inferredType,
+        };
+    }
+    if (ts.isYieldExpression(node)) {
+        return {
+            kind: "yield",
+            expression: node.expression
+                ? convertExpression(node.expression, checker)
+                : undefined,
+            delegate: !!node.asteriskToken,
+            inferredType,
+        };
+    }
+    if (ts.isParenthesizedExpression(node)) {
+        return convertExpression(node.expression, checker);
+    }
+    if (ts.isAsExpression(node) || ts.isTypeAssertionExpression(node)) {
+        // Convert the inner expression
+        const innerExpr = convertExpression(ts.isAsExpression(node) ? node.expression : node.expression, checker);
+        // Preserve the asserted type - this is needed for casts like `x as int`
+        const assertedTypeNode = ts.isAsExpression(node) ? node.type : node.type;
+        const assertedType = convertType(assertedTypeNode, checker);
+        return { ...innerExpr, inferredType: assertedType };
+    }
+    // Fallback - treat as identifier
+    return { kind: "identifier", name: node.getText(), inferredType };
+};
+// Re-export commonly used functions for backward compatibility
+export { getInferredType, extractTypeArguments, checkIfRequiresSpecialization, } from "./converters/expressions/helpers.js";
+//# sourceMappingURL=expression-converter.js.map

package/dist/ir/expression-converter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-converter.js","sourceRoot":"","sources":["../../src/ir/expression-converter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,kBAAkB,EAAE,MAAM,kDAAkD,CAAC;AACtF,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAElD,wDAAwD;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAC;AACtE,OAAO,EACL,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,yCAAyC,CAAC;AACjD,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,EACL,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,uBAAuB,EACvB,sBAAsB,EACtB,uBAAuB,GACxB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,yBAAyB,EACzB,oBAAoB,GACrB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,4BAA4B,EAC5B,sBAAsB,GACvB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AAEtE;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAmB,EACnB,OAAuB,EACT,EAAE;IAChB,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEpD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1D,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC;IACD,IACE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QACvC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EACxC,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAC9C,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE;YACnB,YAAY;SACb,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC5C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IACrE,CAAC;IACD,IACE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;QAC5C,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EACzB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,SAAS;YAChB,GAAG,EAAE,WAAW;YAChB,YAAY;SACb,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,8EAA8E;QAC9E,MAAM,OAAO,GAAG,kBAAkB,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAI,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzC,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,YAAY;gBACZ,eAAe,EAAE,OAAO,CAAC,IAAI;gBAC7B,gBAAgB,EAAE,OAAO,CAAC,QAAQ;gBAClC,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,gCAAgC;aACjE,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC;IAC/D,CAAC;IACD,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,OAAO,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IACD,IACE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QACnC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAClC,CAAC;QACD,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,QAAQ;YAClB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;YACvD,YAAY;SACb,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;YACvD,YAAY;SACb,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,QAAQ;YAClB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;YACvD,YAAY;SACb,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,OAAO,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,OAAO,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IACD,IACE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;QAC7B,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC,EACxC,CAAC;QACD,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;YACvD,YAAY;SACb,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IACxC,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,OAAO;YACb,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;YACvD,YAAY;SACb,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,OAAO;YACb,UAAU,EAAE,IAAI,CAAC,UAAU;gBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;gBAC7C,CAAC,CAAC,SAAS;YACb,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa;YAC9B,YAAY;SACb,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,OAAO,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClE,+BAA+B;QAC/B,MAAM,SAAS,GAAG,iBAAiB,CACjC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAC3D,OAAO,CACR,CAAC;QACF,wEAAwE;QACxE,MAAM,gBAAgB,GAAG,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACzE,MAAM,YAAY,GAAG,WAAW,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;QAC5D,OAAO,EAAE,GAAG,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC;IACtD,CAAC;IAED,iCAAiC;IACjC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,YAAY,EAAE,CAAC;AACpE,CAAC,CAAC;AAEF,+DAA+D;AAC/D,OAAO,EACL,eAAe,EACf,oBAAoB,EACpB,6BAA6B,GAC9B,MAAM,qCAAqC,CAAC"}

package/dist/ir/generic-validator.d.ts

@@ -0,0 +1,38 @@
+/**
+ * Generic validation - detect truly unsupported generic patterns
+ *
+ * NOTE: Many previously-blocked constructs are now handled via:
+ * - Monomorphisation for finite specializations
+ * - CRTP pattern for `this` typing
+ * - Tuple specialisations for variadic parameters
+ * - Structural adapters for mapped/conditional types
+ *
+ * Only constructs with NO static mapping remain as errors.
+ */
+import * as ts from "typescript";
+import { Diagnostic } from "../types/diagnostic.js";
+/**
+ * Check for symbol index signatures (TSN7203)
+ *
+ * Symbol keys have no static C# mapping and must be rejected.
+ */
+export declare const checkForSymbolIndexSignature: (node: ts.IndexSignatureDeclaration, sourceFile: ts.SourceFile) => Diagnostic | null;
+/**
+ * REMOVED CHECKS (now handled by implementation):
+ *
+ * - checkForInferKeyword (TSN7102)
+ *   Conditional types with infer are handled via monomorphisation
+ *
+ * - checkForRecursiveMappedType (TSN7101)
+ *   Finite mapped types are specialized; unbounded cases get adapters
+ *
+ * - checkForThisType (TSN7103)
+ *   `this` typing is handled via CRTP pattern
+ *
+ * - checkForVariadicTypeParameter (TSN7104)
+ *   Variadic parameters are handled via tuple specialisations
+ *
+ * - checkForRecursiveStructuralAlias (TSN7201)
+ *   Recursive structural aliases emit as C# classes with nullable refs
+ */
+//# sourceMappingURL=generic-validator.d.ts.map

package/dist/ir/generic-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generic-validator.d.ts","sourceRoot":"","sources":["../../src/ir/generic-validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,UAAU,EAGX,MAAM,wBAAwB,CAAC;AAoBhC;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,GACvC,MAAM,EAAE,CAAC,yBAAyB,EAClC,YAAY,EAAE,CAAC,UAAU,KACxB,UAAU,GAAG,IAmCf,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG"}

package/dist/ir/generic-validator.js

@@ -0,0 +1,69 @@
+/**
+ * Generic validation - detect truly unsupported generic patterns
+ *
+ * NOTE: Many previously-blocked constructs are now handled via:
+ * - Monomorphisation for finite specializations
+ * - CRTP pattern for `this` typing
+ * - Tuple specialisations for variadic parameters
+ * - Structural adapters for mapped/conditional types
+ *
+ * Only constructs with NO static mapping remain as errors.
+ */
+import * as ts from "typescript";
+import { createDiagnostic, } from "../types/diagnostic.js";
+/**
+ * Get source location from TypeScript node
+ */
+const getLocation = (node, sourceFile) => {
+    const { line, character } = sourceFile.getLineAndCharacterOfPosition(node.getStart());
+    return {
+        file: sourceFile.fileName,
+        line: line + 1,
+        column: character + 1,
+        length: node.getWidth(),
+    };
+};
+/**
+ * Check for symbol index signatures (TSN7203)
+ *
+ * Symbol keys have no static C# mapping and must be rejected.
+ */
+export const checkForSymbolIndexSignature = (node, sourceFile) => {
+    // Check if the parameter type is symbol
+    if (node.parameters.length > 0) {
+        const param = node.parameters[0];
+        if (param && param.type) {
+            // Check for symbol keyword type
+            if (param.type.kind === ts.SyntaxKind.SymbolKeyword) {
+                return createDiagnostic("TSN7203", "error", "Symbol keys are not supported in C#", getLocation(node, sourceFile), "Use string keys instead of symbol keys");
+            }
+            // Also check for type reference to 'symbol'
+            if (ts.isTypeReferenceNode(param.type)) {
+                if (ts.isIdentifier(param.type.typeName) &&
+                    param.type.typeName.text === "symbol") {
+                    return createDiagnostic("TSN7203", "error", "Symbol keys are not supported in C#", getLocation(node, sourceFile), "Use string keys instead of symbol keys");
+                }
+            }
+        }
+    }
+    return null;
+};
+/**
+ * REMOVED CHECKS (now handled by implementation):
+ *
+ * - checkForInferKeyword (TSN7102)
+ *   Conditional types with infer are handled via monomorphisation
+ *
+ * - checkForRecursiveMappedType (TSN7101)
+ *   Finite mapped types are specialized; unbounded cases get adapters
+ *
+ * - checkForThisType (TSN7103)
+ *   `this` typing is handled via CRTP pattern
+ *
+ * - checkForVariadicTypeParameter (TSN7104)
+ *   Variadic parameters are handled via tuple specialisations
+ *
+ * - checkForRecursiveStructuralAlias (TSN7201)
+ *   Recursive structural aliases emit as C# classes with nullable refs
+ */
+//# sourceMappingURL=generic-validator.js.map

package/dist/ir/generic-validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generic-validator.js","sourceRoot":"","sources":["../../src/ir/generic-validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAEL,gBAAgB,GAEjB,MAAM,wBAAwB,CAAC;AAEhC;;GAEG;AACH,MAAM,WAAW,GAAG,CAClB,IAAa,EACb,UAAyB,EACT,EAAE;IAClB,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAClE,IAAI,CAAC,QAAQ,EAAE,CAChB,CAAC;IACF,OAAO;QACL,IAAI,EAAE,UAAU,CAAC,QAAQ;QACzB,IAAI,EAAE,IAAI,GAAG,CAAC;QACd,MAAM,EAAE,SAAS,GAAG,CAAC;QACrB,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE;KACxB,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,IAAkC,EAClC,UAAyB,EACN,EAAE;IACrB,wCAAwC;IACxC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACxB,gCAAgC;YAChC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;gBACpD,OAAO,gBAAgB,CACrB,SAAS,EACT,OAAO,EACP,qCAAqC,EACrC,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,EAC7B,wCAAwC,CACzC,CAAC;YACJ,CAAC;YAED,4CAA4C;YAC5C,IAAI,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvC,IACE,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC;oBACpC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,EACrC,CAAC;oBACD,OAAO,gBAAgB,CACrB,SAAS,EACT,OAAO,EACP,qCAAqC,EACrC,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,EAC7B,wCAAwC,CACzC,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG"}

package/dist/ir/hierarchical-bindings-e2e.test.d.ts

@@ -0,0 +1,6 @@
+/**
+ * End-to-end test for hierarchical bindings
+ * Verifies the full pipeline: TypeScript -> IR -> C# with hierarchical bindings
+ */
+export {};
+//# sourceMappingURL=hierarchical-bindings-e2e.test.d.ts.map

package/dist/ir/hierarchical-bindings-e2e.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hierarchical-bindings-e2e.test.d.ts","sourceRoot":"","sources":["../../src/ir/hierarchical-bindings-e2e.test.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/ir/hierarchical-bindings-e2e.test.js

@@ -0,0 +1,124 @@
+/**
+ * End-to-end test for hierarchical bindings
+ * Verifies the full pipeline: TypeScript -> IR -> C# with hierarchical bindings
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import * as ts from "typescript";
+import { buildIrModule } from "./builder.js";
+import { DotnetMetadataRegistry } from "../dotnet-metadata.js";
+import { BindingRegistry } from "../program/bindings.js";
+import { createDotNetImportResolver } from "../resolver/dotnet-import-resolver.js";
+describe("Hierarchical Bindings End-to-End", () => {
+    it("should resolve hierarchical bindings in IR for member access chain", () => {
+        // TypeScript source with systemLinq.enumerable.selectMany
+        const source = `
+      export function processData() {
+        const arr = [1, 2, 3];
+        // systemLinq.enumerable.selectMany should resolve to System.Linq.Enumerable.SelectMany
+        const result = systemLinq.enumerable.selectMany(arr, x => [x, x * 2]);
+        return result;
+      }
+    `;
+        // Create hierarchical binding manifest
+        const bindings = new BindingRegistry();
+        bindings.addBindings("/test/system-linq.json", {
+            assembly: "System.Linq",
+            namespaces: [
+                {
+                    name: "System.Linq",
+                    alias: "systemLinq",
+                    types: [
+                        {
+                            name: "Enumerable",
+                            alias: "enumerable",
+                            kind: "class",
+                            members: [
+                                {
+                                    kind: "method",
+                                    name: "SelectMany",
+                                    alias: "selectMany",
+                                    binding: {
+                                        assembly: "System.Linq",
+                                        type: "System.Linq.Enumerable",
+                                        member: "SelectMany",
+                                    },
+                                },
+                            ],
+                        },
+                    ],
+                },
+            ],
+        });
+        // Create TypeScript program
+        const fileName = "/test/sample.ts";
+        const sourceFile = ts.createSourceFile(fileName, source, ts.ScriptTarget.ES2022, true, ts.ScriptKind.TS);
+        const program = ts.createProgram([fileName], {
+            target: ts.ScriptTarget.ES2022,
+            module: ts.ModuleKind.ES2022,
+        }, {
+            getSourceFile: (name) => (name === fileName ? sourceFile : undefined),
+            writeFile: () => { },
+            getCurrentDirectory: () => "/test",
+            getDirectories: () => [],
+            fileExists: () => true,
+            readFile: () => source,
+            getCanonicalFileName: (f) => f,
+            useCaseSensitiveFileNames: () => true,
+            getNewLine: () => "\n",
+            getDefaultLibFileName: (_options) => "lib.d.ts",
+        });
+        const testProgram = {
+            program,
+            checker: program.getTypeChecker(),
+            options: { sourceRoot: "/test", rootNamespace: "TestApp", strict: true },
+            sourceFiles: [sourceFile],
+            metadata: new DotnetMetadataRegistry(),
+            bindings,
+            dotnetResolver: createDotNetImportResolver("/test"),
+        };
+        // Build IR
+        const irResult = buildIrModule(sourceFile, testProgram, {
+            sourceRoot: "/test",
+            rootNamespace: "TestApp",
+        });
+        // MUST succeed - this is a strict test
+        if (!irResult.ok) {
+            console.error("IR build failed:", irResult.error);
+            throw new Error(`IR build MUST succeed for e2e test, got error: ${JSON.stringify(irResult.error)}`);
+        }
+        const irModule = irResult.value;
+        // Navigate to the selectMany call in IR
+        const funcDecl = irModule.body[0];
+        expect(funcDecl?.kind).to.equal("functionDeclaration", "First body item should be function declaration");
+        if (funcDecl?.kind !== "functionDeclaration")
+            return;
+        // First statement: const arr = [1, 2, 3];
+        // Second statement: const result = systemLinq.enumerable.selectMany(...)
+        const resultDecl = funcDecl.body.statements[1];
+        expect(resultDecl?.kind).to.equal("variableDeclaration", "Second statement should be variable declaration for result");
+        if (resultDecl?.kind !== "variableDeclaration")
+            return;
+        const declarator = resultDecl.declarations[0];
+        if (!declarator?.initializer) {
+            throw new Error("Expected initializer for result variable");
+        }
+        // The initializer is the systemLinq.enumerable.selectMany(...) call
+        const callExpr = declarator.initializer;
+        expect(callExpr.kind).to.equal("call", "Initializer should be call expression");
+        if (callExpr.kind !== "call")
+            return;
+        // The callee is systemLinq.enumerable.selectMany (member access)
+        const memberExpr = callExpr.callee;
+        expect(memberExpr.kind).to.equal("memberAccess", "Callee should be member access");
+        if (memberExpr.kind !== "memberAccess")
+            return;
+        // CRITICAL: Verify memberBinding was resolved by the hierarchical binding system
+        expect(memberExpr.memberBinding, "Member binding MUST be resolved for systemLinq.enumerable.selectMany").to.not.equal(undefined);
+        expect(memberExpr.memberBinding?.assembly).to.equal("System.Linq");
+        expect(memberExpr.memberBinding?.type).to.equal("System.Linq.Enumerable");
+        expect(memberExpr.memberBinding?.member).to.equal("SelectMany");
+        console.log("✅ End-to-end test passed: Hierarchical bindings work!");
+    });
+});
+//# sourceMappingURL=hierarchical-bindings-e2e.test.js.map

package/dist/ir/hierarchical-bindings-e2e.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hierarchical-bindings-e2e.test.js","sourceRoot":"","sources":["../../src/ir/hierarchical-bindings-e2e.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AAEnF,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,0DAA0D;QAC1D,MAAM,MAAM,GAAG;;;;;;;KAOd,CAAC;QAEF,uCAAuC;QACvC,MAAM,QAAQ,GAAG,IAAI,eAAe,EAAE,CAAC;QACvC,QAAQ,CAAC,WAAW,CAAC,wBAAwB,EAAE;YAC7C,QAAQ,EAAE,aAAa;YACvB,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,aAAa;oBACnB,KAAK,EAAE,YAAY;oBACnB,KAAK,EAAE;wBACL;4BACE,IAAI,EAAE,YAAY;4BAClB,KAAK,EAAE,YAAY;4BACnB,IAAI,EAAE,OAAO;4BACb,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,QAAQ;oCACd,IAAI,EAAE,YAAY;oCAClB,KAAK,EAAE,YAAY;oCACnB,OAAO,EAAE;wCACP,QAAQ,EAAE,aAAa;wCACvB,IAAI,EAAE,wBAAwB;wCAC9B,MAAM,EAAE,YAAY;qCACrB;iCACF;6BACF;yBACF;qBACF;iBACF;aACF;SACF,CAAC,CAAC;QAEH,4BAA4B;QAC5B,MAAM,QAAQ,GAAG,iBAAiB,CAAC;QACnC,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,QAAQ,EACR,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;QAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAC9B,CAAC,QAAQ,CAAC,EACV;YACE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;YAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM;SAC7B,EACD;YACE,aAAa,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;YACrE,SAAS,EAAE,GAAG,EAAE,GAAE,CAAC;YACnB,mBAAmB,EAAE,GAAG,EAAE,CAAC,OAAO;YAClC,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE;YACxB,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;YACtB,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM;YACtB,oBAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9B,yBAAyB,EAAE,GAAG,EAAE,CAAC,IAAI;YACrC,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;YACtB,qBAAqB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU;SAChD,CACF,CAAC;QAEF,MAAM,WAAW,GAAG;YAClB,OAAO;YACP,OAAO,EAAE,OAAO,CAAC,cAAc,EAAE;YACjC,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE;YACxE,WAAW,EAAE,CAAC,UAAU,CAAC;YACzB,QAAQ,EAAE,IAAI,sBAAsB,EAAE;YACtC,QAAQ;YACR,cAAc,EAAE,0BAA0B,CAAC,OAAO,CAAC;SACpD,CAAC;QAEF,WAAW;QACX,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,EAAE,WAAW,EAAE;YACtD,UAAU,EAAE,OAAO;YACnB,aAAa,EAAE,SAAS;SACzB,CAAC,CAAC;QAEH,uCAAuC;QACvC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,OAAO,CAAC,KAAK,CAAC,kBAAkB,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,IAAI,KAAK,CACb,kDAAkD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CACnF,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC;QAEhC,wCAAwC;QACxC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAC7B,qBAAqB,EACrB,gDAAgD,CACjD,CAAC;QACF,IAAI,QAAQ,EAAE,IAAI,KAAK,qBAAqB;YAAE,OAAO;QAErD,0CAA0C;QAC1C,yEAAyE;QACzE,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAC/B,qBAAqB,EACrB,4DAA4D,CAC7D,CAAC;QACF,IAAI,UAAU,EAAE,IAAI,KAAK,qBAAqB;YAAE,OAAO;QAEvD,MAAM,UAAU,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAI,CAAC,UAAU,EAAE,WAAW,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAC9D,CAAC;QAED,oEAAoE;QACpE,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CAAC;QACxC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAC5B,MAAM,EACN,uCAAuC,CACxC,CAAC;QACF,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO;QAErC,iEAAiE;QACjE,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC;QACnC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAC9B,cAAc,EACd,gCAAgC,CACjC,CAAC;QACF,IAAI,UAAU,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO;QAE/C,iFAAiF;QACjF,MAAM,CACJ,UAAU,CAAC,aAAa,EACxB,sEAAsE,CACvE,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAE1B,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QACnE,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC1E,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAEhE,OAAO,CAAC,GAAG,CAAC,uDAAuD,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/{src/ir/index.ts → dist/ir/index.d.ts}

@@ -1,6 +1,6 @@
 /**
  * IR module exports
  */
-
 export * from "./types.js";
 export { buildIr, buildIrModule, type IrBuildOptions } from "./builder.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/ir/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/ir/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,cAAc,EAAE,MAAM,cAAc,CAAC"}

package/dist/ir/index.js

@@ -0,0 +1,6 @@
+/**
+ * IR module exports
+ */
+export * from "./types.js";
+export { buildIr, buildIrModule } from "./builder.js";
+//# sourceMappingURL=index.js.map

package/dist/ir/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/ir/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,YAAY,CAAC;AAC3B,OAAO,EAAE,OAAO,EAAE,aAAa,EAAuB,MAAM,cAAc,CAAC"}

package/dist/ir/statement-converter.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Statement converter - TypeScript AST to IR statements
+ * Main dispatcher - delegates to specialized modules
+ */
+import * as ts from "typescript";
+import { IrStatement } from "./types.js";
+/**
+ * Main statement converter dispatcher
+ */
+export declare const convertStatement: (node: ts.Node, checker: ts.TypeChecker) => IrStatement | null;
+export { convertBlockStatement } from "./converters/statements/control.js";
+export { convertParameters } from "./converters/statements/helpers.js";
+export { setMetadataRegistry, setBindingRegistry, } from "./converters/statements/declarations.js";
+//# sourceMappingURL=statement-converter.d.ts.map

package/dist/ir/statement-converter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"statement-converter.d.ts","sourceRoot":"","sources":["../../src/ir/statement-converter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAwBzC;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,KACtB,WAAW,GAAG,IAmFhB,CAAC;AAGF,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AACvE,OAAO,EACL,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,yCAAyC,CAAC"}

package/dist/ir/statement-converter.js

@@ -0,0 +1,100 @@
+/**
+ * Statement converter - TypeScript AST to IR statements
+ * Main dispatcher - delegates to specialized modules
+ */
+import * as ts from "typescript";
+import { convertExpression } from "./expression-converter.js";
+// Import converters from specialized modules
+import { convertVariableStatement, convertFunctionDeclaration, convertClassDeclaration, convertInterfaceDeclaration, convertEnumDeclaration, convertTypeAliasDeclaration, } from "./converters/statements/declarations.js";
+import { convertIfStatement, convertWhileStatement, convertForStatement, convertForOfStatement, convertForInStatement, convertSwitchStatement, convertTryStatement, convertBlockStatement, } from "./converters/statements/control.js";
+/**
+ * Main statement converter dispatcher
+ */
+export const convertStatement = (node, checker) => {
+    if (ts.isVariableStatement(node)) {
+        return convertVariableStatement(node, checker);
+    }
+    if (ts.isFunctionDeclaration(node)) {
+        return convertFunctionDeclaration(node, checker);
+    }
+    if (ts.isClassDeclaration(node)) {
+        return convertClassDeclaration(node, checker);
+    }
+    if (ts.isInterfaceDeclaration(node)) {
+        return convertInterfaceDeclaration(node, checker);
+    }
+    if (ts.isEnumDeclaration(node)) {
+        return convertEnumDeclaration(node, checker);
+    }
+    if (ts.isTypeAliasDeclaration(node)) {
+        return convertTypeAliasDeclaration(node, checker);
+    }
+    if (ts.isExpressionStatement(node)) {
+        return {
+            kind: "expressionStatement",
+            expression: convertExpression(node.expression, checker),
+        };
+    }
+    if (ts.isReturnStatement(node)) {
+        return {
+            kind: "returnStatement",
+            expression: node.expression
+                ? convertExpression(node.expression, checker)
+                : undefined,
+        };
+    }
+    if (ts.isIfStatement(node)) {
+        return convertIfStatement(node, checker);
+    }
+    if (ts.isWhileStatement(node)) {
+        return convertWhileStatement(node, checker);
+    }
+    if (ts.isForStatement(node)) {
+        return convertForStatement(node, checker);
+    }
+    if (ts.isForOfStatement(node)) {
+        return convertForOfStatement(node, checker);
+    }
+    if (ts.isForInStatement(node)) {
+        return convertForInStatement(node, checker);
+    }
+    if (ts.isSwitchStatement(node)) {
+        return convertSwitchStatement(node, checker);
+    }
+    if (ts.isThrowStatement(node)) {
+        if (!node.expression) {
+            return null;
+        }
+        return {
+            kind: "throwStatement",
+            expression: convertExpression(node.expression, checker),
+        };
+    }
+    if (ts.isTryStatement(node)) {
+        return convertTryStatement(node, checker);
+    }
+    if (ts.isBlock(node)) {
+        return convertBlockStatement(node, checker);
+    }
+    if (ts.isBreakStatement(node)) {
+        return {
+            kind: "breakStatement",
+            label: node.label?.text,
+        };
+    }
+    if (ts.isContinueStatement(node)) {
+        return {
+            kind: "continueStatement",
+            label: node.label?.text,
+        };
+    }
+    if (ts.isEmptyStatement(node)) {
+        return { kind: "emptyStatement" };
+    }
+    return null;
+};
+// Re-export commonly used functions for backward compatibility
+export { convertBlockStatement } from "./converters/statements/control.js";
+export { convertParameters } from "./converters/statements/helpers.js";
+export { setMetadataRegistry, setBindingRegistry, } from "./converters/statements/declarations.js";
+//# sourceMappingURL=statement-converter.js.map

package/dist/ir/statement-converter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"statement-converter.js","sourceRoot":"","sources":["../../src/ir/statement-converter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D,6CAA6C;AAC7C,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,uBAAuB,EACvB,2BAA2B,EAC3B,sBAAsB,EACtB,2BAA2B,GAC5B,MAAM,yCAAyC,CAAC;AAEjD,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,EACnB,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,oCAAoC,CAAC;AAE5C;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAa,EACb,OAAuB,EACH,EAAE;IACtB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO;YACL,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;SACxD,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,iBAAiB;YACvB,UAAU,EAAE,IAAI,CAAC,UAAU;gBACzB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;gBAC7C,CAAC,CAAC,SAAS;SACd,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;SACxD,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI;SACxB,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI;SACxB,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;IACpC,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,+DAA+D;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,oCAAoC,CAAC;AACvE,OAAO,EACL,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,yCAAyC,CAAC"}

package/dist/ir/type-converter/arrays.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Array type conversion
+ */
+import * as ts from "typescript";
+import { IrType } from "../types.js";
+/**
+ * Convert TypeScript array type to IR array type
+ */
+export declare const convertArrayType: (node: ts.ArrayTypeNode, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrType;
+//# sourceMappingURL=arrays.d.ts.map

package/dist/ir/type-converter/arrays.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"arrays.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/arrays.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,EAAE,CAAC,aAAa,EACtB,SAAS,EAAE,CAAC,WAAW,EACvB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,KAAK,MAAM,KAClE,MAKF,CAAC"}

package/dist/ir/type-converter/arrays.js

@@ -0,0 +1,13 @@
+/**
+ * Array type conversion
+ */
+/**
+ * Convert TypeScript array type to IR array type
+ */
+export const convertArrayType = (node, checker, convertType) => {
+    return {
+        kind: "arrayType",
+        elementType: convertType(node.elementType, checker),
+    };
+};
+//# sourceMappingURL=arrays.js.map

package/dist/ir/type-converter/arrays.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arrays.js","sourceRoot":"","sources":["../../../src/ir/type-converter/arrays.ts"],"names":[],"mappings":"AAAA;;GAEG;AAKH;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAsB,EACtB,OAAuB,EACvB,WAAmE,EAC3D,EAAE;IACV,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;KACpD,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/type-converter/clr-type-resolver.d.ts

@@ -0,0 +1,15 @@
+/**
+ * CLR type resolver - Maps TypeScript inferred types to CLR type strings
+ *
+ * Used for module-level const declarations and class fields where C# requires
+ * explicit types (cannot use 'var').
+ */
+import * as ts from "typescript";
+/**
+ * Resolve CLR type string from a TypeScript declaration node.
+ * Uses the type checker to get the inferred type.
+ *
+ * Returns undefined if the type cannot be resolved to a CLR primitive.
+ */
+export declare const resolveClrType: (node: ts.VariableDeclaration | ts.PropertyDeclaration, checker: ts.TypeChecker) => string | undefined;
+//# sourceMappingURL=clr-type-resolver.d.ts.map

package/dist/ir/type-converter/clr-type-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"clr-type-resolver.d.ts","sourceRoot":"","sources":["../../../src/ir/type-converter/clr-type-resolver.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GACzB,MAAM,EAAE,CAAC,mBAAmB,GAAG,EAAE,CAAC,mBAAmB,EACrD,SAAS,EAAE,CAAC,WAAW,KACtB,MAAM,GAAG,SAGX,CAAC"}