@grafema/core 0.2.5-beta → 0.2.7

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

@@ -0,0 +1,387 @@
+/**
+ * ControlFlowBuilder - buffers control flow graph nodes and edges.
+ *
+ * Handles: loops, branches, cases, try/catch/finally, discriminant expressions.
+ */
+export class ControlFlowBuilder {
+    ctx;
+    constructor(ctx) {
+        this.ctx = ctx;
+    }
+    buffer(module, data) {
+        const { scopes, variableDeclarations, callSites, loops = [], branches = [], cases = [], tryBlocks = [], catchBlocks = [], finallyBlocks = [], parameters = [], } = data;
+        this.bufferLoopEdges(loops, scopes, variableDeclarations, parameters);
+        this.bufferLoopConditionEdges(loops, callSites);
+        this.bufferLoopConditionExpressions(loops);
+        this.bufferBranchEdges(branches, callSites, scopes);
+        this.bufferCaseEdges(cases);
+        this.bufferTryCatchFinallyEdges(tryBlocks, catchBlocks, finallyBlocks);
+        this.bufferDiscriminantExpressions(branches, callSites);
+    }
+    /**
+     * 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)
+     */
+    bufferLoopEdges(loops, scopes, variableDeclarations, parameters) {
+        for (const loop of loops) {
+            // Parent -> CONTAINS -> LOOP
+            if (loop.parentScopeId) {
+                this.ctx.bufferEdge({
+                    type: 'CONTAINS',
+                    src: loop.parentScopeId,
+                    dst: loop.id
+                });
+            }
+            // LOOP -> HAS_BODY -> body SCOPE
+            // Find the body scope by matching parentScopeId to loop.id
+            const bodyScope = scopes.find(s => s.parentScopeId === loop.id);
+            if (bodyScope) {
+                this.ctx.bufferEdge({
+                    type: 'HAS_BODY',
+                    src: loop.id,
+                    dst: bodyScope.id
+                });
+            }
+            // LOOP -> ITERATES_OVER -> collection VARIABLE/PARAMETER (for for-in/for-of)
+            if (loop.iteratesOverName && (loop.loopType === 'for-in' || loop.loopType === 'for-of')) {
+                // For MemberExpression iterables (obj.items), extract base object
+                const iterableName = loop.iteratesOverName.includes('.')
+                    ? loop.iteratesOverName.split('.')[0]
+                    : loop.iteratesOverName;
+                // Scope-aware lookup: prefer parameters over variables
+                // Parameters are function-local and shadow outer variables
+                const param = parameters.find(p => p.name === iterableName && p.file === loop.file);
+                // Determine iteration type: for-in iterates keys, for-of iterates values
+                const iterates = loop.loopType === 'for-in' ? 'keys' : 'values';
+                if (param) {
+                    // Parameter found - most local binding
+                    this.ctx.bufferEdge({
+                        type: 'ITERATES_OVER',
+                        src: loop.id,
+                        dst: param.id,
+                        metadata: { iterates }
+                    });
+                }
+                else {
+                    // Find variable by name and line proximity (scope-aware heuristic)
+                    // Prefer variables declared before the loop in the same file
+                    const candidateVars = variableDeclarations.filter(v => v.name === iterableName &&
+                        v.file === loop.file &&
+                        (v.line ?? 0) <= loop.line // Declared before or on loop line
+                    );
+                    // Sort by line descending to find closest declaration
+                    candidateVars.sort((a, b) => (b.line ?? 0) - (a.line ?? 0));
+                    if (candidateVars.length > 0) {
+                        this.ctx.bufferEdge({
+                            type: 'ITERATES_OVER',
+                            src: loop.id,
+                            dst: candidateVars[0].id,
+                            metadata: { iterates }
+                        });
+                    }
+                }
+            }
+            // REG-282: LOOP (for) -> HAS_INIT -> VARIABLE (let i = 0)
+            if (loop.loopType === 'for' && loop.initVariableName && loop.initLine) {
+                // Find the variable declared in the init on this line
+                const initVar = variableDeclarations.find(v => v.name === loop.initVariableName &&
+                    v.file === loop.file &&
+                    v.line === loop.initLine);
+                if (initVar) {
+                    this.ctx.bufferEdge({
+                        type: 'HAS_INIT',
+                        src: loop.id,
+                        dst: initVar.id
+                    });
+                }
+            }
+            // REG-282: LOOP -> HAS_CONDITION -> EXPRESSION (i < 10 or condition for while/do-while)
+            if (loop.testExpressionId && loop.testExpressionType) {
+                // Create EXPRESSION node for the test
+                this.ctx.bufferNode({
+                    id: loop.testExpressionId,
+                    type: 'EXPRESSION',
+                    name: loop.testExpressionType,
+                    file: loop.file,
+                    line: loop.testLine,
+                    column: loop.testColumn,
+                    expressionType: loop.testExpressionType
+                });
+                this.ctx.bufferEdge({
+                    type: 'HAS_CONDITION',
+                    src: loop.id,
+                    dst: loop.testExpressionId
+                });
+            }
+            // REG-282: LOOP (for) -> HAS_UPDATE -> EXPRESSION (i++)
+            if (loop.loopType === 'for' && loop.updateExpressionId && loop.updateExpressionType) {
+                // Create EXPRESSION node for the update
+                this.ctx.bufferNode({
+                    id: loop.updateExpressionId,
+                    type: 'EXPRESSION',
+                    name: loop.updateExpressionType,
+                    file: loop.file,
+                    line: loop.updateLine,
+                    column: loop.updateColumn,
+                    expressionType: loop.updateExpressionType
+                });
+                this.ctx.bufferEdge({
+                    type: 'HAS_UPDATE',
+                    src: loop.id,
+                    dst: loop.updateExpressionId
+                });
+            }
+        }
+    }
+    /**
+     * 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.
+     */
+    bufferLoopConditionEdges(loops, callSites) {
+        for (const loop of loops) {
+            // Skip for-in/for-of loops - they don't have test expressions
+            if (loop.loopType === 'for-in' || loop.loopType === 'for-of') {
+                continue;
+            }
+            // Skip if no condition (e.g., infinite for loop: for(;;))
+            if (!loop.conditionExpressionId) {
+                continue;
+            }
+            // LOOP -> HAS_CONDITION -> EXPRESSION/CALL
+            let targetId = loop.conditionExpressionId;
+            // For CallExpression conditions, look up the actual CALL_SITE by coordinates
+            // because CALL_SITE uses semantic IDs that don't match the generated ID
+            if (loop.conditionExpressionType === 'CallExpression' && loop.conditionLine && loop.conditionColumn !== undefined) {
+                const callSite = callSites.find(cs => cs.file === loop.file &&
+                    cs.line === loop.conditionLine &&
+                    cs.column === loop.conditionColumn);
+                if (callSite) {
+                    targetId = callSite.id;
+                }
+            }
+            this.ctx.bufferEdge({
+                type: 'HAS_CONDITION',
+                src: loop.id,
+                dst: targetId
+            });
+        }
+    }
+    /**
+     * 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).
+     */
+    bufferLoopConditionExpressions(loops) {
+        for (const loop of loops) {
+            // Skip for-in/for-of loops - they don't have test expressions
+            if (loop.loopType === 'for-in' || loop.loopType === 'for-of') {
+                continue;
+            }
+            if (loop.conditionExpressionId && loop.conditionExpressionType) {
+                // Skip CallExpression - we link to existing CALL_SITE in bufferLoopConditionEdges
+                if (loop.conditionExpressionType === 'CallExpression') {
+                    continue;
+                }
+                // Only create if it looks like an EXPRESSION ID
+                if (loop.conditionExpressionId.includes(':EXPRESSION:')) {
+                    this.ctx.bufferNode({
+                        id: loop.conditionExpressionId,
+                        type: 'EXPRESSION',
+                        name: loop.conditionExpressionType,
+                        file: loop.file,
+                        line: loop.conditionLine,
+                        column: loop.conditionColumn,
+                        expressionType: loop.conditionExpressionType
+                    });
+                }
+            }
+        }
+    }
+    /**
+     * 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.
+     */
+    bufferBranchEdges(branches, callSites, scopes) {
+        for (const branch of branches) {
+            // Parent SCOPE -> CONTAINS -> BRANCH
+            if (branch.parentScopeId) {
+                this.ctx.bufferEdge({
+                    type: 'CONTAINS',
+                    src: branch.parentScopeId,
+                    dst: branch.id
+                });
+            }
+            // BRANCH -> HAS_CONDITION -> EXPRESSION/CALL (discriminant)
+            if (branch.discriminantExpressionId) {
+                let targetId = branch.discriminantExpressionId;
+                // For CallExpression discriminants, look up the actual CALL_SITE by coordinates
+                // because CALL_SITE uses semantic IDs that don't match the generated ID
+                if (branch.discriminantExpressionType === 'CallExpression' && branch.discriminantLine && branch.discriminantColumn !== undefined) {
+                    const callSite = callSites.find(cs => cs.file === branch.file &&
+                        cs.line === branch.discriminantLine &&
+                        cs.column === branch.discriminantColumn);
+                    if (callSite) {
+                        targetId = callSite.id;
+                    }
+                }
+                this.ctx.bufferEdge({
+                    type: 'HAS_CONDITION',
+                    src: branch.id,
+                    dst: targetId
+                });
+            }
+            // Phase 3: For if-branches, create HAS_CONSEQUENT and HAS_ALTERNATE edges
+            if (branch.branchType === 'if') {
+                // Find consequent (if-body) scope - parentScopeId matches branch.id, scopeType is 'if_statement'
+                const consequentScope = scopes.find(s => s.parentScopeId === branch.id && s.scopeType === 'if_statement');
+                if (consequentScope) {
+                    this.ctx.bufferEdge({
+                        type: 'HAS_CONSEQUENT',
+                        src: branch.id,
+                        dst: consequentScope.id
+                    });
+                }
+                // Find alternate (else-body) scope - parentScopeId matches branch.id, scopeType is 'else_statement'
+                const alternateScope = scopes.find(s => s.parentScopeId === branch.id && s.scopeType === 'else_statement');
+                if (alternateScope) {
+                    this.ctx.bufferEdge({
+                        type: 'HAS_ALTERNATE',
+                        src: branch.id,
+                        dst: alternateScope.id
+                    });
+                }
+                // For else-if chains: if this branch is the alternate of another branch
+                // This is handled differently - see below
+            }
+            // REG-287: For ternary branches, create HAS_CONSEQUENT and HAS_ALTERNATE edges to expressions
+            if (branch.branchType === 'ternary') {
+                if (branch.consequentExpressionId) {
+                    this.ctx.bufferEdge({
+                        type: 'HAS_CONSEQUENT',
+                        src: branch.id,
+                        dst: branch.consequentExpressionId
+                    });
+                }
+                if (branch.alternateExpressionId) {
+                    this.ctx.bufferEdge({
+                        type: 'HAS_ALTERNATE',
+                        src: branch.id,
+                        dst: branch.alternateExpressionId
+                    });
+                }
+            }
+            // Phase 3: For else-if chains, create HAS_ALTERNATE from parent branch to this branch
+            if (branch.isAlternateOfBranchId) {
+                this.ctx.bufferEdge({
+                    type: 'HAS_ALTERNATE',
+                    src: branch.isAlternateOfBranchId,
+                    dst: branch.id
+                });
+            }
+        }
+    }
+    /**
+     * Buffer CASE edges (HAS_CASE, HAS_DEFAULT)
+     */
+    bufferCaseEdges(cases) {
+        for (const caseInfo of cases) {
+            // BRANCH -> HAS_CASE or HAS_DEFAULT -> CASE
+            const edgeType = caseInfo.isDefault ? 'HAS_DEFAULT' : 'HAS_CASE';
+            this.ctx.bufferEdge({
+                type: edgeType,
+                src: caseInfo.parentBranchId,
+                dst: caseInfo.id
+            });
+        }
+    }
+    /**
+     * 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
+     */
+    bufferTryCatchFinallyEdges(tryBlocks, catchBlocks, finallyBlocks) {
+        // Buffer TRY_BLOCK edges
+        for (const tryBlock of tryBlocks) {
+            // Parent -> CONTAINS -> TRY_BLOCK
+            if (tryBlock.parentScopeId) {
+                this.ctx.bufferEdge({
+                    type: 'CONTAINS',
+                    src: tryBlock.parentScopeId,
+                    dst: tryBlock.id
+                });
+            }
+        }
+        // Buffer CATCH_BLOCK edges (HAS_CATCH from TRY_BLOCK)
+        for (const catchBlock of catchBlocks) {
+            // TRY_BLOCK -> HAS_CATCH -> CATCH_BLOCK
+            this.ctx.bufferEdge({
+                type: 'HAS_CATCH',
+                src: catchBlock.parentTryBlockId,
+                dst: catchBlock.id
+            });
+        }
+        // Buffer FINALLY_BLOCK edges (HAS_FINALLY from TRY_BLOCK)
+        for (const finallyBlock of finallyBlocks) {
+            // TRY_BLOCK -> HAS_FINALLY -> FINALLY_BLOCK
+            this.ctx.bufferEdge({
+                type: 'HAS_FINALLY',
+                src: finallyBlock.parentTryBlockId,
+                dst: finallyBlock.id
+            });
+        }
+    }
+    /**
+     * 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.
+     */
+    bufferDiscriminantExpressions(branches, _callSites) {
+        for (const branch of branches) {
+            if (branch.discriminantExpressionId && branch.discriminantExpressionType) {
+                // Skip CallExpression - we link to existing CALL_SITE in bufferBranchEdges
+                if (branch.discriminantExpressionType === 'CallExpression') {
+                    continue;
+                }
+                // Only create if it looks like an EXPRESSION ID
+                if (branch.discriminantExpressionId.includes(':EXPRESSION:')) {
+                    this.ctx.bufferNode({
+                        id: branch.discriminantExpressionId,
+                        type: 'EXPRESSION',
+                        name: branch.discriminantExpressionType,
+                        file: branch.file,
+                        line: branch.discriminantLine,
+                        column: branch.discriminantColumn,
+                        expressionType: branch.discriminantExpressionType
+                    });
+                }
+            }
+        }
+    }
+}
+//# sourceMappingURL=ControlFlowBuilder.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ControlFlowBuilder.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/ControlFlowBuilder.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAkBH,MAAM,OAAO,kBAAkB;IACT;IAApB,YAAoB,GAAmB;QAAnB,QAAG,GAAH,GAAG,CAAgB;IAAG,CAAC;IAE3C,MAAM,CAAC,MAAkB,EAAE,IAAoB;QAC7C,MAAM,EACJ,MAAM,EACN,oBAAoB,EACpB,SAAS,EACT,KAAK,GAAG,EAAE,EACV,QAAQ,GAAG,EAAE,EACb,KAAK,GAAG,EAAE,EACV,SAAS,GAAG,EAAE,EACd,WAAW,GAAG,EAAE,EAChB,aAAa,GAAG,EAAE,EAClB,UAAU,GAAG,EAAE,GAChB,GAAG,IAAI,CAAC;QAET,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,oBAAoB,EAAE,UAAU,CAAC,CAAC;QACtE,IAAI,CAAC,wBAAwB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAChD,IAAI,CAAC,8BAA8B,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACpD,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,CAAC,0BAA0B,CAAC,SAAS,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;QACvE,IAAI,CAAC,6BAA6B,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC1D,CAAC;IAED;;;;;;;;;;;;OAYG;IACK,eAAe,CACrB,KAAiB,EACjB,MAAmB,EACnB,oBAA+C,EAC/C,UAA2B;QAE3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,6BAA6B;YAC7B,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,IAAI,CAAC,aAAa;oBACvB,GAAG,EAAE,IAAI,CAAC,EAAE;iBACb,CAAC,CAAC;YACL,CAAC;YAED,iCAAiC;YACjC,2DAA2D;YAC3D,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;YAChE,IAAI,SAAS,EAAE,CAAC;gBACd,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,IAAI,CAAC,EAAE;oBACZ,GAAG,EAAE,SAAS,CAAC,EAAE;iBAClB,CAAC,CAAC;YACL,CAAC;YAED,6EAA6E;YAC7E,IAAI,IAAI,CAAC,gBAAgB,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,EAAE,CAAC;gBACxF,kEAAkE;gBAClE,MAAM,YAAY,GAAG,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC;oBACtD,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACrC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC;gBAE1B,uDAAuD;gBACvD,2DAA2D;gBAC3D,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAChC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAChD,CAAC;gBAEF,yEAAyE;gBACzE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAEhE,IAAI,KAAK,EAAE,CAAC;oBACV,uCAAuC;oBACvC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,IAAI,EAAE,eAAe;wBACrB,GAAG,EAAE,IAAI,CAAC,EAAE;wBACZ,GAAG,EAAE,KAAK,CAAC,EAAE;wBACb,QAAQ,EAAE,EAAE,QAAQ,EAAE;qBACvB,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,mEAAmE;oBACnE,6DAA6D;oBAC7D,MAAM,aAAa,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACpD,CAAC,CAAC,IAAI,KAAK,YAAY;wBACvB,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;wBACpB,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAE,kCAAkC;qBAC/D,CAAC;oBAEF,sDAAsD;oBACtD,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;oBAE5D,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBAC7B,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;4BAClB,IAAI,EAAE,eAAe;4BACrB,GAAG,EAAE,IAAI,CAAC,EAAE;4BACZ,GAAG,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE;4BACxB,QAAQ,EAAE,EAAE,QAAQ,EAAE;yBACvB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;YAED,0DAA0D;YAC1D,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACtE,sDAAsD;gBACtD,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC5C,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,gBAAgB;oBAChC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;oBACpB,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,QAAQ,CACzB,CAAC;gBACF,IAAI,OAAO,EAAE,CAAC;oBACZ,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,IAAI,EAAE,UAAU;wBAChB,GAAG,EAAE,IAAI,CAAC,EAAE;wBACZ,GAAG,EAAE,OAAO,CAAC,EAAE;qBAChB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,wFAAwF;YACxF,IAAI,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;gBACrD,sCAAsC;gBACtC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,EAAE,EAAE,IAAI,CAAC,gBAAgB;oBACzB,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,IAAI,CAAC,kBAAkB;oBAC7B,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,IAAI,EAAE,IAAI,CAAC,QAAQ;oBACnB,MAAM,EAAE,IAAI,CAAC,UAAU;oBACvB,cAAc,EAAE,IAAI,CAAC,kBAAkB;iBACxC,CAAC,CAAC;gBAEH,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,eAAe;oBACrB,GAAG,EAAE,IAAI,CAAC,EAAE;oBACZ,GAAG,EAAE,IAAI,CAAC,gBAAgB;iBAC3B,CAAC,CAAC;YACL,CAAC;YAED,wDAAwD;YACxD,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,IAAI,IAAI,CAAC,kBAAkB,IAAI,IAAI,CAAC,oBAAoB,EAAE,CAAC;gBACpF,wCAAwC;gBACxC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,EAAE,EAAE,IAAI,CAAC,kBAAkB;oBAC3B,IAAI,EAAE,YAAY;oBAClB,IAAI,EAAE,IAAI,CAAC,oBAAoB;oBAC/B,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,IAAI,EAAE,IAAI,CAAC,UAAU;oBACrB,MAAM,EAAE,IAAI,CAAC,YAAY;oBACzB,cAAc,EAAE,IAAI,CAAC,oBAAoB;iBAC1C,CAAC,CAAC;gBAEH,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,YAAY;oBAClB,GAAG,EAAE,IAAI,CAAC,EAAE;oBACZ,GAAG,EAAE,IAAI,CAAC,kBAAkB;iBAC7B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;;;;OAQG;IACK,wBAAwB,CAAC,KAAiB,EAAE,SAAyB;QAC3E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,8DAA8D;YAC9D,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBAC7D,SAAS;YACX,CAAC;YAED,0DAA0D;YAC1D,IAAI,CAAC,IAAI,CAAC,qBAAqB,EAAE,CAAC;gBAChC,SAAS;YACX,CAAC;YAED,2CAA2C;YAC3C,IAAI,QAAQ,GAAG,IAAI,CAAC,qBAAqB,CAAC;YAE1C,6EAA6E;YAC7E,wEAAwE;YACxE,IAAI,IAAI,CAAC,uBAAuB,KAAK,gBAAgB,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;gBAClH,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CACnC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;oBACrB,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,aAAa;oBAC9B,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC,eAAe,CACnC,CAAC;gBACF,IAAI,QAAQ,EAAE,CAAC;oBACb,QAAQ,GAAG,QAAQ,CAAC,EAAE,CAAC;gBACzB,CAAC;YACH,CAAC;YAED,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,eAAe;gBACrB,GAAG,EAAE,IAAI,CAAC,EAAE;gBACZ,GAAG,EAAE,QAAQ;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED;;;;;;OAMG;IACK,8BAA8B,CAAC,KAAiB;QACtD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,8DAA8D;YAC9D,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBAC7D,SAAS;YACX,CAAC;YAED,IAAI,IAAI,CAAC,qBAAqB,IAAI,IAAI,CAAC,uBAAuB,EAAE,CAAC;gBAC/D,kFAAkF;gBAClF,IAAI,IAAI,CAAC,uBAAuB,KAAK,gBAAgB,EAAE,CAAC;oBACtD,SAAS;gBACX,CAAC;gBAED,gDAAgD;gBAChD,IAAI,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;oBACxD,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,EAAE,EAAE,IAAI,CAAC,qBAAqB;wBAC9B,IAAI,EAAE,YAAY;wBAClB,IAAI,EAAE,IAAI,CAAC,uBAAuB;wBAClC,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,IAAI,EAAE,IAAI,CAAC,aAAa;wBACxB,MAAM,EAAE,IAAI,CAAC,eAAe;wBAC5B,cAAc,EAAE,IAAI,CAAC,uBAAuB;qBAC7C,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;;;;OAQG;IACK,iBAAiB,CAAC,QAAsB,EAAE,SAAyB,EAAE,MAAmB;QAC9F,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,qCAAqC;YACrC,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;gBACzB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,MAAM,CAAC,aAAa;oBACzB,GAAG,EAAE,MAAM,CAAC,EAAE;iBACf,CAAC,CAAC;YACL,CAAC;YAED,4DAA4D;YAC5D,IAAI,MAAM,CAAC,wBAAwB,EAAE,CAAC;gBACpC,IAAI,QAAQ,GAAG,MAAM,CAAC,wBAAwB,CAAC;gBAE/C,gFAAgF;gBAChF,wEAAwE;gBACxE,IAAI,MAAM,CAAC,0BAA0B,KAAK,gBAAgB,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,kBAAkB,KAAK,SAAS,EAAE,CAAC;oBACjI,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CACnC,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;wBACvB,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,gBAAgB;wBACnC,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,kBAAkB,CACxC,CAAC;oBACF,IAAI,QAAQ,EAAE,CAAC;wBACb,QAAQ,GAAG,QAAQ,CAAC,EAAE,CAAC;oBACzB,CAAC;gBACH,CAAC;gBAED,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,eAAe;oBACrB,GAAG,EAAE,MAAM,CAAC,EAAE;oBACd,GAAG,EAAE,QAAQ;iBACd,CAAC,CAAC;YACL,CAAC;YAED,0EAA0E;YAC1E,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;gBAC/B,iGAAiG;gBACjG,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACtC,CAAC,CAAC,aAAa,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,SAAS,KAAK,cAAc,CAChE,CAAC;gBACF,IAAI,eAAe,EAAE,CAAC;oBACpB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,IAAI,EAAE,gBAAgB;wBACtB,GAAG,EAAE,MAAM,CAAC,EAAE;wBACd,GAAG,EAAE,eAAe,CAAC,EAAE;qBACxB,CAAC,CAAC;gBACL,CAAC;gBAED,oGAAoG;gBACpG,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACrC,CAAC,CAAC,aAAa,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,SAAS,KAAK,gBAAgB,CAClE,CAAC;gBACF,IAAI,cAAc,EAAE,CAAC;oBACnB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,IAAI,EAAE,eAAe;wBACrB,GAAG,EAAE,MAAM,CAAC,EAAE;wBACd,GAAG,EAAE,cAAc,CAAC,EAAE;qBACvB,CAAC,CAAC;gBACL,CAAC;gBAED,wEAAwE;gBACxE,0CAA0C;YAC5C,CAAC;YAED,8FAA8F;YAC9F,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;gBACpC,IAAI,MAAM,CAAC,sBAAsB,EAAE,CAAC;oBAClC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,IAAI,EAAE,gBAAgB;wBACtB,GAAG,EAAE,MAAM,CAAC,EAAE;wBACd,GAAG,EAAE,MAAM,CAAC,sBAAsB;qBACnC,CAAC,CAAC;gBACL,CAAC;gBACD,IAAI,MAAM,CAAC,qBAAqB,EAAE,CAAC;oBACjC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,IAAI,EAAE,eAAe;wBACrB,GAAG,EAAE,MAAM,CAAC,EAAE;wBACd,GAAG,EAAE,MAAM,CAAC,qBAAqB;qBAClC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,sFAAsF;YACtF,IAAI,MAAM,CAAC,qBAAqB,EAAE,CAAC;gBACjC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,eAAe;oBACrB,GAAG,EAAE,MAAM,CAAC,qBAAqB;oBACjC,GAAG,EAAE,MAAM,CAAC,EAAE;iBACf,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,KAAiB;QACvC,KAAK,MAAM,QAAQ,IAAI,KAAK,EAAE,CAAC;YAC7B,4CAA4C;YAC5C,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC;YACjE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,QAAQ;gBACd,GAAG,EAAE,QAAQ,CAAC,cAAc;gBAC5B,GAAG,EAAE,QAAQ,CAAC,EAAE;aACjB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED;;;;;;;OAOG;IACK,0BAA0B,CAChC,SAAyB,EACzB,WAA6B,EAC7B,aAAiC;QAEjC,yBAAyB;QACzB,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,kCAAkC;YAClC,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;gBAC3B,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,QAAQ,CAAC,aAAa;oBAC3B,GAAG,EAAE,QAAQ,CAAC,EAAE;iBACjB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,sDAAsD;QACtD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACrC,wCAAwC;YACxC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,WAAW;gBACjB,GAAG,EAAE,UAAU,CAAC,gBAAgB;gBAChC,GAAG,EAAE,UAAU,CAAC,EAAE;aACnB,CAAC,CAAC;QACL,CAAC;QAED,0DAA0D;QAC1D,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;YACzC,4CAA4C;YAC5C,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,aAAa;gBACnB,GAAG,EAAE,YAAY,CAAC,gBAAgB;gBAClC,GAAG,EAAE,YAAY,CAAC,EAAE;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED;;;;;;OAMG;IACK,6BAA6B,CAAC,QAAsB,EAAE,UAA0B;QACtF,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,IAAI,MAAM,CAAC,wBAAwB,IAAI,MAAM,CAAC,0BAA0B,EAAE,CAAC;gBACzE,2EAA2E;gBAC3E,IAAI,MAAM,CAAC,0BAA0B,KAAK,gBAAgB,EAAE,CAAC;oBAC3D,SAAS;gBACX,CAAC;gBAED,gDAAgD;gBAChD,IAAI,MAAM,CAAC,wBAAwB,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;oBAC7D,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,EAAE,EAAE,MAAM,CAAC,wBAAwB;wBACnC,IAAI,EAAE,YAAY;wBAClB,IAAI,EAAE,MAAM,CAAC,0BAA0B;wBACvC,IAAI,EAAE,MAAM,CAAC,IAAI;wBACjB,IAAI,EAAE,MAAM,CAAC,gBAAgB;wBAC7B,MAAM,EAAE,MAAM,CAAC,kBAAkB;wBACjC,cAAc,EAAE,MAAM,CAAC,0BAA0B;qBAClD,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;CACF"}

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

