@grafema/core 0.2.4-beta → 0.2.6-beta

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

@@ -0,0 +1,23 @@
+/**
+ * ArgumentExtractor — extracts argument info for PASSES_ARGUMENT edges.
+ *
+ * Handles object/array literals, primitive literals, variables, callbacks,
+ * nested calls, member expressions, and binary/logical expressions.
+ * Extracted from CallExpressionVisitor.ts (REG-424).
+ */
+import type { Node, CallExpression } from '@babel/types';
+import type { VisitorModule, VisitorCollections, CounterRef } from './ASTVisitor.js';
+import type { ScopeTracker } from '../../../../core/ScopeTracker.js';
+import type { ArgumentInfo, LiteralInfo } from './call-expression-types.js';
+export declare class ArgumentExtractor {
+    /**
+     * Extract argument information for PASSES_ARGUMENT edges.
+     */
+    static extract(args: CallExpression['arguments'], callId: string, module: VisitorModule, callArguments: ArgumentInfo[], literals: LiteralInfo[], literalCounterRef: CounterRef, collections: VisitorCollections, scopeTracker?: ScopeTracker): void;
+    /**
+     * Extract all Identifier names from an expression (recursively).
+     * Used for BinaryExpression/LogicalExpression to track DERIVES_FROM edges.
+     */
+    static extractIdentifiers(node: Node | null | undefined, identifiers?: Set<string>): string[];
+}
+//# sourceMappingURL=ArgumentExtractor.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ArgumentExtractor.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/visitors/ArgumentExtractor.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,cAAc,EAAmE,MAAM,cAAc,CAAC;AAK1H,OAAO,KAAK,EAAE,aAAa,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACrF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAGrE,OAAO,KAAK,EAEV,YAAY,EAAE,WAAW,EAC1B,MAAM,4BAA4B,CAAC;AAEpC,qBAAa,iBAAiB;IAC5B;;OAEG;IACH,MAAM,CAAC,OAAO,CACZ,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,EAC7B,WAAW,EAAE,kBAAkB,EAC/B,YAAY,CAAC,EAAE,YAAY,GAC1B,IAAI;IAiOP;;;OAGG;IACH,MAAM,CAAC,kBAAkB,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,EAAE,WAAW,GAAE,GAAG,CAAC,MAAM,CAAa,GAAG,MAAM,EAAE;CA0CzG"}

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

