@tsonic/emitter 0.0.74 → 0.0.75

package/dist/expressions/calls/call-extension-methods.js

@@ -0,0 +1,191 @@
+/**
+ * Extension method call emission.
+ *
+ * Handles both fluent extension calls (receiver.Method(args)) and
+ * explicit static extension calls (Type.Method(receiver, args)).
+ */
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { emitTypeArgumentsAst, generateSpecializedName, } from "../identifiers.js";
+import { emitTypeAst } from "../../type-emitter.js";
+import { shouldEmitFluentExtensionCall, getTypeNamespace, needsIntCast, isInstanceMemberAccess, } from "./call-analysis.js";
+import { sameTypeAstSurface } from "../../core/format/backend-ast/utils.js";
+import { resolveEffectiveExpressionType } from "../../core/semantic/narrowed-expression-types.js";
+import { identifierExpression } from "../../core/format/backend-ast/builders.js";
+import { isPrimitiveReceiverExtensionCall } from "./call-binding-resolution.js";
+import { matchesExpectedEmissionType } from "../../core/semantic/expected-type-matching.js";
+import { shouldPreferNativeArrayWrapperInterop, shouldNormalizeArrayLikeInteropResult, } from "./call-array-interop.js";
+import { emitCallArguments, wrapIntCast } from "./call-arguments.js";
+import { adaptEmittedExpressionAst } from "../expected-type-adaptation.js";
+const preserveReceiverTypeAssertionAst = (receiverExpr, receiverAst, context) => {
+    if (receiverExpr.kind !== "typeAssertion") {
+        return [receiverAst, context];
+    }
+    const [targetTypeAst, nextContext] = emitTypeAst(receiverExpr.targetType, context);
+    if (receiverAst.kind === "castExpression" &&
+        sameTypeAstSurface(receiverAst.type, targetTypeAst)) {
+        return [receiverAst, nextContext];
+    }
+    return [
+        {
+            kind: "parenthesizedExpression",
+            expression: {
+                kind: "castExpression",
+                type: targetTypeAst,
+                expression: receiverAst,
+            },
+        },
+        nextContext,
+    ];
+};
+const maybeConvertReceiverToExpectedJsNumberAst = (receiverAst, actualType, expectedType, context) => {
+    if (!actualType || !expectedType) {
+        return [receiverAst, context];
+    }
+    if (expectedType.kind !== "primitiveType" || expectedType.name !== "number") {
+        return [receiverAst, context];
+    }
+    if (actualType.kind === "primitiveType" &&
+        (actualType.name === "number" || actualType.name === "int")) {
+        return [receiverAst, context];
+    }
+    return [
+        {
+            kind: "invocationExpression",
+            expression: identifierExpression("global::System.Convert.ToDouble"),
+            arguments: [receiverAst],
+        },
+        context,
+    ];
+};
+const adaptExtensionReceiverAst = (receiverExpr, receiverAst, receiverType, expectedReceiverType, context) => {
+    if (!expectedReceiverType) {
+        return [receiverAst, context];
+    }
+    const adaptationSourceExpr = receiverExpr.kind === "asinterface"
+        ? receiverExpr.expression
+        : receiverExpr;
+    const adaptationSourceType = receiverExpr.kind === "asinterface"
+        ? (resolveEffectiveExpressionType(receiverExpr.expression, context) ??
+            receiverExpr.expression.inferredType)
+        : receiverType;
+    if (adaptationSourceType &&
+        matchesExpectedEmissionType(adaptationSourceType, expectedReceiverType, context)) {
+        return [receiverAst, context];
+    }
+    const [adaptedAst, adaptedContext] = adaptEmittedExpressionAst({
+        expr: adaptationSourceExpr,
+        valueAst: receiverAst,
+        context,
+        expectedType: expectedReceiverType,
+    });
+    return maybeConvertReceiverToExpectedJsNumberAst(adaptedAst, adaptationSourceType, expectedReceiverType, adaptedContext);
+};
+/**
+ * Try to emit an extension method call. Returns undefined if the call
+ * is not an extension method invocation.
+ */
+export const tryEmitExtensionMethodCall = (expr, context, expectedType) => {
+    if (expr.callee.kind !== "memberAccess")
+        return undefined;
+    const binding = expr.callee.memberBinding;
+    if (!binding?.isExtensionMethod)
+        return undefined;
+    if (!isInstanceMemberAccess(expr.callee, context))
+        return undefined;
+    if (shouldPreferNativeArrayWrapperInterop(binding, expr.callee.object.inferredType, context)) {
+        return undefined;
+    }
+    let currentContext = context;
+    const receiverExpr = expr.callee.object;
+    const receiverType = resolveEffectiveExpressionType(receiverExpr, currentContext) ??
+        receiverExpr.inferredType;
+    const [rawReceiverAst, receiverContext] = emitExpressionAst(receiverExpr, currentContext);
+    const [receiverAst, preservedReceiverContext] = preserveReceiverTypeAssertionAst(receiverExpr, rawReceiverAst, receiverContext);
+    currentContext = preservedReceiverContext;
+    // Fluent extension method path
+    if (shouldEmitFluentExtensionCall(binding) &&
+        !isPrimitiveReceiverExtensionCall(receiverType, currentContext)) {
+        const ns = getTypeNamespace(binding.type);
+        if (ns) {
+            currentContext.usings.add(ns);
+        }
+        let typeArgAsts = [];
+        if (expr.typeArguments && expr.typeArguments.length > 0) {
+            const [typeArgs, typeContext] = emitTypeArgumentsAst(expr.typeArguments, currentContext);
+            typeArgAsts = typeArgs;
+            currentContext = typeContext;
+        }
+        const [argAsts, argContext] = emitCallArguments(expr.arguments, expr, currentContext);
+        currentContext = argContext;
+        const memberAccess = expr.isOptional
+            ? {
+                kind: "conditionalMemberAccessExpression",
+                expression: receiverAst,
+                memberName: binding.member,
+            }
+            : {
+                kind: "memberAccessExpression",
+                expression: receiverAst,
+                memberName: binding.member,
+            };
+        const invocation = {
+            kind: "invocationExpression",
+            expression: memberAccess,
+            arguments: argAsts,
+            typeArguments: typeArgAsts.length > 0 ? typeArgAsts : undefined,
+        };
+        const callAst = shouldNormalizeArrayLikeInteropResult(expr.inferredType, expectedType)
+            ? {
+                kind: "invocationExpression",
+                expression: identifierExpression("global::System.Linq.Enumerable.ToArray"),
+                arguments: [invocation],
+            }
+            : invocation;
+        return [
+            wrapIntCast(needsIntCast(expr, binding.member), callAst),
+            currentContext,
+        ];
+    }
+    let finalCalleeName = `global::${binding.type}.${binding.member}`;
+    let typeArgAsts = [];
+    if (expr.typeArguments && expr.typeArguments.length > 0) {
+        if (expr.requiresSpecialization) {
+            const [specializedName, specContext] = generateSpecializedName(finalCalleeName, expr.typeArguments, currentContext);
+            finalCalleeName = specializedName;
+            currentContext = specContext;
+        }
+        else {
+            const [typeArgs, typeContext] = emitTypeArgumentsAst(expr.typeArguments, currentContext);
+            typeArgAsts = typeArgs;
+            currentContext = typeContext;
+        }
+    }
+    const [argAsts, argContext] = emitCallArguments(expr.arguments, expr, currentContext);
+    currentContext = argContext;
+    const [adaptedReceiverAst, adaptedReceiverContext] = adaptExtensionReceiverAst(receiverExpr, receiverAst, receiverType, binding.receiverExpectedType, currentContext);
+    currentContext = adaptedReceiverContext;
+    // Prepend receiver as first argument (static extension call)
+    const allArgAsts = [
+        adaptedReceiverAst,
+        ...argAsts,
+    ];
+    const invocation = {
+        kind: "invocationExpression",
+        expression: identifierExpression(finalCalleeName),
+        arguments: allArgAsts,
+        typeArguments: typeArgAsts.length > 0 ? typeArgAsts : undefined,
+    };
+    // Wrap in ToArray() if result type is array
+    const callAst = shouldNormalizeArrayLikeInteropResult(expr.inferredType, expectedType)
+        ? {
+            kind: "invocationExpression",
+            expression: identifierExpression("global::System.Linq.Enumerable.ToArray"),
+            arguments: [invocation],
+        }
+        : invocation;
+    return [
+        wrapIntCast(needsIntCast(expr, finalCalleeName), callAst),
+        currentContext,
+    ];
+};
+//# sourceMappingURL=call-extension-methods.js.map

