@tsonic/frontend 0.0.1 → 0.0.4

package/dist/ir/converters/statements/declarations/classes/override-detection.js

@@ -0,0 +1,79 @@
+/**
+ * Override detection for class members
+ */
+import * as ts from "typescript";
+import { getMetadataRegistry } from "../registry.js";
+/**
+ * Check if a method/property should be marked as override based on base class metadata
+ */
+export const detectOverride = (memberName, memberKind, superClass, checker, parameterTypes) => {
+    if (!superClass) {
+        return { isOverride: false, isShadow: false };
+    }
+    // Resolve the base class type
+    const baseType = checker.getTypeAtLocation(superClass.expression);
+    const baseSymbol = baseType.getSymbol();
+    if (!baseSymbol) {
+        return { isOverride: false, isShadow: false };
+    }
+    // Get fully-qualified name for .NET types
+    const qualifiedName = checker.getFullyQualifiedName(baseSymbol);
+    // Check if this is a .NET type (starts with "System." or other .NET namespaces)
+    const isDotNetType = qualifiedName.startsWith("System.") ||
+        qualifiedName.startsWith("Microsoft.") ||
+        qualifiedName.startsWith("Tsonic.Runtime.");
+    if (isDotNetType) {
+        return detectDotNetOverride(memberName, memberKind, qualifiedName, parameterTypes);
+    }
+    else {
+        return detectTypeScriptOverride(memberName, memberKind, baseSymbol);
+    }
+};
+/**
+ * Detect override for .NET base classes using metadata
+ */
+const detectDotNetOverride = (memberName, memberKind, qualifiedName, parameterTypes) => {
+    const metadata = getMetadataRegistry();
+    if (memberKind === "method" && parameterTypes) {
+        const signature = `${memberName}(${parameterTypes.join(",")})`;
+        const isVirtual = metadata.isVirtualMember(qualifiedName, signature);
+        const isSealed = metadata.isSealedMember(qualifiedName, signature);
+        return { isOverride: isVirtual && !isSealed, isShadow: !isVirtual };
+    }
+    else if (memberKind === "property") {
+        // For properties, check without parameters
+        const isVirtual = metadata.isVirtualMember(qualifiedName, memberName);
+        const isSealed = metadata.isSealedMember(qualifiedName, memberName);
+        return { isOverride: isVirtual && !isSealed, isShadow: !isVirtual };
+    }
+    return { isOverride: false, isShadow: false };
+};
+/**
+ * Detect override for TypeScript base classes
+ */
+const detectTypeScriptOverride = (memberName, memberKind, baseSymbol) => {
+    const baseDeclarations = baseSymbol.getDeclarations();
+    if (!baseDeclarations || baseDeclarations.length === 0) {
+        return { isOverride: false, isShadow: false };
+    }
+    for (const baseDecl of baseDeclarations) {
+        if (ts.isClassDeclaration(baseDecl)) {
+            // Check if base class has this member
+            const baseMember = baseDecl.members.find((m) => {
+                if (memberKind === "method" && ts.isMethodDeclaration(m)) {
+                    return ts.isIdentifier(m.name) && m.name.text === memberName;
+                }
+                else if (memberKind === "property" && ts.isPropertyDeclaration(m)) {
+                    return ts.isIdentifier(m.name) && m.name.text === memberName;
+                }
+                return false;
+            });
+            if (baseMember) {
+                // In TypeScript, all methods can be overridden unless final (not supported in TS)
+                return { isOverride: true, isShadow: false };
+            }
+        }
+    }
+    return { isOverride: false, isShadow: false };
+};
+//# sourceMappingURL=override-detection.js.map