@@ -0,0 +1,241 @@
+/**
+ * ArgumentExtractor — extracts argument info for PASSES_ARGUMENT edges.
+ *
+ * Handles object/array literals, primitive literals, variables, callbacks,
+ * nested calls, member expressions, and binary/logical expressions.
+ * Extracted from CallExpressionVisitor.ts (REG-424).
+ */
+import { ExpressionEvaluator } from '../ExpressionEvaluator.js';
+import { NodeFactory } from '../../../../core/NodeFactory.js';
+import { ObjectLiteralNode } from '../../../../core/nodes/ObjectLiteralNode.js';
+import { ArrayLiteralNode } from '../../../../core/nodes/ArrayLiteralNode.js';
+import { ObjectPropertyExtractor } from './ObjectPropertyExtractor.js';
+import { ArrayElementExtractor } from './ArrayElementExtractor.js';
+export class ArgumentExtractor {
+    /**
+     * Extract argument information for PASSES_ARGUMENT edges.
+     */
+    static extract(args, callId, module, callArguments, literals, literalCounterRef, collections, scopeTracker) {
+        args.forEach((arg, index) => {
+            const argInfo = {
+                callId,
+                argIndex: index,
+                file: module.file,
+                line: arg.loc?.start.line || 0,
+                column: arg.loc?.start.column || 0
+            };
+            // Check for spread: ...arg
+            let actualArg = arg;
+            if (arg.type === 'SpreadElement') {
+                argInfo.isSpread = true;
+                actualArg = arg.argument; // Get the actual argument
+            }
+            // Object literal - check BEFORE extractLiteralValue to handle object-typed args properly
+            if (actualArg.type === 'ObjectExpression') {
+                const objectExpr = actualArg;
+                // Initialize collections if not exist (must assign back to collections!)
+                if (!collections.objectLiteralCounterRef) {
+                    collections.objectLiteralCounterRef = { value: 0 };
+                }
+                if (!collections.objectLiterals) {
+                    collections.objectLiterals = [];
+                }
+                if (!collections.objectProperties) {
+                    collections.objectProperties = [];
+                }
+                const objectLiteralCounterRef = collections.objectLiteralCounterRef;
+                // Use factory to create OBJECT_LITERAL node
+                const objectNode = ObjectLiteralNode.create(module.file, argInfo.line, argInfo.column, {
+                    parentCallId: callId,
+                    argIndex: index,
+                    counter: objectLiteralCounterRef.value++
+                });
+                // Factory guarantees line is set, cast to ObjectLiteralInfo
+                collections.objectLiterals.push(objectNode);
+                const objectId = objectNode.id;
+                // Extract properties
+                ObjectPropertyExtractor.extract(objectExpr, objectId, module, collections.objectProperties, collections.objectLiterals, objectLiteralCounterRef, literals, literalCounterRef, collections, scopeTracker);
+                argInfo.targetType = 'OBJECT_LITERAL';
+                argInfo.targetId = objectId;
+            }
+            // Array literal - check BEFORE extractLiteralValue to handle array-typed args properly
+            else if (actualArg.type === 'ArrayExpression') {
+                const arrayExpr = actualArg;
+                // Initialize collections if not exist (must assign back to collections!)
+                if (!collections.arrayLiteralCounterRef) {
+                    collections.arrayLiteralCounterRef = { value: 0 };
+                }
+                if (!collections.arrayLiterals) {
+                    collections.arrayLiterals = [];
+                }
+                if (!collections.arrayElements) {
+                    collections.arrayElements = [];
+                }
+                if (!collections.objectLiteralCounterRef) {
+                    collections.objectLiteralCounterRef = { value: 0 };
+                }
+                if (!collections.objectLiterals) {
+                    collections.objectLiterals = [];
+                }
+                if (!collections.objectProperties) {
+                    collections.objectProperties = [];
+                }
+                const arrayLiteralCounterRef = collections.arrayLiteralCounterRef;
+                // Use factory to create ARRAY_LITERAL node
+                const arrayNode = ArrayLiteralNode.create(module.file, argInfo.line, argInfo.column, {
+                    parentCallId: callId,
+                    argIndex: index,
+                    counter: arrayLiteralCounterRef.value++
+                });
+                // Factory guarantees line is set, cast to ArrayLiteralInfo
+                collections.arrayLiterals.push(arrayNode);
+                const arrayId = arrayNode.id;
+                // Extract elements
+                ArrayElementExtractor.extract(arrayExpr, arrayId, module, collections.arrayElements, collections.arrayLiterals, arrayLiteralCounterRef, collections.objectLiterals, collections.objectLiteralCounterRef, collections.objectProperties, literals, literalCounterRef, collections, scopeTracker);
+                argInfo.targetType = 'ARRAY_LITERAL';
+                argInfo.targetId = arrayId;
+            }
+            // Literal value (primitives only - objects/arrays handled above)
+            else {
+                const literalValue = ExpressionEvaluator.extractLiteralValue(actualArg);
+                if (literalValue !== null) {
+                    const literalId = `LITERAL#arg${index}#${module.file}#${argInfo.line}:${argInfo.column}:${literalCounterRef.value++}`;
+                    literals.push({
+                        id: literalId,
+                        type: 'LITERAL',
+                        value: literalValue,
+                        valueType: typeof literalValue,
+                        file: module.file,
+                        line: argInfo.line,
+                        column: argInfo.column,
+                        parentCallId: callId,
+                        argIndex: index
+                    });
+                    argInfo.targetType = 'LITERAL';
+                    argInfo.targetId = literalId;
+                    argInfo.literalValue = literalValue;
+                }
+                // Variable reference
+                else if (actualArg.type === 'Identifier') {
+                    argInfo.targetType = 'VARIABLE';
+                    argInfo.targetName = actualArg.name; // Will be resolved in GraphBuilder
+                }
+                // Function expression (callback)
+                else if (actualArg.type === 'ArrowFunctionExpression' || actualArg.type === 'FunctionExpression') {
+                    argInfo.targetType = 'FUNCTION';
+                    argInfo.functionLine = actualArg.loc?.start.line;
+                    argInfo.functionColumn = actualArg.loc?.start.column;
+                }
+                // Call expression (nested call)
+                else if (actualArg.type === 'CallExpression') {
+                    argInfo.targetType = 'CALL';
+                    // Nested calls will be processed separately, link by position
+                    argInfo.nestedCallLine = actualArg.loc?.start.line;
+                    argInfo.nestedCallColumn = actualArg.loc?.start.column;
+                }
+                // Member expression: obj.prop or obj[x]
+                else if (actualArg.type === 'MemberExpression') {
+                    const memberExpr = actualArg;
+                    argInfo.targetType = 'EXPRESSION';
+                    argInfo.expressionType = 'MemberExpression';
+                    if (memberExpr.object.type === 'Identifier') {
+                        argInfo.objectName = memberExpr.object.name;
+                    }
+                    if (!memberExpr.computed && memberExpr.property.type === 'Identifier') {
+                        argInfo.propertyName = memberExpr.property.name;
+                    }
+                }
+                // Binary/Logical expression: a + b, a && b
+                else if (actualArg.type === 'BinaryExpression' || actualArg.type === 'LogicalExpression') {
+                    const expr = actualArg;
+                    const operator = expr.operator || '?';
+                    const counter = literalCounterRef.value++;
+                    // Create EXPRESSION node via NodeFactory
+                    const expressionNode = NodeFactory.createArgumentExpression(actualArg.type, module.file, argInfo.line, argInfo.column, {
+                        parentCallId: callId,
+                        argIndex: index,
+                        operator,
+                        counter
+                    });
+                    literals.push(expressionNode);
+                    argInfo.targetType = 'EXPRESSION';
+                    argInfo.targetId = expressionNode.id;
+                    argInfo.expressionType = actualArg.type;
+                    // Track DERIVES_FROM edges for identifiers in expression
+                    const identifiers = ArgumentExtractor.extractIdentifiers(actualArg);
+                    const { variableAssignments } = collections;
+                    if (variableAssignments) {
+                        for (const identName of identifiers) {
+                            variableAssignments.push({
+                                variableId: expressionNode.id,
+                                sourceId: null,
+                                sourceName: identName,
+                                sourceType: 'DERIVES_FROM_VARIABLE',
+                                file: module.file
+                            });
+                        }
+                    }
+                }
+                // Other expression types (fallback for unhandled expression types)
+                else {
+                    argInfo.targetType = 'EXPRESSION';
+                    argInfo.expressionType = actualArg.type;
+                }
+            }
+            callArguments.push(argInfo);
+        });
+    }
+    /**
+     * Extract all Identifier names from an expression (recursively).
+     * Used for BinaryExpression/LogicalExpression to track DERIVES_FROM edges.
+     */
+    static extractIdentifiers(node, identifiers = new Set()) {
+        if (!node)
+            return Array.from(identifiers);
+        if (node.type === 'Identifier') {
+            identifiers.add(node.name);
+        }
+        else if (node.type === 'BinaryExpression' || node.type === 'LogicalExpression') {
+            const expr = node;
+            ArgumentExtractor.extractIdentifiers(expr.left, identifiers);
+            ArgumentExtractor.extractIdentifiers(expr.right, identifiers);
+        }
+        else if (node.type === 'UnaryExpression') {
+            const expr = node;
+            ArgumentExtractor.extractIdentifiers(expr.argument, identifiers);
+        }
+        else if (node.type === 'ConditionalExpression') {
+            const expr = node;
+            ArgumentExtractor.extractIdentifiers(expr.test, identifiers);
+            ArgumentExtractor.extractIdentifiers(expr.consequent, identifiers);
+            ArgumentExtractor.extractIdentifiers(expr.alternate, identifiers);
+        }
+        else if (node.type === 'MemberExpression') {
+            const memberExpr = node;
+            // For obj.prop - track obj (but not prop as it's a property name)
+            if (memberExpr.object.type === 'Identifier') {
+                identifiers.add(memberExpr.object.name);
+            }
+            else {
+                ArgumentExtractor.extractIdentifiers(memberExpr.object, identifiers);
+            }
+        }
+        else if (node.type === 'CallExpression') {
+            const callExpr = node;
+            // For func() - track func if identifier, and all arguments
+            if (callExpr.callee.type === 'Identifier') {
+                identifiers.add(callExpr.callee.name);
+            }
+            for (const arg of callExpr.arguments) {
+                if (arg.type !== 'SpreadElement') {
+                    ArgumentExtractor.extractIdentifiers(arg, identifiers);
+                }
+                else {
+                    ArgumentExtractor.extractIdentifiers(arg.argument, identifiers);
+                }
+            }
+        }
+        return Array.from(identifiers);
+    }
+}
+//# sourceMappingURL=ArgumentExtractor.js.map

