@grafema/core 0.1.0-alpha.5 → 0.1.1-alpha

package/dist/plugins/analysis/ast/utils/createParameterNodes.js

@@ -0,0 +1,89 @@
+/**
+ * createParameterNodes - Shared utility for creating PARAMETER nodes
+ *
+ * Used by FunctionVisitor and ClassVisitor to create PARAMETER nodes
+ * for function/method parameters with consistent behavior.
+ *
+ * Uses semantic IDs for stable, scope-based identification that doesn't
+ * change when lines are added/removed above the function.
+ */
+import { computeSemanticId } from '../../../../core/SemanticId.js';
+/**
+ * Create PARAMETER nodes for function parameters
+ *
+ * Handles:
+ * - Simple Identifier parameters: function(a, b)
+ * - AssignmentPattern (default parameters): function(a = 1)
+ * - RestElement (rest parameters): function(...args)
+ *
+ * Does NOT handle (can be added later):
+ * - ObjectPattern (destructuring): function({ x, y })
+ * - ArrayPattern (destructuring): function([a, b])
+ *
+ * @param params - AST nodes for function parameters
+ * @param functionId - ID of the parent function (for parentFunctionId field)
+ * @param file - File path
+ * @param line - Line number of the function (for ParameterInfo.line fallback)
+ * @param parameters - Array to push ParameterInfo objects into
+ * @param scopeTracker - REQUIRED for semantic ID generation
+ */
+export function createParameterNodes(params, functionId, file, line, parameters, scopeTracker) {
+    if (!parameters)
+        return; // Guard for backward compatibility
+    params.forEach((param, index) => {
+        // Handle different parameter types
+        if (param.type === 'Identifier') {
+            const name = param.name;
+            const paramId = computeSemanticId('PARAMETER', name, scopeTracker.getContext(), { discriminator: index });
+            parameters.push({
+                id: paramId,
+                semanticId: paramId,
+                type: 'PARAMETER',
+                name,
+                file: file,
+                line: param.loc?.start.line || line,
+                index: index,
+                parentFunctionId: functionId
+            });
+        }
+        else if (param.type === 'AssignmentPattern') {
+            // Default parameter: function(a = 1)
+            const assignmentParam = param;
+            if (assignmentParam.left.type === 'Identifier') {
+                const name = assignmentParam.left.name;
+                const paramId = computeSemanticId('PARAMETER', name, scopeTracker.getContext(), { discriminator: index });
+                parameters.push({
+                    id: paramId,
+                    semanticId: paramId,
+                    type: 'PARAMETER',
+                    name,
+                    file: file,
+                    line: assignmentParam.left.loc?.start.line || line,
+                    index: index,
+                    hasDefault: true,
+                    parentFunctionId: functionId
+                });
+            }
+        }
+        else if (param.type === 'RestElement') {
+            // Rest parameter: function(...args)
+            const restParam = param;
+            if (restParam.argument.type === 'Identifier') {
+                const name = restParam.argument.name;
+                const paramId = computeSemanticId('PARAMETER', name, scopeTracker.getContext(), { discriminator: index });
+                parameters.push({
+                    id: paramId,
+                    semanticId: paramId,
+                    type: 'PARAMETER',
+                    name,
+                    file: file,
+                    line: restParam.argument.loc?.start.line || line,
+                    index: index,
+                    isRest: true,
+                    parentFunctionId: functionId
+                });
+            }
+        }
+        // ObjectPattern and ArrayPattern (destructuring parameters) can be added later
+    });
+}

package/dist/plugins/analysis/ast/utils/index.d.ts

@@ -0,0 +1,6 @@
+/**
+ * AST utility functions
+ */
+export { createParameterNodes } from './createParameterNodes.js';
+export { getNodeLocation, getLine, getColumn, getEndLocation, UNKNOWN_LOCATION, type NodeLocation } from './location.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/plugins/analysis/ast/utils/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/utils/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EACL,eAAe,EACf,OAAO,EACP,SAAS,EACT,cAAc,EACd,gBAAgB,EAChB,KAAK,YAAY,EAClB,MAAM,eAAe,CAAC"}

package/dist/plugins/analysis/ast/utils/index.js

@@ -0,0 +1,5 @@
+/**
+ * AST utility functions
+ */
+export { createParameterNodes } from './createParameterNodes.js';
+export { getNodeLocation, getLine, getColumn, getEndLocation, UNKNOWN_LOCATION } from './location.js';