package/dist/ir/converters/statements/declarations/classes/override-detection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"override-detection.js","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/override-detection.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAOrD;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,UAAkB,EAClB,UAAiC,EACjC,UAAsD,EACtD,OAAuB,EACvB,cAAkC,EACpB,EAAE;IAChB,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAChD,CAAC;IAED,8BAA8B;IAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,QAAQ,CAAC,SAAS,EAAE,CAAC;IAExC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAChD,CAAC;IAED,0CAA0C;IAC1C,MAAM,aAAa,GAAG,OAAO,CAAC,qBAAqB,CAAC,UAAU,CAAC,CAAC;IAEhE,gFAAgF;IAChF,MAAM,YAAY,GAChB,aAAa,CAAC,UAAU,CAAC,SAAS,CAAC;QACnC,aAAa,CAAC,UAAU,CAAC,YAAY,CAAC;QACtC,aAAa,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;IAE9C,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,oBAAoB,CACzB,UAAU,EACV,UAAU,EACV,aAAa,EACb,cAAc,CACf,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,OAAO,wBAAwB,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACtE,CAAC;AACH,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAC3B,UAAkB,EAClB,UAAiC,EACjC,aAAqB,EACrB,cAAkC,EACpB,EAAE;IAChB,MAAM,QAAQ,GAAG,mBAAmB,EAAE,CAAC;IAEvC,IAAI,UAAU,KAAK,QAAQ,IAAI,cAAc,EAAE,CAAC;QAC9C,MAAM,SAAS,GAAG,GAAG,UAAU,IAAI,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAC/D,MAAM,SAAS,GAAG,QAAQ,CAAC,eAAe,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;QACrE,MAAM,QAAQ,GAAG,QAAQ,CAAC,cAAc,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;QACnE,OAAO,EAAE,UAAU,EAAE,SAAS,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,SAAS,EAAE,CAAC;IACtE,CAAC;SAAM,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;QACrC,2CAA2C;QAC3C,MAAM,SAAS,GAAG,QAAQ,CAAC,eAAe,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;QACtE,MAAM,QAAQ,GAAG,QAAQ,CAAC,cAAc,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;QACpE,OAAO,EAAE,UAAU,EAAE,SAAS,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,SAAS,EAAE,CAAC;IACtE,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAChD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAC/B,UAAkB,EAClB,UAAiC,EACjC,UAAqB,EACP,EAAE;IAChB,MAAM,gBAAgB,GAAG,UAAU,CAAC,eAAe,EAAE,CAAC;IAEtD,IAAI,CAAC,gBAAgB,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvD,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAChD,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;QACxC,IAAI,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACpC,sCAAsC;YACtC,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC7C,IAAI,UAAU,KAAK,QAAQ,IAAI,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzD,OAAO,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;gBAC/D,CAAC;qBAAM,IAAI,UAAU,KAAK,UAAU,IAAI,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpE,OAAO,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;gBAC/D,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC,CAAC,CAAC;YAEH,IAAI,UAAU,EAAE,CAAC;gBACf,kFAAkF;gBAClF,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;YAC/C,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAChD,CAAC,CAAC"}

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

@@ -0,0 +1,10 @@
+/**
+ * Property member conversion
+ */
+import * as ts from "typescript";
+import { IrClassMember } from "../../../../types.js";
+/**
+ * Convert property declaration to IR
+ */
+export declare const convertProperty: (node: ts.PropertyDeclaration, checker: ts.TypeChecker, superClass: ts.ExpressionWithTypeArguments | undefined) => IrClassMember;
+//# sourceMappingURL=properties.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"properties.d.ts","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/properties.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AA2BrD;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,MAAM,EAAE,CAAC,mBAAmB,EAC5B,SAAS,EAAE,CAAC,WAAW,EACvB,YAAY,EAAE,CAAC,2BAA2B,GAAG,SAAS,KACrD,aAuBF,CAAC"}

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