package/dist/plugins/analysis/ast/visitors/ArgumentExtractor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ArgumentExtractor.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/visitors/ArgumentExtractor.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAC;AAChF,OAAO,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AAG9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAMnE,MAAM,OAAO,iBAAiB;IAC5B;;OAEG;IACH,MAAM,CAAC,OAAO,CACZ,IAAiC,EACjC,MAAc,EACd,MAAqB,EACrB,aAA6B,EAC7B,QAAuB,EACvB,iBAA6B,EAC7B,WAA+B,EAC/B,YAA2B;QAE3B,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;YAC1B,MAAM,OAAO,GAAiB;gBAC5B,MAAM;gBACN,QAAQ,EAAE,KAAK;gBACf,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC;gBAC9B,MAAM,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,IAAI,CAAC;aACnC,CAAC;YAEF,2BAA2B;YAC3B,IAAI,SAAS,GAAS,GAAG,CAAC;YAC1B,IAAI,GAAG,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBACjC,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC;gBACxB,SAAS,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAE,0BAA0B;YACvD,CAAC;YAED,yFAAyF;YACzF,IAAI,SAAS,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBAC1C,MAAM,UAAU,GAAG,SAA6B,CAAC;gBACjD,yEAAyE;gBACzE,IAAI,CAAC,WAAW,CAAC,uBAAuB,EAAE,CAAC;oBACzC,WAAW,CAAC,uBAAuB,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBACrD,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,CAAC;oBAChC,WAAW,CAAC,cAAc,GAAG,EAAE,CAAC;gBAClC,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,gBAAgB,EAAE,CAAC;oBAClC,WAAW,CAAC,gBAAgB,GAAG,EAAE,CAAC;gBACpC,CAAC;gBACD,MAAM,uBAAuB,GAAG,WAAW,CAAC,uBAAqC,CAAC;gBAElF,4CAA4C;gBAC5C,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,CACzC,MAAM,CAAC,IAAI,EACX,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,MAAM,EACd;oBACE,YAAY,EAAE,MAAM;oBACpB,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE,uBAAuB,CAAC,KAAK,EAAE;iBACzC,CACF,CAAC;gBACF,4DAA4D;gBAC3D,WAAW,CAAC,cAAsC,CAAC,IAAI,CAAC,UAA0C,CAAC,CAAC;gBACrG,MAAM,QAAQ,GAAG,UAAU,CAAC,EAAE,CAAC;gBAE/B,qBAAqB;gBACrB,uBAAuB,CAAC,OAAO,CAC7B,UAAU,EACV,QAAQ,EACR,MAAM,EACN,WAAW,CAAC,gBAAwC,EACpD,WAAW,CAAC,cAAqC,EACjD,uBAAuB,EACvB,QAAyB,EACzB,iBAAiB,EACjB,WAAW,EACX,YAAY,CACb,CAAC;gBAEF,OAAO,CAAC,UAAU,GAAG,gBAAgB,CAAC;gBACtC,OAAO,CAAC,QAAQ,GAAG,QAAQ,CAAC;YAC9B,CAAC;YACD,uFAAuF;iBAClF,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBAC9C,MAAM,SAAS,GAAG,SAA4B,CAAC;gBAC/C,yEAAyE;gBACzE,IAAI,CAAC,WAAW,CAAC,sBAAsB,EAAE,CAAC;oBACxC,WAAW,CAAC,sBAAsB,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBACpD,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC;oBAC/B,WAAW,CAAC,aAAa,GAAG,EAAE,CAAC;gBACjC,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC;oBAC/B,WAAW,CAAC,aAAa,GAAG,EAAE,CAAC;gBACjC,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,uBAAuB,EAAE,CAAC;oBACzC,WAAW,CAAC,uBAAuB,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBACrD,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,CAAC;oBAChC,WAAW,CAAC,cAAc,GAAG,EAAE,CAAC;gBAClC,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,gBAAgB,EAAE,CAAC;oBAClC,WAAW,CAAC,gBAAgB,GAAG,EAAE,CAAC;gBACpC,CAAC;gBACD,MAAM,sBAAsB,GAAG,WAAW,CAAC,sBAAoC,CAAC;gBAEhF,2CAA2C;gBAC3C,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,CACvC,MAAM,CAAC,IAAI,EACX,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,MAAM,EACd;oBACE,YAAY,EAAE,MAAM;oBACpB,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE,sBAAsB,CAAC,KAAK,EAAE;iBACxC,CACF,CAAC;gBACF,2DAA2D;gBAC1D,WAAW,CAAC,aAAoC,CAAC,IAAI,CAAC,SAAwC,CAAC,CAAC;gBACjG,MAAM,OAAO,GAAG,SAAS,CAAC,EAAE,CAAC;gBAE7B,mBAAmB;gBACnB,qBAAqB,CAAC,OAAO,CAC3B,SAAS,EACT,OAAO,EACP,MAAM,EACN,WAAW,CAAC,aAAmC,EAC/C,WAAW,CAAC,aAAmC,EAC/C,sBAAsB,EACtB,WAAW,CAAC,cAAqC,EACjD,WAAW,CAAC,uBAAqC,EACjD,WAAW,CAAC,gBAAwC,EACpD,QAAyB,EACzB,iBAAiB,EACjB,WAAW,EACX,YAAY,CACb,CAAC;gBAEF,OAAO,CAAC,UAAU,GAAG,eAAe,CAAC;gBACrC,OAAO,CAAC,QAAQ,GAAG,OAAO,CAAC;YAC7B,CAAC;YACD,iEAAiE;iBAC5D,CAAC;gBACJ,MAAM,YAAY,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;gBACxE,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;oBAC1B,MAAM,SAAS,GAAG,cAAc,KAAK,IAAI,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,MAAM,IAAI,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC;oBACtH,QAAQ,CAAC,IAAI,CAAC;wBACZ,EAAE,EAAE,SAAS;wBACb,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,YAAY;wBACnB,SAAS,EAAE,OAAO,YAAY;wBAC9B,IAAI,EAAE,MAAM,CAAC,IAAI;wBACjB,IAAI,EAAE,OAAO,CAAC,IAAI;wBAClB,MAAM,EAAE,OAAO,CAAC,MAAM;wBACtB,YAAY,EAAE,MAAM;wBACpB,QAAQ,EAAE,KAAK;qBAChB,CAAC,CAAC;oBACH,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC;oBAC/B,OAAO,CAAC,QAAQ,GAAG,SAAS,CAAC;oBAC7B,OAAO,CAAC,YAAY,GAAG,YAAY,CAAC;gBACtC,CAAC;gBACD,qBAAqB;qBAChB,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBAC3C,OAAO,CAAC,UAAU,GAAG,UAAU,CAAC;oBAChC,OAAO,CAAC,UAAU,GAAI,SAAwB,CAAC,IAAI,CAAC,CAAE,mCAAmC;gBAC3F,CAAC;gBACD,iCAAiC;qBAC5B,IAAI,SAAS,CAAC,IAAI,KAAK,yBAAyB,IAAI,SAAS,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;oBACjG,OAAO,CAAC,UAAU,GAAG,UAAU,CAAC;oBAChC,OAAO,CAAC,YAAY,GAAG,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;oBACjD,OAAO,CAAC,cAAc,GAAG,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC;gBACvD,CAAC;gBACD,gCAAgC;qBAC3B,IAAI,SAAS,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBAC7C,OAAO,CAAC,UAAU,GAAG,MAAM,CAAC;oBAC5B,8DAA8D;oBAC9D,OAAO,CAAC,cAAc,GAAG,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;oBACnD,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC;gBACzD,CAAC;gBACD,wCAAwC;qBACnC,IAAI,SAAS,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;oBAC/C,MAAM,UAAU,GAAG,SAA6B,CAAC;oBACjD,OAAO,CAAC,UAAU,GAAG,YAAY,CAAC;oBAClC,OAAO,CAAC,cAAc,GAAG,kBAAkB,CAAC;oBAC5C,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;wBAC5C,OAAO,CAAC,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;oBAC9C,CAAC;oBACD,IAAI,CAAC,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;wBACtE,OAAO,CAAC,YAAY,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAClD,CAAC;gBACH,CAAC;gBACD,2CAA2C;qBACtC,IAAI,SAAS,CAAC,IAAI,KAAK,kBAAkB,IAAI,SAAS,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBACzF,MAAM,IAAI,GAAG,SAAgD,CAAC;oBAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,GAAG,CAAC;oBACtC,MAAM,OAAO,GAAG,iBAAiB,CAAC,KAAK,EAAE,CAAC;oBAE1C,yCAAyC;oBACzC,MAAM,cAAc,GAAG,WAAW,CAAC,wBAAwB,CACzD,SAAS,CAAC,IAAI,EACd,MAAM,CAAC,IAAI,EACX,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,MAAM,EACd;wBACE,YAAY,EAAE,MAAM;wBACpB,QAAQ,EAAE,KAAK;wBACf,QAAQ;wBACR,OAAO;qBACR,CACF,CAAC;oBAEF,QAAQ,CAAC,IAAI,CAAC,cAA6B,CAAC,CAAC;oBAE7C,OAAO,CAAC,UAAU,GAAG,YAAY,CAAC;oBAClC,OAAO,CAAC,QAAQ,GAAG,cAAc,CAAC,EAAE,CAAC;oBACrC,OAAO,CAAC,cAAc,GAAG,SAAS,CAAC,IAAI,CAAC;oBAExC,yDAAyD;oBACzD,MAAM,WAAW,GAAG,iBAAiB,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC;oBACpE,MAAM,EAAE,mBAAmB,EAAE,GAAG,WAAW,CAAC;oBAC5C,IAAI,mBAAmB,EAAE,CAAC;wBACxB,KAAK,MAAM,SAAS,IAAI,WAAW,EAAE,CAAC;4BACpC,mBAAmB,CAAC,IAAI,CAAC;gCACvB,UAAU,EAAE,cAAc,CAAC,EAAE;gCAC7B,QAAQ,EAAE,IAAI;gCACd,UAAU,EAAE,SAAS;gCACrB,UAAU,EAAE,uBAAuB;gCACnC,IAAI,EAAE,MAAM,CAAC,IAAI;6BAClB,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,mEAAmE;qBAC9D,CAAC;oBACJ,OAAO,CAAC,UAAU,GAAG,YAAY,CAAC;oBAClC,OAAO,CAAC,cAAc,GAAG,SAAS,CAAC,IAAI,CAAC;gBAC1C,CAAC;YACD,CAAC;YAED,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,kBAAkB,CAAC,IAA6B,EAAE,cAA2B,IAAI,GAAG,EAAE;QAC3F,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAE1C,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC/B,WAAW,CAAC,GAAG,CAAE,IAAmB,CAAC,IAAI,CAAC,CAAC;QAC7C,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACjF,MAAM,IAAI,GAAG,IAAmC,CAAC;YACjD,iBAAiB,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC7D,iBAAiB,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QAChE,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,IAA0B,CAAC;YACxC,iBAAiB,CAAC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACnE,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,IAAyD,CAAC;YACvE,iBAAiB,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC7D,iBAAiB,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;YACnE,iBAAiB,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QACpE,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YAC5C,MAAM,UAAU,GAAG,IAAwB,CAAC;YAC5C,kEAAkE;YAClE,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC5C,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,iBAAiB,CAAC,kBAAkB,CAAC,UAAU,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,IAAsB,CAAC;YACxC,2DAA2D;YAC3D,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC1C,WAAW,CAAC,GAAG,CAAE,QAAQ,CAAC,MAAqB,CAAC,IAAI,CAAC,CAAC;YACxD,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;gBACrC,IAAI,GAAG,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;oBACjC,iBAAiB,CAAC,kBAAkB,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;gBACzD,CAAC;qBAAM,CAAC;oBACN,iBAAiB,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;gBAClE,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACjC,CAAC;CACF"}

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