package/dist/plugins/analysis/ast/utils/location.d.ts

@@ -0,0 +1,87 @@
+/**
+ * Location extraction utilities for AST nodes.
+ *
+ * Convention: 0:0 means "unknown location" when AST node lacks position data.
+ * This can happen with synthetic nodes, transformed AST, or malformed source.
+ *
+ * This is the single source of truth for location extraction across all analyzers.
+ *
+ * @module location
+ */
+import type { Node } from '@babel/types';
+/**
+ * Fallback location for nodes without position data.
+ * Used when AST was generated without source maps or from synthetic nodes.
+ */
+export declare const UNKNOWN_LOCATION: {
+    readonly line: 0;
+    readonly column: 0;
+};
+/**
+ * Location information extracted from an AST node.
+ * Both line and column are guaranteed to be numbers (not undefined).
+ */
+export interface NodeLocation {
+    readonly line: number;
+    readonly column: number;
+}
+/**
+ * Extract start location from an AST node.
+ *
+ * Returns { line: 0, column: 0 } if node is null, undefined, or lacks location data.
+ * This is the preferred way to get location info - use this instead of node.loc!
+ *
+ * @example
+ * // Instead of:
+ * const line = node.loc!.start.line;
+ * const column = node.loc!.start.column;
+ *
+ * // Use:
+ * const { line, column } = getNodeLocation(node);
+ *
+ * @param node - Babel AST node (may be null or undefined)
+ * @returns Location with line and column (both guaranteed numbers)
+ */
+export declare function getNodeLocation(node: Node | null | undefined): NodeLocation;
+/**
+ * Extract start line number from an AST node.
+ *
+ * Returns 0 if node is null, undefined, or lacks location data.
+ *
+ * @example
+ * // Instead of:
+ * const line = node.loc!.start.line;
+ *
+ * // Use:
+ * const line = getLine(node);
+ *
+ * @param node - Babel AST node (may be null or undefined)
+ * @returns Line number (1-based) or 0 for unknown
+ */
+export declare function getLine(node: Node | null | undefined): number;
+/**
+ * Extract start column number from an AST node.
+ *
+ * Returns 0 if node is null, undefined, or lacks location data.
+ *
+ * @example
+ * // Instead of:
+ * const col = node.loc!.start.column;
+ *
+ * // Use:
+ * const col = getColumn(node);
+ *
+ * @param node - Babel AST node (may be null or undefined)
+ * @returns Column number (0-based) or 0 for unknown
+ */
+export declare function getColumn(node: Node | null | undefined): number;
+/**
+ * Extract end location from an AST node.
+ *
+ * Returns { line: 0, column: 0 } if node is null, undefined, or lacks location data.
+ *
+ * @param node - Babel AST node (may be null or undefined)
+ * @returns End location with line and column (both guaranteed numbers)
+ */
+export declare function getEndLocation(node: Node | null | undefined): NodeLocation;
+//# sourceMappingURL=location.d.ts.map

package/dist/plugins/analysis/ast/utils/location.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"location.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/utils/location.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAEzC;;;GAGG;AACH,eAAO,MAAM,gBAAgB;;;CAAkC,CAAC;AAEhE;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,GAAG,YAAY,CAK3E;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,CAE7D;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,CAE/D;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,GAAG,YAAY,CAK1E"}

package/dist/plugins/analysis/ast/utils/location.js

