@grafema/core 0.2.5-beta → 0.2.7

package/dist/plugins/analysis/ast/builders/AssignmentBuilder.js

@@ -0,0 +1,274 @@
+/**
+ * AssignmentBuilder - buffers ASSIGNED_FROM and DERIVES_FROM edges
+ * for variable assignment data flow.
+ *
+ * Extracted from GraphBuilder.bufferAssignmentEdges.
+ */
+import { NodeFactory } from '../../../../core/NodeFactory.js';
+export class AssignmentBuilder {
+    ctx;
+    constructor(ctx) {
+        this.ctx = ctx;
+    }
+    buffer(module, data) {
+        const { variableAssignments = [], variableDeclarations, callSites, methodCalls = [], functions, classInstantiations = [], parameters = [], } = data;
+        this.bufferAssignmentEdges(variableAssignments, variableDeclarations, callSites, methodCalls, functions, classInstantiations, parameters);
+    }
+    bufferAssignmentEdges(variableAssignments, variableDeclarations, callSites, methodCalls, functions, classInstantiations, parameters) {
+        for (const assignment of variableAssignments) {
+            const { variableId, sourceId, sourceType, sourceName, sourceLine, sourceColumn, sourceFile, functionName, line, column, className } = assignment;
+            // Skip CLASS sourceType - handled async in createClassAssignmentEdges
+            if (sourceType === 'CLASS') {
+                continue;
+            }
+            // CONSTRUCTOR_CALL: create ASSIGNED_FROM edge to existing node
+            // Note: CONSTRUCTOR_CALL nodes are already created from constructorCalls collection in step 4.5
+            if (sourceType === 'CONSTRUCTOR_CALL' && className) {
+                const constructorLine = line ?? 0;
+                const constructorColumn = column ?? 0;
+                const constructorFile = assignment.file ?? '';
+                // Generate ID matching the one created in NewExpression visitor
+                const constructorCallId = NodeFactory.generateConstructorCallId(className, constructorFile, constructorLine, constructorColumn);
+                this.ctx.bufferEdge({
+                    type: 'ASSIGNED_FROM',
+                    src: variableId,
+                    dst: constructorCallId
+                });
+                continue;
+            }
+            // Direct LITERAL assignment
+            if (sourceId && sourceType !== 'EXPRESSION') {
+                this.ctx.bufferEdge({
+                    type: 'ASSIGNED_FROM',
+                    src: variableId,
+                    dst: sourceId
+                });
+            }
+            // METHOD_CALL by coordinates
+            else if (sourceType === 'METHOD_CALL' && sourceLine && sourceColumn) {
+                const methodCall = methodCalls.find(mc => mc.line === sourceLine &&
+                    mc.column === sourceColumn &&
+                    mc.file === sourceFile);
+                if (methodCall) {
+                    this.ctx.bufferEdge({
+                        type: 'ASSIGNED_FROM',
+                        src: variableId,
+                        dst: methodCall.id
+                    });
+                }
+            }
+            // CALL_SITE by coordinates
+            else if (sourceType === 'CALL_SITE') {
+                const searchLine = sourceLine || assignment.callLine;
+                const searchColumn = sourceColumn || assignment.callColumn;
+                const searchName = assignment.callName;
+                if (searchLine && searchColumn) {
+                    const callSite = callSites.find(cs => cs.line === searchLine &&
+                        cs.column === searchColumn &&
+                        (searchName ? cs.name === searchName : true));
+                    if (callSite) {
+                        this.ctx.bufferEdge({
+                            type: 'ASSIGNED_FROM',
+                            src: variableId,
+                            dst: callSite.id
+                        });
+                    }
+                }
+            }
+            // VARIABLE by name
+            else if (sourceType === 'VARIABLE' && sourceName) {
+                // Find the current variable's file by looking it up in variableDeclarations
+                // (semantic IDs don't have predictable file positions like old hash-based IDs)
+                const currentVar = variableDeclarations.find(v => v.id === variableId);
+                const varFile = currentVar?.file ?? null;
+                const sourceVariable = variableDeclarations.find(v => v.name === sourceName && v.file === varFile);
+                if (sourceVariable) {
+                    this.ctx.bufferEdge({
+                        type: 'ASSIGNED_FROM',
+                        src: variableId,
+                        dst: sourceVariable.id
+                    });
+                }
+                else {
+                    const sourceParam = parameters.find(p => p.name === sourceName && p.file === varFile);
+                    if (sourceParam) {
+                        this.ctx.bufferEdge({
+                            type: 'DERIVES_FROM',
+                            src: variableId,
+                            dst: sourceParam.id
+                        });
+                    }
+                }
+            }
+            // FUNCTION (arrow function assigned to variable)
+            else if (sourceType === 'FUNCTION' && functionName && line) {
+                const sourceFunction = functions.find(f => f.name === functionName && f.line === line);
+                if (sourceFunction) {
+                    this.ctx.bufferEdge({
+                        type: 'ASSIGNED_FROM',
+                        src: variableId,
+                        dst: sourceFunction.id
+                    });
+                }
+            }
+            // EXPRESSION node creation using NodeFactory
+            else if (sourceType === 'EXPRESSION' && sourceId) {
+                const { expressionType, object, property, computed, computedPropertyVar, operator, objectSourceName, leftSourceName, rightSourceName, consequentSourceName, alternateSourceName, file: exprFile, line: exprLine, column: exprColumn, 
+                // Destructuring support (REG-201)
+                path, baseName, propertyPath, arrayIndex } = assignment;
+                // Create node from upstream metadata using factory
+                const expressionNode = NodeFactory.createExpressionFromMetadata(expressionType || 'Unknown', exprFile || '', exprLine || 0, exprColumn || 0, {
+                    id: sourceId, // ID from JSASTAnalyzer
+                    object,
+                    property,
+                    computed,
+                    computedPropertyVar: computedPropertyVar ?? undefined,
+                    operator,
+                    // Destructuring support (REG-201)
+                    path,
+                    baseName,
+                    propertyPath,
+                    arrayIndex
+                });
+                this.ctx.bufferNode(expressionNode);
+                this.ctx.bufferEdge({
+                    type: 'ASSIGNED_FROM',
+                    src: variableId,
+                    dst: sourceId
+                });
+                // Buffer DERIVES_FROM edges
+                const varParts = variableId.split('#');
+                const varFile = varParts.length >= 3 ? varParts[2] : null;
+                if (expressionType === 'MemberExpression' && objectSourceName) {
+                    const objectVar = variableDeclarations.find(v => v.name === objectSourceName && (!varFile || v.file === varFile));
+                    if (objectVar) {
+                        this.ctx.bufferEdge({
+                            type: 'DERIVES_FROM',
+                            src: sourceId,
+                            dst: objectVar.id
+                        });
+                    }
+                }
+                // Call-based source lookup (REG-223)
+                else if (expressionType === 'MemberExpression' && assignment.callSourceLine !== undefined) {
+                    const { callSourceLine, callSourceColumn, callSourceName, callSourceFile } = assignment;
+                    // Try CALL_SITE first (direct function calls)
+                    const callSite = callSites.find(cs => cs.line === callSourceLine &&
+                        cs.column === callSourceColumn &&
+                        (callSourceName ? cs.name === callSourceName : true));
+                    if (callSite) {
+                        this.ctx.bufferEdge({
+                            type: 'DERIVES_FROM',
+                            src: sourceId,
+                            dst: callSite.id
+                        });
+                    }
+                    // Fall back to methodCalls (arr.map(), obj.getConfig())
+                    else {
+                        const methodCall = methodCalls.find(mc => mc.line === callSourceLine &&
+                            mc.column === callSourceColumn &&
+                            (callSourceName ? mc.name === callSourceName : true));
+                        if (methodCall) {
+                            this.ctx.bufferEdge({
+                                type: 'DERIVES_FROM',
+                                src: sourceId,
+                                dst: methodCall.id
+                            });
+                        }
+                        // Log warning when lookup fails (per Linus review - no silent failures)
+                        else {
+                            console.warn(`[REG-223] DERIVES_FROM lookup failed for EXPRESSION(${assignment.object}.${assignment.property}) ` +
+                                `at ${callSourceFile}:${callSourceLine}:${callSourceColumn}. ` +
+                                `Expected CALL_SITE or methodCall for "${callSourceName}". ` +
+                                `This indicates a coordinate mismatch or missing call node.`);
+                        }
+                    }
+                }
+                if ((expressionType === 'BinaryExpression' || expressionType === 'LogicalExpression')) {
+                    if (leftSourceName) {
+                        const leftVar = variableDeclarations.find(v => v.name === leftSourceName && (!varFile || v.file === varFile));
+                        if (leftVar) {
+                            this.ctx.bufferEdge({
+                                type: 'DERIVES_FROM',
+                                src: sourceId,
+                                dst: leftVar.id
+                            });
+                        }
+                    }
+                    if (rightSourceName) {
+                        const rightVar = variableDeclarations.find(v => v.name === rightSourceName && (!varFile || v.file === varFile));
+                        if (rightVar) {
+                            this.ctx.bufferEdge({
+                                type: 'DERIVES_FROM',
+                                src: sourceId,
+                                dst: rightVar.id
+                            });
+                        }
+                    }
+                }
+                if (expressionType === 'ConditionalExpression') {
+                    if (consequentSourceName) {
+                        const consequentVar = variableDeclarations.find(v => v.name === consequentSourceName && (!varFile || v.file === varFile));
+                        if (consequentVar) {
+                            this.ctx.bufferEdge({
+                                type: 'DERIVES_FROM',
+                                src: sourceId,
+                                dst: consequentVar.id
+                            });
+                        }
+                    }
+                    if (alternateSourceName) {
+                        const alternateVar = variableDeclarations.find(v => v.name === alternateSourceName && (!varFile || v.file === varFile));
+                        if (alternateVar) {
+                            this.ctx.bufferEdge({
+                                type: 'DERIVES_FROM',
+                                src: sourceId,
+                                dst: alternateVar.id
+                            });
+                        }
+                    }
+                }
+                if (expressionType === 'TemplateLiteral') {
+                    const { expressionSourceNames } = assignment;
+                    if (expressionSourceNames && expressionSourceNames.length > 0) {
+                        for (const exprSourceName of expressionSourceNames) {
+                            const sourceVar = variableDeclarations.find(v => v.name === exprSourceName && (!varFile || v.file === varFile));
+                            if (sourceVar) {
+                                this.ctx.bufferEdge({
+                                    type: 'DERIVES_FROM',
+                                    src: sourceId,
+                                    dst: sourceVar.id
+                                });
+                            }
+                        }
+                    }
+                }
+            }
+            // DERIVES_FROM_VARIABLE
+            else if (sourceType === 'DERIVES_FROM_VARIABLE' && sourceName) {
+                const expressionId = variableId;
+                const exprParts = expressionId.split('#');
+                const exprFile = exprParts.length >= 3 ? exprParts[2] : assignment.file;
+                const sourceVariable = variableDeclarations.find(v => v.name === sourceName && v.file === exprFile);
+                if (sourceVariable) {
+                    this.ctx.bufferEdge({
+                        type: 'DERIVES_FROM',
+                        src: expressionId,
+                        dst: sourceVariable.id
+                    });
+                }
+                else {
+                    const sourceParam = parameters.find(p => p.name === sourceName && p.file === exprFile);
+                    if (sourceParam) {
+                        this.ctx.bufferEdge({
+                            type: 'DERIVES_FROM',
+                            src: expressionId,
+                            dst: sourceParam.id
+                        });
+                    }
+                }
+            }
+        }
+    }
+}
+//# sourceMappingURL=AssignmentBuilder.js.map

