@tsonic/emitter 0.0.74 → 0.0.75

package/dist/generator-exchange.js

@@ -6,16 +6,40 @@
  */
 import { emitTypeAst } from "./type-emitter.js";
 import { identifierType } from "./core/format/backend-ast/builders.js";
-import { needsBidirectionalSupport, generateWrapperClass, } from "./generator-wrapper.js";
-import { getCSharpName } from "./naming-policy.js";
+import { emitGeneratorHelperTypeParameters, getGeneratorHelperBaseName, needsBidirectionalSupport, generateWrapperClass, usesExchangeBasedGeneratorLowering, } from "./generator-wrapper.js";
 /**
- * Collect all generator functions from a module
+ * Collect all generator declarations from a module, including class methods.
  */
-const collectGenerators = (module) => {
+const collectGenerators = (module, context) => {
     const generators = [];
     for (const stmt of module.body) {
-        if (stmt.kind === "functionDeclaration" && stmt.isGenerator) {
-            generators.push(stmt);
+        if (stmt.kind === "functionDeclaration" &&
+            stmt.isGenerator &&
+            usesExchangeBasedGeneratorLowering(stmt)) {
+            generators.push({
+                generator: stmt,
+                helperBaseName: getGeneratorHelperBaseName(stmt, context),
+                typeParameters: stmt.typeParameters ?? [],
+            });
+            continue;
+        }
+        if (stmt.kind === "classDeclaration") {
+            const ownerTypeParameters = stmt.typeParameters ?? [];
+            for (const member of stmt.members) {
+                if (member.kind !== "methodDeclaration" ||
+                    !member.isGenerator ||
+                    !usesExchangeBasedGeneratorLowering(member)) {
+                    continue;
+                }
+                generators.push({
+                    generator: member,
+                    helperBaseName: getGeneratorHelperBaseName(member, context, stmt.name),
+                    typeParameters: [
+                        ...ownerTypeParameters,
+                        ...(member.typeParameters ?? []),
+                    ],
+                });
+            }
         }
     }
     return generators;
@@ -23,10 +47,10 @@ const collectGenerators = (module) => {
 /**
  * Generate exchange object class as CSharpTypeDeclarationAst
  */
-export const generateExchangeClassAst = (func, context) => {
-    let currentContext = context;
-    const csharpBaseName = getCSharpName(func.name, "methods", context);
-    const exchangeName = `${csharpBaseName}_exchange`;
+export const generateExchangeClassAst = (func, context, helperBaseName = getGeneratorHelperBaseName(func, context), helperTypeParameters = []) => {
+    const helperTypes = emitGeneratorHelperTypeParameters(helperTypeParameters, context);
+    let currentContext = helperTypes.context;
+    const exchangeName = `${helperBaseName}_exchange`;
     // Determine output/input types from return type
     let outputTypeAst = identifierType("object");
     let inputTypeAst = identifierType("object");
@@ -41,7 +65,10 @@ export const generateExchangeClassAst = (func, context) => {
             }
             if (typeRef.typeArguments.length > 2) {
                 const nextTypeArg = typeRef.typeArguments[2];
-                if (nextTypeArg) {
+                if (nextTypeArg &&
+                    nextTypeArg.kind !== "voidType" &&
+                    !(nextTypeArg.kind === "primitiveType" &&
+                        nextTypeArg.name === "undefined")) {
                     const [nextAst, ctx2] = emitTypeAst(nextTypeArg, currentContext);
                     currentContext = ctx2;
                     inputTypeAst = nextAst;
@@ -78,8 +105,12 @@ export const generateExchangeClassAst = (func, context) => {
         attributes: [],
         modifiers: ["public", "sealed"],
         name: exchangeName,
+        typeParameters: helperTypes.typeParameters.length > 0
+            ? helperTypes.typeParameters
+            : undefined,
         interfaces: [],
         members,
+        constraints: helperTypes.constraints.length > 0 ? helperTypes.constraints : undefined,
     };
     return [declAst, currentContext];
 };
@@ -87,20 +118,20 @@ export const generateExchangeClassAst = (func, context) => {
  * Generate all exchange objects and wrapper classes for generators in a module.
  */
 export const generateGeneratorExchanges = (module, context) => {
-    const generators = collectGenerators(module);
+    const generators = collectGenerators(module, context);
     if (generators.length === 0) {
         return [[], context];
     }
     const decls = [];
     let currentContext = context;
-    for (const generator of generators) {
+    for (const { generator, helperBaseName, typeParameters } of generators) {
         // Exchange class (fully AST)
-        const [exchangeAst, exchangeContext] = generateExchangeClassAst(generator, currentContext);
+        const [exchangeAst, exchangeContext] = generateExchangeClassAst(generator, currentContext, helperBaseName, typeParameters);
         currentContext = exchangeContext;
         decls.push(exchangeAst);
         // Wrapper class
         if (needsBidirectionalSupport(generator)) {
-            const [wrapperDecl, wrapperContext] = generateWrapperClass(generator, currentContext);
+            const [wrapperDecl, wrapperContext] = generateWrapperClass(generator, currentContext, helperBaseName, typeParameters);
             currentContext = wrapperContext;
             decls.push(wrapperDecl);
         }

package/dist/generator-exchange.js.map

@@ -1 +1 @@
-{"version":3,"file":"generator-exchange.js","sourceRoot":"","sources":["../src/generator-exchange.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AACvE,OAAO,EACL,yBAAyB,EACzB,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAOnD;;GAEG;AACH,MAAM,iBAAiB,GAAG,CAAC,MAAgB,EAA2B,EAAE;IACtE,MAAM,UAAU,GAA4B,EAAE,CAAC;IAE/C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YAC5D,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAA2B,EAC3B,OAAuB,EACqB,EAAE;IAC9C,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IACpE,MAAM,YAAY,GAAG,GAAG,cAAc,WAAW,CAAC;IAElD,gDAAgD;IAChD,IAAI,aAAa,GAAkB,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,YAAY,GAAkB,cAAc,CAAC,QAAQ,CAAC,CAAC;IAE3D,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAChE,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC;QAChC,IAAI,OAAO,CAAC,aAAa,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9D,MAAM,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,YAAY,EAAE,CAAC;gBACjB,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,WAAW,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;gBACnE,cAAc,GAAG,IAAI,CAAC;gBACtB,aAAa,GAAG,QAAQ,CAAC;YAC3B,CAAC;YAED,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrC,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;gBAC7C,IAAI,WAAW,EAAE,CAAC;oBAChB,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,WAAW,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;oBACjE,cAAc,GAAG,IAAI,CAAC;oBACtB,YAAY,GAAG,OAAO,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAsB;QACjC,4BAA4B;QAC5B;YACE,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,EAAE;YACd,SAAS,EAAE,CAAC,QAAQ,CAAC;YACrB,IAAI,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,cAAc,EAAE,YAAY,EAAE;YAC5D,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,IAAI;YACf,SAAS,EAAE,IAAI;YACf,cAAc,EAAE,IAAI;SACrB;QACD,kBAAkB;QAClB;YACE,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,EAAE;YACd,SAAS,EAAE,CAAC,QAAQ,CAAC;YACrB,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,QAAQ;YACd,SAAS,EAAE,IAAI;YACf,SAAS,EAAE,IAAI;YACf,cAAc,EAAE,IAAI;SACrB;KACF,CAAC;IAEF,MAAM,OAAO,GAA6B;QACxC,IAAI,EAAE,kBAAkB;QACxB,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC/B,IAAI,EAAE,YAAY;QAClB,UAAU,EAAE,EAAE;QACd,OAAO;KACR,CAAC;IAEF,OAAO,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;AACnC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,MAAgB,EAChB,OAAuB,EACgC,EAAE;IACzD,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAE7C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACvB,CAAC;IAED,MAAM,KAAK,GAA+B,EAAE,CAAC;IAC7C,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,6BAA6B;QAC7B,MAAM,CAAC,WAAW,EAAE,eAAe,CAAC,GAAG,wBAAwB,CAC7D,SAAS,EACT,cAAc,CACf,CAAC;QACF,cAAc,GAAG,eAAe,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAExB,gBAAgB;QAChB,IAAI,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;YACzC,MAAM,CAAC,WAAW,EAAE,cAAc,CAAC,GAAG,oBAAoB,CACxD,SAAS,EACT,cAAc,CACf,CAAC;YACF,cAAc,GAAG,cAAc,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,OAAO,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;AACjC,CAAC,CAAC"}
+{"version":3,"file":"generator-exchange.js","sourceRoot":"","sources":["../src/generator-exchange.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AACvE,OAAO,EACL,iCAAiC,EAEjC,0BAA0B,EAC1B,yBAAyB,EACzB,oBAAoB,EACpB,kCAAkC,GACnC,MAAM,wBAAwB,CAAC;AAahC;;GAEG;AACH,MAAM,iBAAiB,GAAG,CACxB,MAAgB,EAChB,OAAuB,EACD,EAAE;IACxB,MAAM,UAAU,GAAyB,EAAE,CAAC;IAE5C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,IACE,IAAI,CAAC,IAAI,KAAK,qBAAqB;YACnC,IAAI,CAAC,WAAW;YAChB,kCAAkC,CAAC,IAAI,CAAC,EACxC,CAAC;YACD,UAAU,CAAC,IAAI,CAAC;gBACd,SAAS,EAAE,IAAI;gBACf,cAAc,EAAE,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC;gBACzD,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,EAAE;aAC1C,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACrC,MAAM,mBAAmB,GAAG,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC;YACtD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,IACE,MAAM,CAAC,IAAI,KAAK,mBAAmB;oBACnC,CAAC,MAAM,CAAC,WAAW;oBACnB,CAAC,kCAAkC,CAAC,MAAM,CAAC,EAC3C,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,UAAU,CAAC,IAAI,CAAC;oBACd,SAAS,EAAE,MAAM;oBACjB,cAAc,EAAE,0BAA0B,CACxC,MAAM,EACN,OAAO,EACP,IAAI,CAAC,IAAI,CACV;oBACD,cAAc,EAAE;wBACd,GAAG,mBAAmB;wBACtB,GAAG,CAAC,MAAM,CAAC,cAAc,IAAI,EAAE,CAAC;qBACjC;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAmB,EACnB,OAAuB,EACvB,cAAc,GAAG,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC,EAC1D,uBAAmD,EAAE,EACT,EAAE;IAC9C,MAAM,WAAW,GAAG,iCAAiC,CACnD,oBAAoB,EACpB,OAAO,CACR,CAAC;IACF,IAAI,cAAc,GAAG,WAAW,CAAC,OAAO,CAAC;IACzC,MAAM,YAAY,GAAG,GAAG,cAAc,WAAW,CAAC;IAElD,gDAAgD;IAChD,IAAI,aAAa,GAAkB,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,YAAY,GAAkB,cAAc,CAAC,QAAQ,CAAC,CAAC;IAE3D,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAChE,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC;QAChC,IAAI,OAAO,CAAC,aAAa,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9D,MAAM,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAI,YAAY,EAAE,CAAC;gBACjB,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,WAAW,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;gBACnE,cAAc,GAAG,IAAI,CAAC;gBACtB,aAAa,GAAG,QAAQ,CAAC;YAC3B,CAAC;YAED,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrC,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;gBAC7C,IACE,WAAW;oBACX,WAAW,CAAC,IAAI,KAAK,UAAU;oBAC/B,CAAC,CACC,WAAW,CAAC,IAAI,KAAK,eAAe;wBACpC,WAAW,CAAC,IAAI,KAAK,WAAW,CACjC,EACD,CAAC;oBACD,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,WAAW,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;oBACjE,cAAc,GAAG,IAAI,CAAC;oBACtB,YAAY,GAAG,OAAO,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAsB;QACjC,4BAA4B;QAC5B;YACE,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,EAAE;YACd,SAAS,EAAE,CAAC,QAAQ,CAAC;YACrB,IAAI,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,cAAc,EAAE,YAAY,EAAE;YAC5D,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,IAAI;YACf,SAAS,EAAE,IAAI;YACf,cAAc,EAAE,IAAI;SACrB;QACD,kBAAkB;QAClB;YACE,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,EAAE;YACd,SAAS,EAAE,CAAC,QAAQ,CAAC;YACrB,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,QAAQ;YACd,SAAS,EAAE,IAAI;YACf,SAAS,EAAE,IAAI;YACf,cAAc,EAAE,IAAI;SACrB;KACF,CAAC;IAEF,MAAM,OAAO,GAA6B;QACxC,IAAI,EAAE,kBAAkB;QACxB,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC/B,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,WAAW,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;YACnC,CAAC,CAAC,WAAW,CAAC,cAAc;YAC5B,CAAC,CAAC,SAAS;QACf,UAAU,EAAE,EAAE;QACd,OAAO;QACP,WAAW,EACT,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;KAC3E,CAAC;IAEF,OAAO,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;AACnC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,MAAgB,EAChB,OAAuB,EACgC,EAAE;IACzD,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAEtD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACvB,CAAC;IAED,MAAM,KAAK,GAA+B,EAAE,CAAC;IAC7C,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,KAAK,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,cAAc,EAAE,IAAI,UAAU,EAAE,CAAC;QACvE,6BAA6B;QAC7B,MAAM,CAAC,WAAW,EAAE,eAAe,CAAC,GAAG,wBAAwB,CAC7D,SAAS,EACT,cAAc,EACd,cAAc,EACd,cAAc,CACf,CAAC;QACF,cAAc,GAAG,eAAe,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAExB,gBAAgB;QAChB,IAAI,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;YACzC,MAAM,CAAC,WAAW,EAAE,cAAc,CAAC,GAAG,oBAAoB,CACxD,SAAS,EACT,cAAc,EACd,cAAc,EACd,cAAc,CACf,CAAC;YACF,cAAc,GAAG,cAAc,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,OAAO,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;AACjC,CAAC,CAAC"}

package/dist/generator-wrapper-builders.d.ts

@@ -0,0 +1,10 @@
+import type { CSharpExpressionAst, CSharpMemberAst, CSharpTypeAst } from "./core/format/backend-ast/types.js";
+export declare const boolTypeAst: CSharpTypeAst;
+export declare const suppressDefault: () => CSharpExpressionAst;
+export declare const funcType: (typeArg: CSharpTypeAst) => CSharpTypeAst;
+export declare const buildConstructor: (wrapperName: string, exchangeType: CSharpTypeAst, isAsync: boolean, returnType: CSharpTypeAst | undefined) => CSharpMemberAst;
+export declare const buildNextMethod: (yieldType: CSharpTypeAst, nextType: CSharpTypeAst, hasNextType: boolean, isAsync: boolean, nextMethodName: string) => CSharpMemberAst;
+export declare const buildReturnValueProperty: (returnType: CSharpTypeAst, propertyName: string) => CSharpMemberAst;
+export declare const buildReturnMethod: (yieldType: CSharpTypeAst, returnType: CSharpTypeAst | undefined, isAsync: boolean, returnMethodName: string) => CSharpMemberAst;
+export declare const buildThrowMethod: (yieldType: CSharpTypeAst, isAsync: boolean, throwMethodName: string) => CSharpMemberAst;
+//# sourceMappingURL=generator-wrapper-builders.d.ts.map

package/dist/generator-wrapper-builders.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator-wrapper-builders.d.ts","sourceRoot":"","sources":["../src/generator-wrapper-builders.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACV,mBAAmB,EACnB,eAAe,EAGf,aAAa,EACd,MAAM,oCAAoC,CAAC;AAO5C,eAAO,MAAM,WAAW,EAAE,aAGzB,CAAC;AAiCF,eAAO,MAAM,eAAe,QAAO,mBAGjC,CAAC;AAkBH,eAAO,MAAM,QAAQ,GAAI,SAAS,aAAa,KAAG,aACA,CAAC;AAEnD,eAAO,MAAM,gBAAgB,GAC3B,aAAa,MAAM,EACnB,cAAc,aAAa,EAC3B,SAAS,OAAO,EAChB,YAAY,aAAa,GAAG,SAAS,KACpC,eAkDF,CAAC;AAgBF,eAAO,MAAM,eAAe,GAC1B,WAAW,aAAa,EACxB,UAAU,aAAa,EACvB,aAAa,OAAO,EACpB,SAAS,OAAO,EAChB,gBAAgB,MAAM,KACrB,eAkEF,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,YAAY,aAAa,EACzB,cAAc,MAAM,KACnB,eAuBD,CAAC;AAUH,eAAO,MAAM,iBAAiB,GAC5B,WAAW,aAAa,EACxB,YAAY,aAAa,GAAG,SAAS,EACrC,SAAS,OAAO,EAChB,kBAAkB,MAAM,KACvB,eAwDF,CAAC;AAEF,eAAO,MAAM,gBAAgB,GAC3B,WAAW,aAAa,EACxB,SAAS,OAAO,EAChB,iBAAiB,MAAM,KACtB,eAsEF,CAAC"}

package/dist/generator-wrapper-builders.js

@@ -0,0 +1,288 @@
+import { booleanLiteral, identifierExpression, identifierType, stringLiteral, } from "./core/format/backend-ast/builders.js";
+const objectTypeAst = {
+    kind: "predefinedType",
+    keyword: "object",
+};
+export const boolTypeAst = {
+    kind: "predefinedType",
+    keyword: "bool",
+};
+const id = (identifier) => identifierExpression(identifier);
+const member = (expression, memberName) => ({
+    kind: "memberAccessExpression",
+    expression,
+    memberName,
+});
+const invoke = (expression, args = []) => ({
+    kind: "invocationExpression",
+    expression,
+    arguments: args,
+});
+const assign = (left, right) => ({
+    kind: "assignmentExpression",
+    operatorToken: "=",
+    left,
+    right,
+});
+export const suppressDefault = () => ({
+    kind: "suppressNullableWarningExpression",
+    expression: { kind: "defaultExpression" },
+});
+const iteratorResultType = (yieldType) => identifierType("global::Tsonic.Runtime.IteratorResult", [yieldType]);
+const iteratorResultCtor = (yieldType, value, done) => ({
+    kind: "objectCreationExpression",
+    type: iteratorResultType(yieldType),
+    arguments: [value, booleanLiteral(done)],
+});
+const taskOf = (typeArg) => identifierType("global::System.Threading.Tasks.Task", [typeArg]);
+export const funcType = (typeArg) => identifierType("global::System.Func", [typeArg]);
+export const buildConstructor = (wrapperName, exchangeType, isAsync, returnType) => {
+    const enumerableType = identifierType(isAsync
+        ? "global::System.Collections.Generic.IAsyncEnumerable"
+        : "global::System.Collections.Generic.IEnumerable", [exchangeType]);
+    const parameters = [
+        { name: "enumerable", type: enumerableType },
+        { name: "exchange", type: exchangeType },
+    ];
+    if (returnType) {
+        parameters.push({
+            name: "getReturnValue",
+            type: funcType(returnType),
+        });
+    }
+    const getEnumeratorCall = invoke(member(id("enumerable"), isAsync ? "GetAsyncEnumerator" : "GetEnumerator"));
+    const statements = [
+        {
+            kind: "expressionStatement",
+            expression: assign(id("_enumerator"), getEnumeratorCall),
+        },
+        {
+            kind: "expressionStatement",
+            expression: assign(id("_exchange"), id("exchange")),
+        },
+    ];
+    if (returnType) {
+        statements.push({
+            kind: "expressionStatement",
+            expression: assign(id("_getReturnValue"), id("getReturnValue")),
+        });
+    }
+    return {
+        kind: "constructorDeclaration",
+        attributes: [],
+        modifiers: ["public"],
+        name: wrapperName,
+        parameters,
+        body: { kind: "blockStatement", statements },
+    };
+};
+const buildDoneGuard = (yieldType) => ({
+    kind: "ifStatement",
+    condition: id("_done"),
+    thenStatement: {
+        kind: "blockStatement",
+        statements: [
+            {
+                kind: "returnStatement",
+                expression: iteratorResultCtor(yieldType, suppressDefault(), true),
+            },
+        ],
+    },
+});
+export const buildNextMethod = (yieldType, nextType, hasNextType, isAsync, nextMethodName) => {
+    const resultType = iteratorResultType(yieldType);
+    const returnType = isAsync ? taskOf(resultType) : resultType;
+    const paramType = hasNextType
+        ? { kind: "nullableType", underlyingType: nextType }
+        : { kind: "nullableType", underlyingType: objectTypeAst };
+    const moveNextExpr = invoke(member(id("_enumerator"), isAsync ? "MoveNextAsync" : "MoveNext"));
+    const moveNextCondition = isAsync
+        ? {
+            kind: "awaitExpression",
+            expression: moveNextExpr,
+        }
+        : moveNextExpr;
+    return {
+        kind: "methodDeclaration",
+        attributes: [],
+        modifiers: ["public", ...(isAsync ? ["async"] : [])],
+        returnType,
+        name: nextMethodName,
+        parameters: [
+            {
+                name: "value",
+                type: paramType,
+                defaultValue: { kind: "defaultExpression" },
+            },
+        ],
+        body: {
+            kind: "blockStatement",
+            statements: [
+                buildDoneGuard(yieldType),
+                {
+                    kind: "expressionStatement",
+                    expression: assign(member(id("_exchange"), "Input"), id("value")),
+                },
+                {
+                    kind: "ifStatement",
+                    condition: moveNextCondition,
+                    thenStatement: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "returnStatement",
+                                expression: iteratorResultCtor(yieldType, member(id("_exchange"), "Output"), false),
+                            },
+                        ],
+                    },
+                },
+                {
+                    kind: "expressionStatement",
+                    expression: assign(id("_done"), booleanLiteral(true)),
+                },
+                {
+                    kind: "returnStatement",
+                    expression: iteratorResultCtor(yieldType, suppressDefault(), true),
+                },
+            ],
+        },
+    };
+};
+export const buildReturnValueProperty = (returnType, propertyName) => ({
+    kind: "propertyDeclaration",
+    attributes: [],
+    modifiers: ["public"],
+    type: returnType,
+    name: propertyName,
+    hasGetter: true,
+    hasSetter: false,
+    isAutoProperty: false,
+    getterBody: {
+        kind: "blockStatement",
+        statements: [
+            {
+                kind: "returnStatement",
+                expression: {
+                    kind: "conditionalExpression",
+                    condition: id("_wasExternallyTerminated"),
+                    whenTrue: id("_returnValue"),
+                    whenFalse: invoke(id("_getReturnValue")),
+                },
+            },
+        ],
+    },
+});
+const buildDisposeExpression = (isAsync) => isAsync
+    ? {
+        kind: "awaitExpression",
+        expression: invoke(member(id("_enumerator"), "DisposeAsync")),
+    }
+    : invoke(member(id("_enumerator"), "Dispose"));
+export const buildReturnMethod = (yieldType, returnType, isAsync, returnMethodName) => {
+    const resultType = iteratorResultType(yieldType);
+    const methodReturnType = isAsync ? taskOf(resultType) : resultType;
+    const returnParamType = returnType ?? {
+        kind: "nullableType",
+        underlyingType: objectTypeAst,
+    };
+    const statements = [
+        {
+            kind: "expressionStatement",
+            expression: assign(id("_done"), booleanLiteral(true)),
+        },
+    ];
+    if (returnType) {
+        statements.push({
+            kind: "expressionStatement",
+            expression: assign(id("_returnValue"), id("value")),
+        }, {
+            kind: "expressionStatement",
+            expression: assign(id("_wasExternallyTerminated"), booleanLiteral(true)),
+        });
+    }
+    statements.push({
+        kind: "expressionStatement",
+        expression: buildDisposeExpression(isAsync),
+    });
+    statements.push({
+        kind: "returnStatement",
+        expression: iteratorResultCtor(yieldType, suppressDefault(), true),
+    });
+    return {
+        kind: "methodDeclaration",
+        attributes: [],
+        modifiers: ["public", ...(isAsync ? ["async"] : [])],
+        returnType: methodReturnType,
+        name: returnMethodName,
+        parameters: [
+            {
+                name: "value",
+                type: returnParamType,
+                defaultValue: suppressDefault(),
+            },
+        ],
+        body: { kind: "blockStatement", statements },
+    };
+};
+export const buildThrowMethod = (yieldType, isAsync, throwMethodName) => {
+    const resultType = iteratorResultType(yieldType);
+    const methodReturnType = isAsync ? taskOf(resultType) : resultType;
+    const disposeCall = isAsync
+        ? invoke(member(invoke(member(invoke(member(id("_enumerator"), "DisposeAsync")), "AsTask")), "Wait"))
+        : invoke(member(id("_enumerator"), "Dispose"));
+    const exPattern = {
+        kind: "declarationPattern",
+        type: identifierType("global::System.Exception"),
+        designation: "ex",
+    };
+    return {
+        kind: "methodDeclaration",
+        attributes: [],
+        modifiers: ["public"],
+        returnType: methodReturnType,
+        name: throwMethodName,
+        parameters: [{ name: "e", type: objectTypeAst }],
+        body: {
+            kind: "blockStatement",
+            statements: [
+                {
+                    kind: "expressionStatement",
+                    expression: assign(id("_done"), booleanLiteral(true)),
+                },
+                { kind: "expressionStatement", expression: disposeCall },
+                {
+                    kind: "ifStatement",
+                    condition: {
+                        kind: "isExpression",
+                        expression: id("e"),
+                        pattern: exPattern,
+                    },
+                    thenStatement: {
+                        kind: "blockStatement",
+                        statements: [{ kind: "throwStatement", expression: id("ex") }],
+                    },
+                },
+                {
+                    kind: "throwStatement",
+                    expression: {
+                        kind: "objectCreationExpression",
+                        type: identifierType("global::System.Exception"),
+                        arguments: [
+                            {
+                                kind: "binaryExpression",
+                                operatorToken: "??",
+                                left: invoke({
+                                    kind: "conditionalMemberAccessExpression",
+                                    expression: id("e"),
+                                    memberName: "ToString",
+                                }),
+                                right: stringLiteral("Unknown error"),
+                            },
+                        ],
+                    },
+                },
+            ],
+        },
+    };
+};
+//# sourceMappingURL=generator-wrapper-builders.js.map

package/dist/generator-wrapper-builders.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator-wrapper-builders.js","sourceRoot":"","sources":["../src/generator-wrapper-builders.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,cAAc,EACd,aAAa,GACd,MAAM,uCAAuC,CAAC;AAS/C,MAAM,aAAa,GAAkB;IACnC,IAAI,EAAE,gBAAgB;IACtB,OAAO,EAAE,QAAQ;CAClB,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAkB;IACxC,IAAI,EAAE,gBAAgB;IACtB,OAAO,EAAE,MAAM;CAChB,CAAC;AAEF,MAAM,EAAE,GAAG,CAAC,UAAkB,EAAuB,EAAE,CACrD,oBAAoB,CAAC,UAAU,CAAC,CAAC;AAEnC,MAAM,MAAM,GAAG,CACb,UAA+B,EAC/B,UAAkB,EACG,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,wBAAwB;IAC9B,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,MAAM,GAAG,CACb,UAA+B,EAC/B,OAAuC,EAAE,EACpB,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,sBAAsB;IAC5B,UAAU;IACV,SAAS,EAAE,IAAI;CAChB,CAAC,CAAC;AAEH,MAAM,MAAM,GAAG,CACb,IAAyB,EACzB,KAA0B,EACL,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,sBAAsB;IAC5B,aAAa,EAAE,GAAG;IAClB,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,eAAe,GAAG,GAAwB,EAAE,CAAC,CAAC;IACzD,IAAI,EAAE,mCAAmC;IACzC,UAAU,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE;CAC1C,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,CAAC,SAAwB,EAAiB,EAAE,CACrE,cAAc,CAAC,uCAAuC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;AAEvE,MAAM,kBAAkB,GAAG,CACzB,SAAwB,EACxB,KAA0B,EAC1B,IAAa,EACQ,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,0BAA0B;IAChC,IAAI,EAAE,kBAAkB,CAAC,SAAS,CAAC;IACnC,SAAS,EAAE,CAAC,KAAK,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC;CACzC,CAAC,CAAC;AAEH,MAAM,MAAM,GAAG,CAAC,OAAsB,EAAiB,EAAE,CACvD,cAAc,CAAC,qCAAqC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;AAEnE,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,OAAsB,EAAiB,EAAE,CAChE,cAAc,CAAC,qBAAqB,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;AAEnD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,WAAmB,EACnB,YAA2B,EAC3B,OAAgB,EAChB,UAAqC,EACpB,EAAE;IACnB,MAAM,cAAc,GAAkB,cAAc,CAClD,OAAO;QACL,CAAC,CAAC,qDAAqD;QACvD,CAAC,CAAC,gDAAgD,EACpD,CAAC,YAAY,CAAC,CACf,CAAC;IAEF,MAAM,UAAU,GAAyB;QACvC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,cAAc,EAAE;QAC5C,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;KACzC,CAAC;IAEF,IAAI,UAAU,EAAE,CAAC;QACf,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,gBAAgB;YACtB,IAAI,EAAE,QAAQ,CAAC,UAAU,CAAC;SAC3B,CAAC,CAAC;IACL,CAAC;IAED,MAAM,iBAAiB,GAAG,MAAM,CAC9B,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,eAAe,CAAC,CAC3E,CAAC;IAEF,MAAM,UAAU,GAAyB;QACvC;YACE,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,iBAAiB,CAAC;SACzD;QACD;YACE,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;SACpD;KACF,CAAC;IAEF,IAAI,UAAU,EAAE,CAAC;QACf,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC;SAChE,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,CAAC,QAAQ,CAAC;QACrB,IAAI,EAAE,WAAW;QACjB,UAAU;QACV,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE;KAC7C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,SAAwB,EAAsB,EAAE,CAAC,CAAC;IACxE,IAAI,EAAE,aAAa;IACnB,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC;IACtB,aAAa,EAAE;QACb,IAAI,EAAE,gBAAgB;QACtB,UAAU,EAAE;YACV;gBACE,IAAI,EAAE,iBAAiB;gBACvB,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,eAAe,EAAE,EAAE,IAAI,CAAC;aACnE;SACF;KACF;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,SAAwB,EACxB,QAAuB,EACvB,WAAoB,EACpB,OAAgB,EAChB,cAAsB,EACL,EAAE;IACnB,MAAM,UAAU,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;IAC7D,MAAM,SAAS,GAAG,WAAW;QAC3B,CAAC,CAAC,EAAE,IAAI,EAAE,cAAuB,EAAE,cAAc,EAAE,QAAQ,EAAE;QAC7D,CAAC,CAAC,EAAE,IAAI,EAAE,cAAuB,EAAE,cAAc,EAAE,aAAa,EAAE,CAAC;IAErE,MAAM,YAAY,GAAG,MAAM,CACzB,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,CAClE,CAAC;IACF,MAAM,iBAAiB,GAAG,OAAO;QAC/B,CAAC,CAAE;YACC,IAAI,EAAE,iBAAiB;YACvB,UAAU,EAAE,YAAY;SACD;QAC3B,CAAC,CAAC,YAAY,CAAC;IAEjB,OAAO;QACL,IAAI,EAAE,mBAAmB;QACzB,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpD,UAAU;QACV,IAAI,EAAE,cAAc;QACpB,UAAU,EAAE;YACV;gBACE,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,SAAS;gBACf,YAAY,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE;aAC5C;SACF;QACD,IAAI,EAAE;YACJ,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE;gBACV,cAAc,CAAC,SAAS,CAAC;gBACzB;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;iBAClE;gBACD;oBACE,IAAI,EAAE,aAAa;oBACnB,SAAS,EAAE,iBAAiB;oBAC5B,aAAa,EAAE;wBACb,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,iBAAiB;gCACvB,UAAU,EAAE,kBAAkB,CAC5B,SAAS,EACT,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,EACjC,KAAK,CACN;6BACF;yBACF;qBACF;iBACF;gBACD;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC;iBACtD;gBACD;oBACE,IAAI,EAAE,iBAAiB;oBACvB,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,eAAe,EAAE,EAAE,IAAI,CAAC;iBACnE;aACF;SACF;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,UAAyB,EACzB,YAAoB,EACH,EAAE,CAAC,CAAC;IACrB,IAAI,EAAE,qBAAqB;IAC3B,UAAU,EAAE,EAAE;IACd,SAAS,EAAE,CAAC,QAAQ,CAAC;IACrB,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,YAAY;IAClB,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,KAAK;IAChB,cAAc,EAAE,KAAK;IACrB,UAAU,EAAE;QACV,IAAI,EAAE,gBAAgB;QACtB,UAAU,EAAE;YACV;gBACE,IAAI,EAAE,iBAAiB;gBACvB,UAAU,EAAE;oBACV,IAAI,EAAE,uBAAuB;oBAC7B,SAAS,EAAE,EAAE,CAAC,0BAA0B,CAAC;oBACzC,QAAQ,EAAE,EAAE,CAAC,cAAc,CAAC;oBAC5B,SAAS,EAAE,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC;iBACzC;aACF;SACF;KACF;CACF,CAAC,CAAC;AAEH,MAAM,sBAAsB,GAAG,CAAC,OAAgB,EAAuB,EAAE,CACvE,OAAO;IACL,CAAC,CAAC;QACE,IAAI,EAAE,iBAAiB;QACvB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,cAAc,CAAC,CAAC;KAC9D;IACH,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;AAEnD,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,SAAwB,EACxB,UAAqC,EACrC,OAAgB,EAChB,gBAAwB,EACP,EAAE;IACnB,MAAM,UAAU,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACjD,MAAM,gBAAgB,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;IACnE,MAAM,eAAe,GAAG,UAAU,IAAI;QACpC,IAAI,EAAE,cAAc;QACpB,cAAc,EAAE,aAAa;KAC9B,CAAC;IAEF,MAAM,UAAU,GAAyB;QACvC;YACE,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC;SACtD;KACF,CAAC;IAEF,IAAI,UAAU,EAAE,CAAC;QACf,UAAU,CAAC,IAAI,CACb;YACE,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;SACpD,EACD;YACE,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE,MAAM,CAChB,EAAE,CAAC,0BAA0B,CAAC,EAC9B,cAAc,CAAC,IAAI,CAAC,CACrB;SACF,CACF,CAAC;IACJ,CAAC;IAED,UAAU,CAAC,IAAI,CAAC;QACd,IAAI,EAAE,qBAAqB;QAC3B,UAAU,EAAE,sBAAsB,CAAC,OAAO,CAAC;KAC5C,CAAC,CAAC;IAEH,UAAU,CAAC,IAAI,CAAC;QACd,IAAI,EAAE,iBAAiB;QACvB,UAAU,EAAE,kBAAkB,CAAC,SAAS,EAAE,eAAe,EAAE,EAAE,IAAI,CAAC;KACnE,CAAC,CAAC;IAEH,OAAO;QACL,IAAI,EAAE,mBAAmB;QACzB,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpD,UAAU,EAAE,gBAAgB;QAC5B,IAAI,EAAE,gBAAgB;QACtB,UAAU,EAAE;YACV;gBACE,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,eAAe;gBACrB,YAAY,EAAE,eAAe,EAAE;aAChC;SACF;QACD,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE;KAC7C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,SAAwB,EACxB,OAAgB,EAChB,eAAuB,EACN,EAAE;IACnB,MAAM,UAAU,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACjD,MAAM,gBAAgB,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;IAEnE,MAAM,WAAW,GAAwB,OAAO;QAC9C,CAAC,CAAC,MAAM,CACJ,MAAM,CACJ,MAAM,CACJ,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,cAAc,CAAC,CAAC,EAAE,QAAQ,CAAC,CACpE,EACD,MAAM,CACP,CACF;QACH,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;IAEjD,MAAM,SAAS,GAAG;QAChB,IAAI,EAAE,oBAA6B;QACnC,IAAI,EAAE,cAAc,CAAC,0BAA0B,CAAC;QAChD,WAAW,EAAE,IAAI;KAClB,CAAC;IAEF,OAAO;QACL,IAAI,EAAE,mBAAmB;QACzB,UAAU,EAAE,EAAE;QACd,SAAS,EAAE,CAAC,QAAQ,CAAC;QACrB,UAAU,EAAE,gBAAgB;QAC5B,IAAI,EAAE,eAAe;QACrB,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QAChD,IAAI,EAAE;YACJ,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE;gBACV;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC;iBACtD;gBACD,EAAE,IAAI,EAAE,qBAAqB,EAAE,UAAU,EAAE,WAAW,EAAE;gBACxD;oBACE,IAAI,EAAE,aAAa;oBACnB,SAAS,EAAE;wBACT,IAAI,EAAE,cAAc;wBACpB,UAAU,EAAE,EAAE,CAAC,GAAG,CAAC;wBACnB,OAAO,EAAE,SAAS;qBACnB;oBACD,aAAa,EAAE;wBACb,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;qBAC/D;iBACF;gBACD;oBACE,IAAI,EAAE,gBAAgB;oBACtB,UAAU,EAAE;wBACV,IAAI,EAAE,0BAA0B;wBAChC,IAAI,EAAE,cAAc,CAAC,0BAA0B,CAAC;wBAChD,SAAS,EAAE;4BACT;gCACE,IAAI,EAAE,kBAAkB;gCACxB,aAAa,EAAE,IAAI;gCACnB,IAAI,EAAE,MAAM,CAAC;oCACX,IAAI,EAAE,mCAAmC;oCACzC,UAAU,EAAE,EAAE,CAAC,GAAG,CAAC;oCACnB,UAAU,EAAE,UAAU;iCACvB,CAAC;gCACF,KAAK,EAAE,aAAa,CAAC,eAAe,CAAC;6BACtC;yBACF;qBACF;iBACF;aACF;SACF;KACF,CAAC;AACJ,CAAC,CAAC"}

package/dist/generator-wrapper.d.ts

@@ -3,9 +3,9 @@
  *
  * Builds wrapper classes as typed CSharp AST declarations (no text templates).
  */
-import { IrFunctionDeclaration, IrType } from "@tsonic/frontend";
+import { IrFunctionDeclaration, IrType, IrTypeParameter } from "@tsonic/frontend";
 import { EmitterContext } from "./types.js";
-import type { CSharpTypeAst, CSharpTypeDeclarationAst } from "./core/format/backend-ast/types.js";
+import type { CSharpTypeAst, CSharpTypeDeclarationAst, CSharpTypeParameterAst, CSharpTypeParameterConstraintAst } from "./core/format/backend-ast/types.js";
 type GeneratorTypeArgs = {
     readonly yieldType: CSharpTypeAst;
     readonly returnType?: CSharpTypeAst;
@@ -13,6 +13,17 @@ type GeneratorTypeArgs = {
     readonly hasNextType: boolean;
     readonly newContext: EmitterContext;
 };
+export type GeneratorLike = Pick<IrFunctionDeclaration, "name" | "returnType" | "isGenerator" | "isAsync" | "overloadFamily">;
+type GeneratorHelperTypeParameters = {
+    readonly typeParameters: readonly CSharpTypeParameterAst[];
+    readonly constraints: readonly CSharpTypeParameterConstraintAst[];
+    readonly typeArguments: readonly CSharpTypeAst[];
+    readonly context: EmitterContext;
+};
+export declare const getGeneratorHelperBaseName: (generator: GeneratorLike, context: EmitterContext, ownerName?: string) => string;
+export declare const usesExchangeBasedGeneratorLowering: (generator: GeneratorLike) => boolean;
+export declare const buildGeneratorHelperTypeArguments: (typeParameterNames: readonly string[] | undefined, context: EmitterContext) => readonly CSharpTypeAst[];
+export declare const emitGeneratorHelperTypeParameters: (typeParameters: readonly IrTypeParameter[], context: EmitterContext) => GeneratorHelperTypeParameters;
 /**
  * Extract generator type arguments as CSharpTypeAst.
  *
@@ -22,15 +33,15 @@ export declare const extractGeneratorTypeArgs: (returnType: IrType | undefined,
 /**
  * Generate wrapper class declaration for a generator function.
  */
-export declare const generateWrapperClass: (func: IrFunctionDeclaration, context: EmitterContext) => [CSharpTypeDeclarationAst, EmitterContext];
+export declare const generateWrapperClass: (func: GeneratorLike, context: EmitterContext, helperBaseName?: string, helperTypeParameters?: readonly IrTypeParameter[]) => [CSharpTypeDeclarationAst, EmitterContext];
 /**
  * Check if a generator function needs bidirectional support
  * (i.e., has TNext type parameter that isn't undefined)
  */
-export declare const needsBidirectionalSupport: (func: IrFunctionDeclaration) => boolean;
+export declare const needsBidirectionalSupport: (func: GeneratorLike) => boolean;
 /**
  * Check if a generator function has a return type (TReturn is not void/undefined)
  */
-export declare const hasGeneratorReturnType: (func: IrFunctionDeclaration) => boolean;
+export declare const hasGeneratorReturnType: (func: GeneratorLike) => boolean;
 export {};
 //# sourceMappingURL=generator-wrapper.d.ts.map

package/dist/generator-wrapper.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"generator-wrapper.d.ts","sourceRoot":"","sources":["../src/generator-wrapper.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,qBAAqB,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAS5C,OAAO,KAAK,EAKV,aAAa,EACb,wBAAwB,EACzB,MAAM,oCAAoC,CAAC;AAE5C,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAClC,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;CACrC,CAAC;AA+DF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GACnC,YAAY,MAAM,GAAG,SAAS,EAC9B,SAAS,cAAc,KACtB,iBA0DF,CAAC;AAkUF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,qBAAqB,EAC3B,SAAS,cAAc,KACtB,CAAC,wBAAwB,EAAE,cAAc,CAqH3C,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,yBAAyB,GACpC,MAAM,qBAAqB,KAC1B,OAoBF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,qBAAqB,KAC1B,OAqBF,CAAC"}
+{"version":3,"file":"generator-wrapper.d.ts","sourceRoot":"","sources":["../src/generator-wrapper.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,qBAAqB,EACrB,MAAM,EACN,eAAe,EAChB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAO5C,OAAO,KAAK,EAEV,aAAa,EACb,wBAAwB,EACxB,sBAAsB,EACtB,gCAAgC,EACjC,MAAM,oCAAoC,CAAC;AAY5C,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAClC,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG,IAAI,CAC9B,qBAAqB,EACrB,MAAM,GAAG,YAAY,GAAG,aAAa,GAAG,SAAS,GAAG,gBAAgB,CACrE,CAAC;AAEF,KAAK,6BAA6B,GAAG;IACnC,QAAQ,CAAC,cAAc,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC3D,QAAQ,CAAC,WAAW,EAAE,SAAS,gCAAgC,EAAE,CAAC;IAClE,QAAQ,CAAC,aAAa,EAAE,SAAS,aAAa,EAAE,CAAC;IACjD,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC,CAAC;AAEF,eAAO,MAAM,0BAA0B,GACrC,WAAW,aAAa,EACxB,SAAS,cAAc,EACvB,YAAY,MAAM,KACjB,MAOF,CAAC;AAEF,eAAO,MAAM,kCAAkC,GAC7C,WAAW,aAAa,KACvB,OAkBF,CAAC;AAEF,eAAO,MAAM,iCAAiC,GAC5C,oBAAoB,SAAS,MAAM,EAAE,GAAG,SAAS,EACjD,SAAS,cAAc,KACtB,SAAS,aAAa,EAOtB,CAAC;AAEJ,eAAO,MAAM,iCAAiC,GAC5C,gBAAgB,SAAS,eAAe,EAAE,EAC1C,SAAS,cAAc,KACtB,6BAaF,CAAC;AAMF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,GACnC,YAAY,MAAM,GAAG,SAAS,EAC9B,SAAS,cAAc,KACtB,iBA2DF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,MAAM,aAAa,EACnB,SAAS,cAAc,EACvB,uBAA0D,EAC1D,uBAAsB,SAAS,eAAe,EAAO,KACpD,CAAC,wBAAwB,EAAE,cAAc,CAmI3C,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,yBAAyB,GAAI,MAAM,aAAa,KAAG,OAqB/D,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,sBAAsB,GAAI,MAAM,aAAa,KAAG,OAqB5D,CAAC"}