@@ -0,0 +1,42 @@
+/**
+ * Property member conversion
+ */
+import * as ts from "typescript";
+import { convertExpression } from "../../../../expression-converter.js";
+import { convertType, inferType } from "../../../../type-converter.js";
+import { hasStaticModifier, hasReadonlyModifier, getAccessibility, } from "../../helpers.js";
+import { detectOverride } from "./override-detection.js";
+/**
+ * Get the IR type for a property declaration.
+ * Uses explicit annotation if present, otherwise infers from TypeChecker.
+ * C# requires explicit types for class fields (no 'var').
+ */
+const getPropertyType = (node, checker) => {
+    // If there's an explicit type annotation, use it
+    if (node.type) {
+        return convertType(node.type, checker);
+    }
+    // Infer type from checker (always needed for class fields)
+    return inferType(node, checker);
+};
+/**
+ * Convert property declaration to IR
+ */
+export const convertProperty = (node, checker, superClass) => {
+    const memberName = ts.isIdentifier(node.name) ? node.name.text : "[computed]";
+    const overrideInfo = detectOverride(memberName, "property", superClass, checker);
+    return {
+        kind: "propertyDeclaration",
+        name: memberName,
+        type: getPropertyType(node, checker),
+        initializer: node.initializer
+            ? convertExpression(node.initializer, checker)
+            : undefined,
+        isStatic: hasStaticModifier(node),
+        isReadonly: hasReadonlyModifier(node),
+        accessibility: getAccessibility(node),
+        isOverride: overrideInfo.isOverride ? true : undefined,
+        isShadow: overrideInfo.isShadow ? true : undefined,
+    };
+};
+//# sourceMappingURL=properties.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"properties.js","sourceRoot":"","sources":["../../../../../../src/ir/converters/statements/declarations/classes/properties.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAEzD;;;;GAIG;AACH,MAAM,eAAe,GAAG,CACtB,IAA4B,EAC5B,OAAuB,EACvB,EAAE;IACF,iDAAiD;IACjD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IACD,2DAA2D;IAC3D,OAAO,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAClC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAA4B,EAC5B,OAAuB,EACvB,UAAsD,EACvC,EAAE;IACjB,MAAM,UAAU,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC;IAE9E,MAAM,YAAY,GAAG,cAAc,CACjC,UAAU,EACV,UAAU,EACV,UAAU,EACV,OAAO,CACR,CAAC;IAEF,OAAO;QACL,IAAI,EAAE,qBAAqB;QAC3B,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC;QACpC,WAAW,EAAE,IAAI,CAAC,WAAW;YAC3B,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;YAC9C,CAAC,CAAC,SAAS;QACb,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACjC,UAAU,EAAE,mBAAmB,CAAC,IAAI,CAAC;QACrC,aAAa,EAAE,gBAAgB,CAAC,IAAI,CAAC;QACrC,UAAU,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;QACtD,QAAQ,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;KACnD,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,6 @@
+/**
+ * Class declaration converter
+ * Main dispatcher - re-exports from classes/ subdirectory
+ */
+export { convertClassDeclaration } from "./classes/index.js";
+//# sourceMappingURL=classes.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"classes.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/classes.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC"}

package/{src/ir/converters/statements/declarations/classes.ts → dist/ir/converters/statements/declarations/classes.js}

@@ -2,5 +2,5 @@
  * Class declaration converter
  * Main dispatcher - re-exports from classes/ subdirectory
  */
-
 export { convertClassDeclaration } from "./classes/index.js";
+//# sourceMappingURL=classes.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"classes.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/classes.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC"}

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

@@ -0,0 +1,10 @@
+/**
+ * Enum declaration converter
+ */
+import * as ts from "typescript";
+import { IrEnumDeclaration } from "../../../types.js";
+/**
+ * Convert enum declaration
+ */
+export declare const convertEnumDeclaration: (node: ts.EnumDeclaration, checker: ts.TypeChecker) => IrEnumDeclaration;
+//# sourceMappingURL=enums.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"enums.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/enums.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAItD;;GAEG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,EAAE,CAAC,eAAe,EACxB,SAAS,EAAE,CAAC,WAAW,KACtB,iBAaF,CAAC"}

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