package/dist/plugins/analysis/ast/builders/AssignmentBuilder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AssignmentBuilder.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/AssignmentBuilder.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAc9D,MAAM,OAAO,iBAAiB;IACR;IAApB,YAAoB,GAAmB;QAAnB,QAAG,GAAH,GAAG,CAAgB;IAAG,CAAC;IAE3C,MAAM,CAAC,MAAkB,EAAE,IAAoB;QAC7C,MAAM,EACJ,mBAAmB,GAAG,EAAE,EACxB,oBAAoB,EACpB,SAAS,EACT,WAAW,GAAG,EAAE,EAChB,SAAS,EACT,mBAAmB,GAAG,EAAE,EACxB,UAAU,GAAG,EAAE,GAChB,GAAG,IAAI,CAAC;QAET,IAAI,CAAC,qBAAqB,CACxB,mBAAmB,EACnB,oBAAoB,EACpB,SAAS,EACT,WAAW,EACX,SAAS,EACT,mBAAmB,EACnB,UAAU,CACX,CAAC;IACJ,CAAC;IAEO,qBAAqB,CAC3B,mBAA6C,EAC7C,oBAA+C,EAC/C,SAAyB,EACzB,WAA6B,EAC7B,SAAyB,EACzB,mBAA6C,EAC7C,UAA2B;QAE3B,KAAK,MAAM,UAAU,IAAI,mBAAmB,EAAE,CAAC;YAC7C,MAAM,EACJ,UAAU,EACV,QAAQ,EACR,UAAU,EACV,UAAU,EACV,UAAU,EACV,YAAY,EACZ,UAAU,EACV,YAAY,EACZ,IAAI,EACJ,MAAM,EACN,SAAS,EACV,GAAG,UAAU,CAAC;YAEf,sEAAsE;YACtE,IAAI,UAAU,KAAK,OAAO,EAAE,CAAC;gBAC3B,SAAS;YACX,CAAC;YAED,+DAA+D;YAC/D,gGAAgG;YAChG,IAAI,UAAU,KAAK,kBAAkB,IAAI,SAAS,EAAE,CAAC;gBACnD,MAAM,eAAe,GAAG,IAAI,IAAI,CAAC,CAAC;gBAClC,MAAM,iBAAiB,GAAG,MAAM,IAAI,CAAC,CAAC;gBACtC,MAAM,eAAe,GAAG,UAAU,CAAC,IAAI,IAAI,EAAE,CAAC;gBAE9C,gEAAgE;gBAChE,MAAM,iBAAiB,GAAG,WAAW,CAAC,yBAAyB,CAC7D,SAAS,EACT,eAAe,EACf,eAAe,EACf,iBAAiB,CAClB,CAAC;gBAEF,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,eAAe;oBACrB,GAAG,EAAE,UAAU;oBACf,GAAG,EAAE,iBAAiB;iBACvB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,4BAA4B;YAC5B,IAAI,QAAQ,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;gBAC5C,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,eAAe;oBACrB,GAAG,EAAE,UAAU;oBACf,GAAG,EAAE,QAAQ;iBACd,CAAC,CAAC;YACL,CAAC;YACD,6BAA6B;iBACxB,IAAI,UAAU,KAAK,aAAa,IAAI,UAAU,IAAI,YAAY,EAAE,CAAC;gBACpE,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CACvC,EAAE,CAAC,IAAI,KAAK,UAAU;oBACtB,EAAE,CAAC,MAAM,KAAK,YAAY;oBAC1B,EAAE,CAAC,IAAI,KAAK,UAAU,CACvB,CAAC;gBAEF,IAAI,UAAU,EAAE,CAAC;oBACf,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,IAAI,EAAE,eAAe;wBACrB,GAAG,EAAE,UAAU;wBACf,GAAG,EAAE,UAAU,CAAC,EAAE;qBACnB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,2BAA2B;iBACtB,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;gBACpC,MAAM,UAAU,GAAG,UAAU,IAAI,UAAU,CAAC,QAAQ,CAAC;gBACrD,MAAM,YAAY,GAAG,YAAY,IAAI,UAAU,CAAC,UAAU,CAAC;gBAC3D,MAAM,UAAU,GAAG,UAAU,CAAC,QAAQ,CAAC;gBAEvC,IAAI,UAAU,IAAI,YAAY,EAAE,CAAC;oBAC/B,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CACnC,EAAE,CAAC,IAAI,KAAK,UAAU;wBACtB,EAAE,CAAC,MAAM,KAAK,YAAY;wBAC1B,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAC7C,CAAC;oBAEF,IAAI,QAAQ,EAAE,CAAC;wBACb,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;4BAClB,IAAI,EAAE,eAAe;4BACrB,GAAG,EAAE,UAAU;4BACf,GAAG,EAAE,QAAQ,CAAC,EAAE;yBACjB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;YACD,mBAAmB;iBACd,IAAI,UAAU,KAAK,UAAU,IAAI,UAAU,EAAE,CAAC;gBACjD,4EAA4E;gBAC5E,+EAA+E;gBAC/E,MAAM,UAAU,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC;gBACvE,MAAM,OAAO,GAAG,UAAU,EAAE,IAAI,IAAI,IAAI,CAAC;gBACzC,MAAM,cAAc,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACnD,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAC5C,CAAC;gBAEF,IAAI,cAAc,EAAE,CAAC;oBACnB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,IAAI,EAAE,eAAe;wBACrB,GAAG,EAAE,UAAU;wBACf,GAAG,EAAE,cAAc,CAAC,EAAE;qBACvB,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACtC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAC5C,CAAC;oBAEF,IAAI,WAAW,EAAE,CAAC;wBAChB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;4BAClB,IAAI,EAAE,cAAc;4BACpB,GAAG,EAAE,UAAU;4BACf,GAAG,EAAE,WAAW,CAAC,EAAE;yBACpB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;YACD,iDAAiD;iBAC5C,IAAI,UAAU,KAAK,UAAU,IAAI,YAAY,IAAI,IAAI,EAAE,CAAC;gBAC3D,MAAM,cAAc,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACxC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAC3C,CAAC;gBAEF,IAAI,cAAc,EAAE,CAAC;oBACnB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,IAAI,EAAE,eAAe;wBACrB,GAAG,EAAE,UAAU;wBACf,GAAG,EAAE,cAAc,CAAC,EAAE;qBACvB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,6CAA6C;iBACxC,IAAI,UAAU,KAAK,YAAY,IAAI,QAAQ,EAAE,CAAC;gBACjD,MAAM,EACJ,cAAc,EACd,MAAM,EACN,QAAQ,EACR,QAAQ,EACR,mBAAmB,EACnB,QAAQ,EACR,gBAAgB,EAChB,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,mBAAmB,EACnB,IAAI,EAAE,QAAQ,EACd,IAAI,EAAE,QAAQ,EACd,MAAM,EAAE,UAAU;gBAClB,kCAAkC;gBAClC,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,UAAU,EACX,GAAG,UAAU,CAAC;gBAEf,mDAAmD;gBACnD,MAAM,cAAc,GAAG,WAAW,CAAC,4BAA4B,CAC7D,cAAc,IAAI,SAAS,EAC3B,QAAQ,IAAI,EAAE,EACd,QAAQ,IAAI,CAAC,EACb,UAAU,IAAI,CAAC,EACf;oBACE,EAAE,EAAE,QAAQ,EAAG,wBAAwB;oBACvC,MAAM;oBACN,QAAQ;oBACR,QAAQ;oBACR,mBAAmB,EAAE,mBAAmB,IAAI,SAAS;oBACrD,QAAQ;oBACR,kCAAkC;oBAClC,IAAI;oBACJ,QAAQ;oBACR,YAAY;oBACZ,UAAU;iBACX,CACF,CAAC;gBAEF,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;gBAEpC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,eAAe;oBACrB,GAAG,EAAE,UAAU;oBACf,GAAG,EAAE,QAAQ;iBACd,CAAC,CAAC;gBAEH,4BAA4B;gBAC5B,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBACvC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAE1D,IAAI,cAAc,KAAK,kBAAkB,IAAI,gBAAgB,EAAE,CAAC;oBAC9D,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC9C,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAChE,CAAC;oBACF,IAAI,SAAS,EAAE,CAAC;wBACd,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;4BAClB,IAAI,EAAE,cAAc;4BACpB,GAAG,EAAE,QAAQ;4BACb,GAAG,EAAE,SAAS,CAAC,EAAE;yBAClB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBACD,qCAAqC;qBAChC,IAAI,cAAc,KAAK,kBAAkB,IAAI,UAAU,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;oBAC1F,MAAM,EAAE,cAAc,EAAE,gBAAgB,EAAE,cAAc,EAAE,cAAc,EAAE,GAAG,UAAU,CAAC;oBAExF,8CAA8C;oBAC9C,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CACnC,EAAE,CAAC,IAAI,KAAK,cAAc;wBAC1B,EAAE,CAAC,MAAM,KAAK,gBAAgB;wBAC9B,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CACrD,CAAC;oBAEF,IAAI,QAAQ,EAAE,CAAC;wBACb,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;4BAClB,IAAI,EAAE,cAAc;4BACpB,GAAG,EAAE,QAAQ;4BACb,GAAG,EAAE,QAAQ,CAAC,EAAE;yBACjB,CAAC,CAAC;oBACL,CAAC;oBACD,wDAAwD;yBACnD,CAAC;wBACJ,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CACvC,EAAE,CAAC,IAAI,KAAK,cAAc;4BAC1B,EAAE,CAAC,MAAM,KAAK,gBAAgB;4BAC9B,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CACrD,CAAC;wBAEF,IAAI,UAAU,EAAE,CAAC;4BACf,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gCAClB,IAAI,EAAE,cAAc;gCACpB,GAAG,EAAE,QAAQ;gCACb,GAAG,EAAE,UAAU,CAAC,EAAE;6BACnB,CAAC,CAAC;wBACL,CAAC;wBACD,wEAAwE;6BACnE,CAAC;4BACJ,OAAO,CAAC,IAAI,CACV,uDAAuD,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,QAAQ,IAAI;gCACnG,MAAM,cAAc,IAAI,cAAc,IAAI,gBAAgB,IAAI;gCAC9D,yCAAyC,cAAc,KAAK;gCAC5D,4DAA4D,CAC7D,CAAC;wBACJ,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,IAAI,CAAC,cAAc,KAAK,kBAAkB,IAAI,cAAc,KAAK,mBAAmB,CAAC,EAAE,CAAC;oBACtF,IAAI,cAAc,EAAE,CAAC;wBACnB,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC5C,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAC9D,CAAC;wBACF,IAAI,OAAO,EAAE,CAAC;4BACZ,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gCAClB,IAAI,EAAE,cAAc;gCACpB,GAAG,EAAE,QAAQ;gCACb,GAAG,EAAE,OAAO,CAAC,EAAE;6BAChB,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;oBACD,IAAI,eAAe,EAAE,CAAC;wBACpB,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC7C,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAC/D,CAAC;wBACF,IAAI,QAAQ,EAAE,CAAC;4BACb,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gCAClB,IAAI,EAAE,cAAc;gCACpB,GAAG,EAAE,QAAQ;gCACb,GAAG,EAAE,QAAQ,CAAC,EAAE;6BACjB,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,IAAI,cAAc,KAAK,uBAAuB,EAAE,CAAC;oBAC/C,IAAI,oBAAoB,EAAE,CAAC;wBACzB,MAAM,aAAa,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAClD,CAAC,CAAC,IAAI,KAAK,oBAAoB,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CACpE,CAAC;wBACF,IAAI,aAAa,EAAE,CAAC;4BAClB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gCAClB,IAAI,EAAE,cAAc;gCACpB,GAAG,EAAE,QAAQ;gCACb,GAAG,EAAE,aAAa,CAAC,EAAE;6BACtB,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;oBACD,IAAI,mBAAmB,EAAE,CAAC;wBACxB,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACjD,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CACnE,CAAC;wBACF,IAAI,YAAY,EAAE,CAAC;4BACjB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gCAClB,IAAI,EAAE,cAAc;gCACpB,GAAG,EAAE,QAAQ;gCACb,GAAG,EAAE,YAAY,CAAC,EAAE;6BACrB,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,IAAI,cAAc,KAAK,iBAAiB,EAAE,CAAC;oBACzC,MAAM,EAAE,qBAAqB,EAAE,GAAG,UAAU,CAAC;oBAC7C,IAAI,qBAAqB,IAAI,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBAC9D,KAAK,MAAM,cAAc,IAAI,qBAAqB,EAAE,CAAC;4BACnD,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC9C,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAC9D,CAAC;4BACF,IAAI,SAAS,EAAE,CAAC;gCACd,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oCAClB,IAAI,EAAE,cAAc;oCACpB,GAAG,EAAE,QAAQ;oCACb,GAAG,EAAE,SAAS,CAAC,EAAE;iCAClB,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,wBAAwB;iBACnB,IAAI,UAAU,KAAK,uBAAuB,IAAI,UAAU,EAAE,CAAC;gBAC9D,MAAM,YAAY,GAAG,UAAU,CAAC;gBAChC,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC1C,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;gBAExE,MAAM,cAAc,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACnD,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAC7C,CAAC;gBAEF,IAAI,cAAc,EAAE,CAAC;oBACnB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,IAAI,EAAE,cAAc;wBACpB,GAAG,EAAE,YAAY;wBACjB,GAAG,EAAE,cAAc,CAAC,EAAE;qBACvB,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACtC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAC7C,CAAC;oBAEF,IAAI,WAAW,EAAE,CAAC;wBAChB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;4BAClB,IAAI,EAAE,cAAc;4BACpB,GAAG,EAAE,YAAY;4BACjB,GAAG,EAAE,WAAW,CAAC,EAAE;yBACpB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;CACF"}

