@tsonic/emitter 0.0.73 → 0.0.75

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

@@ -2,8 +2,9 @@
  * 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";
+import { globallyQualifyTypeAst, stableTypeKeyFromAst, stripNullableTypeAst, } from "../../core/format/backend-ast/utils.js";
+import { containsTypeParameter, getPropertyType, resolveTypeAlias, stripNullish, } from "../../core/semantic/type-resolution.js";
+import { referenceTypeHasClrIdentity } from "../../core/semantic/clr-type-identity.js";
 /**
  * Ref/out/in parameter handling:
  * The frontend extracts parameter passing modes from resolved signatures
@@ -61,12 +62,16 @@ export const isJsonSerializerCall = (callee) => {
  * Check if a call targets global JSON.stringify or JSON.parse
  * These global JSON methods compile to JsonSerializer
  */
-export const isGlobalJsonCall = (callee) => {
+export const isGlobalJsonCall = (callee, context) => {
     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")
+    if (!callee.memberBinding)
+        return null;
+    const descriptor = context.bindingRegistry?.getExactBindingByKind("JSON", "global");
+    if (!descriptor)
+        return null;
+    const expectedOwnerType = descriptor.staticType ?? descriptor.type;
+    if (callee.memberBinding.type !== expectedOwnerType)
         return null;
     // Check property name
     const prop = callee.property;
@@ -79,11 +84,11 @@ export const isGlobalJsonCall = (callee) => {
     return null;
 };
 /**
- * Heuristic: Determine if a member access is an instance-style access (receiver.value)
+ * 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.
+ * Extension-method lowering only applies to instance-style member accesses.
+ * If the frontend did not attach a receiver type, do not guess.
  */
 export const isInstanceMemberAccess = (expr, context) => {
     // Imported types (e.g., `Enumerable.Where(...)`) are static receiver expressions,
@@ -93,12 +98,6 @@ export const isInstanceMemberAccess = (expr, context) => {
         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" ||
@@ -136,62 +135,6 @@ export const getTypeNamespace = (typeName) => {
         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.
@@ -201,6 +144,8 @@ export const registerJsonAotType = (type, context) => {
         return;
     if (!context.options.jsonAotRegistry)
         return;
+    if (!context.options.enableJsonAot)
+        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
@@ -214,29 +159,109 @@ export const registerJsonAotType = (type, context) => {
         ...context,
         qualifyLocalTypes: true,
     });
-    const rawTypeStr = renderTypeAst(rawTypeAst);
-    const typeStr = rawTypeStr.endsWith("?")
-        ? rawTypeStr.slice(0, -1)
-        : rawTypeStr;
-    registry.rootTypes.add(ensureGlobalPrefix(typeStr));
+    const normalizedTypeAst = globallyQualifyTypeAst(stripNullableTypeAst(rawTypeAst));
+    registry.rootTypes.set(stableTypeKeyFromAst(normalizedTypeAst), normalizedTypeAst);
     registry.needsJsonAot = true;
 };
-export const registerJsonAotExpressionTypes = (expr, context) => {
+export const registerJsonRuntimeSupport = (context) => {
+    const registry = context.options.jsonAotRegistry;
+    if (!registry) {
+        return;
+    }
+    registry.needsRuntimeJsonSupport = true;
+};
+const boxedJsNumberJsonType = {
+    kind: "referenceType",
+    name: "double",
+    resolvedClrType: "System.Double",
+};
+const JS_NUMBERISH_CLR_NAMES = new Set([
+    "System.Int32",
+    "global::System.Int32",
+    "System.Double",
+    "global::System.Double",
+]);
+const SYSTEM_OBJECT_CLR_NAMES = new Set([
+    "System.Object",
+    "global::System.Object",
+]);
+const isJsNumberishType = (type, context) => {
+    if (!type)
+        return false;
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    return ((resolved.kind === "primitiveType" &&
+        (resolved.name === "number" || resolved.name === "int")) ||
+        (resolved.kind === "literalType" && typeof resolved.value === "number") ||
+        (resolved.kind === "referenceType" &&
+            (resolved.name === "int" ||
+                resolved.name === "double" ||
+                referenceTypeHasClrIdentity(resolved, JS_NUMBERISH_CLR_NAMES))));
+};
+const expectsBoxedObjectJsonType = (type, context) => {
+    if (!type)
+        return false;
+    if (type.kind === "unknownType" || type.kind === "anyType") {
+        return true;
+    }
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    return (resolved.kind === "referenceType" &&
+        (resolved.name === "object" ||
+            referenceTypeHasClrIdentity(resolved, SYSTEM_OBJECT_CLR_NAMES)));
+};
+const getJsonObjectValueExpectedType = (containerType, propertyName, context) => {
+    if (!containerType)
+        return undefined;
+    const propertyType = getPropertyType(containerType, propertyName, context);
+    if (propertyType)
+        return propertyType;
+    const resolved = resolveTypeAlias(stripNullish(containerType), context);
+    return resolved.kind === "dictionaryType" ? resolved.valueType : undefined;
+};
+const getJsonArrayElementExpectedType = (containerType, index, context) => {
+    if (!containerType)
+        return undefined;
+    const resolved = resolveTypeAlias(stripNullish(containerType), context);
+    if (resolved.kind === "arrayType")
+        return resolved.elementType;
+    if (resolved.kind === "tupleType") {
+        return resolved.elementTypes[index] ?? undefined;
+    }
+    return undefined;
+};
+const shouldRegisterBoxedJsNumberJsonType = (expr, expectedType, context) => {
+    if (context.options.surface !== "@tsonic/js")
+        return false;
+    return (isJsNumberishType(expr.inferredType, context) &&
+        expectsBoxedObjectJsonType(expectedType, context));
+};
+export const registerJsonAotExpressionTypes = (expr, context, expectedType) => {
     if (!expr)
         return;
-    registerJsonAotType(expr.inferredType, context);
+    registerJsonAotType(shouldRegisterBoxedJsNumberJsonType(expr, expectedType, context)
+        ? boxedJsNumberJsonType
+        : expr.inferredType, context);
     switch (expr.kind) {
-        case "object":
+        case "object": {
             for (const property of expr.properties) {
                 if (property.kind === "property") {
-                    registerJsonAotExpressionTypes(property.value, context);
+                    const propertyName = typeof property.key === "string"
+                        ? property.key
+                        : property.key.kind === "literal" &&
+                            typeof property.key.value === "string"
+                            ? property.key.value
+                            : undefined;
+                    registerJsonAotExpressionTypes(property.value, context, propertyName
+                        ? getJsonObjectValueExpectedType(expectedType ?? expr.inferredType, propertyName, context)
+                        : undefined);
                 }
                 else {
                     registerJsonAotExpressionTypes(property.expression, context);
                 }
             }
             return;
-        case "array":
+        }
+        case "array": {
+            let elementIndex = 0;
             for (const element of expr.elements) {
                 if (!element)
                     continue;
@@ -244,21 +269,23 @@ export const registerJsonAotExpressionTypes = (expr, context) => {
                     registerJsonAotExpressionTypes(element.expression, context);
                 }
                 else {
-                    registerJsonAotExpressionTypes(element, context);
+                    registerJsonAotExpressionTypes(element, context, getJsonArrayElementExpectedType(expectedType ?? expr.inferredType, elementIndex, context));
                 }
+                elementIndex += 1;
             }
             return;
+        }
         case "conditional":
-            registerJsonAotExpressionTypes(expr.whenTrue, context);
-            registerJsonAotExpressionTypes(expr.whenFalse, context);
+            registerJsonAotExpressionTypes(expr.whenTrue, context, expectedType);
+            registerJsonAotExpressionTypes(expr.whenFalse, context, expectedType);
             return;
         case "logical":
         case "binary":
-            registerJsonAotExpressionTypes(expr.left, context);
-            registerJsonAotExpressionTypes(expr.right, context);
+            registerJsonAotExpressionTypes(expr.left, context, expectedType);
+            registerJsonAotExpressionTypes(expr.right, context, expectedType);
             return;
         case "assignment":
-            registerJsonAotExpressionTypes(expr.right, context);
+            registerJsonAotExpressionTypes(expr.right, context, expectedType);
             return;
         case "await":
         case "yield":
@@ -267,11 +294,11 @@ export const registerJsonAotExpressionTypes = (expr, context) => {
         case "typeAssertion":
         case "asinterface":
         case "trycast":
-            registerJsonAotExpressionTypes(expr.expression, context);
+            registerJsonAotExpressionTypes(expr.expression, context, expectedType);
             return;
         case "templateLiteral":
             for (const embedded of expr.expressions) {
-                registerJsonAotExpressionTypes(embedded, context);
+                registerJsonAotExpressionTypes(embedded, context, expectedType);
             }
             return;
         default:
@@ -284,11 +311,14 @@ export const registerJsonAotExpressionTypes = (expr, context) => {
  * 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)
+    // Check if the inferred type is int.
     const inferredType = expr.inferredType;
-    if (!inferredType ||
-        inferredType.kind !== "referenceType" ||
-        inferredType.name !== "int") {
+    if (!inferredType) {
+        return false;
+    }
+    const returnsInt = (inferredType.kind === "primitiveType" && inferredType.name === "int") ||
+        (inferredType.kind === "referenceType" && inferredType.name === "int");
+    if (!returnsInt) {
         return false;
     }
     // Check if this is a Math method that returns double

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

@@ -1 +1 @@
-{"version":3,"file":"call-analysis.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-analysis.ts"],"names":[],"mappings":"AAAA;;GAEG;AAOH,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,aAMC,EACQ,EAAE;IACX,IAAI,aAAa,CAAC,aAAa,EAAE,SAAS,KAAK,UAAU,EAAE,CAAC;QAC1D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,aAAa,CAAC,aAAa,EAAE,SAAS,KAAK,QAAQ,EAAE,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,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,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAA8B,EAC9B,OAAuB,EACjB,EAAE;IACR,IAAI,CAAC,IAAI;QAAE,OAAO;IAElB,mBAAmB,CAAC,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAEhD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACvC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACjC,8BAA8B,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;gBAC1D,CAAC;qBAAM,CAAC;oBACN,8BAA8B,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC/D,CAAC;YACH,CAAC;YACD,OAAO;QACT,KAAK,OAAO;YACV,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACpC,IAAI,CAAC,OAAO;oBAAE,SAAS;gBACvB,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC9B,8BAA8B,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC9D,CAAC;qBAAM,CAAC;oBACN,8BAA8B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;gBACnD,CAAC;YACH,CAAC;YACD,OAAO;QACT,KAAK,aAAa;YAChB,8BAA8B,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACvD,8BAA8B,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YACxD,OAAO;QACT,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,8BAA8B,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACnD,8BAA8B,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACpD,OAAO;QACT,KAAK,YAAY;YACf,8BAA8B,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACpD,OAAO;QACT,KAAK,OAAO,CAAC;QACb,KAAK,OAAO,CAAC;QACb,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS;YACZ,8BAA8B,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACzD,OAAO;QACT,KAAK,iBAAiB;YACpB,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACxC,8BAA8B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACpD,CAAC;YACD,OAAO;QACT;YACE,OAAO;IACX,CAAC;AACH,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"}
+{"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;AAEpD,OAAO,EACL,sBAAsB,EACtB,oBAAoB,EACpB,oBAAoB,GACrB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,gBAAgB,EAChB,YAAY,GACb,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,2BAA2B,EAAE,MAAM,0CAA0C,CAAC;AAEvF;;;;;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,EACpB,OAAuB,EACyB,EAAE;IAClD,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IAChD,IAAI,CAAC,MAAM,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAEvC,MAAM,UAAU,GAAG,OAAO,CAAC,eAAe,EAAE,qBAAqB,CAC/D,MAAM,EACN,QAAQ,CACT,CAAC;IACF,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAE7B,MAAM,iBAAiB,GAAG,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,CAAC;IACnE,IAAI,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,IAAI,CAAC;IAEjE,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;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,CAAC,aAO7C,EAAW,EAAE;IACZ,IAAI,aAAa,CAAC,aAAa,EAAE,SAAS,KAAK,UAAU,EAAE,CAAC;QAC1D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,aAAa,CAAC,aAAa,EAAE,SAAS,KAAK,QAAQ,EAAE,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,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;;;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;IAC7C,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa;QAAE,OAAO;IAE3C,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,iBAAiB,GAAkB,sBAAsB,CAC7D,oBAAoB,CAAC,UAAU,CAAC,CACjC,CAAC;IACF,QAAQ,CAAC,SAAS,CAAC,GAAG,CACpB,oBAAoB,CAAC,iBAAiB,CAAC,EACvC,iBAAiB,CAClB,CAAC;IACF,QAAQ,CAAC,YAAY,GAAG,IAAI,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,OAAuB,EAAQ,EAAE;IAC1E,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC;IACjD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;IACT,CAAC;IACD,QAAQ,CAAC,uBAAuB,GAAG,IAAI,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAW;IACpC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,eAAe;CACjC,CAAC;AAEF,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC;IACrC,cAAc;IACd,sBAAsB;IACtB,eAAe;IACf,uBAAuB;CACxB,CAAC,CAAC;AAEH,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,eAAe;IACf,uBAAuB;CACxB,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,CACxB,IAAwB,EACxB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,OAAO,CACL,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe;QAChC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;QAC1D,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa,IAAI,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC;QACvE,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe;YAChC,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK;gBACtB,QAAQ,CAAC,IAAI,KAAK,QAAQ;gBAC1B,2BAA2B,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAAC,CAAC,CACpE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,IAAwB,EACxB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC3D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,eAAe;QACjC,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;YACzB,2BAA2B,CAAC,QAAQ,EAAE,uBAAuB,CAAC,CAAC,CAClE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,aAAiC,EACjC,YAAoB,EACpB,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,aAAa;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,YAAY,GAAG,eAAe,CAAC,aAAa,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;IAC3E,IAAI,YAAY;QAAE,OAAO,YAAY,CAAC;IAEtC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC,CAAC;IACxE,OAAO,QAAQ,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7E,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,aAAiC,EACjC,KAAa,EACb,OAAuB,EACH,EAAE;IACtB,IAAI,CAAC,aAAa;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC,CAAC;IACxE,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,QAAQ,CAAC,WAAW,CAAC;IAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC;IACnD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mCAAmC,GAAG,CAC1C,IAAkB,EAClB,YAAgC,EAChC,OAAuB,EACd,EAAE;IACX,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,KAAK,YAAY;QAAE,OAAO,KAAK,CAAC;IAC3D,OAAO,CACL,iBAAiB,CAAC,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC;QAC7C,0BAA0B,CAAC,YAAY,EAAE,OAAO,CAAC,CAClD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAA8B,EAC9B,OAAuB,EACvB,YAAqB,EACf,EAAE;IACR,IAAI,CAAC,IAAI;QAAE,OAAO;IAElB,mBAAmB,CACjB,mCAAmC,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC;QAC9D,CAAC,CAAC,qBAAqB;QACvB,CAAC,CAAC,IAAI,CAAC,YAAY,EACrB,OAAO,CACR,CAAC;IAEF,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACvC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACjC,MAAM,YAAY,GAChB,OAAO,QAAQ,CAAC,GAAG,KAAK,QAAQ;wBAC9B,CAAC,CAAC,QAAQ,CAAC,GAAG;wBACd,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS;4BAC7B,OAAO,QAAQ,CAAC,GAAG,CAAC,KAAK,KAAK,QAAQ;4BACxC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK;4BACpB,CAAC,CAAC,SAAS,CAAC;oBAClB,8BAA8B,CAC5B,QAAQ,CAAC,KAAK,EACd,OAAO,EACP,YAAY;wBACV,CAAC,CAAC,8BAA8B,CAC5B,YAAY,IAAI,IAAI,CAAC,YAAY,EACjC,YAAY,EACZ,OAAO,CACR;wBACH,CAAC,CAAC,SAAS,CACd,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,8BAA8B,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC/D,CAAC;YACH,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,YAAY,GAAG,CAAC,CAAC;YACrB,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACpC,IAAI,CAAC,OAAO;oBAAE,SAAS;gBACvB,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC9B,8BAA8B,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;gBAC9D,CAAC;qBAAM,CAAC;oBACN,8BAA8B,CAC5B,OAAO,EACP,OAAO,EACP,+BAA+B,CAC7B,YAAY,IAAI,IAAI,CAAC,YAAY,EACjC,YAAY,EACZ,OAAO,CACR,CACF,CAAC;gBACJ,CAAC;gBACD,YAAY,IAAI,CAAC,CAAC;YACpB,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,aAAa;YAChB,8BAA8B,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YACrE,8BAA8B,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YACtE,OAAO;QACT,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,8BAA8B,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YACjE,8BAA8B,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAClE,OAAO;QACT,KAAK,YAAY;YACf,8BAA8B,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAClE,OAAO;QACT,KAAK,OAAO,CAAC;QACb,KAAK,OAAO,CAAC;QACb,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS;YACZ,8BAA8B,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YACvE,OAAO;QACT,KAAK,iBAAiB;YACpB,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACxC,8BAA8B,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;YAClE,CAAC;YACD,OAAO;QACT;YACE,OAAO;IACX,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,IAA6C,EAC7C,UAAkB,EACT,EAAE;IACX,qCAAqC;IACrC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;IACvC,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,UAAU,GACd,CAAC,YAAY,CAAC,IAAI,KAAK,eAAe,IAAI,YAAY,CAAC,IAAI,KAAK,KAAK,CAAC;QACtE,CAAC,YAAY,CAAC,IAAI,KAAK,eAAe,IAAI,YAAY,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IAEzE,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,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-analysis.test.js

@@ -14,7 +14,7 @@ describe("call-analysis", () => {
         });
         it("should prefer explicit static metadata over JS receiver heuristics", () => {
             expect(shouldEmitFluentExtensionCall({
-                type: "Tsonic.JSRuntime.String",
+                type: "js.String",
                 member: "trim",
                 emitSemantics: {
                     callStyle: "static",
@@ -33,7 +33,7 @@ describe("call-analysis", () => {
         });
         it("should not infer fluent emission from migrated families when metadata is absent", () => {
             expect(shouldEmitFluentExtensionCall({
-                type: "Tsonic.JSRuntime.String",
+                type: "js.String",
                 member: "trim",
             })).to.equal(false);
             expect(shouldEmitFluentExtensionCall({

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

@@ -1 +1 @@
-{"version":3,"file":"call-analysis.test.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-analysis.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AAErC,OAAO,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAC;AAEnE,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;QAC7C,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,MAAM,CACJ,6BAA6B,CAAC;gBAC5B,IAAI,EAAE,sBAAsB;gBAC5B,MAAM,EAAE,MAAM;gBACd,aAAa,EAAE;oBACb,SAAS,EAAE,UAAU;iBACtB;aACF,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,MAAM,CACJ,6BAA6B,CAAC;gBAC5B,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,MAAM;gBACd,aAAa,EAAE;oBACb,SAAS,EAAE,QAAQ;iBACpB;aACF,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;YACzF,MAAM,CACJ,6BAA6B,CAAC;gBAC5B,IAAI,EAAE,+BAA+B;gBACrC,MAAM,EAAE,OAAO;aAChB,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAElB,MAAM,CACJ,6BAA6B,CAAC;gBAC5B,IAAI,EAAE,sBAAsB;gBAC5B,MAAM,EAAE,MAAM;aACf,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;YACzF,MAAM,CACJ,6BAA6B,CAAC;gBAC5B,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,MAAM;aACf,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAElB,MAAM,CACJ,6BAA6B,CAAC;gBAC5B,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,OAAO;aAChB,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAElB,MAAM,CACJ,6BAA6B,CAAC;gBAC5B,IAAI,EAAE,kEAAkE;gBACxE,MAAM,EAAE,SAAS;aAClB,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAElB,MAAM,CACJ,6BAA6B,CAAC;gBAC5B,IAAI,EAAE,wBAAwB;gBAC9B,MAAM,EAAE,QAAQ;aACjB,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"call-analysis.test.js","sourceRoot":"","sources":["../../../src/expressions/calls/call-analysis.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AAErC,OAAO,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAC;AAEnE,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;QAC7C,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,MAAM,CACJ,6BAA6B,CAAC;gBAC5B,IAAI,EAAE,sBAAsB;gBAC5B,MAAM,EAAE,MAAM;gBACd,aAAa,EAAE;oBACb,SAAS,EAAE,UAAU;iBACtB;aACF,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,MAAM,CACJ,6BAA6B,CAAC;gBAC5B,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE,MAAM;gBACd,aAAa,EAAE;oBACb,SAAS,EAAE,QAAQ;iBACpB;aACF,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;YACzF,MAAM,CACJ,6BAA6B,CAAC;gBAC5B,IAAI,EAAE,+BAA+B;gBACrC,MAAM,EAAE,OAAO;aAChB,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAElB,MAAM,CACJ,6BAA6B,CAAC;gBAC5B,IAAI,EAAE,sBAAsB;gBAC5B,MAAM,EAAE,MAAM;aACf,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;YACzF,MAAM,CACJ,6BAA6B,CAAC;gBAC5B,IAAI,EAAE,WAAW;gBACjB,MAAM,EAAE,MAAM;aACf,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAElB,MAAM,CACJ,6BAA6B,CAAC;gBAC5B,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,OAAO;aAChB,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAElB,MAAM,CACJ,6BAA6B,CAAC;gBAC5B,IAAI,EAAE,kEAAkE;gBACxE,MAAM,EAAE,SAAS;aAClB,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAElB,MAAM,CACJ,6BAA6B,CAAC;gBAC5B,IAAI,EAAE,wBAAwB;gBAC9B,MAAM,EAAE,QAAQ;aACjB,CAAC,CACH,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/expressions/calls/call-arguments-emit.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Call argument emission.
+ * Handles the main emitCallArguments function and function-value call argument emission.
+ */
+import { IrExpression, IrType } from "@tsonic/frontend";
+import { EmitterContext } from "../../types.js";
+import type { CSharpExpressionAst } from "../../core/format/backend-ast/types.js";
+/**
+ * Emit call arguments as typed AST array.
+ * Handles spread arrays, castModifier (ref/out from cast), and argumentPassing modes.
+ */
+declare const emitCallArguments: (args: readonly IrExpression[], expr: Extract<IrExpression, {
+    kind: "call";
+}>, context: EmitterContext, parameterTypeOverrides?: readonly (IrType | undefined)[]) => [readonly CSharpExpressionAst[], EmitterContext];
+export { emitCallArguments };
+//# sourceMappingURL=call-arguments-emit.d.ts.map

package/dist/expressions/calls/call-arguments-emit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-arguments-emit.d.ts","sourceRoot":"","sources":["../../../src/expressions/calls/call-arguments-emit.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,YAAY,EACZ,MAAM,EAEP,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAKhD,OAAO,KAAK,EACV,mBAAmB,EAGpB,MAAM,wCAAwC,CAAC;AA8lFhD;;;GAGG;AACH,QAAA,MAAM,iBAAiB,GACrB,MAAM,SAAS,YAAY,EAAE,EAC7B,MAAM,OAAO,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAC7C,SAAS,cAAc,EACvB,yBAAyB,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,KACvD,CAAC,SAAS,mBAAmB,EAAE,EAAE,cAAc,CA2ejD,CAAC;AAEF,OAAO,EAAE,iBAAiB,EAAE,CAAC"}