@@ -0,0 +1,24 @@
+/**
+ * Enum declaration converter
+ */
+import * as ts from "typescript";
+import { convertExpression } from "../../../expression-converter.js";
+import { hasExportModifier } from "../helpers.js";
+/**
+ * Convert enum declaration
+ */
+export const convertEnumDeclaration = (node, checker) => {
+    return {
+        kind: "enumDeclaration",
+        name: node.name.text,
+        members: node.members.map((m) => ({
+            kind: "enumMember",
+            name: ts.isIdentifier(m.name) ? m.name.text : "[computed]",
+            initializer: m.initializer
+                ? convertExpression(m.initializer, checker)
+                : undefined,
+        })),
+        isExported: hasExportModifier(node),
+    };
+};
+//# sourceMappingURL=enums.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"enums.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/enums.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAElD;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAwB,EACxB,OAAuB,EACJ,EAAE;IACrB,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACpB,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAChC,IAAI,EAAE,YAAqB;YAC3B,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY;YAC1D,WAAW,EAAE,CAAC,CAAC,WAAW;gBACxB,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,WAAW,EAAE,OAAO,CAAC;gBAC3C,CAAC,CAAC,SAAS;SACd,CAAC,CAAC;QACH,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;KACpC,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,10 @@
+/**
+ * Function declaration converter
+ */
+import * as ts from "typescript";
+import { IrFunctionDeclaration } from "../../../types.js";
+/**
+ * Convert function declaration
+ */
+export declare const convertFunctionDeclaration: (node: ts.FunctionDeclaration, checker: ts.TypeChecker) => IrFunctionDeclaration | null;
+//# sourceMappingURL=functions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"functions.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/functions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAS1D;;GAEG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,EAAE,CAAC,mBAAmB,EAC5B,SAAS,EAAE,CAAC,WAAW,KACtB,qBAAqB,GAAG,IAkB1B,CAAC"}

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

@@ -0,0 +1,28 @@
+/**
+ * Function declaration converter
+ */
+import * as ts from "typescript";
+import { convertType } from "../../../type-converter.js";
+import { convertBlockStatement } from "../control.js";
+import { hasExportModifier, convertTypeParameters, convertParameters, } from "../helpers.js";
+/**
+ * Convert function declaration
+ */
+export const convertFunctionDeclaration = (node, checker) => {
+    if (!node.name)
+        return null;
+    return {
+        kind: "functionDeclaration",
+        name: node.name.text,
+        typeParameters: convertTypeParameters(node.typeParameters, checker),
+        parameters: convertParameters(node.parameters, checker),
+        returnType: node.type ? convertType(node.type, checker) : undefined,
+        body: node.body
+            ? convertBlockStatement(node.body, checker)
+            : { kind: "blockStatement", statements: [] },
+        isAsync: !!node.modifiers?.some((m) => m.kind === ts.SyntaxKind.AsyncKeyword),
+        isGenerator: !!node.asteriskToken,
+        isExported: hasExportModifier(node),
+    };
+};
+//# sourceMappingURL=functions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/functions.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,eAAe,CAAC;AAEvB;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAA4B,EAC5B,OAAuB,EACO,EAAE;IAChC,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAE5B,OAAO;QACL,IAAI,EAAE,qBAAqB;QAC3B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC;QACnE,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;QACvD,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;QACnE,IAAI,EAAE,IAAI,CAAC,IAAI;YACb,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;YAC3C,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;QAC9C,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,CAC7C;QACD,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa;QACjC,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;KACpC,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,11 @@
+/**
+ * Declaration converters - Public API
+ */
+export { setMetadataRegistry, setBindingRegistry } from "./registry.js";
+export { convertVariableStatement } from "./variables.js";
+export { convertFunctionDeclaration } from "./functions.js";
+export { convertClassDeclaration } from "./classes.js";
+export { convertInterfaceDeclaration, convertInterfaceMember, } from "./interfaces.js";
+export { convertEnumDeclaration } from "./enums.js";
+export { convertTypeAliasDeclaration } from "./type-aliases.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EACL,2BAA2B,EAC3B,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC"}

package/{src/ir/converters/statements/declarations/index.ts → dist/ir/converters/statements/declarations/index.js}

@@ -1,14 +1,11 @@
 /**
  * Declaration converters - Public API
  */
-
 export { setMetadataRegistry, setBindingRegistry } from "./registry.js";
 export { convertVariableStatement } from "./variables.js";
 export { convertFunctionDeclaration } from "./functions.js";
 export { convertClassDeclaration } from "./classes.js";