@@ -0,0 +1,20 @@
+/**
+ * ArrayElementExtractor — extracts array elements for HAS_ELEMENT edges.
+ *
+ * Handles nested objects, arrays, literals, variables, calls, and spread elements.
+ * Extracted from CallExpressionVisitor.ts (REG-424).
+ */
+import type { ArrayExpression } from '@babel/types';
+import type { VisitorModule, VisitorCollections, CounterRef } from './ASTVisitor.js';
+import type { ScopeTracker } from '../../../../core/ScopeTracker.js';
+import type { ObjectLiteralInfo, ObjectPropertyInfo, ArrayLiteralInfo, ArrayElementInfo, LiteralInfo } from './call-expression-types.js';
+export declare class ArrayElementExtractor {
+    /**
+     * Extract array elements and create ArrayElementInfo records.
+     *
+     * Handles nested objects (delegates to ObjectPropertyExtractor), nested arrays (recursive),
+     * literal values, variable references, call expressions, and spread elements.
+     */
+    static extract(arrayExpr: ArrayExpression, arrayId: string, module: VisitorModule, arrayElements: ArrayElementInfo[], arrayLiterals: ArrayLiteralInfo[], arrayLiteralCounterRef: CounterRef, objectLiterals: ObjectLiteralInfo[], objectLiteralCounterRef: CounterRef, objectProperties: ObjectPropertyInfo[], literals: LiteralInfo[], literalCounterRef: CounterRef, collections: VisitorCollections, scopeTracker?: ScopeTracker): void;
+}
+//# sourceMappingURL=ArrayElementExtractor.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ArrayElementExtractor.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/visitors/ArrayElementExtractor.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAIpD,OAAO,KAAK,EAAE,aAAa,EAAE,kBAAkB,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACrF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,KAAK,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAGzI,qBAAa,qBAAqB;IAChC;;;;;OAKG;IACH,MAAM,CAAC,OAAO,CACZ,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,EAC7B,WAAW,EAAE,kBAAkB,EAC/B,YAAY,CAAC,EAAE,YAAY,GAC1B,IAAI;CAsIR"}

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

