@tsonic/emitter 0.0.62 → 0.0.64

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

@@ -1,13 +1,20 @@
 /**
- * Type alias declaration emission
+ * Type alias declaration emission — returns CSharpTypeDeclarationAst | null
  */
-import { getIndent, indent } from "../../types.js";
-import { emitType, emitTypeParameters } from "../../type-emitter.js";
+import { emitTypeAst, emitTypeParametersAst } from "../../type-emitter.js";
 import { escapeCSharpIdentifier } from "../../emitter-types/index.js";
-import { typeUsesPointer } from "../../core/unsafe.js";
+import { typeUsesPointer } from "../../core/semantic/unsafe.js";
 import { emitCSharpName } from "../../naming-policy.js";
+const isNominalMarkerProperty = (name) => {
+    return (name === "__brand" ||
+        name.startsWith("__tsonic_type_") ||
+        name.startsWith("__tsonic_iface_"));
+};
 /**
- * Emit a type alias declaration
+ * Emit a type alias declaration as CSharpTypeDeclarationAst | null.
+ *
+ * Returns null for non-structural aliases (type-only, erased in C#). For structural (object) type aliases,
+ * returns a sealed class or struct declaration.
  */
 export const emitTypeAliasDeclaration = (stmt, context) => {
     const savedScoped = {
@@ -17,98 +24,131 @@ export const emitTypeAliasDeclaration = (stmt, context) => {
         returnType: context.returnType,
         localNameMap: context.localNameMap,
     };
-    // Per spec/16-types-and-interfaces.md §3:
-    // - Structural type aliases generate C# classes with __Alias suffix
-    // - Simple aliases (primitives, references) emit as comments or using aliases
-    const ind = getIndent(context);
     // Build type parameter names set FIRST - needed when emitting member types
-    // Type parameters must be in scope before we emit types that reference them
     const aliasTypeParams = new Set([
         ...(context.typeParameters ?? []),
         ...(stmt.typeParameters?.map((tp) => tp.name) ?? []),
     ]);
     // Create context with type parameters in scope for member emission
-    let currentContext = {
+    const baseContext = {
         ...context,
         typeParameters: aliasTypeParams,
     };
     // Check if this is a structural (object) type alias
     if (stmt.type.kind === "objectType") {
-        // Generate a sealed class (or struct) for structural type alias
-        const parts = [];
-        const needsUnsafe = typeUsesPointer(stmt.type);
-        const promotedToPublic = context.publicLocalTypes?.has(stmt.name) ?? false;
-        const accessibility = stmt.isExported || promotedToPublic ? "public" : "internal";
-        parts.push(accessibility);
-        if (needsUnsafe)
-            parts.push("unsafe");
-        // Emit struct or sealed class based on isStruct flag
-        if (stmt.isStruct) {
-            parts.push("struct");
-        }
-        else {
-            parts.push("sealed");
-            parts.push("class");
+        const result = emitStructuralTypeAlias(stmt, baseContext);
+        return [result[0], { ...result[1], ...savedScoped }];
+    }
+    // Non-structural aliases are type-only in TS and do not emit C# declarations.
+    const [, newContext] = emitTypeAst(stmt.type, baseContext);
+    return [null, { ...newContext, ...savedScoped }];
+};
+/**
+ * Build CSharpTypeDeclarationAst for a structural (object) type alias
+ */
+const emitStructuralTypeAlias = (stmt, context) => {
+    const needsUnsafe = typeUsesPointer(stmt.type);
+    const promotedToPublic = context.publicLocalTypes?.has(stmt.name) ?? false;
+    const accessibility = stmt.isExported || promotedToPublic ? "public" : "internal";
+    const modifiers = [accessibility];
+    if (needsUnsafe)
+        modifiers.push("unsafe");
+    if (!stmt.isStruct)
+        modifiers.push("sealed");
+    const aliasName = `${escapeCSharpIdentifier(stmt.name)}__Alias`;
+    // Type parameters (if any)
+    const reservedTypeParamNames = new Set();
+    if (stmt.type.kind === "objectType") {
+        for (const member of stmt.type.members) {
+            if (member.kind !== "propertySignature")
+                continue;
+            if (isNominalMarkerProperty(member.name))
+                continue;
+            reservedTypeParamNames.add(emitCSharpName(member.name, "properties", context));
         }
-        parts.push(`${escapeCSharpIdentifier(stmt.name)}__Alias`); // Add __Alias suffix per spec §3.4
-        // Type parameters (if any)
-        if (stmt.typeParameters && stmt.typeParameters.length > 0) {
-            const reservedTypeParamNames = new Set();
-            for (const member of stmt.type.members) {
-                if (member.kind !== "propertySignature")
-                    continue;
-                reservedTypeParamNames.add(emitCSharpName(member.name, "properties", context));
-            }
-            const [typeParamsStr, whereClauses, typeParamContext] = emitTypeParameters(stmt.typeParameters, currentContext, reservedTypeParamNames);
-            parts.push(typeParamsStr);
-            currentContext = typeParamContext;
-            if (whereClauses.length > 0) {
-                parts.push("\n" + ind + "    " + whereClauses.join("\n" + ind + "    "));
+    }
+    const [typeParamAsts, constraintAsts, typeParamContext] = emitTypeParametersAst(stmt.typeParameters, context, reservedTypeParamNames);
+    // Generate member properties from object type members
+    const members = [];
+    let currentContext = typeParamContext;
+    if (stmt.type.kind === "objectType") {
+        for (const member of stmt.type.members) {
+            if (member.kind !== "propertySignature")
+                continue;
+            if (isNominalMarkerProperty(member.name))
+                continue;
+            const propModifiers = ["public"];
+            if (!member.isOptional) {
+                propModifiers.push("required");
             }
-        }
-        // Generate properties from object type members
-        const bodyContext = indent(currentContext);
-        const properties = [];
-        if (stmt.type.kind === "objectType") {
-            for (const member of stmt.type.members) {
-                if (member.kind === "propertySignature") {
-                    const propParts = [];
-                    propParts.push("public");
-                    // Required modifier for non-optional properties (C# 11)
-                    if (!member.isOptional) {
-                        propParts.push("required");
-                    }
-                    // Property type
-                    if (member.type) {
-                        const [propType, newContext] = emitType(member.type, currentContext);
-                        currentContext = newContext;
-                        // Optional members become nullable
-                        const typeStr = member.isOptional ? `${propType}?` : propType;
-                        propParts.push(typeStr);
-                    }
-                    else {
-                        propParts.push(member.isOptional ? "object?" : "object");
-                    }
-                    propParts.push(emitCSharpName(member.name, "properties", context));
-                    // Readonly uses init-only, writable uses get; set;
-                    // This preserves TS readonly semantics while still allowing object initializers
-                    // (and `required` for non-optional properties in C# 11).
-                    const accessors = member.isReadonly
-                        ? "{ get; init; }"
-                        : "{ get; set; }";
-                    properties.push(`${getIndent(bodyContext)}${propParts.join(" ")} ${accessors}`);
+            // Property type
+            const [baseTypeAst, typeContext] = (() => {
+                if (member.type) {
+                    return emitTypeAst(member.type, currentContext);
                 }
-            }
+                const objType = {
+                    kind: "identifierType",
+                    name: "object",
+                };
+                return [objType, currentContext];
+            })();
+            currentContext = typeContext;
+            const typeAst = member.isOptional
+                ? { kind: "nullableType", underlyingType: baseTypeAst }
+                : baseTypeAst;
+            const propName = emitCSharpName(member.name, "properties", context);
+            members.push({
+                kind: "propertyDeclaration",
+                attributes: [],
+                modifiers: propModifiers,
+                type: typeAst,
+                name: propName,
+                hasGetter: true,
+                hasSetter: !member.isReadonly,
+                hasInit: member.isReadonly ? true : undefined,
+                isAutoProperty: true,
+            });
         }
-        const signature = parts.join(" ");
-        const propsCode = properties.join("\n");
-        const code = `${ind}${signature}\n${ind}{\n${propsCode}\n${ind}}`;
-        return [code, { ...currentContext, ...savedScoped }];
     }
-    // For non-structural aliases, emit as comment (C# using aliases are limited)
-    // Use currentContext which has type parameters in scope
-    const [typeName, newContext] = emitType(stmt.type, currentContext);
-    const code = `${ind}// type ${stmt.name} = ${typeName}`;
-    return [code, { ...newContext, ...savedScoped }];
+    const hasRequiredMembers = members.some((m) => m.kind === "propertyDeclaration" && m.modifiers.includes("required"));
+    if (!stmt.isStruct && hasRequiredMembers) {
+        members.unshift({
+            kind: "constructorDeclaration",
+            attributes: [
+                {
+                    type: {
+                        kind: "identifierType",
+                        name: "global::System.Diagnostics.CodeAnalysis.SetsRequiredMembersAttribute",
+                    },
+                },
+            ],
+            modifiers: ["public"],
+            name: aliasName,
+            parameters: [],
+            body: { kind: "blockStatement", statements: [] },
+        });
+    }
+    const declAst = stmt.isStruct
+        ? {
+            kind: "structDeclaration",
+            attributes: [],
+            modifiers,
+            name: aliasName,
+            typeParameters: typeParamAsts.length > 0 ? typeParamAsts : undefined,
+            interfaces: [],
+            members,
+            constraints: constraintAsts.length > 0 ? constraintAsts : undefined,
+        }
+        : {
+            kind: "classDeclaration",
+            attributes: [],
+            modifiers,
+            name: aliasName,
+            typeParameters: typeParamAsts.length > 0 ? typeParamAsts : undefined,
+            interfaces: [],
+            members,
+            constraints: constraintAsts.length > 0 ? constraintAsts : undefined,
+        };
+    return [declAst, currentContext];
 };
 //# sourceMappingURL=type-aliases.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"type-aliases.js","sourceRoot":"","sources":["../../../src/statements/declarations/type-aliases.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAkB,SAAS,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AACnE,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AACrE,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAExD;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAA4D,EAC5D,OAAuB,EACG,EAAE;IAC5B,MAAM,WAAW,GAAG;QAClB,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;QAClD,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;QAClD,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,YAAY,EAAE,OAAO,CAAC,YAAY;KACnC,CAAC;IAEF,0CAA0C;IAC1C,oEAAoE;IACpE,8EAA8E;IAE9E,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAE/B,2EAA2E;IAC3E,4EAA4E;IAC5E,MAAM,eAAe,GAAG,IAAI,GAAG,CAAS;QACtC,GAAG,CAAC,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC;QACjC,GAAG,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;KACrD,CAAC,CAAC;IAEH,mEAAmE;IACnE,IAAI,cAAc,GAAmB;QACnC,GAAG,OAAO;QACV,cAAc,EAAE,eAAe;KAChC,CAAC;IAEF,oDAAoD;IACpD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,gEAAgE;QAChE,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE/C,MAAM,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;QAC3E,MAAM,aAAa,GACjB,IAAI,CAAC,UAAU,IAAI,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC1B,IAAI,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,qDAAqD;QACrD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtB,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,mCAAmC;QAE9F,2BAA2B;QAC3B,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1D,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAAU,CAAC;YACjD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;gBACvC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB;oBAAE,SAAS;gBAClD,sBAAsB,CAAC,GAAG,CACxB,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CACnD,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,aAAa,EAAE,YAAY,EAAE,gBAAgB,CAAC,GACnD,kBAAkB,CAChB,IAAI,CAAC,cAAc,EACnB,cAAc,EACd,sBAAsB,CACvB,CAAC;YACJ,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YAC1B,cAAc,GAAG,gBAAgB,CAAC;YAElC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,KAAK,CAAC,IAAI,CACR,IAAI,GAAG,GAAG,GAAG,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,GAAG,GAAG,GAAG,MAAM,CAAC,CAC7D,CAAC;YACJ,CAAC;QACH,CAAC;QAED,+CAA+C;QAC/C,MAAM,WAAW,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;QAC3C,MAAM,UAAU,GAAa,EAAE,CAAC;QAEhC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACpC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;gBACvC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACxC,MAAM,SAAS,GAAa,EAAE,CAAC;oBAC/B,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBAEzB,wDAAwD;oBACxD,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;wBACvB,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAC7B,CAAC;oBAED,gBAAgB;oBAChB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;wBAChB,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,QAAQ,CACrC,MAAM,CAAC,IAAI,EACX,cAAc,CACf,CAAC;wBACF,cAAc,GAAG,UAAU,CAAC;wBAC5B,mCAAmC;wBACnC,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,QAAQ,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;wBAC9D,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAC1B,CAAC;yBAAM,CAAC;wBACN,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;oBAC3D,CAAC;oBAED,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC;oBAEnE,mDAAmD;oBACnD,gFAAgF;oBAChF,yDAAyD;oBACzD,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU;wBACjC,CAAC,CAAC,gBAAgB;wBAClB,CAAC,CAAC,eAAe,CAAC;oBAEpB,UAAU,CAAC,IAAI,CACb,GAAG,SAAS,CAAC,WAAW,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,SAAS,EAAE,CAC/D,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,GAAG,GAAG,GAAG,SAAS,KAAK,GAAG,MAAM,SAAS,KAAK,GAAG,GAAG,CAAC;QAElE,OAAO,CAAC,IAAI,EAAE,EAAE,GAAG,cAAc,EAAE,GAAG,WAAW,EAAE,CAAC,CAAC;IACvD,CAAC;IAED,6EAA6E;IAC7E,wDAAwD;IACxD,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,GAAG,GAAG,WAAW,IAAI,CAAC,IAAI,MAAM,QAAQ,EAAE,CAAC;IACxD,OAAO,CAAC,IAAI,EAAE,EAAE,GAAG,UAAU,EAAE,GAAG,WAAW,EAAE,CAAC,CAAC;AACnD,CAAC,CAAC"}
+{"version":3,"file":"type-aliases.js","sourceRoot":"","sources":["../../../src/statements/declarations/type-aliases.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAOxD,MAAM,uBAAuB,GAAG,CAAC,IAAY,EAAW,EAAE;IACxD,OAAO,CACL,IAAI,KAAK,SAAS;QAClB,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC;QACjC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CACnC,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAA4D,EAC5D,OAAuB,EAC4B,EAAE;IACrD,MAAM,WAAW,GAAG;QAClB,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;QAClD,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;QAClD,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,YAAY,EAAE,OAAO,CAAC,YAAY;KACnC,CAAC;IAEF,2EAA2E;IAC3E,MAAM,eAAe,GAAG,IAAI,GAAG,CAAS;QACtC,GAAG,CAAC,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC;QACjC,GAAG,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;KACrD,CAAC,CAAC;IAEH,mEAAmE;IACnE,MAAM,WAAW,GAAmB;QAClC,GAAG,OAAO;QACV,cAAc,EAAE,eAAe;KAChC,CAAC;IAEF,oDAAoD;IACpD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,uBAAuB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAC1D,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,WAAW,EAAE,CAAC,CAAC;IACvD,CAAC;IAED,8EAA8E;IAC9E,MAAM,CAAC,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC3D,OAAO,CAAC,IAAI,EAAE,EAAE,GAAG,UAAU,EAAE,GAAG,WAAW,EAAE,CAAC,CAAC;AACnD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,uBAAuB,GAAG,CAC9B,IAA4D,EAC5D,OAAuB,EACqB,EAAE;IAC9C,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE/C,MAAM,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;IAC3E,MAAM,aAAa,GACjB,IAAI,CAAC,UAAU,IAAI,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC;IAE9D,MAAM,SAAS,GAAa,CAAC,aAAa,CAAC,CAAC;IAC5C,IAAI,WAAW;QAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,CAAC,IAAI,CAAC,QAAQ;QAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAE7C,MAAM,SAAS,GAAG,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC;IAEhE,2BAA2B;IAC3B,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAAU,CAAC;IACjD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACvC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB;gBAAE,SAAS;YAClD,IAAI,uBAAuB,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,SAAS;YACnD,sBAAsB,CAAC,GAAG,CACxB,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CACnD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,CAAC,aAAa,EAAE,cAAc,EAAE,gBAAgB,CAAC,GACrD,qBAAqB,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,EAAE,sBAAsB,CAAC,CAAC;IAE9E,sDAAsD;IACtD,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,IAAI,cAAc,GAAG,gBAAgB,CAAC;IAEtC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACvC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB;gBAAE,SAAS;YAClD,IAAI,uBAAuB,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,SAAS;YAEnD,MAAM,aAAa,GAAa,CAAC,QAAQ,CAAC,CAAC;YAC3C,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;gBACvB,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACjC,CAAC;YAED,gBAAgB;YAChB,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE;gBACvC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;oBAChB,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;gBAClD,CAAC;gBACD,MAAM,OAAO,GAAkB;oBAC7B,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,QAAQ;iBACf,CAAC;gBACF,OAAO,CAAC,OAAO,EAAE,cAAc,CAAU,CAAC;YAC5C,CAAC,CAAC,EAAE,CAAC;YACL,cAAc,GAAG,WAAW,CAAC;YAE7B,MAAM,OAAO,GAAkB,MAAM,CAAC,UAAU;gBAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,cAAc,EAAE,WAAW,EAAE;gBACvD,CAAC,CAAC,WAAW,CAAC;YAEhB,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;YAEpE,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,qBAAqB;gBAC3B,UAAU,EAAE,EAAE;gBACd,SAAS,EAAE,aAAa;gBACxB,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,QAAQ;gBACd,SAAS,EAAE,IAAI;gBACf,SAAS,EAAE,CAAC,MAAM,CAAC,UAAU;gBAC7B,OAAO,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;gBAC7C,cAAc,EAAE,IAAI;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,kBAAkB,GAAG,OAAO,CAAC,IAAI,CACrC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC,CAC5E,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,kBAAkB,EAAE,CAAC;QACzC,OAAO,CAAC,OAAO,CAAC;YACd,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,IAAI,EAAE,sEAAsE;qBAC7E;iBACF;aACF;YACD,SAAS,EAAE,CAAC,QAAQ,CAAC;YACrB,IAAI,EAAE,SAAS;YACf,UAAU,EAAE,EAAE;YACd,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;SACjD,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAA6B,IAAI,CAAC,QAAQ;QACrD,CAAC,CAAC;YACE,IAAI,EAAE,mBAAmB;YACzB,UAAU,EAAE,EAAE;YACd,SAAS;YACT,IAAI,EAAE,SAAS;YACf,cAAc,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;YACpE,UAAU,EAAE,EAAE;YACd,OAAO;YACP,WAAW,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;SACpE;QACH,CAAC,CAAC;YACE,IAAI,EAAE,kBAAkB;YACxB,UAAU,EAAE,EAAE;YACd,SAAS;YACT,IAAI,EAAE,SAAS;YACf,cAAc,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;YACpE,UAAU,EAAE,EAAE;YACd,OAAO;YACP,WAAW,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;SACpE,CAAC;IAEN,OAAO,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;AACnC,CAAC,CAAC"}

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

@@ -3,10 +3,20 @@
  */
 import { IrStatement } from "@tsonic/frontend";
 import { EmitterContext } from "../../types.js";
+import type { CSharpStatementAst, CSharpMemberAst } from "../../core/format/backend-ast/types.js";
 /**
- * Emit a variable declaration
+ * Emit a static variable declaration as AST members (fields, methods, delegates).
  */
 export declare const emitVariableDeclaration: (stmt: Extract<IrStatement, {
     kind: "variableDeclaration";
-}>, context: EmitterContext) => [string, EmitterContext];
+}>, context: EmitterContext) => [readonly CSharpMemberAst[], EmitterContext];
+/**
+ * Emit a local (non-static) variable declaration as AST.
+ *
+ * Static variable declarations (module-level fields) are handled by the
+ * text-based emitVariableDeclaration above.
+ */
+export declare const emitVariableDeclarationAst: (stmt: Extract<IrStatement, {
+    kind: "variableDeclaration";
+}>, context: EmitterContext) => [readonly CSharpStatementAst[], EmitterContext];
 //# sourceMappingURL=variables.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"variables.d.ts","sourceRoot":"","sources":["../../../src/statements/declarations/variables.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAEL,WAAW,EAGZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAiC,MAAM,gBAAgB,CAAC;AAsK/E;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,CAAC,EAC3D,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAmjBzB,CAAC"}
+{"version":3,"file":"variables.d.ts","sourceRoot":"","sources":["../../../src/statements/declarations/variables.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAIL,WAAW,EAIZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAiC,MAAM,gBAAgB,CAAC;AAmB/E,OAAO,KAAK,EACV,kBAAkB,EAGlB,eAAe,EAEhB,MAAM,wCAAwC,CAAC;AAunBhD;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,CAAC,EAC3D,SAAS,cAAc,KACtB,CAAC,SAAS,eAAe,EAAE,EAAE,cAAc,CA4G7C,CAAC;AAkGF;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,CAAC,EAC3D,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CA6EhD,CAAC"}