-export {
-  convertInterfaceDeclaration,
-  convertInterfaceMember,
-} from "./interfaces.js";
+export { convertInterfaceDeclaration, convertInterfaceMember, } from "./interfaces.js";
 export { convertEnumDeclaration } from "./enums.js";
 export { convertTypeAliasDeclaration } from "./type-aliases.js";
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EACL,2BAA2B,EAC3B,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC"}

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

@@ -0,0 +1,15 @@
+/**
+ * Interface declaration converter
+ */
+import * as ts from "typescript";
+import { IrInterfaceDeclaration, IrInterfaceMember } from "../../../types.js";
+/**
+ * Convert interface member
+ */
+export declare const convertInterfaceMember: (node: ts.TypeElement, checker: ts.TypeChecker) => IrInterfaceMember | null;
+/**
+ * Convert interface declaration
+ * Returns null for marker interfaces that should be filtered out
+ */
+export declare const convertInterfaceDeclaration: (node: ts.InterfaceDeclaration, checker: ts.TypeChecker) => IrInterfaceDeclaration | null;
+//# sourceMappingURL=interfaces.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"interfaces.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/interfaces.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAS9E;;GAEG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,EAAE,CAAC,WAAW,EACpB,SAAS,EAAE,CAAC,WAAW,KACtB,iBAAiB,GAAG,IAwBtB,CAAC;AAsCF;;;GAGG;AACH,eAAO,MAAM,2BAA2B,GACtC,MAAM,EAAE,CAAC,oBAAoB,EAC7B,SAAS,EAAE,CAAC,WAAW,KACtB,sBAAsB,GAAG,IAyC3B,CAAC"}

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

