@tsonic/frontend 0.0.1 → 0.0.4

package/dist/ir/converters/statements/declarations.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Declaration converters (variables, functions, classes, interfaces, enums, type aliases)
+ * Main dispatcher - re-exports from declarations/ subdirectory
+ */
+export { setMetadataRegistry, setBindingRegistry, convertVariableStatement, convertFunctionDeclaration, convertClassDeclaration, convertInterfaceDeclaration, convertInterfaceMember, convertEnumDeclaration, convertTypeAliasDeclaration, } from "./declarations/index.js";
+//# sourceMappingURL=declarations.d.ts.map

package/dist/ir/converters/statements/declarations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"declarations.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/statements/declarations.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,mBAAmB,EACnB,kBAAkB,EAClB,wBAAwB,EACxB,0BAA0B,EAC1B,uBAAuB,EACvB,2BAA2B,EAC3B,sBAAsB,EACtB,sBAAsB,EACtB,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC"}

package/dist/ir/converters/statements/declarations.js

@@ -0,0 +1,6 @@
+/**
+ * Declaration converters (variables, functions, classes, interfaces, enums, type aliases)
+ * Main dispatcher - re-exports from declarations/ subdirectory
+ */
+export { setMetadataRegistry, setBindingRegistry, convertVariableStatement, convertFunctionDeclaration, convertClassDeclaration, convertInterfaceDeclaration, convertInterfaceMember, convertEnumDeclaration, convertTypeAliasDeclaration, } from "./declarations/index.js";
+//# sourceMappingURL=declarations.js.map

package/dist/ir/converters/statements/declarations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declarations.js","sourceRoot":"","sources":["../../../../src/ir/converters/statements/declarations.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,mBAAmB,EACnB,kBAAkB,EAClB,wBAAwB,EACxB,0BAA0B,EAC1B,uBAAuB,EACvB,2BAA2B,EAC3B,sBAAsB,EACtB,sBAAsB,EACtB,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC"}

package/dist/ir/converters/statements/helpers.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Helper utilities for statement conversion
+ */
+import * as ts from "typescript";
+import { IrParameter, IrAccessibility, IrTypeParameter, IrVariableDeclaration } from "../../types.js";
+/**
+ * Convert TypeScript type parameters to IR, detecting structural constraints
+ */
+export declare const convertTypeParameters: (typeParameters: readonly ts.TypeParameterDeclaration[] | undefined, checker: ts.TypeChecker) => readonly IrTypeParameter[] | undefined;
+/**
+ * Convert parameters for functions and methods
+ */
+export declare const convertParameters: (parameters: ts.NodeArray<ts.ParameterDeclaration>, checker: ts.TypeChecker) => readonly IrParameter[];
+/**
+ * Convert variable declaration list (used in for loops)
+ */
+export declare const convertVariableDeclarationList: (node: ts.VariableDeclarationList, checker: ts.TypeChecker) => IrVariableDeclaration;
+/**
+ * Check if node has export modifier
+ */
+export declare const hasExportModifier: (node: ts.Node) => boolean;
+/**
+ * Check if node has static modifier
+ */
+export declare const hasStaticModifier: (node: ts.Node) => boolean;
+/**
+ * Check if node has readonly modifier
+ */
+export declare const hasReadonlyModifier: (node: ts.Node) => boolean;
+/**
+ * Get accessibility modifier
+ */
+export declare const getAccessibility: (node: ts.Node) => IrAccessibility;
+//# sourceMappingURL=helpers.d.ts.map

package/dist/ir/converters/statements/helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/statements/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,WAAW,EACX,eAAe,EACf,eAAe,EAEf,qBAAqB,EACtB,MAAM,gBAAgB,CAAC;AAKxB;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,gBAAgB,SAAS,EAAE,CAAC,wBAAwB,EAAE,GAAG,SAAS,EAClE,SAAS,EAAE,CAAC,WAAW,KACtB,SAAS,eAAe,EAAE,GAAG,SAmC/B,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,YAAY,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,oBAAoB,CAAC,EACjD,SAAS,EAAE,CAAC,WAAW,KACtB,SAAS,WAAW,EAoCtB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,8BAA8B,GACzC,MAAM,EAAE,CAAC,uBAAuB,EAChC,SAAS,EAAE,CAAC,WAAW,KACtB,qBAkBF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAAI,MAAM,EAAE,CAAC,IAAI,KAAG,OAMjD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAAI,MAAM,EAAE,CAAC,IAAI,KAAG,OAMjD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAAI,MAAM,EAAE,CAAC,IAAI,KAAG,OAMnD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAAI,MAAM,EAAE,CAAC,IAAI,KAAG,eAQhD,CAAC"}