package/dist/expressions/calls/call-extension-methods.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-extension-methods.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-extension-methods.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EACL,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EACL,6BAA6B,EAC7B,gBAAgB,EAChB,YAAY,EACZ,sBAAsB,GACvB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAK5E,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,gCAAgC,EAAE,MAAM,8BAA8B,CAAC;AAChF,OAAO,EAAE,2BAA2B,EAAE,MAAM,+CAA+C,CAAC;AAC5F,OAAO,EACL,qCAAqC,EACrC,qCAAqC,GACtC,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE3E,MAAM,gCAAgC,GAAG,CACvC,YAA0B,EAC1B,WAAgC,EAChC,OAAuB,EACgB,EAAE;IACzC,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC1C,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,GAAG,WAAW,CAC9C,YAAY,CAAC,UAAU,EACvB,OAAO,CACR,CAAC;IAEF,IACE,WAAW,CAAC,IAAI,KAAK,gBAAgB;QACrC,kBAAkB,CAAC,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,EACnD,CAAC;QACD,OAAO,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACpC,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,yBAAyB;YAC/B,UAAU,EAAE;gBACV,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE,aAAa;gBACnB,UAAU,EAAE,WAAW;aACxB;SACF;QACD,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,yCAAyC,GAAG,CAChD,WAAgC,EAChC,UAA8B,EAC9B,YAAgC,EAChC,OAAuB,EACgB,EAAE;IACzC,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,IAAI,YAAY,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5E,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,IACE,UAAU,CAAC,IAAI,KAAK,eAAe;QACnC,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,EAC3D,CAAC;QACD,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,oBAAoB,CAAC,iCAAiC,CAAC;YACnE,SAAS,EAAE,CAAC,WAAW,CAAC;SACzB;QACD,OAAO;KACR,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,YAA0B,EAC1B,WAAgC,EAChC,YAAgC,EAChC,oBAAwC,EACxC,OAAuB,EACgB,EAAE;IACzC,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAC1B,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,oBAAoB,GACxB,YAAY,CAAC,IAAI,KAAK,aAAa;QACjC,CAAC,CAAC,YAAY,CAAC,UAAU;QACzB,CAAC,CAAC,YAAY,CAAC;IACnB,MAAM,oBAAoB,GACxB,YAAY,CAAC,IAAI,KAAK,aAAa;QACjC,CAAC,CAAC,CAAC,8BAA8B,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC;YACjE,YAAY,CAAC,UAAU,CAAC,YAAY,CAAC;QACvC,CAAC,CAAC,YAAY,CAAC;IAEnB,IACE,oBAAoB;QACpB,2BAA2B,CACzB,oBAAoB,EACpB,oBAAoB,EACpB,OAAO,CACR,EACD,CAAC;QACD,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,GAAG,yBAAyB,CAAC;QAC7D,IAAI,EAAE,oBAAoB;QAC1B,QAAQ,EAAE,WAAW;QACrB,OAAO;QACP,YAAY,EAAE,oBAAoB;KACnC,CAAC,CAAC;IAEH,OAAO,yCAAyC,CAC9C,UAAU,EACV,oBAAoB,EACpB,oBAAoB,EACpB,cAAc,CACf,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAA6C,EAC7C,OAAuB,EACvB,YAAgC,EACmB,EAAE;IACrD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,SAAS,CAAC;IAE1D,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC;IAC1C,IAAI,CAAC,OAAO,EAAE,iBAAiB;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC;QAAE,OAAO,SAAS,CAAC;IACpE,IACE,qCAAqC,CACnC,OAAO,EACP,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,EAC/B,OAAO,CACR,EACD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,MAAM,YAAY,GAChB,8BAA8B,CAAC,YAAY,EAAE,cAAc,CAAC;QAC5D,YAAY,CAAC,YAAY,CAAC;IAE5B,MAAM,CAAC,cAAc,EAAE,eAAe,CAAC,GAAG,iBAAiB,CACzD,YAAY,EACZ,cAAc,CACf,CAAC;IACF,MAAM,CAAC,WAAW,EAAE,wBAAwB,CAAC,GAC3C,gCAAgC,CAC9B,YAAY,EACZ,cAAc,EACd,eAAe,CAChB,CAAC;IACJ,cAAc,GAAG,wBAAwB,CAAC;IAE1C,+BAA+B;IAC/B,IACE,6BAA6B,CAAC,OAAO,CAAC;QACtC,CAAC,gCAAgC,CAAC,YAAY,EAAE,cAAc,CAAC,EAC/D,CAAC;QACD,MAAM,EAAE,GAAG,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,EAAE,EAAE,CAAC;YACP,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,CAAC;QAED,IAAI,WAAW,GAA6B,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxD,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,oBAAoB,CAClD,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;YACF,WAAW,GAAG,QAAQ,CAAC;YACvB,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;QAED,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC7C,IAAI,CAAC,SAAS,EACd,IAAI,EACJ,cAAc,CACf,CAAC;QACF,cAAc,GAAG,UAAU,CAAC;QAE5B,MAAM,YAAY,GAAwB,IAAI,CAAC,UAAU;YACvD,CAAC,CAAC;gBACE,IAAI,EAAE,mCAAmC;gBACzC,UAAU,EAAE,WAAW;gBACvB,UAAU,EAAE,OAAO,CAAC,MAAM;aAC3B;YACH,CAAC,CAAC;gBACE,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,WAAW;gBACvB,UAAU,EAAE,OAAO,CAAC,MAAM;aAC3B,CAAC;QAEN,MAAM,UAAU,GAAwB;YACtC,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,YAAY;YACxB,SAAS,EAAE,OAAO;YAClB,aAAa,EAAE,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;SAChE,CAAC;QAEF,MAAM,OAAO,GAAwB,qCAAqC,CACxE,IAAI,CAAC,YAAY,EACjB,YAAY,CACb;YACC,CAAC,CAAC;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE,oBAAoB,CAC9B,wCAAwC,CACzC;gBACD,SAAS,EAAE,CAAC,UAAU,CAAC;aACxB;YACH,CAAC,CAAC,UAAU,CAAC;QAEf,OAAO;YACL,WAAW,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;YACxD,cAAc;SACf,CAAC;IACJ,CAAC;IAED,IAAI,eAAe,GAAG,WAAW,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;IAElE,IAAI,WAAW,GAA6B,EAAE,CAAC;IAC/C,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;YAChC,MAAM,CAAC,eAAe,EAAE,WAAW,CAAC,GAAG,uBAAuB,CAC5D,eAAe,EACf,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;YACF,eAAe,GAAG,eAAe,CAAC;YAClC,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,oBAAoB,CAClD,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;YACF,WAAW,GAAG,QAAQ,CAAC;YACvB,cAAc,GAAG,WAAW,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,iBAAiB,CAC7C,IAAI,CAAC,SAAS,EACd,IAAI,EACJ,cAAc,CACf,CAAC;IACF,cAAc,GAAG,UAAU,CAAC;IAE5B,MAAM,CAAC,kBAAkB,EAAE,sBAAsB,CAAC,GAChD,yBAAyB,CACvB,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,OAAO,CAAC,oBAAoB,EAC5B,cAAc,CACf,CAAC;IACJ,cAAc,GAAG,sBAAsB,CAAC;IAExC,6DAA6D;IAC7D,MAAM,UAAU,GAAmC;QACjD,kBAAkB;QAClB,GAAG,OAAO;KACX,CAAC;IAEF,MAAM,UAAU,GAAwB;QACtC,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE,oBAAoB,CAAC,eAAe,CAAC;QACjD,SAAS,EAAE,UAAU;QACrB,aAAa,EAAE,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;KAChE,CAAC;IAEF,4CAA4C;IAC5C,MAAM,OAAO,GAAwB,qCAAqC,CACxE,IAAI,CAAC,YAAY,EACjB,YAAY,CACb;QACC,CAAC,CAAC;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,oBAAoB,CAC9B,wCAAwC,CACzC;YACD,SAAS,EAAE,CAAC,UAAU,CAAC;SACxB;QACH,CAAC,CAAC,UAAU,CAAC;IAEf,OAAO;QACL,WAAW,CAAC,YAAY,CAAC,IAAI,EAAE,eAAe,CAAC,EAAE,OAAO,CAAC;QACzD,cAAc;KACf,CAAC;AACJ,CAAC,CAAC"}