package/dist/plugins/analysis/ast/builders/CallFlowBuilder.d.ts

@@ -0,0 +1,22 @@
+/**
+ * CallFlowBuilder - buffers call/argument flow nodes and edges.
+ *
+ * Handles: argument edges (PASSES_ARGUMENT), object property edges (HAS_PROPERTY).
+ */
+import type { ModuleNode, ASTCollections } from '../types.js';
+import type { BuilderContext, DomainBuilder } from './types.js';
+export declare class CallFlowBuilder implements DomainBuilder {
+    private ctx;
+    constructor(ctx: BuilderContext);
+    buffer(module: ModuleNode, data: ASTCollections): void;
+    private bufferArgumentEdges;
+    /**
+     * Buffer HAS_PROPERTY edges connecting OBJECT_LITERAL nodes to their property values.
+     * Creates edges from object literal to its property value nodes (LITERAL, nested OBJECT_LITERAL, ARRAY_LITERAL, etc.)
+     *
+     * REG-329: Adds scope-aware variable resolution for VARIABLE property values.
+     * Uses the same resolveVariableInScope infrastructure as mutation handlers.
+     */
+    private bufferObjectPropertyEdges;
+}
+//# sourceMappingURL=CallFlowBuilder.d.ts.map

package/dist/plugins/analysis/ast/builders/CallFlowBuilder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CallFlowBuilder.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/CallFlowBuilder.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACV,UAAU,EASV,cAAc,EAEf,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAmBhE,qBAAa,eAAgB,YAAW,aAAa;IACvC,OAAO,CAAC,GAAG;gBAAH,GAAG,EAAE,cAAc;IAEvC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,GAAG,IAAI;IAgBtD,OAAO,CAAC,mBAAmB;IA8I3B;;;;;;OAMG;IACH,OAAO,CAAC,yBAAyB;CAgDlC"}