package/dist/ir/converters/statements/helpers.js

@@ -0,0 +1,137 @@
+/**
+ * Helper utilities for statement conversion
+ */
+import * as ts from "typescript";
+import { convertType, convertBindingName } from "../../type-converter.js";
+import { convertExpression } from "../../expression-converter.js";
+import { convertInterfaceMember } from "./declarations.js";
+/**
+ * Convert TypeScript type parameters to IR, detecting structural constraints
+ */
+export const convertTypeParameters = (typeParameters, checker) => {
+    if (!typeParameters || typeParameters.length === 0) {
+        return undefined;
+    }
+    return typeParameters.map((tp) => {
+        const name = tp.name.text;
+        const constraint = tp.constraint
+            ? convertType(tp.constraint, checker)
+            : undefined;
+        const defaultType = tp.default
+            ? convertType(tp.default, checker)
+            : undefined;
+        // Check if constraint is structural (object literal type)
+        const isStructural = tp.constraint && ts.isTypeLiteralNode(tp.constraint);
+        // Extract structural members if it's a structural constraint
+        const structuralMembers = isStructural && tp.constraint && ts.isTypeLiteralNode(tp.constraint)
+            ? tp.constraint.members
+                .map((member) => convertInterfaceMember(member, checker))
+                .filter((m) => m !== null)
+            : undefined;
+        return {
+            kind: "typeParameter",
+            name,
+            constraint,
+            default: defaultType,
+            variance: undefined, // TypeScript doesn't expose variance directly
+            isStructuralConstraint: isStructural,
+            structuralMembers,
+        };
+    });
+};
+/**
+ * Convert parameters for functions and methods
+ */
+export const convertParameters = (parameters, checker) => {
+    return parameters.map((param) => {
+        let passing = "value";
+        let actualType = param.type;
+        // Detect ref<T>, out<T>, in<T> wrapper types
+        if (param.type &&
+            ts.isTypeReferenceNode(param.type) &&
+            ts.isIdentifier(param.type.typeName)) {
+            const typeName = param.type.typeName.text;
+            if ((typeName === "ref" || typeName === "out" || typeName === "in") &&
+                param.type.typeArguments &&
+                param.type.typeArguments.length > 0) {
+                // Set passing mode
+                passing = typeName === "in" ? "in" : typeName;
+                // Extract wrapped type
+                actualType = param.type.typeArguments[0];
+            }
+        }
+        return {
+            kind: "parameter",
+            pattern: convertBindingName(param.name),
+            type: actualType ? convertType(actualType, checker) : undefined,
+            initializer: param.initializer
+                ? convertExpression(param.initializer, checker)
+                : undefined,
+            isOptional: !!param.questionToken,
+            isRest: !!param.dotDotDotToken,
+            passing,
+        };
+    });
+};
+/**
+ * Convert variable declaration list (used in for loops)
+ */
+export const convertVariableDeclarationList = (node, checker) => {
+    const isConst = !!(node.flags & ts.NodeFlags.Const);
+    const isLet = !!(node.flags & ts.NodeFlags.Let);
+    const declarationKind = isConst ? "const" : isLet ? "let" : "var";
+    return {
+        kind: "variableDeclaration",
+        declarationKind,
+        declarations: node.declarations.map((decl) => ({
+            kind: "variableDeclarator",
+            name: convertBindingName(decl.name),
+            type: decl.type ? convertType(decl.type, checker) : undefined,
+            initializer: decl.initializer
+                ? convertExpression(decl.initializer, checker)
+                : undefined,
+        })),
+        isExported: false,
+    };
+};
+/**
+ * Check if node has export modifier
+ */
+export const hasExportModifier = (node) => {
+    if (!ts.canHaveModifiers(node))
+        return false;
+    const modifiers = ts.getModifiers(node);
+    return (modifiers?.some((m) => m.kind === ts.SyntaxKind.ExportKeyword) ?? false);
+};
+/**
+ * Check if node has static modifier
+ */
+export const hasStaticModifier = (node) => {
+    if (!ts.canHaveModifiers(node))
+        return false;
+    const modifiers = ts.getModifiers(node);
+    return (modifiers?.some((m) => m.kind === ts.SyntaxKind.StaticKeyword) ?? false);
+};
+/**
+ * Check if node has readonly modifier
+ */
+export const hasReadonlyModifier = (node) => {
+    if (!ts.canHaveModifiers(node))
+        return false;
+    const modifiers = ts.getModifiers(node);
+    return (modifiers?.some((m) => m.kind === ts.SyntaxKind.ReadonlyKeyword) ?? false);
+};
+/**
+ * Get accessibility modifier
+ */
+export const getAccessibility = (node) => {
+    if (!ts.canHaveModifiers(node))
+        return "public";
+    const modifiers = ts.getModifiers(node);
+    if (modifiers?.some((m) => m.kind === ts.SyntaxKind.PrivateKeyword))
+        return "private";
+    if (modifiers?.some((m) => m.kind === ts.SyntaxKind.ProtectedKeyword))
+        return "protected";
+    return "public";
+};
+//# sourceMappingURL=helpers.js.map