@@ -0,0 +1,38 @@
+/**
+ * CoreBuilder - buffers core graph structure nodes and edges.
+ *
+ * Handles: functions, scopes, variables, call sites, method calls,
+ * property accesses, callbacks, literals, object/array literals.
+ */
+import type { ModuleNode, ASTCollections } from '../types.js';
+import type { BuilderContext, DomainBuilder } from './types.js';
+export declare class CoreBuilder implements DomainBuilder {
+    private ctx;
+    constructor(ctx: BuilderContext);
+    buffer(module: ModuleNode, data: ASTCollections): void;
+    private bufferFunctionEdges;
+    private bufferScopeEdges;
+    private bufferVariableEdges;
+    private bufferCallSiteEdges;
+    private bufferMethodCalls;
+    /**
+     * Buffer PROPERTY_ACCESS nodes and CONTAINS edges (REG-395).
+     *
+     * Creates nodes for property reads (obj.prop, a.b.c) and
+     * CONTAINS edges from the enclosing scope (function or module).
+     */
+    private bufferPropertyAccessNodes;
+    private bufferCallbackEdges;
+    private bufferLiterals;
+    /**
+     * Buffer OBJECT_LITERAL nodes to the graph.
+     * These are object literals passed as function arguments or nested in other literals.
+     */
+    private bufferObjectLiteralNodes;
+    /**
+     * Buffer ARRAY_LITERAL nodes to the graph.
+     * These are array literals passed as function arguments or nested in other literals.
+     */
+    private bufferArrayLiteralNodes;
+}
+//# sourceMappingURL=CoreBuilder.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"CoreBuilder.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/CoreBuilder.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,UAAU,EAYV,cAAc,EAEf,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhE,qBAAa,WAAY,YAAW,aAAa;IACnC,OAAO,CAAC,GAAG;gBAAH,GAAG,EAAE,cAAc;IAEvC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,GAAG,IAAI;IA2BtD,OAAO,CAAC,mBAAmB;IAsB3B,OAAO,CAAC,gBAAgB;IAsCxB,OAAO,CAAC,mBAAmB;IAkB3B,OAAO,CAAC,mBAAmB;IAyB3B,OAAO,CAAC,iBAAiB;IAqDzB;;;;;OAKG;IACH,OAAO,CAAC,yBAAyB;IA0BjC,OAAO,CAAC,mBAAmB;IAkB3B,OAAO,CAAC,cAAc;IAOtB;;;OAGG;IACH,OAAO,CAAC,wBAAwB;IAehC;;;OAGG;IACH,OAAO,CAAC,uBAAuB;CAchC"}