@@ -0,0 +1,78 @@
+/**
+ * Fallback location for nodes without position data.
+ * Used when AST was generated without source maps or from synthetic nodes.
+ */
+export const UNKNOWN_LOCATION = { line: 0, column: 0 };
+/**
+ * Extract start location from an AST node.
+ *
+ * Returns { line: 0, column: 0 } if node is null, undefined, or lacks location data.
+ * This is the preferred way to get location info - use this instead of node.loc!
+ *
+ * @example
+ * // Instead of:
+ * const line = node.loc!.start.line;
+ * const column = node.loc!.start.column;
+ *
+ * // Use:
+ * const { line, column } = getNodeLocation(node);
+ *
+ * @param node - Babel AST node (may be null or undefined)
+ * @returns Location with line and column (both guaranteed numbers)
+ */
+export function getNodeLocation(node) {
+    return {
+        line: node?.loc?.start?.line ?? 0,
+        column: node?.loc?.start?.column ?? 0
+    };
+}
+/**
+ * Extract start line number from an AST node.
+ *
+ * Returns 0 if node is null, undefined, or lacks location data.
+ *
+ * @example
+ * // Instead of:
+ * const line = node.loc!.start.line;
+ *
+ * // Use:
+ * const line = getLine(node);
+ *
+ * @param node - Babel AST node (may be null or undefined)
+ * @returns Line number (1-based) or 0 for unknown
+ */
+export function getLine(node) {
+    return node?.loc?.start?.line ?? 0;
+}
+/**
+ * Extract start column number from an AST node.
+ *
+ * Returns 0 if node is null, undefined, or lacks location data.
+ *
+ * @example
+ * // Instead of:
+ * const col = node.loc!.start.column;
+ *
+ * // Use:
+ * const col = getColumn(node);
+ *
+ * @param node - Babel AST node (may be null or undefined)
+ * @returns Column number (0-based) or 0 for unknown
+ */
+export function getColumn(node) {
+    return node?.loc?.start?.column ?? 0;
+}
+/**
+ * Extract end location from an AST node.
+ *
+ * Returns { line: 0, column: 0 } if node is null, undefined, or lacks location data.
+ *
+ * @param node - Babel AST node (may be null or undefined)
+ * @returns End location with line and column (both guaranteed numbers)
+ */
+export function getEndLocation(node) {
+    return {
+        line: node?.loc?.end?.line ?? 0,
+        column: node?.loc?.end?.column ?? 0
+    };
+}

package/dist/plugins/analysis/ast/visitors/ASTVisitor.d.ts

@@ -53,11 +53,13 @@ export interface VisitorCollections {
     [key: string]: unknown;
 }
 /**
- * Location info extracted from AST node
+ * Location info extracted from AST node.
+ * Both line and column are guaranteed to be numbers (not undefined).
+ * Convention: 0:0 means "unknown location".
  */
 export interface LocationInfo {
-    line: number | undefined;
-    column: number | undefined;
+    line: number;
+    column: number;
 }
 /**
  * Handler function type for Babel traverse
@@ -86,7 +88,10 @@ export declare abstract class ASTVisitor {
      */
     abstract getHandlers(): VisitorHandlers;
     /**
-     * Utility to get source location info
+     * Utility to get source location info.
+     * Returns { line: 0, column: 0 } if location is unavailable.
+     *
+     * @deprecated Prefer using getLine() or getNodeLocation() directly from utils/location.js
      */
     protected getLoc(node: Node): LocationInfo;
 }