package/dist/ir/converters/statements/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../../../src/ir/converters/statements/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAQjC,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAE3D;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,cAAkE,EAClE,OAAuB,EACiB,EAAE;IAC1C,IAAI,CAAC,cAAc,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QAC/B,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QAC1B,MAAM,UAAU,GAAG,EAAE,CAAC,UAAU;YAC9B,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC;YACrC,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,WAAW,GAAG,EAAE,CAAC,OAAO;YAC5B,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;YAClC,CAAC,CAAC,SAAS,CAAC;QAEd,0DAA0D;QAC1D,MAAM,YAAY,GAAG,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;QAE1E,6DAA6D;QAC7D,MAAM,iBAAiB,GACrB,YAAY,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC,UAAU,CAAC;YAClE,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO;iBAClB,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,sBAAsB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;iBACxD,MAAM,CAAC,CAAC,CAAC,EAA0B,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;YACtD,CAAC,CAAC,SAAS,CAAC;QAEhB,OAAO;YACL,IAAI,EAAE,eAAwB;YAC9B,IAAI;YACJ,UAAU;YACV,OAAO,EAAE,WAAW;YACpB,QAAQ,EAAE,SAAS,EAAE,8CAA8C;YACnE,sBAAsB,EAAE,YAAY;YACpC,iBAAiB;SAClB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,UAAiD,EACjD,OAAuB,EACC,EAAE;IAC1B,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC9B,IAAI,OAAO,GAAmC,OAAO,CAAC;QACtD,IAAI,UAAU,GAA4B,KAAK,CAAC,IAAI,CAAC;QAErD,6CAA6C;QAC7C,IACE,KAAK,CAAC,IAAI;YACV,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC;YAClC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EACpC,CAAC;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC1C,IACE,CAAC,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,IAAI,CAAC;gBAC/D,KAAK,CAAC,IAAI,CAAC,aAAa;gBACxB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EACnC,CAAC;gBACD,mBAAmB;gBACnB,OAAO,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAC9C,uBAAuB;gBACvB,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QAED,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC;YACvC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;YAC/D,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC5B,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,WAAW,EAAE,OAAO,CAAC;gBAC/C,CAAC,CAAC,SAAS;YACb,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa;YACjC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc;YAC9B,OAAO;SACR,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAgC,EAChC,OAAuB,EACA,EAAE;IACzB,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,eAAe,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IAElE,OAAO;QACL,IAAI,EAAE,qBAAqB;QAC3B,eAAe;QACf,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC7C,IAAI,EAAE,oBAAoB;YAC1B,IAAI,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;YACnC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;YAC7D,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC3B,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;gBAC9C,CAAC,CAAC,SAAS;SACd,CAAC,CAAC;QACH,UAAU,EAAE,KAAK;KAClB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAa,EAAW,EAAE;IAC1D,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACxC,OAAO,CACL,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,CACxE,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAa,EAAW,EAAE;IAC1D,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACxC,OAAO,CACL,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK,CACxE,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,IAAa,EAAW,EAAE;IAC5D,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACxC,OAAO,CACL,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,IAAI,KAAK,CAC1E,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAa,EAAmB,EAAE;IACjE,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,QAAQ,CAAC;IAChD,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC;QACjE,OAAO,SAAS,CAAC;IACnB,IAAI,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC;QACnE,OAAO,WAAW,CAAC;IACrB,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC"}