package/dist/plugins/analysis/ast/builders/CallFlowBuilder.js

@@ -0,0 +1,178 @@
+/**
+ * CallFlowBuilder - buffers call/argument flow nodes and edges.
+ *
+ * Handles: argument edges (PASSES_ARGUMENT), object property edges (HAS_PROPERTY).
+ */
+/**
+ * Functions/methods known to always invoke their callback argument.
+ * Only create CALLS edges for these — prevents false positives
+ * for store/register patterns where the function is stored, not called.
+ */
+const KNOWN_CALLBACK_INVOKERS = new Set([
+    // Array HOFs
+    'forEach', 'map', 'filter', 'find', 'findIndex',
+    'some', 'every', 'reduce', 'reduceRight', 'flatMap', 'sort',
+    // Timers
+    'setTimeout', 'setInterval', 'setImmediate', 'queueMicrotask',
+    // Promise
+    'then', 'catch', 'finally',
+    // DOM/Node
+    'requestAnimationFrame', 'addEventListener',
+]);
+export class CallFlowBuilder {
+    ctx;
+    constructor(ctx) {
+        this.ctx = ctx;
+    }
+    buffer(module, data) {
+        const { functions, variableDeclarations, callSites, methodCalls = [], callArguments = [], imports = [], objectProperties = [], parameters = [], } = data;
+        this.bufferArgumentEdges(callArguments, variableDeclarations, functions, callSites, methodCalls, imports);
+        this.bufferObjectPropertyEdges(objectProperties, variableDeclarations, parameters, functions);
+    }
+    bufferArgumentEdges(callArguments, variableDeclarations, functions, callSites, methodCalls, imports) {
+        for (const arg of callArguments) {
+            const { callId, argIndex, targetType, targetId, targetName, file, isSpread, functionLine, functionColumn, nestedCallLine, nestedCallColumn } = arg;
+            let targetNodeId = targetId;
+            // Find the call node for this argument (needed for callback whitelist check)
+            const call = callSites.find(c => c.id === callId)
+                || methodCalls.find(c => c.id === callId);
+            if (targetType === 'VARIABLE' && targetName) {
+                const varNode = variableDeclarations.find(v => v.name === targetName && v.file === file);
+                if (varNode) {
+                    targetNodeId = varNode.id;
+                }
+                // REG-400: If target is a function reference, create callback CALLS edge
+                if (targetName && file) {
+                    const callScopeId = call && 'parentScopeId' in call ? call.parentScopeId : '';
+                    const funcNode = this.ctx.findFunctionByName(functions, targetName, file, callScopeId);
+                    if (funcNode) {
+                        if (!targetNodeId) {
+                            targetNodeId = funcNode.id;
+                        }
+                        // Only create CALLS edge for known callback-invoking functions
+                        const callName = call && 'method' in call ? call.method : call?.name;
+                        if (callName && KNOWN_CALLBACK_INVOKERS.has(callName)) {
+                            this.ctx.bufferEdge({
+                                type: 'CALLS',
+                                src: callId,
+                                dst: funcNode.id,
+                                metadata: { callType: 'callback' }
+                            });
+                        }
+                    }
+                }
+            }
+            // REG-402: MemberExpression callbacks (this.method)
+            else if (targetType === 'EXPRESSION' && arg.expressionType === 'MemberExpression') {
+                const { objectName, propertyName } = arg;
+                if (objectName === 'this' && propertyName && arg.enclosingClassName) {
+                    // Look up target method in same class (className set during analysis via ScopeTracker)
+                    const methodNode = functions.find(f => f.isClassMethod === true &&
+                        f.className === arg.enclosingClassName &&
+                        f.name === propertyName &&
+                        f.file === file);
+                    if (methodNode) {
+                        targetNodeId = methodNode.id;
+                        // Create CALLS edge for known HOFs (same pattern as REG-400)
+                        const callName = call && 'method' in call
+                            ? call.method : call?.name;
+                        if (callName && KNOWN_CALLBACK_INVOKERS.has(callName)) {
+                            this.ctx.bufferEdge({
+                                type: 'CALLS',
+                                src: callId,
+                                dst: methodNode.id,
+                                metadata: { callType: 'callback' }
+                            });
+                        }
+                    }
+                }
+            }
+            else if (targetType === 'FUNCTION' && functionLine && functionColumn) {
+                const funcNode = functions.find(f => f.file === file && f.line === functionLine && f.column === functionColumn);
+                if (funcNode) {
+                    targetNodeId = funcNode.id;
+                }
+            }
+            else if (targetType === 'CALL' && nestedCallLine && nestedCallColumn) {
+                const nestedCall = callSites.find(c => c.file === file && c.line === nestedCallLine && c.column === nestedCallColumn) || methodCalls.find(c => c.file === file && c.line === nestedCallLine && c.column === nestedCallColumn);
+                if (nestedCall) {
+                    targetNodeId = nestedCall.id;
+                }
+            }
+            else if (targetType === 'LITERAL' ||
+                targetType === 'OBJECT_LITERAL' ||
+                targetType === 'ARRAY_LITERAL') {
+                // targetId is already set by CallExpressionVisitor
+                targetNodeId = targetId;
+            }
+            // REG-400: Import fallback — resolve function reference to IMPORT node
+            // When argument is a variable name matching an imported symbol, point to IMPORT node
+            if (!targetNodeId && targetName) {
+                for (const imp of imports) {
+                    const matchingSpec = imp.specifiers.find(s => s.local === targetName);
+                    if (matchingSpec) {
+                        targetNodeId = `${file}:IMPORT:${imp.source}:${matchingSpec.local}`;
+                        break;
+                    }
+                }
+            }
+            if (targetNodeId) {
+                const edgeData = {
+                    type: 'PASSES_ARGUMENT',
+                    src: callId,
+                    dst: targetNodeId,
+                    metadata: { argIndex }
+                };
+                if (isSpread) {
+                    edgeData.metadata = { ...edgeData.metadata, isSpread: true };
+                }
+                this.ctx.bufferEdge(edgeData);
+            }
+        }
+    }
+    /**
+     * Buffer HAS_PROPERTY edges connecting OBJECT_LITERAL nodes to their property values.
+     * Creates edges from object literal to its property value nodes (LITERAL, nested OBJECT_LITERAL, ARRAY_LITERAL, etc.)
+     *
+     * REG-329: Adds scope-aware variable resolution for VARIABLE property values.
+     * Uses the same resolveVariableInScope infrastructure as mutation handlers.
+     */
+    bufferObjectPropertyEdges(objectProperties, variableDeclarations, parameters, functions) {
+        for (const prop of objectProperties) {
+            // REG-329: Handle VARIABLE value types with scope resolution
+            if (prop.valueType === 'VARIABLE' && prop.valueName) {
+                const scopePath = prop.valueScopePath ?? [];
+                const file = prop.file;
+                // Resolve variable using scope chain
+                const resolvedVar = this.ctx.resolveVariableInScope(prop.valueName, scopePath, file, variableDeclarations);
+                const resolvedParam = !resolvedVar
+                    ? this.ctx.resolveParameterInScope(prop.valueName, scopePath, file, parameters)
+                    : null;
+                // REG-417: Fallback to function declarations (function foo() is a valid value reference)
+                const resolvedFunc = !resolvedVar && !resolvedParam
+                    ? functions.find(f => f.name === prop.valueName && f.file === file)
+                    : null;
+                const resolvedNodeId = resolvedVar?.id ?? resolvedParam?.semanticId ?? resolvedParam?.id ?? resolvedFunc?.id;
+                if (resolvedNodeId) {
+                    this.ctx.bufferEdge({
+                        type: 'HAS_PROPERTY',
+                        src: prop.objectId,
+                        dst: resolvedNodeId,
+                        propertyName: prop.propertyName
+                    });
+                }
+                continue;
+            }
+            // Existing logic for non-VARIABLE types
+            if (prop.valueNodeId) {
+                this.ctx.bufferEdge({
+                    type: 'HAS_PROPERTY',
+                    src: prop.objectId,
+                    dst: prop.valueNodeId,
+                    propertyName: prop.propertyName
+                });
+            }
+        }
+    }
+}
+//# sourceMappingURL=CallFlowBuilder.js.map