@@ -0,0 +1,110 @@
+/**
+ * ArrayElementExtractor — extracts array elements for HAS_ELEMENT edges.
+ *
+ * Handles nested objects, arrays, literals, variables, calls, and spread elements.
+ * Extracted from CallExpressionVisitor.ts (REG-424).
+ */
+import { ExpressionEvaluator } from '../ExpressionEvaluator.js';
+import { ObjectLiteralNode } from '../../../../core/nodes/ObjectLiteralNode.js';
+import { ArrayLiteralNode } from '../../../../core/nodes/ArrayLiteralNode.js';
+import { ObjectPropertyExtractor } from './ObjectPropertyExtractor.js';
+export class ArrayElementExtractor {
+    /**
+     * Extract array elements and create ArrayElementInfo records.
+     *
+     * Handles nested objects (delegates to ObjectPropertyExtractor), nested arrays (recursive),
+     * literal values, variable references, call expressions, and spread elements.
+     */
+    static extract(arrayExpr, arrayId, module, arrayElements, arrayLiterals, arrayLiteralCounterRef, objectLiterals, objectLiteralCounterRef, objectProperties, literals, literalCounterRef, collections, scopeTracker) {
+        arrayExpr.elements.forEach((element, index) => {
+            if (!element)
+                return; // Skip holes in arrays
+            const elemLine = element.loc?.start.line || 0;
+            const elemColumn = element.loc?.start.column || 0;
+            const elementInfo = {
+                arrayId,
+                index,
+                file: module.file,
+                line: elemLine,
+                column: elemColumn,
+                valueType: 'EXPRESSION'
+            };
+            // Handle spread elements: [...arr]
+            if (element.type === 'SpreadElement') {
+                const spreadArg = element.argument;
+                elementInfo.valueType = 'SPREAD';
+                if (spreadArg.type === 'Identifier') {
+                    elementInfo.valueName = spreadArg.name;
+                }
+                arrayElements.push(elementInfo);
+                return;
+            }
+            // Nested object literal - check BEFORE extractLiteralValue
+            if (element.type === 'ObjectExpression') {
+                // Use factory - do NOT pass argIndex for nested literals (uses 'obj' suffix)
+                const nestedObjectNode = ObjectLiteralNode.create(module.file, elemLine, elemColumn, {
+                    counter: objectLiteralCounterRef.value++
+                });
+                objectLiterals.push(nestedObjectNode);
+                const nestedObjectId = nestedObjectNode.id;
+                // Recursively extract properties
+                ObjectPropertyExtractor.extract(element, nestedObjectId, module, objectProperties, objectLiterals, objectLiteralCounterRef, literals, literalCounterRef, collections, scopeTracker);
+                elementInfo.valueType = 'OBJECT_LITERAL';
+                elementInfo.nestedObjectId = nestedObjectId;
+                elementInfo.valueNodeId = nestedObjectId;
+            }
+            // Nested array literal - check BEFORE extractLiteralValue
+            else if (element.type === 'ArrayExpression') {
+                // Use factory - do NOT pass argIndex for nested literals (uses 'arr' suffix)
+                const nestedArrayNode = ArrayLiteralNode.create(module.file, elemLine, elemColumn, {
+                    counter: arrayLiteralCounterRef.value++
+                });
+                arrayLiterals.push(nestedArrayNode);
+                const nestedArrayId = nestedArrayNode.id;
+                // Recursively extract elements
+                ArrayElementExtractor.extract(element, nestedArrayId, module, arrayElements, arrayLiterals, arrayLiteralCounterRef, objectLiterals, objectLiteralCounterRef, objectProperties, literals, literalCounterRef, collections, scopeTracker);
+                elementInfo.valueType = 'ARRAY_LITERAL';
+                elementInfo.nestedArrayId = nestedArrayId;
+                elementInfo.valueNodeId = nestedArrayId;
+            }
+            // Literal value (primitives only - objects/arrays handled above)
+            else {
+                const literalValue = ExpressionEvaluator.extractLiteralValue(element);
+                if (literalValue !== null) {
+                    const literalId = `LITERAL#elem${index}#${module.file}#${elemLine}:${elemColumn}:${literalCounterRef.value++}`;
+                    literals.push({
+                        id: literalId,
+                        type: 'LITERAL',
+                        value: literalValue,
+                        valueType: typeof literalValue,
+                        file: module.file,
+                        line: elemLine,
+                        column: elemColumn,
+                        parentCallId: arrayId,
+                        argIndex: index
+                    });
+                    elementInfo.valueType = 'LITERAL';
+                    elementInfo.valueNodeId = literalId;
+                    elementInfo.literalValue = literalValue;
+                }
+                // Variable reference
+                else if (element.type === 'Identifier') {
+                    elementInfo.valueType = 'VARIABLE';
+                    elementInfo.valueName = element.name;
+                }
+                // Call expression
+                else if (element.type === 'CallExpression') {
+                    elementInfo.valueType = 'CALL';
+                    elementInfo.callLine = element.loc?.start.line;
+                    elementInfo.callColumn = element.loc?.start.column;
+                }
+                // Other expressions
+                else {
+                    elementInfo.valueType = 'EXPRESSION';
+                }
+            }
+            arrayElements.push(elementInfo);
+        });
+    }
+}
+//# sourceMappingURL=ArrayElementExtractor.js.map