@@ -0,0 +1,96 @@
+/**
+ * Interface declaration converter
+ */
+import * as ts from "typescript";
+import { convertType } from "../../../type-converter.js";
+import { hasExportModifier, hasReadonlyModifier, convertTypeParameters, convertParameters, } from "../helpers.js";
+/**
+ * Convert interface member
+ */
+export const convertInterfaceMember = (node, checker) => {
+    if (ts.isPropertySignature(node) && node.type) {
+        return {
+            kind: "propertySignature",
+            name: node.name && ts.isIdentifier(node.name) ? node.name.text : "[computed]",
+            type: convertType(node.type, checker),
+            isOptional: !!node.questionToken,
+            isReadonly: hasReadonlyModifier(node),
+        };
+    }
+    if (ts.isMethodSignature(node)) {
+        return {
+            kind: "methodSignature",
+            name: node.name && ts.isIdentifier(node.name) ? node.name.text : "[computed]",
+            typeParameters: convertTypeParameters(node.typeParameters, checker),
+            parameters: convertParameters(node.parameters, checker),
+            returnType: node.type ? convertType(node.type, checker) : undefined,
+        };
+    }
+    return null;
+};
+/**
+ * Check if a type reference is the struct marker
+ */
+const isStructMarker = (typeRef, checker) => {
+    const symbol = checker.getSymbolAtLocation(typeRef.expression);
+    return symbol?.escapedName === "struct" || symbol?.escapedName === "Struct";
+};
+/**
+ * Check if an interface declaration IS the struct marker itself (should be filtered out)
+ */
+const isMarkerInterface = (node) => {
+    const name = node.name.text;
+    if (name !== "struct" && name !== "Struct") {
+        return false;
+    }
+    // Check if it has only the __brand property
+    const members = node.members;
+    if (members.length !== 1) {
+        return false;
+    }
+    const member = members[0];
+    if (!member || !ts.isPropertySignature(member)) {
+        return false;
+    }
+    const memberName = member.name && ts.isIdentifier(member.name) ? member.name.text : "";
+    return memberName === "__brand";
+};
+/**
+ * Convert interface declaration
+ * Returns null for marker interfaces that should be filtered out
+ */
+export const convertInterfaceDeclaration = (node, checker) => {
+    // Filter out marker interfaces completely
+    if (isMarkerInterface(node)) {
+        return null;
+    }
+    // Detect struct marker in extends clause
+    let isStruct = false;
+    const extendsClause = node.heritageClauses?.find((h) => h.token === ts.SyntaxKind.ExtendsKeyword);
+    const extendsTypes = extendsClause?.types
+        .filter((t) => {
+        if (isStructMarker(t, checker)) {
+            isStruct = true;
+            return false; // Remove marker from extends
+        }
+        return true;
+    })
+        .map((t) => convertType(t, checker)) ?? [];
+    const allMembers = node.members
+        .map((m) => convertInterfaceMember(m, checker))
+        .filter((m) => m !== null);
+    // Filter out __brand property if this is a struct
+    const finalMembers = isStruct
+        ? allMembers.filter((m) => m.kind !== "propertySignature" || m.name !== "__brand")
+        : allMembers;
+    return {
+        kind: "interfaceDeclaration",
+        name: node.name.text,
+        typeParameters: convertTypeParameters(node.typeParameters, checker),
+        extends: extendsTypes,
+        members: finalMembers,
+        isExported: hasExportModifier(node),
+        isStruct,
+    };
+};
+//# sourceMappingURL=interfaces.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"interfaces.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/interfaces.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,eAAe,CAAC;AAEvB;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAoB,EACpB,OAAuB,EACG,EAAE;IAC5B,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9C,OAAO;YACL,IAAI,EAAE,mBAAmB;YACzB,IAAI,EACF,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY;YACzE,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;YACrC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa;YAChC,UAAU,EAAE,mBAAmB,CAAC,IAAI,CAAC;SACtC,CAAC;IACJ,CAAC;IAED,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,iBAAiB;YACvB,IAAI,EACF,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY;YACzE,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC;YACnE,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC;YACvD,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;SACpE,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,cAAc,GAAG,CACrB,OAAuC,EACvC,OAAuB,EACd,EAAE;IACX,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC/D,OAAO,MAAM,EAAE,WAAW,KAAK,QAAQ,IAAI,MAAM,EAAE,WAAW,KAAK,QAAQ,CAAC;AAC9E,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,iBAAiB,GAAG,CAAC,IAA6B,EAAW,EAAE;IACnE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC5B,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,4CAA4C;IAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAC7B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,UAAU,GACd,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACtE,OAAO,UAAU,KAAK,SAAS,CAAC;AAClC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAA6B,EAC7B,OAAuB,EACQ,EAAE;IACjC,0CAA0C;IAC1C,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,yCAAyC;IACzC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAChD,CAAC;IACF,MAAM,YAAY,GAChB,aAAa,EAAE,KAAK;SACjB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACZ,IAAI,cAAc,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;YAC/B,QAAQ,GAAG,IAAI,CAAC;YAChB,OAAO,KAAK,CAAC,CAAC,6BAA6B;QAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;SACD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IAE/C,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO;SAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;SAC9C,MAAM,CAAC,CAAC,CAAC,EAA0B,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IAErD,kDAAkD;IAClD,MAAM,YAAY,GAAG,QAAQ;QAC3B,CAAC,CAAC,UAAU,CAAC,MAAM,CACf,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAC9D;QACH,CAAC,CAAC,UAAU,CAAC;IAEf,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC;QACnE,OAAO,EAAE,YAAY;QACrB,OAAO,EAAE,YAAY;QACrB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACnC,QAAQ;KACT,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,24 @@
+/**
+ * Metadata and binding registry management
+ */
+import { DotnetMetadataRegistry } from "../../../../dotnet-metadata.js";
+import { BindingRegistry } from "../../../../program/bindings.js";
+/**
+ * Set the metadata registry for this compilation
+ * Called once at the start of IR building
+ */
+export declare const setMetadataRegistry: (registry: DotnetMetadataRegistry) => void;
+/**
+ * Get the current metadata registry
+ */
+export declare const getMetadataRegistry: () => DotnetMetadataRegistry;
+/**
+ * Set the binding registry for this compilation
+ * Called once at the start of IR building
+ */
+export declare const setBindingRegistry: (registry: BindingRegistry) => void;
+/**
+ * Get the current binding registry
+ */
+export declare const getBindingRegistry: () => BindingRegistry;
+//# sourceMappingURL=registry.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/registry.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAclE;;;GAGG;AACH,eAAO,MAAM,mBAAmB,GAAI,UAAU,sBAAsB,KAAG,IAEtE,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,QAAO,sBACpB,CAAC;AAEpB;;;GAGG;AACH,eAAO,MAAM,kBAAkB,GAAI,UAAU,eAAe,KAAG,IAE9D,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,QAAO,eAAmC,CAAC"}