package/dist/plugins/analysis/ast/builders/CallFlowBuilder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CallFlowBuilder.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/CallFlowBuilder.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAiBH;;;;GAIG;AACH,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,aAAa;IACb,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW;IAC/C,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM;IAC3D,SAAS;IACT,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,gBAAgB;IAC7D,UAAU;IACV,MAAM,EAAE,OAAO,EAAE,SAAS;IAC1B,WAAW;IACX,uBAAuB,EAAE,kBAAkB;CAC5C,CAAC,CAAC;AAEH,MAAM,OAAO,eAAe;IACN;IAApB,YAAoB,GAAmB;QAAnB,QAAG,GAAH,GAAG,CAAgB;IAAG,CAAC;IAE3C,MAAM,CAAC,MAAkB,EAAE,IAAoB;QAC7C,MAAM,EACJ,SAAS,EACT,oBAAoB,EACpB,SAAS,EACT,WAAW,GAAG,EAAE,EAChB,aAAa,GAAG,EAAE,EAClB,OAAO,GAAG,EAAE,EACZ,gBAAgB,GAAG,EAAE,EACrB,UAAU,GAAG,EAAE,GAChB,GAAG,IAAI,CAAC;QAET,IAAI,CAAC,mBAAmB,CAAC,aAAa,EAAE,oBAAoB,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QAC1G,IAAI,CAAC,yBAAyB,CAAC,gBAAgB,EAAE,oBAAoB,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IAChG,CAAC;IAEO,mBAAmB,CACzB,aAAiC,EACjC,oBAA+C,EAC/C,SAAyB,EACzB,SAAyB,EACzB,WAA6B,EAC7B,OAAqB;QAErB,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;YAChC,MAAM,EACJ,MAAM,EACN,QAAQ,EACR,UAAU,EACV,QAAQ,EACR,UAAU,EACV,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,cAAc,EACd,cAAc,EACd,gBAAgB,EACjB,GAAG,GAAG,CAAC;YAER,IAAI,YAAY,GAAG,QAAQ,CAAC;YAE5B,6EAA6E;YAC7E,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC;mBAC5C,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC;YAE5C,IAAI,UAAU,KAAK,UAAU,IAAI,UAAU,EAAE,CAAC;gBAC5C,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC5C,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CACzC,CAAC;gBACF,IAAI,OAAO,EAAE,CAAC;oBACZ,YAAY,GAAG,OAAO,CAAC,EAAE,CAAC;gBAC5B,CAAC;gBAED,yEAAyE;gBACzE,IAAI,UAAU,IAAI,IAAI,EAAE,CAAC;oBACvB,MAAM,WAAW,GAAG,IAAI,IAAI,eAAe,IAAI,IAAI,CAAC,CAAC,CAAE,IAAqB,CAAC,aAAuB,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1G,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,kBAAkB,CAAC,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;oBACvF,IAAI,QAAQ,EAAE,CAAC;wBACb,IAAI,CAAC,YAAY,EAAE,CAAC;4BAClB,YAAY,GAAG,QAAQ,CAAC,EAAE,CAAC;wBAC7B,CAAC;wBACD,+DAA+D;wBAC/D,MAAM,QAAQ,GAAG,IAAI,IAAI,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAE,IAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC;wBACzF,IAAI,QAAQ,IAAI,uBAAuB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;4BACtD,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gCAClB,IAAI,EAAE,OAAO;gCACb,GAAG,EAAE,MAAM;gCACX,GAAG,EAAE,QAAQ,CAAC,EAAE;gCAChB,QAAQ,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE;6BACnC,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,oDAAoD;iBAC/C,IAAI,UAAU,KAAK,YAAY,IAAI,GAAG,CAAC,cAAc,KAAK,kBAAkB,EAAE,CAAC;gBAClF,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,GAAG,CAAC;gBAEzC,IAAI,UAAU,KAAK,MAAM,IAAI,YAAY,IAAI,GAAG,CAAC,kBAAkB,EAAE,CAAC;oBACpE,uFAAuF;oBACvF,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACpC,CAAC,CAAC,aAAa,KAAK,IAAI;wBACxB,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,kBAAkB;wBACtC,CAAC,CAAC,IAAI,KAAK,YAAY;wBACvB,CAAC,CAAC,IAAI,KAAK,IAAI,CAChB,CAAC;oBAEF,IAAI,UAAU,EAAE,CAAC;wBACf,YAAY,GAAG,UAAU,CAAC,EAAE,CAAC;wBAE7B,6DAA6D;wBAC7D,MAAM,QAAQ,GAAG,IAAI,IAAI,QAAQ,IAAI,IAAI;4BACvC,CAAC,CAAE,IAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC;wBACjD,IAAI,QAAQ,IAAI,uBAAuB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;4BACtD,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gCAClB,IAAI,EAAE,OAAO;gCACb,GAAG,EAAE,MAAM;gCACX,GAAG,EAAE,UAAU,CAAC,EAAE;gCAClB,QAAQ,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE;6BACnC,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;iBACI,IAAI,UAAU,KAAK,UAAU,IAAI,YAAY,IAAI,cAAc,EAAE,CAAC;gBACrE,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAClC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,cAAc,CAC1E,CAAC;gBACF,IAAI,QAAQ,EAAE,CAAC;oBACb,YAAY,GAAG,QAAQ,CAAC,EAAE,CAAC;gBAC7B,CAAC;YACH,CAAC;iBACI,IAAI,UAAU,KAAK,MAAM,IAAI,cAAc,IAAI,gBAAgB,EAAE,CAAC;gBACrE,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACpC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,gBAAgB,CAC9E,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACxB,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,gBAAgB,CAC9E,CAAC;gBACF,IAAI,UAAU,EAAE,CAAC;oBACf,YAAY,GAAG,UAAU,CAAC,EAAE,CAAC;gBAC/B,CAAC;YACH,CAAC;iBACI,IAAI,UAAU,KAAK,SAAS;gBACxB,UAAU,KAAK,gBAAgB;gBAC/B,UAAU,KAAK,eAAe,EAAE,CAAC;gBACxC,mDAAmD;gBACnD,YAAY,GAAG,QAAQ,CAAC;YAC1B,CAAC;YAED,uEAAuE;YACvE,qFAAqF;YACrF,IAAI,CAAC,YAAY,IAAI,UAAU,EAAE,CAAC;gBAChC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;oBAC1B,MAAM,YAAY,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC;oBACtE,IAAI,YAAY,EAAE,CAAC;wBACjB,YAAY,GAAG,GAAG,IAAI,WAAW,GAAG,CAAC,MAAM,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC;wBACpE,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;YAED,IAAI,YAAY,EAAE,CAAC;gBACjB,MAAM,QAAQ,GAAc;oBAC1B,IAAI,EAAE,iBAAiB;oBACvB,GAAG,EAAE,MAAM;oBACX,GAAG,EAAE,YAAY;oBACjB,QAAQ,EAAE,EAAE,QAAQ,EAAE;iBACvB,CAAC;gBAEF,IAAI,QAAQ,EAAE,CAAC;oBACb,QAAQ,CAAC,QAAQ,GAAG,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;gBAC/D,CAAC;gBAED,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;;OAMG;IACK,yBAAyB,CAC/B,gBAAsC,EACtC,oBAA+C,EAC/C,UAA2B,EAC3B,SAAyB;QAEzB,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;YACpC,6DAA6D;YAC7D,IAAI,IAAI,CAAC,SAAS,KAAK,UAAU,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACpD,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC;gBAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;gBAEvB,qCAAqC;gBACrC,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,sBAAsB,CACjD,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,oBAAoB,CACtD,CAAC;gBACF,MAAM,aAAa,GAAG,CAAC,WAAW;oBAChC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC;oBAC/E,CAAC,CAAC,IAAI,CAAC;gBACT,yFAAyF;gBACzF,MAAM,YAAY,GAAG,CAAC,WAAW,IAAI,CAAC,aAAa;oBACjD,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC;oBACnE,CAAC,CAAC,IAAI,CAAC;gBAET,MAAM,cAAc,GAAG,WAAW,EAAE,EAAE,IAAI,aAAa,EAAE,UAAU,IAAI,aAAa,EAAE,EAAE,IAAI,YAAY,EAAE,EAAE,CAAC;gBAE7G,IAAI,cAAc,EAAE,CAAC;oBACnB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,IAAI,EAAE,cAAc;wBACpB,GAAG,EAAE,IAAI,CAAC,QAAQ;wBAClB,GAAG,EAAE,cAAc;wBACnB,YAAY,EAAE,IAAI,CAAC,YAAY;qBAChC,CAAC,CAAC;gBACL,CAAC;gBACD,SAAS;YACX,CAAC;YAED,wCAAwC;YACxC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,cAAc;oBACpB,GAAG,EAAE,IAAI,CAAC,QAAQ;oBAClB,GAAG,EAAE,IAAI,CAAC,WAAW;oBACrB,YAAY,EAAE,IAAI,CAAC,YAAY;iBAChC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;CACF"}