package/dist/plugins/analysis/ast/visitors/ArrayElementExtractor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ArrayElementExtractor.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/visitors/ArrayElementExtractor.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAC;AAChF,OAAO,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AAI9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAEvE,MAAM,OAAO,qBAAqB;IAChC;;;;;OAKG;IACH,MAAM,CAAC,OAAO,CACZ,SAA0B,EAC1B,OAAe,EACf,MAAqB,EACrB,aAAiC,EACjC,aAAiC,EACjC,sBAAkC,EAClC,cAAmC,EACnC,uBAAmC,EACnC,gBAAsC,EACtC,QAAuB,EACvB,iBAA6B,EAC7B,WAA+B,EAC/B,YAA2B;QAE3B,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;YAC5C,IAAI,CAAC,OAAO;gBAAE,OAAO,CAAE,uBAAuB;YAE9C,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC;YAC9C,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;YAElD,MAAM,WAAW,GAAqB;gBACpC,OAAO;gBACP,KAAK;gBACL,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,UAAU;gBAClB,SAAS,EAAE,YAAY;aACxB,CAAC;YAEF,mCAAmC;YACnC,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBACrC,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC;gBACnC,WAAW,CAAC,SAAS,GAAG,QAAQ,CAAC;gBACjC,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBACpC,WAAW,CAAC,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC;gBACzC,CAAC;gBACD,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAChC,OAAO;YACT,CAAC;YAED,2DAA2D;YAC3D,IAAI,OAAO,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBACxC,6EAA6E;gBAC7E,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,MAAM,CAC/C,MAAM,CAAC,IAAI,EACX,QAAQ,EACR,UAAU,EACV;oBACE,OAAO,EAAE,uBAAuB,CAAC,KAAK,EAAE;iBACzC,CACF,CAAC;gBACF,cAAc,CAAC,IAAI,CAAC,gBAAgD,CAAC,CAAC;gBACtE,MAAM,cAAc,GAAG,gBAAgB,CAAC,EAAE,CAAC;gBAE3C,iCAAiC;gBACjC,uBAAuB,CAAC,OAAO,CAC7B,OAAO,EACP,cAAc,EACd,MAAM,EACN,gBAAgB,EAChB,cAAc,EACd,uBAAuB,EACvB,QAAQ,EACR,iBAAiB,EACjB,WAAW,EACX,YAAY,CACb,CAAC;gBAEF,WAAW,CAAC,SAAS,GAAG,gBAAgB,CAAC;gBACzC,WAAW,CAAC,cAAc,GAAG,cAAc,CAAC;gBAC5C,WAAW,CAAC,WAAW,GAAG,cAAc,CAAC;YAC3C,CAAC;YACD,0DAA0D;iBACrD,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBAC5C,6EAA6E;gBAC7E,MAAM,eAAe,GAAG,gBAAgB,CAAC,MAAM,CAC7C,MAAM,CAAC,IAAI,EACX,QAAQ,EACR,UAAU,EACV;oBACE,OAAO,EAAE,sBAAsB,CAAC,KAAK,EAAE;iBACxC,CACF,CAAC;gBACF,aAAa,CAAC,IAAI,CAAC,eAA8C,CAAC,CAAC;gBACnE,MAAM,aAAa,GAAG,eAAe,CAAC,EAAE,CAAC;gBAEzC,+BAA+B;gBAC/B,qBAAqB,CAAC,OAAO,CAC3B,OAAO,EACP,aAAa,EACb,MAAM,EACN,aAAa,EACb,aAAa,EACb,sBAAsB,EACtB,cAAc,EACd,uBAAuB,EACvB,gBAAgB,EAChB,QAAQ,EACR,iBAAiB,EACjB,WAAW,EACX,YAAY,CACb,CAAC;gBAEF,WAAW,CAAC,SAAS,GAAG,eAAe,CAAC;gBACxC,WAAW,CAAC,aAAa,GAAG,aAAa,CAAC;gBAC1C,WAAW,CAAC,WAAW,GAAG,aAAa,CAAC;YAC1C,CAAC;YACD,iEAAiE;iBAC5D,CAAC;gBACJ,MAAM,YAAY,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;gBACtE,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;oBAC1B,MAAM,SAAS,GAAG,eAAe,KAAK,IAAI,MAAM,CAAC,IAAI,IAAI,QAAQ,IAAI,UAAU,IAAI,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC;oBAC/G,QAAQ,CAAC,IAAI,CAAC;wBACZ,EAAE,EAAE,SAAS;wBACb,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,YAAY;wBACnB,SAAS,EAAE,OAAO,YAAY;wBAC9B,IAAI,EAAE,MAAM,CAAC,IAAI;wBACjB,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,UAAU;wBAClB,YAAY,EAAE,OAAO;wBACrB,QAAQ,EAAE,KAAK;qBAChB,CAAC,CAAC;oBACH,WAAW,CAAC,SAAS,GAAG,SAAS,CAAC;oBAClC,WAAW,CAAC,WAAW,GAAG,SAAS,CAAC;oBACpC,WAAW,CAAC,YAAY,GAAG,YAAY,CAAC;gBAC1C,CAAC;gBACD,qBAAqB;qBAChB,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBACvC,WAAW,CAAC,SAAS,GAAG,UAAU,CAAC;oBACnC,WAAW,CAAC,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC;gBACvC,CAAC;gBACD,kBAAkB;qBACb,IAAI,OAAO,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBAC3C,WAAW,CAAC,SAAS,GAAG,MAAM,CAAC;oBAC/B,WAAW,CAAC,QAAQ,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC;oBAC/C,WAAW,CAAC,UAAU,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC;gBACrD,CAAC;gBACD,oBAAoB;qBACf,CAAC;oBACJ,WAAW,CAAC,SAAS,GAAG,YAAY,CAAC;gBACvC,CAAC;YACH,CAAC;YAED,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;IACL,CAAC;CACF"}

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

