@tsonic/emitter 0.0.62 → 0.0.64

package/dist/types/objects.d.ts

@@ -8,13 +8,14 @@
  */
 import { IrType } from "@tsonic/frontend";
 import { EmitterContext } from "../types.js";
+import type { CSharpTypeAst } from "../core/format/backend-ast/types.js";
 /**
- * Emit object types
+ * Emit object types as CSharpTypeAst
  *
  * ICE: This should never be called. Frontend validation (TSN7403) should
  * reject anonymous object types. If we reach here, validation has a gap.
  */
 export declare const emitObjectType: (_type: Extract<IrType, {
     kind: "objectType";
-}>, _context: EmitterContext) => [string, EmitterContext];
+}>, _context: EmitterContext) => [CSharpTypeAst, EmitterContext];
 //# sourceMappingURL=objects.d.ts.map

package/dist/types/objects.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"objects.d.ts","sourceRoot":"","sources":["../../src/types/objects.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GACzB,OAAO,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EAC9C,UAAU,cAAc,KACvB,CAAC,MAAM,EAAE,cAAc,CAKzB,CAAC"}
+{"version":3,"file":"objects.d.ts","sourceRoot":"","sources":["../../src/types/objects.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GACzB,OAAO,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,EAC9C,UAAU,cAAc,KACvB,CAAC,aAAa,EAAE,cAAc,CAKhC,CAAC"}

package/dist/types/objects.js

@@ -7,7 +7,7 @@
  * Named types (interfaces, type aliases, classes) become IrReferenceType instead.
  */
 /**
- * Emit object types
+ * Emit object types as CSharpTypeAst
  *
  * ICE: This should never be called. Frontend validation (TSN7403) should
  * reject anonymous object types. If we reach here, validation has a gap.

package/dist/types/objects.js.map

@@ -1 +1 @@
-{"version":3,"file":"objects.js","sourceRoot":"","sources":["../../src/types/objects.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAKH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,KAA8C,EAC9C,QAAwB,EACE,EAAE;IAC5B,8DAA8D;IAC9D,MAAM,IAAI,KAAK,CACb,wEAAwE,CACzE,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"objects.js","sourceRoot":"","sources":["../../src/types/objects.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAMH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,KAA8C,EAC9C,QAAwB,EACS,EAAE;IACnC,8DAA8D;IAC9D,MAAM,IAAI,KAAK,CACb,wEAAwE,CACzE,CAAC;AACJ,CAAC,CAAC"}

package/dist/types/parameters.d.ts

@@ -3,13 +3,14 @@
  */
 import { IrType, IrTypeParameter } from "@tsonic/frontend";
 import { EmitterContext } from "../types.js";
+import type { CSharpTypeAst, CSharpTypeParameterAst, CSharpTypeParameterConstraintAst } from "../core/format/backend-ast/types.js";
 /**
- * Emit C# type parameters with constraints
- * Example: <T, U extends Foo> → <T, U> with where clauses
+ * Emit C# type parameters with constraints as AST nodes.
+ * Example: <T, U extends Foo> → typeParams=[{name:"T"},{name:"U"}], constraints=[{...}]
  */
-export declare const emitTypeParameters: (typeParams: readonly IrTypeParameter[] | undefined, context: EmitterContext, reservedCsharpNames?: ReadonlySet<string>) => [string, string[], EmitterContext];
+export declare const emitTypeParametersAst: (typeParams: readonly IrTypeParameter[] | undefined, context: EmitterContext, reservedCsharpNames?: ReadonlySet<string>) => [readonly CSharpTypeParameterAst[], readonly CSharpTypeParameterConstraintAst[], EmitterContext];
 /**
- * Emit a parameter type with optional and default value handling
+ * Emit a parameter type as CSharpTypeAst with optional/nullable handling
  */
-export declare const emitParameterType: (type: IrType | undefined, isOptional: boolean, context: EmitterContext) => [string, EmitterContext];
+export declare const emitParameterType: (type: IrType | undefined, isOptional: boolean, context: EmitterContext) => [CSharpTypeAst, EmitterContext];
 //# sourceMappingURL=parameters.d.ts.map

package/dist/types/parameters.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"parameters.d.ts","sourceRoot":"","sources":["../../src/types/parameters.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AA6C7C;;;GAGG;AACH,eAAO,MAAM,kBAAkB,GAC7B,YAAY,SAAS,eAAe,EAAE,GAAG,SAAS,EAClD,SAAS,cAAc,EACvB,sBAAsB,WAAW,CAAC,MAAM,CAAC,KACxC,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,cAAc,CAgHnC,CAAC;AAwBF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,MAAM,GAAG,SAAS,EACxB,YAAY,OAAO,EACnB,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAiBzB,CAAC"}
+{"version":3,"file":"parameters.d.ts","sourceRoot":"","sources":["../../src/types/parameters.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAG7C,OAAO,KAAK,EACV,aAAa,EAEb,sBAAsB,EACtB,gCAAgC,EACjC,MAAM,qCAAqC,CAAC;AAmF7C;;;GAGG;AACH,eAAO,MAAM,qBAAqB,GAChC,YAAY,SAAS,eAAe,EAAE,GAAG,SAAS,EAClD,SAAS,cAAc,EACvB,sBAAsB,WAAW,CAAC,MAAM,CAAC,KACxC,CACD,SAAS,sBAAsB,EAAE,EACjC,SAAS,gCAAgC,EAAE,EAC3C,cAAc,CAmIf,CAAC;AAwBF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,MAAM,GAAG,SAAS,EACxB,YAAY,OAAO,EACnB,SAAS,cAAc,KACtB,CAAC,aAAa,EAAE,cAAc,CAiBhC,CAAC"}

package/dist/types/parameters.js

@@ -1,8 +1,31 @@
 /**
  * Type parameter and parameter type emission
  */
-import { emitType } from "./emitter.js";
+import { emitTypeAst } from "./emitter.js";
 import { escapeCSharpIdentifier } from "../emitter-types/index.js";
+const NON_CONSTRAINT_REFERENCE_TYPES = new Set([
+    // TS/C# primitives and aliases that cannot appear as C# generic constraints.
+    "string",
+    "bool",
+    "char",
+    "byte",
+    "sbyte",
+    "short",
+    "ushort",
+    "int",
+    "uint",
+    "long",
+    "ulong",
+    "nint",
+    "nuint",
+    "int128",
+    "uint128",
+    "half",
+    "float",
+    "double",
+    "decimal",
+    "void",
+]);
 const inferTypeParamConstraintKind = (tp) => {
     // No constraint → unconstrained (can be class or struct in C# terms)
     if (!tp.constraint)
@@ -31,13 +54,25 @@ const inferTypeParamConstraintKind = (tp) => {
     // Interface/class constraints are not enough to determine reference vs value.
     return "unconstrained";
 };
+const isConstraintTypeNodeEmittable = (type) => {
+    if (type.kind === "typeParameterType") {
+        return true;
+    }
+    if (type.kind !== "referenceType") {
+        return false;
+    }
+    if (type.name === "object" || type.name === "struct") {
+        return false;
+    }
+    return !NON_CONSTRAINT_REFERENCE_TYPES.has(type.name);
+};
 /**
- * Emit C# type parameters with constraints
- * Example: <T, U extends Foo> → <T, U> with where clauses
+ * Emit C# type parameters with constraints as AST nodes.
+ * Example: <T, U extends Foo> → typeParams=[{name:"T"},{name:"U"}], constraints=[{...}]
  */
-export const emitTypeParameters = (typeParams, context, reservedCsharpNames) => {
+export const emitTypeParametersAst = (typeParams, context, reservedCsharpNames) => {
     if (!typeParams || typeParams.length === 0) {
-        return ["", [], context];
+        return [[], [], context];
     }
     const normalizeCsharpIdentifier = (id) => id.startsWith("@") ? id.slice(1) : id;
     const used = new Set();
@@ -74,12 +109,11 @@ export const emitTypeParameters = (typeParams, context, reservedCsharpNames) =>
     for (const tp of typeParams) {
         mergedConstraints.set(tp.name, inferTypeParamConstraintKind(tp));
     }
-    const paramNames = typeParams
-        .map((tp) => mergedTypeParamNameMap.get(tp.name) ?? tp.name)
-        .join(", ");
-    const typeParamsStr = `<${paramNames}>`;
-    // Build where clauses for constraints
-    const whereClauses = [];
+    const typeParamAsts = typeParams.map((tp) => ({
+        name: mergedTypeParamNameMap.get(tp.name) ?? tp.name,
+    }));
+    // Build where clause AST nodes for constraints
+    const constraintAsts = [];
     let currentContext = {
         ...context,
         typeParamConstraints: mergedConstraints,
@@ -92,45 +126,70 @@ export const emitTypeParameters = (typeParams, context, reservedCsharpNames) =>
             // Don't call emitType on objectType constraints (would trigger ICE)
             if (tp.isStructuralConstraint) {
                 // Structural constraints generate interfaces - reference them
-                whereClauses.push(`where ${tpName} : __Constraint_${tp.name}`);
+                constraintAsts.push({
+                    typeParameter: tpName,
+                    constraints: [
+                        {
+                            kind: "typeConstraint",
+                            type: {
+                                kind: "identifierType",
+                                name: `__Constraint_${tp.name}`,
+                            },
+                        },
+                    ],
+                });
             }
             else if (tp.constraint.kind === "intersectionType") {
                 // Multiple constraints: T extends A & B → where T : A, B
                 const constraintParts = [];
                 for (const member of tp.constraint.types) {
                     if (member.kind === "referenceType" && member.name === "struct") {
-                        constraintParts.push("struct");
+                        constraintParts.push({ kind: "structConstraint" });
                     }
                     else if (member.kind === "referenceType" &&
                         member.name === "object") {
-                        constraintParts.push("class");
+                        constraintParts.push({ kind: "classConstraint" });
                     }
-                    else {
-                        const [constraintStr, newContext] = emitType(member, currentContext);
+                    else if (isConstraintTypeNodeEmittable(member)) {
+                        const [cAst, newContext] = emitTypeAst(member, currentContext);
                         currentContext = newContext;
-                        constraintParts.push(constraintStr);
+                        constraintParts.push({ kind: "typeConstraint", type: cAst });
                     }
                 }
-                whereClauses.push(`where ${tpName} : ${constraintParts.join(", ")}`);
+                if (constraintParts.length > 0) {
+                    constraintAsts.push({
+                        typeParameter: tpName,
+                        constraints: constraintParts,
+                    });
+                }
             }
             else if (tp.constraint.kind === "referenceType" &&
                 tp.constraint.name === "struct") {
                 // Special case: T extends struct → where T : struct (C# value type constraint)
-                whereClauses.push(`where ${tpName} : struct`);
+                constraintAsts.push({
+                    typeParameter: tpName,
+                    constraints: [{ kind: "structConstraint" }],
+                });
             }
             else if (tp.constraint.kind === "referenceType" &&
                 tp.constraint.name === "object") {
                 // Special case: T extends object → where T : class (C# reference type constraint)
-                whereClauses.push(`where ${tpName} : class`);
+                constraintAsts.push({
+                    typeParameter: tpName,
+                    constraints: [{ kind: "classConstraint" }],
+                });
             }
-            else {
-                const [constraintStr, newContext] = emitType(tp.constraint, currentContext);
+            else if (isConstraintTypeNodeEmittable(tp.constraint)) {
+                const [cAst, newContext] = emitTypeAst(tp.constraint, currentContext);
                 currentContext = newContext;
-                whereClauses.push(`where ${tpName} : ${constraintStr}`);
+                constraintAsts.push({
+                    typeParameter: tpName,
+                    constraints: [{ kind: "typeConstraint", type: cAst }],
+                });
             }
         }
     }
-    return [typeParamsStr, whereClauses, currentContext];
+    return [typeParamAsts, constraintAsts, currentContext];
 };
 /**
  * Check if a type is a ref/out/in wrapper type and return the inner type
@@ -150,20 +209,20 @@ const unwrapParameterModifierType = (type) => {
     return null;
 };
 /**
- * Emit a parameter type with optional and default value handling
+ * Emit a parameter type as CSharpTypeAst with optional/nullable handling
  */
 export const emitParameterType = (type, isOptional, context) => {
     const typeNode = type ?? { kind: "anyType" };
     // Unwrap ref/out/in wrapper types - the modifier is handled separately
     const unwrapped = unwrapParameterModifierType(typeNode);
     const actualType = unwrapped ?? typeNode;
-    const [baseType, newContext] = emitType(actualType, context);
-    // For optional parameters, add ? suffix for nullable types
+    const [baseTypeAst, newContext] = emitTypeAst(actualType, context);
+    // For optional parameters, wrap in nullable
     // This includes both value types (double?, int?) and reference types (string?)
     // per spec/04-type-mappings.md:21-78
     if (isOptional) {
-        return [`${baseType}?`, newContext];
+        return [{ kind: "nullableType", underlyingType: baseTypeAst }, newContext];
     }
-    return [baseType, newContext];
+    return [baseTypeAst, newContext];
 };
 //# sourceMappingURL=parameters.js.map

package/dist/types/parameters.js.map

@@ -1 +1 @@
-{"version":3,"file":"parameters.js","sourceRoot":"","sources":["../../src/types/parameters.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AAInE,MAAM,4BAA4B,GAAG,CACnC,EAAmB,EACM,EAAE;IAC3B,qEAAqE;IACrE,IAAI,CAAC,EAAE,CAAC,UAAU;QAAE,OAAO,eAAe,CAAC;IAE3C,wEAAwE;IACxE,IAAI,EAAE,CAAC,sBAAsB;QAAE,OAAO,OAAO,CAAC;IAE9C,iBAAiB;IACjB,IACE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe;QACtC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,EAC/B,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IACE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe;QACtC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,EAC/B,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,6DAA6D;IAC7D,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC9C,MAAM,SAAS,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CACxC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CACzD,CAAC;QACF,MAAM,SAAS,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CACxC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CACzD,CAAC;QACF,IAAI,SAAS;YAAE,OAAO,QAAQ,CAAC;QAC/B,IAAI,SAAS;YAAE,OAAO,OAAO,CAAC;IAChC,CAAC;IAED,8EAA8E;IAC9E,OAAO,eAAe,CAAC;AACzB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,UAAkD,EAClD,OAAuB,EACvB,mBAAyC,EACL,EAAE;IACtC,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED,MAAM,yBAAyB,GAAG,CAAC,EAAU,EAAU,EAAE,CACvD,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAExC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,QAAQ,IAAI,mBAAmB,IAAI,EAAE,EAAE,CAAC;QACjD,IAAI,CAAC,GAAG,CAAC,yBAAyB,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChD,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,oBAAoB,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QAClE,IAAI,CAAC,GAAG,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9C,CAAC;IAED,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAU,EAAE;QACrD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAEjC,IAAI,OAAO,GAAG,IAAI,IAAI,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,OAAO,CAAC;QAEvC,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,OAAO,IAAI,EAAE,CAAC;YACZ,OAAO,GAAG,IAAI,IAAI,GAAG,MAAM,EAAE,CAAC;YAC9B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,OAAO,OAAO,CAAC;YACvC,MAAM,IAAI,CAAC,CAAC;QACd,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC;IAC3E,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,qBAAqB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,OAAO,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;QAClD,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7C,IAAI,CAAC,GAAG,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/C,CAAC;IAED,4DAA4D;IAC5D,kFAAkF;IAClF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC;IACtE,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,4BAA4B,CAAC,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,UAAU,GAAG,UAAU;SAC1B,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC;SAC3D,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,MAAM,aAAa,GAAG,IAAI,UAAU,GAAG,CAAC;IAExC,sCAAsC;IACtC,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,IAAI,cAAc,GAAmB;QACnC,GAAG,OAAO;QACV,oBAAoB,EAAE,iBAAiB;QACvC,oBAAoB,EAAE,sBAAsB;KAC7C,CAAC;IAEF,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC;QAE9D,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;YAClB,6EAA6E;YAC7E,oEAAoE;YACpE,IAAI,EAAE,CAAC,sBAAsB,EAAE,CAAC;gBAC9B,8DAA8D;gBAC9D,YAAY,CAAC,IAAI,CAAC,SAAS,MAAM,mBAAmB,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;YACjE,CAAC;iBAAM,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBACrD,yDAAyD;gBACzD,MAAM,eAAe,GAAa,EAAE,CAAC;gBACrC,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;oBACzC,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAChE,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBACjC,CAAC;yBAAM,IACL,MAAM,CAAC,IAAI,KAAK,eAAe;wBAC/B,MAAM,CAAC,IAAI,KAAK,QAAQ,EACxB,CAAC;wBACD,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBAChC,CAAC;yBAAM,CAAC;wBACN,MAAM,CAAC,aAAa,EAAE,UAAU,CAAC,GAAG,QAAQ,CAC1C,MAAM,EACN,cAAc,CACf,CAAC;wBACF,cAAc,GAAG,UAAU,CAAC;wBAC5B,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;oBACtC,CAAC;gBACH,CAAC;gBACD,YAAY,CAAC,IAAI,CAAC,SAAS,MAAM,MAAM,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACvE,CAAC;iBAAM,IACL,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe;gBACtC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,EAC/B,CAAC;gBACD,+EAA+E;gBAC/E,YAAY,CAAC,IAAI,CAAC,SAAS,MAAM,WAAW,CAAC,CAAC;YAChD,CAAC;iBAAM,IACL,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe;gBACtC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,EAC/B,CAAC;gBACD,kFAAkF;gBAClF,YAAY,CAAC,IAAI,CAAC,SAAS,MAAM,UAAU,CAAC,CAAC;YAC/C,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,aAAa,EAAE,UAAU,CAAC,GAAG,QAAQ,CAC1C,EAAE,CAAC,UAAU,EACb,cAAc,CACf,CAAC;gBACF,cAAc,GAAG,UAAU,CAAC;gBAC5B,YAAY,CAAC,IAAI,CAAC,SAAS,MAAM,MAAM,aAAa,EAAE,CAAC,CAAC;YAC1D,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,CAAC,aAAa,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,2BAA2B,GAAG,CAAC,IAAY,EAAiB,EAAE;IAClE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,iDAAiD;IACjD,IACE,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,IAAI,CAAC;QACnD,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAC/B,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACxC,OAAO,SAAS,IAAI,IAAI,CAAC;IAC3B,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAwB,EACxB,UAAmB,EACnB,OAAuB,EACG,EAAE;IAC5B,MAAM,QAAQ,GAAG,IAAI,IAAI,EAAE,IAAI,EAAE,SAAkB,EAAE,CAAC;IAEtD,uEAAuE;IACvE,MAAM,SAAS,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,SAAS,IAAI,QAAQ,CAAC;IAEzC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAE7D,2DAA2D;IAC3D,+EAA+E;IAC/E,qCAAqC;IACrC,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,CAAC,GAAG,QAAQ,GAAG,EAAE,UAAU,CAAC,CAAC;IACtC,CAAC;IAED,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AAChC,CAAC,CAAC"}
+{"version":3,"file":"parameters.js","sourceRoot":"","sources":["../../src/types/parameters.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AAUnE,MAAM,8BAA8B,GAAG,IAAI,GAAG,CAAC;IAC7C,6EAA6E;IAC7E,QAAQ;IACR,MAAM;IACN,MAAM;IACN,MAAM;IACN,OAAO;IACP,OAAO;IACP,QAAQ;IACR,KAAK;IACL,MAAM;IACN,MAAM;IACN,OAAO;IACP,MAAM;IACN,OAAO;IACP,QAAQ;IACR,SAAS;IACT,MAAM;IACN,OAAO;IACP,QAAQ;IACR,SAAS;IACT,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,4BAA4B,GAAG,CACnC,EAAmB,EACM,EAAE;IAC3B,qEAAqE;IACrE,IAAI,CAAC,EAAE,CAAC,UAAU;QAAE,OAAO,eAAe,CAAC;IAE3C,wEAAwE;IACxE,IAAI,EAAE,CAAC,sBAAsB;QAAE,OAAO,OAAO,CAAC;IAE9C,iBAAiB;IACjB,IACE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe;QACtC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,EAC/B,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IACE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe;QACtC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,EAC/B,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,6DAA6D;IAC7D,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC9C,MAAM,SAAS,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CACxC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CACzD,CAAC;QACF,MAAM,SAAS,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CACxC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CACzD,CAAC;QACF,IAAI,SAAS;YAAE,OAAO,QAAQ,CAAC;QAC/B,IAAI,SAAS;YAAE,OAAO,OAAO,CAAC;IAChC,CAAC;IAED,8EAA8E;IAC9E,OAAO,eAAe,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CAAC,IAAY,EAAW,EAAE;IAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACrD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CAAC,8BAA8B,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxD,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,UAAkD,EAClD,OAAuB,EACvB,mBAAyC,EAKzC,EAAE;IACF,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED,MAAM,yBAAyB,GAAG,CAAC,EAAU,EAAU,EAAE,CACvD,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAExC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,QAAQ,IAAI,mBAAmB,IAAI,EAAE,EAAE,CAAC;QACjD,IAAI,CAAC,GAAG,CAAC,yBAAyB,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChD,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,oBAAoB,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QAClE,IAAI,CAAC,GAAG,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9C,CAAC;IAED,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAAU,EAAE;QACrD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QAEjC,IAAI,OAAO,GAAG,IAAI,IAAI,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,OAAO,CAAC;QAEvC,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,OAAO,IAAI,EAAE,CAAC;YACZ,OAAO,GAAG,IAAI,IAAI,GAAG,MAAM,EAAE,CAAC;YAC9B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,OAAO,OAAO,CAAC;YACvC,MAAM,IAAI,CAAC,CAAC;QACd,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC;IAC3E,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,qBAAqB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,OAAO,GAAG,sBAAsB,CAAC,SAAS,CAAC,CAAC;QAClD,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7C,IAAI,CAAC,GAAG,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/C,CAAC;IAED,4DAA4D;IAC5D,kFAAkF;IAClF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC;IACtE,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,4BAA4B,CAAC,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,aAAa,GAA6B,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACtE,IAAI,EAAE,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI;KACrD,CAAC,CAAC,CAAC;IAEJ,+CAA+C;IAC/C,MAAM,cAAc,GAAuC,EAAE,CAAC;IAC9D,IAAI,cAAc,GAAmB;QACnC,GAAG,OAAO;QACV,oBAAoB,EAAE,iBAAiB;QACvC,oBAAoB,EAAE,sBAAsB;KAC7C,CAAC;IAEF,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC;QAE9D,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;YAClB,6EAA6E;YAC7E,oEAAoE;YACpE,IAAI,EAAE,CAAC,sBAAsB,EAAE,CAAC;gBAC9B,8DAA8D;gBAC9D,cAAc,CAAC,IAAI,CAAC;oBAClB,aAAa,EAAE,MAAM;oBACrB,WAAW,EAAE;wBACX;4BACE,IAAI,EAAE,gBAAgB;4BACtB,IAAI,EAAE;gCACJ,IAAI,EAAE,gBAAgB;gCACtB,IAAI,EAAE,gBAAgB,EAAE,CAAC,IAAI,EAAE;6BAChC;yBACF;qBACF;iBACF,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBACrD,yDAAyD;gBACzD,MAAM,eAAe,GAA2C,EAAE,CAAC;gBACnE,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;oBACzC,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAChE,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC,CAAC;oBACrD,CAAC;yBAAM,IACL,MAAM,CAAC,IAAI,KAAK,eAAe;wBAC/B,MAAM,CAAC,IAAI,KAAK,QAAQ,EACxB,CAAC;wBACD,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,CAAC;oBACpD,CAAC;yBAAM,IAAI,6BAA6B,CAAC,MAAM,CAAC,EAAE,CAAC;wBACjD,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;wBAC/D,cAAc,GAAG,UAAU,CAAC;wBAC5B,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;oBAC/D,CAAC;gBACH,CAAC;gBACD,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC/B,cAAc,CAAC,IAAI,CAAC;wBAClB,aAAa,EAAE,MAAM;wBACrB,WAAW,EAAE,eAAe;qBAC7B,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;iBAAM,IACL,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe;gBACtC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,EAC/B,CAAC;gBACD,+EAA+E;gBAC/E,cAAc,CAAC,IAAI,CAAC;oBAClB,aAAa,EAAE,MAAM;oBACrB,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC;iBAC5C,CAAC,CAAC;YACL,CAAC;iBAAM,IACL,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe;gBACtC,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,EAC/B,CAAC;gBACD,kFAAkF;gBAClF,cAAc,CAAC,IAAI,CAAC;oBAClB,aAAa,EAAE,MAAM;oBACrB,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC;iBAC3C,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,6BAA6B,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;gBACxD,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;gBACtE,cAAc,GAAG,UAAU,CAAC;gBAC5B,cAAc,CAAC,IAAI,CAAC;oBAClB,aAAa,EAAE,MAAM;oBACrB,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;iBACtD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,CAAC,aAAa,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,2BAA2B,GAAG,CAAC,IAAY,EAAiB,EAAE;IAClE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,iDAAiD;IACjD,IACE,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,IAAI,CAAC;QACnD,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAC/B,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACxC,OAAO,SAAS,IAAI,IAAI,CAAC;IAC3B,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAwB,EACxB,UAAmB,EACnB,OAAuB,EACU,EAAE;IACnC,MAAM,QAAQ,GAAG,IAAI,IAAI,EAAE,IAAI,EAAE,SAAkB,EAAE,CAAC;IAEtD,uEAAuE;IACvE,MAAM,SAAS,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,SAAS,IAAI,QAAQ,CAAC;IAEzC,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAEnE,4CAA4C;IAC5C,+EAA+E;IAC/E,qCAAqC;IACrC,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,cAAc,EAAE,WAAW,EAAE,EAAE,UAAU,CAAC,CAAC;IAC7E,CAAC;IAED,OAAO,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;AACnC,CAAC,CAAC"}

package/dist/types/parameters.test.js

@@ -4,6 +4,7 @@
 import { describe, it } from "mocha";
 import { expect } from "chai";
 import { emitParameters } from "../statements/classes/parameters.js";
+import { printParameter } from "../core/format/backend-ast/printer.js";
 describe("Parameter modifiers (ref/out/in)", () => {
     const baseContext = {
         indentLevel: 0,
@@ -32,7 +33,8 @@ describe("Parameter modifiers (ref/out/in)", () => {
                 passing: "out",
             },
         ];
-        const [emitted] = emitParameters(params, baseContext);
+        const [paramAsts] = emitParameters(params, baseContext);
+        const emitted = paramAsts.map(printParameter).join(", ");
         expect(emitted).to.equal("out int result");
     });
     it("should emit ref parameter with ref modifier", () => {
@@ -55,7 +57,8 @@ describe("Parameter modifiers (ref/out/in)", () => {
                 passing: "ref",
             },
         ];
-        const [emitted] = emitParameters(params, baseContext);
+        const [paramAsts] = emitParameters(params, baseContext);
+        const emitted = paramAsts.map(printParameter).join(", ");
         expect(emitted).to.equal("ref int value");
     });
     it("should emit in parameter with in modifier", () => {
@@ -78,7 +81,8 @@ describe("Parameter modifiers (ref/out/in)", () => {
                 passing: "in",
             },
         ];
-        const [emitted] = emitParameters(params, baseContext);
+        const [paramAsts] = emitParameters(params, baseContext);
+        const emitted = paramAsts.map(printParameter).join(", ");
         expect(emitted).to.equal("in int value");
     });
     it("should emit multiple parameters with mixed modifiers", () => {
@@ -129,7 +133,8 @@ describe("Parameter modifiers (ref/out/in)", () => {
                 passing: "ref",
             },
         ];
-        const [emitted] = emitParameters(params, baseContext);
+        const [paramAsts] = emitParameters(params, baseContext);
+        const emitted = paramAsts.map(printParameter).join(", ");
         expect(emitted).to.equal("int input, out int output, ref int counter");
     });
 });

package/dist/types/parameters.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"parameters.test.js","sourceRoot":"","sources":["../../src/types/parameters.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAIrE,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,MAAM,WAAW,GAAmB;QAClC,WAAW,EAAE,CAAC;QACd,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,KAAK;QACd,OAAO,EAAE,EAAE,aAAa,EAAE,MAAM,EAAE;QAClC,MAAM,EAAE,IAAI,GAAG,EAAU;KAC1B,CAAC;IAEF,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAkB;YAC5B;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACtD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE;wBACb;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,KAAK;yBACZ;qBACF;iBACF;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,KAAK;aACf;SACF,CAAC;QAEF,MAAM,CAAC,OAAO,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACtD,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAkB;YAC5B;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;gBACrD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE;wBACb;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,KAAK;yBACZ;qBACF;iBACF;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,KAAK;aACf;SACF,CAAC;QAEF,MAAM,CAAC,OAAO,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACtD,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,MAAM,GAAkB;YAC5B;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;gBACrD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,IAAI;oBACV,aAAa,EAAE;wBACb;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,KAAK;yBACZ;qBACF;iBACF;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,IAAI;aACd;SACF,CAAC;QAEF,MAAM,CAAC,OAAO,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACtD,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAkB;YAC5B;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;gBACrD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,KAAK;iBACZ;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,OAAO;aACjB;YACD;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACtD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE;wBACb;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,KAAK;yBACZ;qBACF;iBACF;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,KAAK;aACf;YACD;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,EAAE;gBACvD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE;wBACb;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,KAAK;yBACZ;qBACF;iBACF;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,KAAK;aACf;SACF,CAAC;QAEF,MAAM,CAAC,OAAO,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACtD,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,4CAA4C,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"parameters.test.js","sourceRoot":"","sources":["../../src/types/parameters.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAIvE,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,MAAM,WAAW,GAAmB;QAClC,WAAW,EAAE,CAAC;QACd,QAAQ,EAAE,KAAK;QACf,OAAO,EAAE,KAAK;QACd,OAAO,EAAE,EAAE,aAAa,EAAE,MAAM,EAAE;QAClC,MAAM,EAAE,IAAI,GAAG,EAAU;KAC1B,CAAC;IAEF,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAkB;YAC5B;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACtD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE;wBACb;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,KAAK;yBACZ;qBACF;iBACF;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,KAAK;aACf;SACF,CAAC;QAEF,MAAM,CAAC,SAAS,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAkB;YAC5B;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;gBACrD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE;wBACb;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,KAAK;yBACZ;qBACF;iBACF;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,KAAK;aACf;SACF,CAAC;QAEF,MAAM,CAAC,SAAS,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,MAAM,GAAkB;YAC5B;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;gBACrD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,IAAI;oBACV,aAAa,EAAE;wBACb;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,KAAK;yBACZ;qBACF;iBACF;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,IAAI;aACd;SACF,CAAC;QAEF,MAAM,CAAC,SAAS,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAkB;YAC5B;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;gBACrD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,KAAK;iBACZ;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,OAAO;aACjB;YACD;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACtD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE;wBACb;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,KAAK;yBACZ;qBACF;iBACF;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,KAAK;aACf;YACD;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,EAAE;gBACvD,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE;wBACb;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,KAAK;yBACZ;qBACF;iBACF;gBACD,UAAU,EAAE,KAAK;gBACjB,MAAM,EAAE,KAAK;gBACb,OAAO,EAAE,KAAK;aACf;SACF,CAAC;QAEF,MAAM,CAAC,SAAS,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,4CAA4C,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/types/primitives.d.ts

@@ -10,14 +10,15 @@
  */
 import { IrType } from "@tsonic/frontend";
 import { EmitterContext } from "../types.js";
+import type { CSharpTypeAst } from "../core/format/backend-ast/types.js";
 /**
- * Emit primitive types (number, int, string, boolean, null, undefined)
+ * Emit primitive types as CSharpTypeAst (predefinedType nodes)
  *
  * For numeric types:
- * - primitiveType(name="number") → "double"
- * - primitiveType(name="int") → "int"
+ * - primitiveType(name="number") → predefinedType("double")
+ * - primitiveType(name="int") → predefinedType("int")
  */
 export declare const emitPrimitiveType: (type: Extract<IrType, {
     kind: "primitiveType";
-}>, context: EmitterContext) => [string, EmitterContext];
+}>, context: EmitterContext) => [CSharpTypeAst, EmitterContext];
 //# sourceMappingURL=primitives.d.ts.map

package/dist/types/primitives.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../src/types/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAChD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAYzB,CAAC"}
+{"version":3,"file":"primitives.d.ts","sourceRoot":"","sources":["../../src/types/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAYzE;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAChD,SAAS,cAAc,KACtB,CAAC,aAAa,EAAE,cAAc,CAGhC,CAAC"}

package/dist/types/primitives.js

@@ -8,23 +8,24 @@
  * The numericIntent field on literals is for expression-level classification,
  * NOT for type-level emission decisions.
  */
+const PRIMITIVE_TYPE_MAP = {
+    number: "double",
+    int: "int",
+    string: "string",
+    boolean: "bool",
+    char: "char",
+    null: "object",
+    undefined: "object",
+};
 /**
- * Emit primitive types (number, int, string, boolean, null, undefined)
+ * Emit primitive types as CSharpTypeAst (predefinedType nodes)
  *
  * For numeric types:
- * - primitiveType(name="number") → "double"
- * - primitiveType(name="int") → "int"
+ * - primitiveType(name="number") → predefinedType("double")
+ * - primitiveType(name="int") → predefinedType("int")
  */
 export const emitPrimitiveType = (type, context) => {
-    const typeMap = {
-        number: "double",
-        int: "int",
-        string: "string",
-        boolean: "bool",
-        char: "char",
-        null: "object",
-        undefined: "object",
-    };
-    return [typeMap[type.name] ?? "object", context];
+    const keyword = PRIMITIVE_TYPE_MAP[type.name] ?? "object";
+    return [{ kind: "predefinedType", keyword }, context];
 };
 //# sourceMappingURL=primitives.js.map

package/dist/types/primitives.js.map

@@ -1 +1 @@
-{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../../src/types/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAgD,EAChD,OAAuB,EACG,EAAE;IAC5B,MAAM,OAAO,GAA2B;QACtC,MAAM,EAAE,QAAQ;QAChB,GAAG,EAAE,KAAK;QACV,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,MAAM;QACf,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,QAAQ;QACd,SAAS,EAAE,QAAQ;KACpB,CAAC;IAEF,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,EAAE,OAAO,CAAC,CAAC;AACnD,CAAC,CAAC"}
+{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../../src/types/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAMH,MAAM,kBAAkB,GAA2B;IACjD,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,KAAK;IACV,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,MAAM;IACf,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,QAAQ;IACd,SAAS,EAAE,QAAQ;CACpB,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAgD,EAChD,OAAuB,EACU,EAAE;IACnC,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC;IAC1D,OAAO,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,EAAE,OAAO,CAAC,CAAC;AACxD,CAAC,CAAC"}

package/dist/types/references.d.ts

@@ -5,10 +5,11 @@
  */
 import { IrType } from "@tsonic/frontend";
 import { EmitterContext } from "../types.js";
+import type { CSharpTypeAst } from "../core/format/backend-ast/types.js";
 /**
- * Emit reference types with type arguments
+ * Emit reference types as CSharpTypeAst
  */
 export declare const emitReferenceType: (type: Extract<IrType, {
     kind: "referenceType";
-}>, context: EmitterContext) => [string, EmitterContext];
+}>, context: EmitterContext) => [CSharpTypeAst, EmitterContext];
 //# sourceMappingURL=references.d.ts.map

package/dist/types/references.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../src/types/references.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAiK7C;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAChD,SAAS,cAAc,KACtB,CAAC,MAAM,EAAE,cAAc,CAyTzB,CAAC"}
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../src/types/references.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAI7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AA0KzE;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,OAAO,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,EAChD,SAAS,cAAc,KACtB,CAAC,aAAa,EAAE,cAAc,CA+UhC,CAAC"}