package/dist/plugins/analysis/ast/visitors/ASTVisitor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ASTVisitor.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/visitors/ASTVisitor.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,IAAI,EAAkB,MAAM,cAAc,CAAC;AACzD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,EACV,YAAY,EACZ,oBAAoB,EACpB,sBAAsB,EACtB,SAAS,EACT,uBAAuB,EACvB,YAAY,EACZ,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,WAAW,EACX,UAAU,EACV,UAAU,EACV,eAAe,EACf,sBAAsB,EACtB,gBAAgB,EAChB,aAAa,EACb,UAAU,EACV,cAAc,EACf,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAGD,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,sBAAsB,IAAI,kBAAkB,EAAE,CAAC;AAEzF;;GAEG;AACH,MAAM,WAAW,kBAAkB;IAEjC,SAAS,CAAC,EAAE,YAAY,EAAE,CAAC;IAC3B,OAAO,CAAC,EAAE,oBAAoB,EAAE,CAAC;IACjC,OAAO,CAAC,EAAE,YAAY,EAAE,CAAC;IACzB,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC;IACvB,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC;IACvB,SAAS,CAAC,EAAE,uBAAuB,EAAE,CAAC;IACtC,oBAAoB,CAAC,EAAE,uBAAuB,EAAE,CAAC;IACjD,mBAAmB,CAAC,EAAE,sBAAsB,EAAE,CAAC;IAC/C,SAAS,CAAC,EAAE,YAAY,EAAE,CAAC;IAC3B,WAAW,CAAC,EAAE,cAAc,EAAE,CAAC;IAC/B,cAAc,CAAC,EAAE,iBAAiB,EAAE,CAAC;IACrC,eAAe,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACvC,mBAAmB,CAAC,EAAE,sBAAsB,EAAE,CAAC;IAC/C,iBAAiB,CAAC,EAAE,oBAAoB,EAAE,CAAC;IAC3C,QAAQ,CAAC,EAAE,WAAW,EAAE,CAAC;IACzB,aAAa,CAAC,EAAE,gBAAgB,EAAE,CAAC;IACnC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC;IACrB,YAAY,CAAC,EAAE,eAAe,EAAE,CAAC;IACjC,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC;IAC7B,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC;IACxB,IAAI,CAAC,EAAE,MAAM,CAAC;IAGd,kBAAkB,CAAC,EAAE,UAAU,CAAC;IAChC,kBAAkB,CAAC,EAAE,UAAU,CAAC;IAChC,iBAAiB,CAAC,EAAE,UAAU,CAAC;IAC/B,kBAAkB,CAAC,EAAE,UAAU,CAAC;IAChC,eAAe,CAAC,EAAE,UAAU,CAAC;IAC7B,iBAAiB,CAAC,EAAE,UAAU,CAAC;IAC/B,iBAAiB,CAAC,EAAE,UAAU,CAAC;IAC/B,qBAAqB,CAAC,EAAE,UAAU,CAAC;IACnC,2BAA2B,CAAC,EAAE,UAAU,CAAC;IAGzC,cAAc,CAAC,EAAE,cAAc,CAAC;IAGhC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IACzB,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,IAAI,EAAE,QAAQ,KAAK,IAAI,CAAC;AAEtD;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,CAAC,QAAQ,EAAE,MAAM,GAAG,cAAc,CAAC;CACpC;AAED;;GAEG;AACH,8BAAsB,UAAU;IAC9B,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC;IAChC,SAAS,CAAC,WAAW,EAAE,kBAAkB,CAAC;IAE1C;;;OAGG;gBACS,MAAM,EAAE,aAAa,EAAE,WAAW,EAAE,kBAAkB;IAKlE;;;OAGG;IACH,QAAQ,CAAC,WAAW,IAAI,eAAe;IAEvC;;OAEG;IACH,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,YAAY;CAM3C"}
+{"version":3,"file":"ASTVisitor.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/visitors/ASTVisitor.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,IAAI,EAAkB,MAAM,cAAc,CAAC;AAEzD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,EACV,YAAY,EACZ,oBAAoB,EACpB,sBAAsB,EACtB,SAAS,EACT,uBAAuB,EACvB,YAAY,EACZ,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,WAAW,EACX,UAAU,EACV,UAAU,EACV,eAAe,EACf,sBAAsB,EACtB,gBAAgB,EAChB,aAAa,EACb,UAAU,EACV,cAAc,EACf,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAGD,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,sBAAsB,IAAI,kBAAkB,EAAE,CAAC;AAEzF;;GAEG;AACH,MAAM,WAAW,kBAAkB;IAEjC,SAAS,CAAC,EAAE,YAAY,EAAE,CAAC;IAC3B,OAAO,CAAC,EAAE,oBAAoB,EAAE,CAAC;IACjC,OAAO,CAAC,EAAE,YAAY,EAAE,CAAC;IACzB,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC;IACvB,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC;IACvB,SAAS,CAAC,EAAE,uBAAuB,EAAE,CAAC;IACtC,oBAAoB,CAAC,EAAE,uBAAuB,EAAE,CAAC;IACjD,mBAAmB,CAAC,EAAE,sBAAsB,EAAE,CAAC;IAC/C,SAAS,CAAC,EAAE,YAAY,EAAE,CAAC;IAC3B,WAAW,CAAC,EAAE,cAAc,EAAE,CAAC;IAC/B,cAAc,CAAC,EAAE,iBAAiB,EAAE,CAAC;IACrC,eAAe,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACvC,mBAAmB,CAAC,EAAE,sBAAsB,EAAE,CAAC;IAC/C,iBAAiB,CAAC,EAAE,oBAAoB,EAAE,CAAC;IAC3C,QAAQ,CAAC,EAAE,WAAW,EAAE,CAAC;IACzB,aAAa,CAAC,EAAE,gBAAgB,EAAE,CAAC;IACnC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC;IACrB,YAAY,CAAC,EAAE,eAAe,EAAE,CAAC;IACjC,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC;IAC7B,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC;IACxB,IAAI,CAAC,EAAE,MAAM,CAAC;IAGd,kBAAkB,CAAC,EAAE,UAAU,CAAC;IAChC,kBAAkB,CAAC,EAAE,UAAU,CAAC;IAChC,iBAAiB,CAAC,EAAE,UAAU,CAAC;IAC/B,kBAAkB,CAAC,EAAE,UAAU,CAAC;IAChC,eAAe,CAAC,EAAE,UAAU,CAAC;IAC7B,iBAAiB,CAAC,EAAE,UAAU,CAAC;IAC/B,iBAAiB,CAAC,EAAE,UAAU,CAAC;IAC/B,qBAAqB,CAAC,EAAE,UAAU,CAAC;IACnC,2BAA2B,CAAC,EAAE,UAAU,CAAC;IAGzC,cAAc,CAAC,EAAE,cAAc,CAAC;IAGhC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,IAAI,EAAE,QAAQ,KAAK,IAAI,CAAC;AAEtD;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,CAAC,QAAQ,EAAE,MAAM,GAAG,cAAc,CAAC;CACpC;AAED;;GAEG;AACH,8BAAsB,UAAU;IAC9B,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC;IAChC,SAAS,CAAC,WAAW,EAAE,kBAAkB,CAAC;IAE1C;;;OAGG;gBACS,MAAM,EAAE,aAAa,EAAE,WAAW,EAAE,kBAAkB;IAKlE;;;OAGG;IACH,QAAQ,CAAC,WAAW,IAAI,eAAe;IAEvC;;;;;OAKG;IACH,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,YAAY;CAG3C"}