@@ -7,151 +7,22 @@
  * - Event handlers: obj.on('event', handler)
  * - Constructor calls: new Foo(), new Function()
  */
-import type { Node, CallExpression, ObjectExpression, ArrayExpression } from '@babel/types';
+import type { MemberExpression } 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;
-    valueScopePath?: 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
- */
-interface ArgumentInfo {
-    callId: string;
-    argIndex: number;
-    file: string;
-    line: number;
-    column: number;
-    isSpread?: boolean;
-    targetType?: string;
-    targetId?: string;
-    targetName?: string;
-    literalValue?: unknown;
-    functionLine?: number;
-    functionColumn?: number;
-    nestedCallLine?: number;
-    nestedCallColumn?: number;
-    objectName?: string;
-    propertyName?: string;
-    expressionType?: string;
-}
-/**
- * Literal node info
- */
-interface LiteralInfo {
-    id: string;
-    type: 'LITERAL' | 'EXPRESSION';
-    value?: unknown;
-    valueType?: string;
-    expressionType?: string;
-    operator?: string;
-    name?: string;
-    file: string;
-    line: number;
-    column: number;
-    parentCallId: string;
-    argIndex: number;
-}
+import { ASTVisitor, type VisitorModule, type VisitorCollections, type VisitorHandlers } from './ASTVisitor.js';
+import type { ScopeTracker } from '../../../../core/ScopeTracker.js';
+import { IdGenerator } from '../IdGenerator.js';
 export declare class CallExpressionVisitor extends ASTVisitor {
     private scopeTracker?;
+    private sharedIdGenerator?;
+    constructor(module: VisitorModule, collections: VisitorCollections, scopeTracker?: ScopeTracker, sharedIdGenerator?: IdGenerator);
     /**
-     * @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
-     */
-    extractArguments(args: CallExpression['arguments'], callId: string, module: VisitorModule, callArguments: ArgumentInfo[], literals: LiteralInfo[], literalCounterRef: CounterRef): void;
-    /**
-     * Extract all Identifier names from an expression (recursively)
-     * Used for BinaryExpression/LogicalExpression to track DERIVES_FROM edges
-     */
-    extractIdentifiers(node: Node | null | undefined, identifiers?: Set<string>): string[];
-    /**
-     * 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
+     * Extract full dotted name from a MemberExpression chain.
+     * For `a.b.c` returns "a.b.c". Returns null for complex expressions.
      *
-     * @param callNode - The call expression node
-     * @param module - Current module being analyzed
+     * Used by REG-395 to create CALL nodes for nested method calls like a.b.c().
      */
-    private detectObjectAssign;
+    static extractMemberExpressionName(node: MemberExpression): string | null;
     /**
      * Get a stable scope ID for a function parent.
      *
@@ -163,6 +34,15 @@ export declare class CallExpressionVisitor extends ASTVisitor {
      */
     getFunctionScopeId(functionParent: NodePath, module: VisitorModule): string;
     getHandlers(): VisitorHandlers;
+    /** Handle direct function calls: foo() */
+    private handleDirectCall;
+    /** Handle method calls: obj.method(), obj.on('event', handler), obj.arr.push() */
+    private handleMemberCall;
+    /** Handle simple method calls: obj.method() or obj.on('event', handler) */
+    private handleSimpleMethodCall;
+    /** Handle nested method calls: obj.arr.push(), a.b.c() (REG-117, REG-395) */
+    private handleNestedMethodCall;
+    /** Handle new expressions: new Foo(), new obj.Constructor() */
+    private handleNewExpression;
 }