package/{src/ir/converters/statements/declarations/registry.ts → dist/ir/converters/statements/declarations/registry.js}

@@ -1,45 +1,38 @@
 /**
  * Metadata and binding registry management
  */
-
 import { DotnetMetadataRegistry } from "../../../../dotnet-metadata.js";
 import { BindingRegistry } from "../../../../program/bindings.js";
-
 /**
  * Module-level metadata registry singleton
  * Set once at the start of compilation via setMetadataRegistry()
  */
-let _metadataRegistry: DotnetMetadataRegistry = new DotnetMetadataRegistry();
-
+let _metadataRegistry = new DotnetMetadataRegistry();
 /**
  * Module-level binding registry singleton
  * Set once at the start of compilation via setBindingRegistry()
  */
-let _bindingRegistry: BindingRegistry = new BindingRegistry();
-
+let _bindingRegistry = new BindingRegistry();
 /**
  * Set the metadata registry for this compilation
  * Called once at the start of IR building
  */
-export const setMetadataRegistry = (registry: DotnetMetadataRegistry): void => {
-  _metadataRegistry = registry;
+export const setMetadataRegistry = (registry) => {
+    _metadataRegistry = registry;
 };
-
 /**
  * Get the current metadata registry
  */
-export const getMetadataRegistry = (): DotnetMetadataRegistry =>
-  _metadataRegistry;
-
+export const getMetadataRegistry = () => _metadataRegistry;
 /**
  * Set the binding registry for this compilation
  * Called once at the start of IR building
  */
-export const setBindingRegistry = (registry: BindingRegistry): void => {
-  _bindingRegistry = registry;
+export const setBindingRegistry = (registry) => {
+    _bindingRegistry = registry;
 };
-
 /**
  * Get the current binding registry
  */
-export const getBindingRegistry = (): BindingRegistry => _bindingRegistry;
+export const getBindingRegistry = () => _bindingRegistry;
+//# sourceMappingURL=registry.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/registry.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAElE;;;GAGG;AACH,IAAI,iBAAiB,GAA2B,IAAI,sBAAsB,EAAE,CAAC;AAE7E;;;GAGG;AACH,IAAI,gBAAgB,GAAoB,IAAI,eAAe,EAAE,CAAC;AAE9D;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,QAAgC,EAAQ,EAAE;IAC5E,iBAAiB,GAAG,QAAQ,CAAC;AAC/B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,GAA2B,EAAE,CAC9D,iBAAiB,CAAC;AAEpB;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,QAAyB,EAAQ,EAAE;IACpE,gBAAgB,GAAG,QAAQ,CAAC;AAC9B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAoB,EAAE,CAAC,gBAAgB,CAAC"}

package/dist/ir/converters/statements/declarations/type-aliases.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Type alias declaration converter
+ */
+import * as ts from "typescript";
+import { IrTypeAliasDeclaration } from "../../../types.js";
+/**
+ * Convert type alias declaration
+ */
+export declare const convertTypeAliasDeclaration: (node: ts.TypeAliasDeclaration, checker: ts.TypeChecker) => IrTypeAliasDeclaration;
+//# sourceMappingURL=type-aliases.d.ts.map

package/dist/ir/converters/statements/declarations/type-aliases.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-aliases.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/type-aliases.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAI3D;;GAEG;AACH,eAAO,MAAM,2BAA2B,GACtC,MAAM,EAAE,CAAC,oBAAoB,EAC7B,SAAS,EAAE,CAAC,WAAW,KACtB,sBASF,CAAC"}

package/dist/ir/converters/statements/declarations/type-aliases.js

@@ -0,0 +1,19 @@
+/**
+ * Type alias declaration converter
+ */
+import { convertType } from "../../../type-converter.js";
+import { hasExportModifier, convertTypeParameters } from "../helpers.js";
+/**
+ * Convert type alias declaration
+ */
+export const convertTypeAliasDeclaration = (node, checker) => {
+    return {
+        kind: "typeAliasDeclaration",
+        name: node.name.text,
+        typeParameters: convertTypeParameters(node.typeParameters, checker),
+        type: convertType(node.type, checker),
+        isExported: hasExportModifier(node),
+        isStruct: false, // Type aliases are not structs by default
+    };
+};
+//# sourceMappingURL=type-aliases.js.map

package/dist/ir/converters/statements/declarations/type-aliases.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-aliases.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/type-aliases.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAEzE;;GAEG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAA6B,EAC7B,OAAuB,EACC,EAAE;IAC1B,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;QACpB,cAAc,EAAE,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC;QACnE,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;QACrC,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC;QACnC,QAAQ,EAAE,KAAK,EAAE,0CAA0C;KAC5D,CAAC;AACJ,CAAC,CAAC"}

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

@@ -0,0 +1,10 @@
+/**
+ * Variable declaration converter
+ */
+import * as ts from "typescript";
+import { IrVariableDeclaration } from "../../../types.js";
+/**
+ * Convert variable statement
+ */
+export declare const convertVariableStatement: (node: ts.VariableStatement, checker: ts.TypeChecker) => IrVariableDeclaration;
+//# sourceMappingURL=variables.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"variables.d.ts","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/variables.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AA6B1D;;GAEG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,EAAE,CAAC,WAAW,KACtB,qBAmBF,CAAC"}

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

@@ -0,0 +1,45 @@
+/**
+ * Variable declaration converter
+ */
+import * as ts from "typescript";
+import { convertExpression } from "../../../expression-converter.js";
+import { convertType, convertBindingName, inferType, } from "../../../type-converter.js";
+import { hasExportModifier } from "../helpers.js";
+/**
+ * Get the IR type for a variable declaration.
+ * Uses explicit annotation if present, otherwise infers from TypeChecker.
+ */
+const getDeclarationType = (decl, checker, needsExplicitType) => {
+    // If there's an explicit type annotation, use it
+    if (decl.type) {
+        return convertType(decl.type, checker);
+    }
+    // If we need an explicit type (for module-level exports), infer it
+    if (needsExplicitType) {
+        return inferType(decl, checker);
+    }
+    return undefined;
+};
+/**
+ * Convert variable statement
+ */
+export const convertVariableStatement = (node, checker) => {
+    const isConst = !!(node.declarationList.flags & ts.NodeFlags.Const);
+    const isLet = !!(node.declarationList.flags & ts.NodeFlags.Let);
+    const declarationKind = isConst ? "const" : isLet ? "let" : "var";
+    const isExported = hasExportModifier(node);
+    return {
+        kind: "variableDeclaration",
+        declarationKind,
+        declarations: node.declarationList.declarations.map((decl) => ({
+            kind: "variableDeclarator",
+            name: convertBindingName(decl.name),
+            type: getDeclarationType(decl, checker, isExported),
+            initializer: decl.initializer
+                ? convertExpression(decl.initializer, checker)
+                : undefined,
+        })),
+        isExported,
+    };
+};
+//# sourceMappingURL=variables.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"variables.js","sourceRoot":"","sources":["../../../../../src/ir/converters/statements/declarations/variables.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,EACL,WAAW,EACX,kBAAkB,EAClB,SAAS,GACV,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAElD;;;GAGG;AACH,MAAM,kBAAkB,GAAG,CACzB,IAA4B,EAC5B,OAAuB,EACvB,iBAA0B,EAC1B,EAAE;IACF,iDAAiD;IACjD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IACD,mEAAmE;IACnE,IAAI,iBAAiB,EAAE,CAAC;QACtB,OAAO,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAA0B,EAC1B,OAAuB,EACA,EAAE;IACzB,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAChE,MAAM,eAAe,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IAClE,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAE3C,OAAO;QACL,IAAI,EAAE,qBAAqB;QAC3B,eAAe;QACf,YAAY,EAAE,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC7D,IAAI,EAAE,oBAAoB;YAC1B,IAAI,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;YACnC,IAAI,EAAE,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC;YACnD,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;KACX,CAAC;AACJ,CAAC,CAAC"}