@tsonic/emitter 0.0.62 → 0.0.63

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

@@ -0,0 +1,284 @@
+/**
+ * Call expression analysis and detection helpers
+ */
+import { emitTypeAst } from "../../type-emitter.js";
+import { renderTypeAst } from "../../core/format/backend-ast/utils.js";
+import { containsTypeParameter } from "../../core/semantic/type-resolution.js";
+/**
+ * Ref/out/in parameter handling:
+ * The frontend extracts parameter passing modes from resolved signatures
+ * and attaches them to IrCallExpression.argumentPassing array.
+ * The emitter reads this array and prefixes arguments with ref/out/in keywords.
+ */
+/**
+ * Check if an expression is an lvalue (can be passed by reference)
+ * Only identifiers and member accesses are lvalues in C#
+ */
+export const isLValue = (expr) => {
+    return expr.kind === "identifier" || expr.kind === "memberAccess";
+};
+/**
+ * Check if an expression has an `as out<T>`, `as ref<T>`, or `as inref<T>` cast.
+ * Returns the modifier ("out", "ref", "in") or undefined if not a passing modifier cast.
+ *
+ * When TypeScript code has `value as out<int>`, the frontend converts this to
+ * an expression with `inferredType: { kind: "referenceType", name: "out", ... }`.
+ */
+export const getPassingModifierFromCast = (expr) => {
+    const inferredType = expr.inferredType;
+    if (!inferredType || inferredType.kind !== "referenceType") {
+        return undefined;
+    }
+    const typeName = inferredType.name;
+    if (typeName === "out")
+        return "out";
+    if (typeName === "ref")
+        return "ref";
+    if (typeName === "inref")
+        return "in"; // inref maps to C# 'in' keyword
+    return undefined;
+};
+/**
+ * Check if a member access expression targets System.Text.Json.JsonSerializer
+ */
+export const isJsonSerializerCall = (callee) => {
+    if (callee.kind !== "memberAccess")
+        return null;
+    if (!callee.memberBinding)
+        return null;
+    const { type, member } = callee.memberBinding;
+    // Check if this is System.Text.Json.JsonSerializer
+    if (type !== "System.Text.Json.JsonSerializer")
+        return null;
+    // Check if the member is Serialize or Deserialize
+    if (member === "Serialize")
+        return { method: "Serialize" };
+    if (member === "Deserialize")
+        return { method: "Deserialize" };
+    return null;
+};
+/**
+ * Check if a call targets global JSON.stringify or JSON.parse
+ * These global JSON methods compile to JsonSerializer
+ */
+export const isGlobalJsonCall = (callee) => {
+    if (callee.kind !== "memberAccess")
+        return null;
+    // Check if object is the global JSON identifier
+    const obj = callee.object;
+    if (obj.kind !== "identifier" || obj.name !== "JSON")
+        return null;
+    // Check property name
+    const prop = callee.property;
+    if (typeof prop !== "string")
+        return null;
+    if (prop === "stringify")
+        return { method: "Serialize" };
+    if (prop === "parse")
+        return { method: "Deserialize" };
+    return null;
+};
+/**
+ * Heuristic: Determine if a member access is an instance-style access (receiver.value)
+ * vs a static type reference (Type.Member).
+ *
+ * This mirrors the logic in emitMemberAccess; extension-method lowering only applies
+ * to instance-style member accesses.
+ */
+export const isInstanceMemberAccess = (expr, context) => {
+    // Imported types (e.g., `Enumerable.Where(...)`) are static receiver expressions,
+    // even if TypeScript assigns them an inferredType.
+    if (expr.object.kind === "identifier") {
+        const importBinding = context.importBindings?.get(expr.object.name);
+        if (importBinding?.kind === "type") {
+            return false;
+        }
+        // If this isn't an import and we don't have a receiver type, default to instance.
+        // This matches emitMemberAccess's behavior and prevents local variables from being
+        // misclassified as static type receivers (which breaks extension method lowering).
+        if (!expr.object.inferredType) {
+            return true;
+        }
+    }
+    const objectType = expr.object.inferredType;
+    return (objectType?.kind === "referenceType" ||
+        objectType?.kind === "arrayType" ||
+        objectType?.kind === "intersectionType" ||
+        objectType?.kind === "unionType" ||
+        objectType?.kind === "primitiveType" ||
+        objectType?.kind === "literalType" ||
+        objectType?.kind === "typeParameterType" ||
+        objectType?.kind === "unknownType");
+};
+/**
+ * Whether to emit an extension method call using fluent instance syntax (receiver.Method(...))
+ * instead of explicit static invocation (Type.Method(receiver, ...)).
+ *
+ * Default: prefer static invocation to avoid relying on `using` directives and to avoid
+ * accidental binding to an instance member when a type has both an instance method and
+ * an extension method with the same name.
+ *
+ * Exception: certain toolchains (notably EF query precompilation) require the *syntax*
+ * of extension-method invocation so the analyzer can locate queries in user code.
+ */
+export const shouldEmitFluentExtensionCall = (bindingType, memberName) => {
+    // EF Core query precompilation requires fluent/extension syntax specifically for Queryable.
+    // Keep Enumerable as explicit static invocation by default to avoid accidental binding to
+    // instance methods on custom enumerable types.
+    if (bindingType.startsWith("System.Linq.Queryable"))
+        return true;
+    // EF Core query operators (Include/ThenInclude/AsNoTracking/etc.)
+    if (bindingType.startsWith("Microsoft.EntityFrameworkCore."))
+        return true;
+    // EF Core query precompilation also requires fluent syntax for certain Enumerable terminal ops
+    // (e.g., IQueryable<T>.ToList()/ToArray()). When emitted as explicit static calls
+    // (Enumerable.ToList(query)), dotnet-ef may not generate interceptors, causing runtime failure
+    // under NativeAOT ("Query wasn't precompiled and dynamic code isn't supported").
+    if (bindingType.startsWith("System.Linq.Enumerable") &&
+        (memberName === "ToList" || memberName === "ToArray")) {
+        return true;
+    }
+    return false;
+};
+export const getTypeNamespace = (typeName) => {
+    const lastDot = typeName.lastIndexOf(".");
+    if (lastDot <= 0)
+        return undefined;
+    return typeName.slice(0, lastDot);
+};
+/**
+ * Whether a C# type string is a builtin/keyword type (optionally nullable).
+ *
+ * These must NOT be qualified with a namespace (e.g. `object`, not `MyNs.object`).
+ */
+export const isCSharpBuiltinType = (typeStr) => {
+    const base = typeStr.endsWith("?") ? typeStr.slice(0, -1) : typeStr;
+    return (base === "string" ||
+        base === "int" ||
+        base === "long" ||
+        base === "short" ||
+        base === "byte" ||
+        base === "sbyte" ||
+        base === "uint" ||
+        base === "ulong" ||
+        base === "ushort" ||
+        base === "float" ||
+        base === "double" ||
+        base === "decimal" ||
+        base === "bool" ||
+        base === "char" ||
+        base === "object" ||
+        base === "void");
+};
+/**
+ * Ensure a C# type string has global:: prefix for unambiguous resolution
+ */
+export const ensureGlobalPrefix = (typeStr) => {
+    // Skip already-prefixed types
+    if (typeStr.startsWith("global::")) {
+        return typeStr;
+    }
+    // Handle pointer types (T*). `global::int*` is invalid; qualify the element type only.
+    if (typeStr.endsWith("*")) {
+        const inner = typeStr.slice(0, -1);
+        return `${ensureGlobalPrefix(inner)}*`;
+    }
+    // Handle arrays (T[], T[,], jagged arrays, ...). `global::string[]` is invalid; qualify
+    // the element type only.
+    const arrayMatch = /(\[[,\s]*\])$/.exec(typeStr);
+    if (arrayMatch) {
+        const suffix = arrayMatch[1];
+        if (!suffix)
+            return typeStr;
+        const inner = typeStr.slice(0, -suffix.length);
+        return `${ensureGlobalPrefix(inner)}${suffix}`;
+    }
+    // Skip primitives (and other builtin keyword types) after handling suffix forms.
+    if (isCSharpBuiltinType(typeStr)) {
+        return typeStr;
+    }
+    // Handle generic types: List<Foo> -> global::List<global::Foo>
+    // For now, just add prefix to the outer type
+    // The inner types should already be handled by emitType
+    return `global::${typeStr}`;
+};
+/**
+ * Register a type with the JSON AOT registry.
+ * Ensures types are fully qualified with namespace for the AOT source generator.
+ */
+export const registerJsonAotType = (type, context) => {
+    if (!type)
+        return;
+    if (!context.options.jsonAotRegistry)
+        return;
+    // NativeAOT JSON source generation requires CLOSED types.
+    // If the type contains any generic parameters in the current scope (T, U, ...),
+    // we cannot emit `[JsonSerializable(typeof(T))]` because `T` is not in scope in the
+    // generated context class. Skip registration to keep emission valid.
+    if (containsTypeParameter(type)) {
+        context.options.jsonAotRegistry.needsJsonAot = true;
+        return;
+    }
+    const registry = context.options.jsonAotRegistry;
+    const [rawTypeAst] = emitTypeAst(type, {
+        ...context,
+        qualifyLocalTypes: true,
+    });
+    const rawTypeStr = renderTypeAst(rawTypeAst);
+    const typeStr = rawTypeStr.endsWith("?")
+        ? rawTypeStr.slice(0, -1)
+        : rawTypeStr;
+    registry.rootTypes.add(ensureGlobalPrefix(typeStr));
+    registry.needsJsonAot = true;
+};
+/**
+ * Check if a call expression needs an explicit cast because the inferred type
+ * differs from the C# return type. This handles cases like Math.floor() which
+ * returns double in C# but is cast to int in TypeScript via `as int`.
+ */
+export const needsIntCast = (expr, calleeName) => {
+    // Check if the inferred type is int (a reference type from @tsonic/core)
+    const inferredType = expr.inferredType;
+    if (!inferredType ||
+        inferredType.kind !== "referenceType" ||
+        inferredType.name !== "int") {
+        return false;
+    }
+    // Check if this is a Math method that returns double
+    const mathMethodsReturningDouble = [
+        "Math.floor",
+        "Math.ceil",
+        "Math.round",
+        "Math.abs",
+        "Math.pow",
+        "Math.sqrt",
+        "Math.min",
+        "Math.max",
+    ];
+    return mathMethodsReturningDouble.some((m) => calleeName === m || calleeName.endsWith(`.${m.split(".").pop()}`));
+};
+const ASYNC_WRAPPER_NAMES = new Set([
+    "Promise",
+    "PromiseLike",
+    "Task",
+    "ValueTask",
+]);
+export const isAsyncWrapperType = (type, visited = new Set()) => {
+    if (!type || visited.has(type))
+        return false;
+    visited.add(type);
+    if (type.kind === "referenceType") {
+        const simple = type.name.includes(".")
+            ? type.name.slice(type.name.lastIndexOf(".") + 1)
+            : type.name;
+        if (ASYNC_WRAPPER_NAMES.has(simple))
+            return true;
+    }
+    if (type.kind === "unionType" || type.kind === "intersectionType") {
+        return type.types.some((t) => isAsyncWrapperType(t, visited));
+    }
+    return false;
+};
+const PROMISE_CHAIN_METHODS = new Set(["then", "catch", "finally"]);
+export const isPromiseChainMethod = (name) => PROMISE_CHAIN_METHODS.has(name);
+//# sourceMappingURL=call-analysis.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"call-analysis.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-analysis.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAE/E;;;;;GAKG;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAkB,EAAW,EAAE;IACtD,OAAO,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC;AACpE,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAkB,EACgB,EAAE;IACpC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;IACvC,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC;IACnC,IAAI,QAAQ,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IACrC,IAAI,QAAQ,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IACrC,IAAI,QAAQ,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC,CAAC,gCAAgC;IAEvE,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,MAAoB,EAC4B,EAAE;IAClD,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IAChD,IAAI,CAAC,MAAM,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAEvC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC;IAE9C,mDAAmD;IACnD,IAAI,IAAI,KAAK,iCAAiC;QAAE,OAAO,IAAI,CAAC;IAE5D,kDAAkD;IAClD,IAAI,MAAM,KAAK,WAAW;QAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IAC3D,IAAI,MAAM,KAAK,aAAa;QAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAE/D,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,MAAoB,EAC4B,EAAE;IAClD,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IAEhD,gDAAgD;IAChD,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1B,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAElE,sBAAsB;IACtB,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC7B,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAE1C,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IACzD,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAEvD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAqD,EACrD,OAAuB,EACd,EAAE;IACX,kFAAkF;IAClF,mDAAmD;IACnD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACtC,MAAM,aAAa,GAAG,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,aAAa,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YACnC,OAAO,KAAK,CAAC;QACf,CAAC;QAED,kFAAkF;QAClF,mFAAmF;QACnF,mFAAmF;QACnF,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC;IAC5C,OAAO,CACL,UAAU,EAAE,IAAI,KAAK,eAAe;QACpC,UAAU,EAAE,IAAI,KAAK,WAAW;QAChC,UAAU,EAAE,IAAI,KAAK,kBAAkB;QACvC,UAAU,EAAE,IAAI,KAAK,WAAW;QAChC,UAAU,EAAE,IAAI,KAAK,eAAe;QACpC,UAAU,EAAE,IAAI,KAAK,aAAa;QAClC,UAAU,EAAE,IAAI,KAAK,mBAAmB;QACxC,UAAU,EAAE,IAAI,KAAK,aAAa,CACnC,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,WAAmB,EACnB,UAAkB,EACT,EAAE;IACX,4FAA4F;IAC5F,0FAA0F;IAC1F,+CAA+C;IAC/C,IAAI,WAAW,CAAC,UAAU,CAAC,uBAAuB,CAAC;QAAE,OAAO,IAAI,CAAC;IAEjE,kEAAkE;IAClE,IAAI,WAAW,CAAC,UAAU,CAAC,gCAAgC,CAAC;QAAE,OAAO,IAAI,CAAC;IAE1E,+FAA+F;IAC/F,kFAAkF;IAClF,+FAA+F;IAC/F,iFAAiF;IACjF,IACE,WAAW,CAAC,UAAU,CAAC,wBAAwB,CAAC;QAChD,CAAC,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,SAAS,CAAC,EACrD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,QAAgB,EAAsB,EAAE;IACvE,MAAM,OAAO,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,OAAO,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACnC,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAe,EAAW,EAAE;IAC9D,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IACpE,OAAO,CACL,IAAI,KAAK,QAAQ;QACjB,IAAI,KAAK,KAAK;QACd,IAAI,KAAK,MAAM;QACf,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,MAAM;QACf,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,MAAM;QACf,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,QAAQ;QACjB,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,QAAQ;QACjB,IAAI,KAAK,SAAS;QAClB,IAAI,KAAK,MAAM;QACf,IAAI,KAAK,MAAM;QACf,IAAI,KAAK,QAAQ;QACjB,IAAI,KAAK,MAAM,CAChB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,OAAe,EAAU,EAAE;IAC5D,8BAA8B;IAC9B,IAAI,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QACnC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,uFAAuF;IACvF,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,OAAO,GAAG,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC;IACzC,CAAC;IAED,wFAAwF;IACxF,yBAAyB;IACzB,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,MAAM;YAAE,OAAO,OAAO,CAAC;QAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC/C,OAAO,GAAG,kBAAkB,CAAC,KAAK,CAAC,GAAG,MAAM,EAAE,CAAC;IACjD,CAAC;IAED,iFAAiF;IACjF,IAAI,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;QACjC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,+DAA+D;IAC/D,6CAA6C;IAC7C,wDAAwD;IACxD,OAAO,WAAW,OAAO,EAAE,CAAC;AAC9B,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAwB,EACxB,OAAuB,EACjB,EAAE;IACR,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe;QAAE,OAAO;IAE7C,0DAA0D;IAC1D,gFAAgF;IAChF,oFAAoF;IACpF,qEAAqE;IACrE,IAAI,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,YAAY,GAAG,IAAI,CAAC;QACpD,OAAO;IACT,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC;IACjD,MAAM,CAAC,UAAU,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE;QACrC,GAAG,OAAO;QACV,iBAAiB,EAAE,IAAI;KACxB,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC;QACtC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzB,CAAC,CAAC,UAAU,CAAC;IAEf,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC;IACpD,QAAQ,CAAC,YAAY,GAAG,IAAI,CAAC;AAC/B,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,IAA6C,EAC7C,UAAkB,EACT,EAAE;IACX,yEAAyE;IACzE,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;IACvC,IACE,CAAC,YAAY;QACb,YAAY,CAAC,IAAI,KAAK,eAAe;QACrC,YAAY,CAAC,IAAI,KAAK,KAAK,EAC3B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,qDAAqD;IACrD,MAAM,0BAA0B,GAAG;QACjC,YAAY;QACZ,WAAW;QACX,YAAY;QACZ,UAAU;QACV,UAAU;QACV,WAAW;QACX,UAAU;QACV,UAAU;KACX,CAAC;IAEF,OAAO,0BAA0B,CAAC,IAAI,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,KAAK,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CACzE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC;IAClC,SAAS;IACT,aAAa;IACb,MAAM;IACN,WAAW;CACZ,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAwB,EACxB,UAAuB,IAAI,GAAG,EAAE,EACvB,EAAE;IACX,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAElB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YACpC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACjD,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACd,IAAI,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;IACnD,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAChE,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AAEpE,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAW,EAAE,CAC5D,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC"}

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

@@ -0,0 +1,13 @@
+/**
+ * Call expression emitter
+ */
+import { IrExpression } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+/**
+ * Emit a function call expression as CSharpExpressionAst
+ */
+export declare const emitCall: (expr: Extract<IrExpression, {
+    kind: "call";
+}>, context: EmitterContext) => [CSharpExpressionAst, EmitterContext];
+//# sourceMappingURL=call-emitter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"call-emitter.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/call-emitter.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAU,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAsBhD,OAAO,KAAK,EAGV,mBAAmB,EAGpB,MAAM,wCAAwC,CAAC;AAqzBhD;;GAEG;AACH,eAAO,MAAM,QAAQ,GACnB,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,KACtB,CAAC,mBAAmB,EAAE,cAAc,CAgStC,CAAC"}