package/dist/plugins/analysis/ast/visitors/ASTVisitor.js

@@ -1,3 +1,4 @@
+import { getNodeLocation } from '../utils/location.js';
 /**
  * Base class for AST visitors
  */
@@ -13,12 +14,12 @@ export class ASTVisitor {
         this.collections = collections;
     }
     /**
-     * Utility to get source location info
+     * Utility to get source location info.
+     * Returns { line: 0, column: 0 } if location is unavailable.
+     *
+     * @deprecated Prefer using getLine() or getNodeLocation() directly from utils/location.js
      */
     getLoc(node) {
-        return {
-            line: node.loc?.start?.line,
-            column: node.loc?.start?.column
-        };
+        return getNodeLocation(node);
     }
 }

package/dist/plugins/analysis/ast/visitors/CallExpressionVisitor.d.ts

@@ -7,9 +7,71 @@
  * - Event handlers: obj.on('event', handler)
  * - Constructor calls: new Foo(), new Function()
  */
-import type { Node, CallExpression } from '@babel/types';
+import type { Node, CallExpression, ObjectExpression, ArrayExpression } from '@babel/types';
 import type { NodePath } from '@babel/traverse';
 import { ASTVisitor, type VisitorModule, type VisitorCollections, type VisitorHandlers, type CounterRef } from './ASTVisitor.js';
+import { ScopeTracker } from '../../../../core/ScopeTracker.js';
+/**
+ * Object literal info for OBJECT_LITERAL nodes
+ */
+interface ObjectLiteralInfo {
+    id: string;
+    type: 'OBJECT_LITERAL';
+    file: string;
+    line: number;
+    column: number;
+    parentCallId?: string;
+    argIndex?: number;
+    isSpread?: boolean;
+}
+/**
+ * Object property info for HAS_PROPERTY edges
+ */
+interface ObjectPropertyInfo {
+    objectId: string;
+    propertyName: string;
+    valueNodeId?: string;
+    valueType: 'LITERAL' | 'VARIABLE' | 'CALL' | 'EXPRESSION' | 'OBJECT_LITERAL' | 'ARRAY_LITERAL' | 'SPREAD';
+    valueName?: string;
+    literalValue?: unknown;
+    file: string;
+    line: number;
+    column: number;
+    callLine?: number;
+    callColumn?: number;
+    nestedObjectId?: string;
+    nestedArrayId?: string;
+}
+/**
+ * Array literal info for ARRAY_LITERAL nodes
+ */
+interface ArrayLiteralInfo {
+    id: string;
+    type: 'ARRAY_LITERAL';
+    file: string;
+    line: number;
+    column: number;
+    parentCallId?: string;
+    argIndex?: number;
+}
+/**
+ * Array element info for HAS_ELEMENT edges
+ */
+interface ArrayElementInfo {
+    arrayId: string;
+    index: number;
+    valueNodeId?: string;
+    valueType: 'LITERAL' | 'VARIABLE' | 'CALL' | 'EXPRESSION' | 'OBJECT_LITERAL' | 'ARRAY_LITERAL' | 'SPREAD';
+    valueName?: string;
+    literalValue?: unknown;
+    file: string;
+    line: number;
+    column: number;
+    callLine?: number;
+    callColumn?: number;
+    nestedObjectId?: string;
+    nestedArrayId?: string;
+}
 /**
  * Argument info for PASSES_ARGUMENT edges
  */