package/dist/plugins/analysis/ast/builders/ControlFlowBuilder.d.ts

@@ -0,0 +1,76 @@
+/**
+ * ControlFlowBuilder - buffers control flow graph nodes and edges.
+ *
+ * Handles: loops, branches, cases, try/catch/finally, discriminant expressions.
+ */
+import type { ModuleNode, ASTCollections } from '../types.js';
+import type { BuilderContext, DomainBuilder } from './types.js';
+export declare class ControlFlowBuilder implements DomainBuilder {
+    private ctx;
+    constructor(ctx: BuilderContext);
+    buffer(module: ModuleNode, data: ASTCollections): void;
+    /**
+     * Buffer LOOP edges (CONTAINS, HAS_BODY, ITERATES_OVER)
+     *
+     * Creates edges for:
+     * - Parent -> CONTAINS -> LOOP
+     * - LOOP -> HAS_BODY -> body SCOPE
+     * - LOOP -> ITERATES_OVER -> collection VARIABLE/PARAMETER (for for-in/for-of)
+     *
+     * Scope-aware variable lookup for ITERATES_OVER:
+     * For for-of/for-in, finds the iterated variable preferring:
+     * 1. Variables declared before the loop on same or earlier line (closest first)
+     * 2. Parameters (function arguments)
+     */
+    private bufferLoopEdges;
+    /**
+     * Buffer HAS_CONDITION edges from LOOP to condition EXPRESSION/CALL nodes.
+     * Also creates EXPRESSION nodes for non-CallExpression conditions.
+     *
+     * REG-280: For while/do-while/for loops, creates HAS_CONDITION edge to the
+     * condition expression. For-in/for-of loops don't have conditions (use ITERATES_OVER).
+     *
+     * For CallExpression conditions, links to existing CALL_SITE node by coordinates.
+     */
+    private bufferLoopConditionEdges;
+    /**
+     * Buffer EXPRESSION nodes for loop condition expressions (non-CallExpression).
+     * Similar to bufferDiscriminantExpressions but for loops.
+     *
+     * REG-280: Creates EXPRESSION nodes for while/do-while/for loop conditions.
+     * CallExpression conditions use existing CALL_SITE nodes (no EXPRESSION created).
+     */
+    private bufferLoopConditionExpressions;
+    /**
+     * Buffer BRANCH edges (CONTAINS, HAS_CONDITION, HAS_CONSEQUENT, HAS_ALTERNATE)
+     *
+     * REG-275: For CallExpression discriminants (switch(getType())), looks up the
+     * actual CALL_SITE node by coordinates since the CALL_SITE uses semantic IDs.
+     *
+     * Phase 3 (REG-267): For if-branches, creates HAS_CONSEQUENT and HAS_ALTERNATE edges
+     * pointing to the if-body and else-body SCOPEs.
+     */
+    private bufferBranchEdges;
+    /**
+     * Buffer CASE edges (HAS_CASE, HAS_DEFAULT)
+     */
+    private bufferCaseEdges;
+    /**
+     * Buffer edges for TRY_BLOCK, CATCH_BLOCK, FINALLY_BLOCK nodes (Phase 4)
+     *
+     * Creates edges for:
+     * - Parent -> CONTAINS -> TRY_BLOCK
+     * - TRY_BLOCK -> HAS_CATCH -> CATCH_BLOCK
+     * - TRY_BLOCK -> HAS_FINALLY -> FINALLY_BLOCK
+     */
+    private bufferTryCatchFinallyEdges;
+    /**
+     * Buffer EXPRESSION nodes for switch discriminants
+     * Uses stored metadata directly instead of parsing from ID (Linus improvement)
+     *
+     * REG-275: For CallExpression discriminants, we don't create nodes here since
+     * bufferBranchEdges links to the existing CALL_SITE node by coordinates.
+     */
+    private bufferDiscriminantExpressions;
+}
+//# sourceMappingURL=ControlFlowBuilder.d.ts.map

package/dist/plugins/analysis/ast/builders/ControlFlowBuilder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ControlFlowBuilder.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/ControlFlowBuilder.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACV,UAAU,EAWV,cAAc,EACf,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhE,qBAAa,kBAAmB,YAAW,aAAa;IAC1C,OAAO,CAAC,GAAG;gBAAH,GAAG,EAAE,cAAc;IAEvC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,GAAG,IAAI;IAuBtD;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,eAAe;IAqIvB;;;;;;;;OAQG;IACH,OAAO,CAAC,wBAAwB;IAoChC;;;;;;OAMG;IACH,OAAO,CAAC,8BAA8B;IA6BtC;;;;;;;;OAQG;IACH,OAAO,CAAC,iBAAiB;IA8FzB;;OAEG;IACH,OAAO,CAAC,eAAe;IAYvB;;;;;;;OAOG;IACH,OAAO,CAAC,0BAA0B;IAsClC;;;;;;OAMG;IACH,OAAO,CAAC,6BAA6B;CAuBtC"}