package/dist/ir/converters/statements/index.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Statement converters barrel exports
+ */
+export { convertTypeParameters, convertParameters, convertVariableDeclarationList, hasExportModifier, hasStaticModifier, hasReadonlyModifier, getAccessibility, } from "./helpers.js";
+export { convertIfStatement, convertWhileStatement, convertForStatement, convertForOfStatement, convertForInStatement, convertSwitchStatement, convertSwitchCase, convertTryStatement, convertCatchClause, convertBlockStatement, } from "./control.js";
+export { setMetadataRegistry, convertVariableStatement, convertFunctionDeclaration, convertClassDeclaration, convertInterfaceDeclaration, convertInterfaceMember, convertEnumDeclaration, convertTypeAliasDeclaration, } from "./declarations.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/ir/converters/statements/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EACL,qBAAqB,EACrB,iBAAiB,EACjB,8BAA8B,EAC9B,iBAAiB,EACjB,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,EACnB,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EAClB,qBAAqB,GACtB,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,mBAAmB,EACnB,wBAAwB,EACxB,0BAA0B,EAC1B,uBAAuB,EACvB,2BAA2B,EAC3B,sBAAsB,EACtB,sBAAsB,EACtB,2BAA2B,GAC5B,MAAM,mBAAmB,CAAC"}

package/dist/ir/converters/statements/index.js

@@ -0,0 +1,10 @@
+/**
+ * Statement converters barrel exports
+ */
+// Helpers
+export { convertTypeParameters, convertParameters, convertVariableDeclarationList, hasExportModifier, hasStaticModifier, hasReadonlyModifier, getAccessibility, } from "./helpers.js";
+// Control flow converters
+export { convertIfStatement, convertWhileStatement, convertForStatement, convertForOfStatement, convertForInStatement, convertSwitchStatement, convertSwitchCase, convertTryStatement, convertCatchClause, convertBlockStatement, } from "./control.js";
+// Declaration converters
+export { setMetadataRegistry, convertVariableStatement, convertFunctionDeclaration, convertClassDeclaration, convertInterfaceDeclaration, convertInterfaceMember, convertEnumDeclaration, convertTypeAliasDeclaration, } from "./declarations.js";
+//# sourceMappingURL=index.js.map

package/dist/ir/converters/statements/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/ir/converters/statements/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,UAAU;AACV,OAAO,EACL,qBAAqB,EACrB,iBAAiB,EACjB,8BAA8B,EAC9B,iBAAiB,EACjB,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,cAAc,CAAC;AAEtB,0BAA0B;AAC1B,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,mBAAmB,EACnB,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EAClB,qBAAqB,GACtB,MAAM,cAAc,CAAC;AAEtB,yBAAyB;AACzB,OAAO,EACL,mBAAmB,EACnB,wBAAwB,EACxB,0BAA0B,EAC1B,uBAAuB,EACvB,2BAA2B,EAC3B,sBAAsB,EACtB,sBAAsB,EACtB,2BAA2B,GAC5B,MAAM,mBAAmB,CAAC"}

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

@@ -0,0 +1,13 @@
+/**
+ * Expression converter - TypeScript AST to IR expressions
+ * Main dispatcher - delegates to specialized modules
+ */
+import * as ts from "typescript";
+import { IrExpression } from "./types.js";
+/**
+ * Main expression conversion dispatcher
+ * Converts TypeScript expression nodes to IR expressions
+ */
+export declare const convertExpression: (node: ts.Expression, checker: ts.TypeChecker) => IrExpression;
+export { getInferredType, extractTypeArguments, checkIfRequiresSpecialization, } from "./converters/expressions/helpers.js";
+//# sourceMappingURL=expression-converter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expression-converter.d.ts","sourceRoot":"","sources":["../../src/ir/expression-converter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AA8B1C;;;GAGG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,EAAE,CAAC,UAAU,EACnB,SAAS,EAAE,CAAC,WAAW,KACtB,YA4JF,CAAC;AAGF,OAAO,EACL,eAAe,EACf,oBAAoB,EACpB,6BAA6B,GAC9B,MAAM,qCAAqC,CAAC"}

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"}