package/dist/expressions/calls/call-json.d.ts

@@ -0,0 +1,15 @@
+/**
+ * JSON serialization call emission.
+ * Handles JSON.parse/JSON.stringify as System.Text.Json.JsonSerializer calls.
+ */
+import { IrExpression, IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+declare const emitJsonSerializerCall: (expr: Extract<IrExpression, {
+    kind: "call";
+}>, context: EmitterContext, method: "Serialize" | "Deserialize", deserializeTypeOverride?: IrType) => [CSharpExpressionAst, EmitterContext];
+declare const emitGlobalJsonCall: (expr: Extract<IrExpression, {
+    kind: "call";
+}>, context: EmitterContext, method: "Serialize" | "Deserialize", expectedType?: IrType) => [CSharpExpressionAst, EmitterContext];
+export { emitJsonSerializerCall, emitGlobalJsonCall };
+//# sourceMappingURL=call-json.d.ts.map

package/dist/expressions/calls/call-json.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-json.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/call-json.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAQhD,OAAO,KAAK,EACV,mBAAmB,EAEpB,MAAM,wCAAwC,CAAC;AA+JhD,QAAA,MAAM,sBAAsB,GAC1B,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,EACvB,QAAQ,WAAW,GAAG,aAAa,EACnC,0BAA0B,MAAM,KAC/B,CAAC,mBAAmB,EAAE,cAAc,CA+EtC,CAAC;AAEF,QAAA,MAAM,kBAAkB,GACtB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,EACvB,QAAQ,WAAW,GAAG,aAAa,EACnC,eAAe,MAAM,KACpB,CAAC,mBAAmB,EAAE,cAAc,CAiCtC,CAAC;AAEF,OAAO,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,CAAC"}

package/dist/expressions/calls/call-json.js

@@ -0,0 +1,212 @@
+/**
+ * JSON serialization call emission.
+ * Handles JSON.parse/JSON.stringify as System.Text.Json.JsonSerializer calls.
+ */
+import { emitExpressionAst } from "../../expression-emitter.js";
+import { registerJsonAotExpressionTypes, registerJsonAotType, registerJsonRuntimeSupport, } from "./call-analysis.js";
+import { containsTypeParameter } from "../../core/semantic/type-resolution.js";
+import { identifierExpression } from "../../core/format/backend-ast/builders.js";
+import { normalizeClrQualifiedName } from "../../core/format/backend-ast/utils.js";
+import { emitTypeArgumentsAst } from "../identifiers.js";
+import { buildExactGlobalBindingReference } from "../exact-global-bindings.js";
+import { resolveEffectiveExpressionType } from "../../core/semantic/narrowed-expression-types.js";
+import { referenceTypeHasClrIdentity } from "../../core/semantic/clr-type-identity.js";
+const JSON_BROAD_CLR_NAMES = new Set([
+    "System.Object",
+    "global::System.Object",
+    "Tsonic.Runtime.JsValue",
+    "global::Tsonic.Runtime.JsValue",
+]);
+const JS_VALUE_CLR_NAMES = new Set([
+    "Tsonic.Runtime.JsValue",
+    "global::Tsonic.Runtime.JsValue",
+]);
+const isConcreteGlobalJsonParseTarget = (type) => {
+    if (!type)
+        return false;
+    if (type.kind === "unknownType" ||
+        type.kind === "anyType" ||
+        type.kind === "voidType" ||
+        type.kind === "neverType") {
+        return false;
+    }
+    if (type.kind === "unionType" || type.kind === "intersectionType") {
+        return false;
+    }
+    if (type.kind === "referenceType" &&
+        (type.name === "JsValue" ||
+            referenceTypeHasClrIdentity(type, JS_VALUE_CLR_NAMES))) {
+        return false;
+    }
+    return !containsTypeParameter(type);
+};
+const isConcreteGlobalJsonStringifySource = (type) => {
+    if (!type)
+        return false;
+    if (type.kind === "unknownType" ||
+        type.kind === "anyType" ||
+        type.kind === "voidType" ||
+        type.kind === "neverType" ||
+        type.kind === "typeParameterType") {
+        return false;
+    }
+    if (type.kind === "unionType" || type.kind === "intersectionType") {
+        return false;
+    }
+    if (type.kind === "dictionaryType") {
+        return false;
+    }
+    if (type.kind === "referenceType" &&
+        (type.name === "object" ||
+            type.name === "JsValue" ||
+            referenceTypeHasClrIdentity(type, JSON_BROAD_CLR_NAMES))) {
+        return false;
+    }
+    return !containsTypeParameter(type);
+};
+const emitRuntimeJsonParseCall = (expr, context) => {
+    let currentContext = context;
+    const argAsts = [];
+    for (const arg of expr.arguments) {
+        if (arg.kind === "spread") {
+            const [spreadAst, ctx] = emitExpressionAst(arg.expression, currentContext);
+            argAsts.push(spreadAst);
+            currentContext = ctx;
+            continue;
+        }
+        const [argAst, ctx] = emitExpressionAst(arg, currentContext);
+        argAsts.push(argAst);
+        currentContext = ctx;
+    }
+    const jsonOwnerExpression = expr.callee.kind === "memberAccess" && expr.callee.memberBinding
+        ? identifierExpression(normalizeClrQualifiedName(expr.callee.memberBinding.type, true))
+        : buildExactGlobalBindingReference("JSON", context);
+    return [
+        {
+            kind: "invocationExpression",
+            expression: {
+                kind: "memberAccessExpression",
+                expression: jsonOwnerExpression,
+                memberName: "parse",
+            },
+            arguments: argAsts,
+        },
+        currentContext,
+    ];
+};
+const emitRuntimeJsonStringifyCall = (expr, context) => {
+    registerJsonRuntimeSupport(context);
+    let currentContext = context;
+    const argAsts = [];
+    for (const arg of expr.arguments) {
+        if (arg.kind === "spread") {
+            const [spreadAst, ctx] = emitExpressionAst(arg.expression, currentContext);
+            argAsts.push(spreadAst);
+            currentContext = ctx;
+            continue;
+        }
+        const [argAst, ctx] = emitExpressionAst(arg, currentContext);
+        argAsts.push(argAst);
+        currentContext = ctx;
+    }
+    return [
+        {
+            kind: "invocationExpression",
+            expression: {
+                kind: "memberAccessExpression",
+                expression: identifierExpression(`global::${context.options.rootNamespace ?? "TsonicApp"}.TsonicJsonRuntime`),
+                memberName: "Stringify",
+            },
+            arguments: argAsts,
+        },
+        currentContext,
+    ];
+};
+const emitJsonSerializerCall = (expr, context, method, deserializeTypeOverride) => {
+    let currentContext = context;
+    // Register the type with the JSON AOT registry
+    if (method === "Serialize") {
+        const firstArg = expr.arguments[0];
+        if (firstArg && firstArg.kind !== "spread") {
+            registerJsonAotExpressionTypes(firstArg, context);
+        }
+    }
+    else {
+        const typeArg = deserializeTypeOverride ?? expr.typeArguments?.[0];
+        if (typeArg) {
+            registerJsonAotType(typeArg, context);
+        }
+    }
+    // Emit type arguments for Deserialize<T>
+    let typeArgAsts = [];
+    const deserializeIrType = method === "Deserialize"
+        ? (deserializeTypeOverride ?? expr.typeArguments?.[0])
+        : undefined;
+    if (deserializeIrType) {
+        const [typeArgs, typeContext] = emitTypeArgumentsAst([deserializeIrType], currentContext);
+        typeArgAsts = typeArgs;
+        currentContext = typeContext;
+    }
+    else if (expr.typeArguments && expr.typeArguments.length > 0) {
+        const [typeArgs, typeContext] = emitTypeArgumentsAst(expr.typeArguments, currentContext);
+        typeArgAsts = typeArgs;
+        currentContext = typeContext;
+    }
+    // Emit arguments
+    const argAsts = [];
+    for (const arg of expr.arguments) {
+        if (arg.kind === "spread") {
+            const [spreadAst, ctx] = emitExpressionAst(arg.expression, currentContext);
+            argAsts.push(spreadAst);
+            currentContext = ctx;
+        }
+        else {
+            const [argAst, ctx] = emitExpressionAst(arg, currentContext);
+            argAsts.push(argAst);
+            currentContext = ctx;
+        }
+    }
+    // Only pass the generated JSON AOT options when this call site actually
+    // participates in the NativeAOT JSON rewrite. Broad global JSON.parse(...)
+    // calls stay on the js-surface parse path and should not force AOT metadata.
+    if (context.options.jsonAotRegistry?.needsJsonAot) {
+        argAsts.push(identifierExpression(`global::${context.options.rootNamespace}.TsonicJson.Options`));
+    }
+    const invocation = {
+        kind: "invocationExpression",
+        expression: {
+            kind: "memberAccessExpression",
+            expression: identifierExpression("global::System.Text.Json.JsonSerializer"),
+            memberName: method,
+        },
+        arguments: argAsts,
+        typeArguments: typeArgAsts.length > 0 ? typeArgAsts : undefined,
+    };
+    return [invocation, currentContext];
+};
+const emitGlobalJsonCall = (expr, context, method, expectedType) => {
+    if (method === "Serialize") {
+        const firstArg = expr.arguments[0];
+        const sourceType = firstArg && firstArg.kind !== "spread"
+            ? (resolveEffectiveExpressionType(firstArg, context) ??
+                firstArg.inferredType)
+            : undefined;
+        if (!isConcreteGlobalJsonStringifySource(sourceType)) {
+            return emitRuntimeJsonStringifyCall(expr, context);
+        }
+        return emitJsonSerializerCall(expr, context, method);
+    }
+    const deserializeTarget = expr.typeArguments?.[0] ??
+        (isConcreteGlobalJsonParseTarget(expectedType)
+            ? expectedType
+            : undefined) ??
+        (isConcreteGlobalJsonParseTarget(expr.inferredType)
+            ? expr.inferredType
+            : undefined);
+    if (deserializeTarget) {
+        return emitJsonSerializerCall(expr, context, "Deserialize", deserializeTarget);
+    }
+    return emitRuntimeJsonParseCall(expr, context);
+};
+export { emitJsonSerializerCall, emitGlobalJsonCall };
+//# sourceMappingURL=call-json.js.map

package/dist/expressions/calls/call-json.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-json.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-json.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EACL,8BAA8B,EAC9B,mBAAmB,EACnB,0BAA0B,GAC3B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAK/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EAAE,yBAAyB,EAAE,MAAM,wCAAwC,CAAC;AACnF,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAE,gCAAgC,EAAE,MAAM,6BAA6B,CAAC;AAC/E,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,2BAA2B,EAAE,MAAM,0CAA0C,CAAC;AAEvF,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;IACnC,eAAe;IACf,uBAAuB;IACvB,wBAAwB;IACxB,gCAAgC;CACjC,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,wBAAwB;IACxB,gCAAgC;CACjC,CAAC,CAAC;AAEH,MAAM,+BAA+B,GAAG,CACtC,IAAwB,EACR,EAAE;IAClB,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IACE,IAAI,CAAC,IAAI,KAAK,aAAa;QAC3B,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,IAAI,CAAC,IAAI,KAAK,UAAU;QACxB,IAAI,CAAC,IAAI,KAAK,WAAW,EACzB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAClE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;QAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;YACtB,2BAA2B,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC,EACxD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,mCAAmC,GAAG,CAC1C,IAAwB,EACR,EAAE;IAClB,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IACE,IAAI,CAAC,IAAI,KAAK,aAAa;QAC3B,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,IAAI,CAAC,IAAI,KAAK,UAAU;QACxB,IAAI,CAAC,IAAI,KAAK,WAAW;QACzB,IAAI,CAAC,IAAI,KAAK,mBAAmB,EACjC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAClE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IACE,IAAI,CAAC,IAAI,KAAK,eAAe;QAC7B,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YACrB,IAAI,CAAC,IAAI,KAAK,SAAS;YACvB,2BAA2B,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC,EAC1D,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,IAA6C,EAC7C,OAAuB,EACgB,EAAE;IACzC,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,OAAO,GAA0B,EAAE,CAAC;IAE1C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,GAAG,iBAAiB,CACxC,GAAG,CAAC,UAAU,EACd,cAAc,CACf,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACxB,cAAc,GAAG,GAAG,CAAC;YACrB,SAAS;QACX,CAAC;QAED,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,iBAAiB,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAC7D,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,cAAc,GAAG,GAAG,CAAC;IACvB,CAAC;IAED,MAAM,mBAAmB,GACvB,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa;QAC9D,CAAC,CAAC,oBAAoB,CAClB,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAChE;QACH,CAAC,CAAC,gCAAgC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAExD,OAAO;QACL;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,mBAAmB;gBAC/B,UAAU,EAAE,OAAO;aACpB;YACD,SAAS,EAAE,OAAO;SACnB;QACD,cAAc;KACf,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,IAA6C,EAC7C,OAAuB,EACgB,EAAE;IACzC,0BAA0B,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,cAAc,GAAG,OAAO,CAAC;IAC7B,MAAM,OAAO,GAA0B,EAAE,CAAC;IAE1C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,GAAG,iBAAiB,CACxC,GAAG,CAAC,UAAU,EACd,cAAc,CACf,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACxB,cAAc,GAAG,GAAG,CAAC;YACrB,SAAS;QACX,CAAC;QAED,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,iBAAiB,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAC7D,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,cAAc,GAAG,GAAG,CAAC;IACvB,CAAC;IAED,OAAO;QACL;YACE,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,UAAU,EAAE,oBAAoB,CAC9B,WAAW,OAAO,CAAC,OAAO,CAAC,aAAa,IAAI,WAAW,oBAAoB,CAC5E;gBACD,UAAU,EAAE,WAAW;aACxB;YACD,SAAS,EAAE,OAAO;SACnB;QACD,cAAc;KACf,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,IAA6C,EAC7C,OAAuB,EACvB,MAAmC,EACnC,uBAAgC,EACO,EAAE;IACzC,IAAI,cAAc,GAAG,OAAO,CAAC;IAE7B,+CAA+C;IAC/C,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3C,8BAA8B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,OAAO,GAAG,uBAAuB,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;QACnE,IAAI,OAAO,EAAE,CAAC;YACZ,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,yCAAyC;IACzC,IAAI,WAAW,GAA6B,EAAE,CAAC;IAC/C,MAAM,iBAAiB,GACrB,MAAM,KAAK,aAAa;QACtB,CAAC,CAAC,CAAC,uBAAuB,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,iBAAiB,EAAE,CAAC;QACtB,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,oBAAoB,CAClD,CAAC,iBAAiB,CAAC,EACnB,cAAc,CACf,CAAC;QACF,WAAW,GAAG,QAAQ,CAAC;QACvB,cAAc,GAAG,WAAW,CAAC;IAC/B,CAAC;SAAM,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/D,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,oBAAoB,CAClD,IAAI,CAAC,aAAa,EAClB,cAAc,CACf,CAAC;QACF,WAAW,GAAG,QAAQ,CAAC;QACvB,cAAc,GAAG,WAAW,CAAC;IAC/B,CAAC;IAED,iBAAiB;IACjB,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,GAAG,iBAAiB,CACxC,GAAG,CAAC,UAAU,EACd,cAAc,CACf,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACxB,cAAc,GAAG,GAAG,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,iBAAiB,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;YAC7D,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrB,cAAc,GAAG,GAAG,CAAC;QACvB,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,2EAA2E;IAC3E,6EAA6E;IAC7E,IAAI,OAAO,CAAC,OAAO,CAAC,eAAe,EAAE,YAAY,EAAE,CAAC;QAClD,OAAO,CAAC,IAAI,CACV,oBAAoB,CAClB,WAAW,OAAO,CAAC,OAAO,CAAC,aAAa,qBAAqB,CAC9D,CACF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAwB;QACtC,IAAI,EAAE,sBAAsB;QAC5B,UAAU,EAAE;YACV,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,oBAAoB,CAC9B,yCAAyC,CAC1C;YACD,UAAU,EAAE,MAAM;SACnB;QACD,SAAS,EAAE,OAAO;QAClB,aAAa,EAAE,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;KAChE,CAAC;IACF,OAAO,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAA6C,EAC7C,OAAuB,EACvB,MAAmC,EACnC,YAAqB,EACkB,EAAE;IACzC,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,UAAU,GACd,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ;YACpC,CAAC,CAAC,CAAC,8BAA8B,CAAC,QAAQ,EAAE,OAAO,CAAC;gBAClD,QAAQ,CAAC,YAAY,CAAC;YACxB,CAAC,CAAC,SAAS,CAAC;QAChB,IAAI,CAAC,mCAAmC,CAAC,UAAU,CAAC,EAAE,CAAC;YACrD,OAAO,4BAA4B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACrD,CAAC;QACD,OAAO,sBAAsB,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACvD,CAAC;IAED,MAAM,iBAAiB,GACrB,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;QACvB,CAAC,+BAA+B,CAAC,YAAY,CAAC;YAC5C,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,SAAS,CAAC;QACd,CAAC,+BAA+B,CAAC,IAAI,CAAC,YAAY,CAAC;YACjD,CAAC,CAAC,IAAI,CAAC,YAAY;YACnB,CAAC,CAAC,SAAS,CAAC,CAAC;IAEjB,IAAI,iBAAiB,EAAE,CAAC;QACtB,OAAO,sBAAsB,CAC3B,IAAI,EACJ,OAAO,EACP,aAAa,EACb,iBAAiB,CAClB,CAAC;IACJ,CAAC;IAED,OAAO,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACjD,CAAC,CAAC;AAEF,OAAO,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,CAAC"}

package/dist/expressions/calls/call-promise-chains.d.ts

@@ -0,0 +1,7 @@
+import { IrExpression } from "@tsonic/frontend";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+import type { EmitterContext } from "../../types.js";
+export declare const emitPromiseThenCatchFinally: (expr: Extract<IrExpression, {
+    kind: "call";
+}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext] | null;
+//# sourceMappingURL=call-promise-chains.d.ts.map

package/dist/expressions/calls/call-promise-chains.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-promise-chains.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/call-promise-chains.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAU,MAAM,kBAAkB,CAAC;AAGxD,OAAO,KAAK,EAEV,mBAAmB,EAGpB,MAAM,wCAAwC,CAAC;AAEhD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAiGrD,eAAO,MAAM,2BAA2B,GACtC,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAAC,GAAG,IA4e1C,CAAC"}