-export {};
 //# sourceMappingURL=CallExpressionVisitor.d.ts.map

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,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;IAEvB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;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;IAmLP;;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;IAwF3B;;;;;;OAMG;IACH,OAAO,CAAC,kBAAkB;IAmF1B;;;;;;;;OAQG;IACH,kBAAkB,CAAC,cAAc,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,GAAG,MAAM;IAoD3E,WAAW,IAAI,eAAe;CAmT/B"}
+{"version":3,"file":"CallExpressionVisitor.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/visitors/CallExpressionVisitor.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAmD,gBAAgB,EAAE,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,EAAmB,MAAM,iBAAiB,CAAC;AACjI,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAGrE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAgDhD,qBAAa,qBAAsB,SAAQ,UAAU;IACnD,OAAO,CAAC,YAAY,CAAC,CAAe;IACpC,OAAO,CAAC,iBAAiB,CAAC,CAAc;gBAE5B,MAAM,EAAE,aAAa,EAAE,WAAW,EAAE,kBAAkB,EAAE,YAAY,CAAC,EAAE,YAAY,EAAE,iBAAiB,CAAC,EAAE,WAAW;IAOhI;;;;;OAKG;IACH,MAAM,CAAC,2BAA2B,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,GAAG,IAAI;IA0BzE;;;;;;;;OAQG;IACH,kBAAkB,CAAC,cAAc,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,GAAG,MAAM;IAoD3E,WAAW,IAAI,eAAe;IAqC9B,0CAA0C;IAC1C,OAAO,CAAC,gBAAgB;IAgDxB,kFAAkF;IAClF,OAAO,CAAC,gBAAgB;IAoBxB,2EAA2E;IAC3E,OAAO,CAAC,sBAAsB;IAuH9B,6EAA6E;IAC7E,OAAO,CAAC,sBAAsB;IA0E9B,+DAA+D;IAC/D,OAAO,CAAC,mBAAmB;CAgG5B"}