@@ -50,7 +112,13 @@ interface LiteralInfo {
     argIndex: number;
 }
 export declare class CallExpressionVisitor extends ASTVisitor {
-    constructor(module: VisitorModule, collections: VisitorCollections);
+    private scopeTracker?;
+    /**
+     * @param module - Current module being analyzed
+     * @param collections - Must contain arrays and counter refs
+     * @param scopeTracker - Optional ScopeTracker for semantic ID generation
+     */
+    constructor(module: VisitorModule, collections: VisitorCollections, scopeTracker?: ScopeTracker);
     /**
      * Extract argument information for PASSES_ARGUMENT edges
      */
@@ -61,14 +129,36 @@ export declare class CallExpressionVisitor extends ASTVisitor {
      */
     extractIdentifiers(node: Node | null | undefined, identifiers?: Set<string>): string[];
     /**
-     * Get a stable scope ID for a function parent
-     * Format must match what FunctionVisitor creates:
-     * - FunctionDeclaration: FUNCTION#name#file#line
-     * - ArrowFunctionExpression: FUNCTION#name#file#line:col:counter
+     * Extract object properties and create ObjectPropertyInfo records
+     */
+    extractObjectProperties(objectExpr: ObjectExpression, objectId: string, module: VisitorModule, objectProperties: ObjectPropertyInfo[], objectLiterals: ObjectLiteralInfo[], objectLiteralCounterRef: CounterRef, literals: LiteralInfo[], literalCounterRef: CounterRef): void;
+    /**
+     * Extract array elements and create ArrayElementInfo records
+     */
+    extractArrayElements(arrayExpr: ArrayExpression, arrayId: string, module: VisitorModule, arrayElements: ArrayElementInfo[], arrayLiterals: ArrayLiteralInfo[], arrayLiteralCounterRef: CounterRef, objectLiterals: ObjectLiteralInfo[], objectLiteralCounterRef: CounterRef, objectProperties: ObjectPropertyInfo[], literals: LiteralInfo[], literalCounterRef: CounterRef): void;
+    /**
+     * Detect array mutation calls (push, unshift, splice) and collect mutation info
+     * for later FLOWS_INTO edge creation in GraphBuilder
+     *
+     * REG-117: Added isNested, baseObjectName, propertyName for nested mutations
+     */
+    private detectArrayMutation;
+    /**
+     * Detect Object.assign(target, source1, source2, ...) calls
+     * Creates ObjectMutationInfo for FLOWS_INTO edge generation in GraphBuilder
+     *
+     * @param callNode - The call expression node
+     * @param module - Current module being analyzed
+     */
+    private detectObjectAssign;
+    /**
+     * Get a stable scope ID for a function parent.
+     *
+     * Format must match what FunctionVisitor/ClassVisitor creates (semantic ID):
+     * - Module-level function: {file}->global->FUNCTION->{name}
+     * - Class method: {file}->{className}->FUNCTION->{methodName}
      *
-     * NOTE: We don't have access to the counter here, so for arrow functions
-     * we try to match by name+file+line:col. This may not always work for
-     * multiple arrow functions on the same line.
+     * Reconstructs scope path by walking up the AST.
      */
     getFunctionScopeId(functionParent: NodePath, module: VisitorModule): string;
     getHandlers(): VisitorHandlers;

package/dist/plugins/analysis/ast/visitors/CallExpressionVisitor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"CallExpressionVisitor.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/visitors/CallExpressionVisitor.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,cAAc,EAA+C,MAAM,cAAc,CAAC;AACtG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,KAAK,aAAa,EAAE,KAAK,kBAAkB,EAAE,KAAK,eAAe,EAAE,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAGjI;;GAEG;AACH,UAAU,YAAY;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AA2DD;;GAEG;AACH,UAAU,WAAW;IACnB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,SAAS,GAAG,YAAY,CAAC;IAC/B,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,qBAAa,qBAAsB,SAAQ,UAAU;gBACvC,MAAM,EAAE,aAAa,EAAE,WAAW,EAAE,kBAAkB;IAIlE;;OAEG;IACH,gBAAgB,CACd,IAAI,EAAE,cAAc,CAAC,WAAW,CAAC,EACjC,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,aAAa,EACrB,aAAa,EAAE,YAAY,EAAE,EAC7B,QAAQ,EAAE,WAAW,EAAE,EACvB,iBAAiB,EAAE,UAAU,GAC5B,IAAI;IA4HP;;;OAGG;IACH,kBAAkB,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,EAAE,WAAW,GAAE,GAAG,CAAC,MAAM,CAAa,GAAG,MAAM,EAAE;IA2CjG;;;;;;;;;OASG;IACH,kBAAkB,CAAC,cAAc,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,GAAG,MAAM;IAqB3E,WAAW,IAAI,eAAe;CAqM/B"}
+{"version":3,"file":"CallExpressionVisitor.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/visitors/CallExpressionVisitor.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,cAAc,EAA+C,gBAAgB,EAAE,eAAe,EAAiC,MAAM,cAAc,CAAC;AACxK,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,KAAK,aAAa,EAAE,KAAK,kBAAkB,EAAE,KAAK,eAAe,EAAE,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAGjI,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAQhE;;GAEG;AACH,UAAU,iBAAiB;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,gBAAgB,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;GAEG;AACH,UAAU,kBAAkB;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,SAAS,GAAG,UAAU,GAAG,MAAM,GAAG,YAAY,GAAG,gBAAgB,GAAG,eAAe,GAAG,QAAQ,CAAC;IAC1G,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,UAAU,gBAAgB;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,eAAe,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,UAAU,gBAAgB;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,SAAS,GAAG,UAAU,GAAG,MAAM,GAAG,YAAY,GAAG,gBAAgB,GAAG,eAAe,GAAG,QAAQ,CAAC;IAC1G,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;GAEG;AACH,UAAU,YAAY;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AA2DD;;GAEG;AACH,UAAU,WAAW;IACnB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,SAAS,GAAG,YAAY,CAAC;IAC/B,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,qBAAa,qBAAsB,SAAQ,UAAU;IACnD,OAAO,CAAC,YAAY,CAAC,CAAe;IAEpC;;;;OAIG;gBACS,MAAM,EAAE,aAAa,EAAE,WAAW,EAAE,kBAAkB,EAAE,YAAY,CAAC,EAAE,YAAY;IAK/F;;OAEG;IACH,gBAAgB,CACd,IAAI,EAAE,cAAc,CAAC,WAAW,CAAC,EACjC,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,aAAa,EACrB,aAAa,EAAE,YAAY,EAAE,EAC7B,QAAQ,EAAE,WAAW,EAAE,EACvB,iBAAiB,EAAE,UAAU,GAC5B,IAAI;IA6NP;;;OAGG;IACH,kBAAkB,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,EAAE,WAAW,GAAE,GAAG,CAAC,MAAM,CAAa,GAAG,MAAM,EAAE;IA2CjG;;OAEG;IACH,uBAAuB,CACrB,UAAU,EAAE,gBAAgB,EAC5B,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,aAAa,EACrB,gBAAgB,EAAE,kBAAkB,EAAE,EACtC,cAAc,EAAE,iBAAiB,EAAE,EACnC,uBAAuB,EAAE,UAAU,EACnC,QAAQ,EAAE,WAAW,EAAE,EACvB,iBAAiB,EAAE,UAAU,GAC5B,IAAI;IA8KP;;OAEG;IACH,oBAAoB,CAClB,SAAS,EAAE,eAAe,EAC1B,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,aAAa,EACrB,aAAa,EAAE,gBAAgB,EAAE,EACjC,aAAa,EAAE,gBAAgB,EAAE,EACjC,sBAAsB,EAAE,UAAU,EAClC,cAAc,EAAE,iBAAiB,EAAE,EACnC,uBAAuB,EAAE,UAAU,EACnC,gBAAgB,EAAE,kBAAkB,EAAE,EACtC,QAAQ,EAAE,WAAW,EAAE,EACvB,iBAAiB,EAAE,UAAU,GAC5B,IAAI;IAmIP;;;;;OAKG;IACH,OAAO,CAAC,mBAAmB;IAoF3B;;;;;;OAMG;IACH,OAAO,CAAC,kBAAkB;IA+E1B;;;;;;;;OAQG;IACH,kBAAkB,CAAC,cAAc,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,GAAG,MAAM;IAoD3E,WAAW,IAAI,eAAe;CAmT/B"}