@grafema/core 0.2.5-beta → 0.2.7

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

@@ -0,0 +1,240 @@
+/**
+ * CoreBuilder - buffers core graph structure nodes and edges.
+ *
+ * Handles: functions, scopes, variables, call sites, method calls,
+ * property accesses, callbacks, literals, object/array literals.
+ */
+export class CoreBuilder {
+    ctx;
+    constructor(ctx) {
+        this.ctx = ctx;
+    }
+    buffer(module, data) {
+        const { functions, scopes, variableDeclarations, callSites, methodCalls = [], methodCallbacks = [], propertyAccesses = [], literals = [], objectLiterals = [], arrayLiterals = [], parameters = [], } = data;
+        this.bufferFunctionEdges(module, functions);
+        this.bufferScopeEdges(scopes, variableDeclarations);
+        this.bufferVariableEdges(variableDeclarations);
+        this.bufferCallSiteEdges(callSites, functions);
+        this.bufferMethodCalls(methodCalls, variableDeclarations, parameters);
+        this.bufferPropertyAccessNodes(module, propertyAccesses);
+        this.bufferCallbackEdges(methodCallbacks, functions);
+        this.bufferLiterals(literals);
+        this.bufferObjectLiteralNodes(objectLiterals);
+        this.bufferArrayLiteralNodes(arrayLiterals);
+    }
+    bufferFunctionEdges(module, functions) {
+        for (const func of functions) {
+            const { parentScopeId, ...funcData } = func;
+            // MODULE -> CONTAINS -> FUNCTION (для функций верхнего уровня)
+            // или SCOPE -> CONTAINS -> FUNCTION (для вложенных функций)
+            if (parentScopeId) {
+                this.ctx.bufferEdge({
+                    type: 'CONTAINS',
+                    src: parentScopeId,
+                    dst: funcData.id
+                });
+            }
+            else {
+                this.ctx.bufferEdge({
+                    type: 'CONTAINS',
+                    src: module.id,
+                    dst: funcData.id
+                });
+            }
+        }
+    }
+    bufferScopeEdges(scopes, variableDeclarations) {
+        for (const scope of scopes) {
+            const { parentFunctionId, parentScopeId, capturesFrom, ...scopeData } = scope;
+            // FUNCTION -> HAS_SCOPE -> SCOPE (для function_body)
+            if (parentFunctionId) {
+                this.ctx.bufferEdge({
+                    type: 'HAS_SCOPE',
+                    src: parentFunctionId,
+                    dst: scopeData.id
+                });
+            }
+            // SCOPE -> CONTAINS -> SCOPE (для вложенных scope, типа if внутри function)
+            if (parentScopeId) {
+                this.ctx.bufferEdge({
+                    type: 'CONTAINS',
+                    src: parentScopeId,
+                    dst: scopeData.id
+                });
+            }
+            // CAPTURES - замыкания захватывают переменные из родительского scope
+            if (capturesFrom && scopeData.scopeType === 'closure') {
+                const parentVars = variableDeclarations.filter(v => v.parentScopeId === capturesFrom);
+                for (const parentVar of parentVars) {
+                    this.ctx.bufferEdge({
+                        type: 'CAPTURES',
+                        src: scopeData.id,
+                        dst: parentVar.id
+                    });
+                }
+            }
+            // REG-288: MODIFIES edges removed - now come from UPDATE_EXPRESSION nodes
+        }
+    }
+    bufferVariableEdges(variableDeclarations) {
+        for (const varDecl of variableDeclarations) {
+            const { parentScopeId, isClassProperty, ...varData } = varDecl;
+            // REG-271: Skip class properties - they get HAS_PROPERTY edges from CLASS, not DECLARES from SCOPE
+            if (isClassProperty) {
+                continue;
+            }
+            // SCOPE -> DECLARES -> VARIABLE
+            this.ctx.bufferEdge({
+                type: 'DECLARES',
+                src: parentScopeId,
+                dst: varData.id
+            });
+        }
+    }
+    bufferCallSiteEdges(callSites, functions) {
+        for (const callSite of callSites) {
+            const { parentScopeId, targetFunctionName, ...callData } = callSite;
+            // SCOPE -> CONTAINS -> CALL_SITE
+            this.ctx.bufferEdge({
+                type: 'CONTAINS',
+                src: parentScopeId,
+                dst: callData.id
+            });
+            // CALL_SITE -> CALLS -> FUNCTION (scope-aware)
+            const targetFunction = this.ctx.findFunctionByName(functions, targetFunctionName, callData.file, parentScopeId);
+            if (targetFunction) {
+                this.ctx.bufferEdge({
+                    type: 'CALLS',
+                    src: callData.id,
+                    dst: targetFunction.id
+                });
+            }
+        }
+    }
+    bufferMethodCalls(methodCalls, variableDeclarations, parameters) {
+        for (const methodCall of methodCalls) {
+            // Keep parentScopeId on node for queries
+            this.ctx.bufferNode(methodCall);
+            // SCOPE -> CONTAINS -> METHOD_CALL
+            this.ctx.bufferEdge({
+                type: 'CONTAINS',
+                src: methodCall.parentScopeId,
+                dst: methodCall.id
+            });
+            // REG-262: Create USES edge from METHOD_CALL to receiver variable
+            // Skip 'this' - it's not a variable node
+            if (methodCall.object && methodCall.object !== 'this') {
+                // Handle nested member expressions: obj.nested.method() -> use base 'obj'
+                const receiverName = methodCall.object.includes('.')
+                    ? methodCall.object.split('.')[0]
+                    : methodCall.object;
+                // Find receiver variable in current file
+                const receiverVar = variableDeclarations.find(v => v.name === receiverName && v.file === methodCall.file);
+                if (receiverVar) {
+                    this.ctx.bufferEdge({
+                        type: 'USES',
+                        src: methodCall.id,
+                        dst: receiverVar.id
+                    });
+                }
+                else {
+                    // Check parameters (function arguments)
+                    const receiverParam = parameters.find(p => p.name === receiverName && p.file === methodCall.file);
+                    if (receiverParam) {
+                        this.ctx.bufferEdge({
+                            type: 'USES',
+                            src: methodCall.id,
+                            dst: receiverParam.id
+                        });
+                    }
+                }
+            }
+        }
+    }
+    /**
+     * 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).
+     */
+    bufferPropertyAccessNodes(module, propertyAccesses) {
+        for (const propAccess of propertyAccesses) {
+            // Buffer node with all relevant fields
+            this.ctx.bufferNode({
+                id: propAccess.id,
+                type: 'PROPERTY_ACCESS',
+                name: propAccess.propertyName,
+                objectName: propAccess.objectName,
+                file: propAccess.file,
+                line: propAccess.line,
+                column: propAccess.column,
+                semanticId: propAccess.semanticId,
+                optional: propAccess.optional,
+                computed: propAccess.computed
+            });
+            // SCOPE/FUNCTION/MODULE -> CONTAINS -> PROPERTY_ACCESS
+            const containsSrc = propAccess.parentScopeId ?? module.id;
+            this.ctx.bufferEdge({
+                type: 'CONTAINS',
+                src: containsSrc,
+                dst: propAccess.id
+            });
+        }
+    }
+    bufferCallbackEdges(methodCallbacks, functions) {
+        for (const callback of methodCallbacks) {
+            const { methodCallId, callbackLine, callbackColumn } = callback;
+            const callbackFunction = functions.find(f => f.line === callbackLine && f.column === callbackColumn);
+            if (callbackFunction) {
+                this.ctx.bufferEdge({
+                    type: 'HAS_CALLBACK',
+                    src: methodCallId,
+                    dst: callbackFunction.id
+                });
+            }
+        }
+    }
+    bufferLiterals(literals) {
+        for (const literal of literals) {
+            const { parentCallId: _parentCallId, argIndex: _argIndex, ...literalData } = literal;
+            this.ctx.bufferNode(literalData);
+        }
+    }
+    /**
+     * Buffer OBJECT_LITERAL nodes to the graph.
+     * These are object literals passed as function arguments or nested in other literals.
+     */
+    bufferObjectLiteralNodes(objectLiterals) {
+        for (const obj of objectLiterals) {
+            this.ctx.bufferNode({
+                id: obj.id,
+                type: obj.type,
+                name: '<object>',
+                file: obj.file,
+                line: obj.line,
+                column: obj.column,
+                parentCallId: obj.parentCallId,
+                argIndex: obj.argIndex
+            });
+        }
+    }
+    /**
+     * Buffer ARRAY_LITERAL nodes to the graph.
+     * These are array literals passed as function arguments or nested in other literals.
+     */
+    bufferArrayLiteralNodes(arrayLiterals) {
+        for (const arr of arrayLiterals) {
+            this.ctx.bufferNode({
+                id: arr.id,
+                type: arr.type,
+                name: '<array>',
+                file: arr.file,
+                line: arr.line,
+                column: arr.column,
+                parentCallId: arr.parentCallId,
+                argIndex: arr.argIndex
+            });
+        }
+    }
+}
+//# sourceMappingURL=CoreBuilder.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"CoreBuilder.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/CoreBuilder.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAoBH,MAAM,OAAO,WAAW;IACF;IAApB,YAAoB,GAAmB;QAAnB,QAAG,GAAH,GAAG,CAAgB;IAAG,CAAC;IAE3C,MAAM,CAAC,MAAkB,EAAE,IAAoB;QAC7C,MAAM,EACJ,SAAS,EACT,MAAM,EACN,oBAAoB,EACpB,SAAS,EACT,WAAW,GAAG,EAAE,EAChB,eAAe,GAAG,EAAE,EACpB,gBAAgB,GAAG,EAAE,EACrB,QAAQ,GAAG,EAAE,EACb,cAAc,GAAG,EAAE,EACnB,aAAa,GAAG,EAAE,EAClB,UAAU,GAAG,EAAE,GAChB,GAAG,IAAI,CAAC;QAET,IAAI,CAAC,mBAAmB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC5C,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;QACpD,IAAI,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;QAC/C,IAAI,CAAC,mBAAmB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAC/C,IAAI,CAAC,iBAAiB,CAAC,WAAW,EAAE,oBAAoB,EAAE,UAAU,CAAC,CAAC;QACtE,IAAI,CAAC,yBAAyB,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;QACzD,IAAI,CAAC,mBAAmB,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC;QACrD,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,CAAC,wBAAwB,CAAC,cAAc,CAAC,CAAC;QAC9C,IAAI,CAAC,uBAAuB,CAAC,aAAa,CAAC,CAAC;IAC9C,CAAC;IAEO,mBAAmB,CAAC,MAAkB,EAAE,SAAyB;QACvE,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,MAAM,EAAE,aAAa,EAAE,GAAG,QAAQ,EAAE,GAAG,IAAI,CAAC;YAE5C,+DAA+D;YAC/D,4DAA4D;YAC5D,IAAI,aAAa,EAAE,CAAC;gBAClB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,aAAa;oBAClB,GAAG,EAAE,QAAQ,CAAC,EAAE;iBACjB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,MAAM,CAAC,EAAE;oBACd,GAAG,EAAE,QAAQ,CAAC,EAAE;iBACjB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAEO,gBAAgB,CAAC,MAAmB,EAAE,oBAA+C;QAC3F,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,EAAE,gBAAgB,EAAE,aAAa,EAAE,YAAY,EAAE,GAAG,SAAS,EAAE,GAAG,KAAK,CAAC;YAE9E,qDAAqD;YACrD,IAAI,gBAAgB,EAAE,CAAC;gBACrB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,WAAW;oBACjB,GAAG,EAAE,gBAAgB;oBACrB,GAAG,EAAE,SAAS,CAAC,EAAE;iBAClB,CAAC,CAAC;YACL,CAAC;YAED,4EAA4E;YAC5E,IAAI,aAAa,EAAE,CAAC;gBAClB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,UAAU;oBAChB,GAAG,EAAE,aAAa;oBAClB,GAAG,EAAE,SAAS,CAAC,EAAE;iBAClB,CAAC,CAAC;YACL,CAAC;YAED,qEAAqE;YACrE,IAAI,YAAY,IAAI,SAAS,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBACtD,MAAM,UAAU,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,YAAY,CAAC,CAAC;gBACtF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;oBACnC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,IAAI,EAAE,UAAU;wBAChB,GAAG,EAAE,SAAS,CAAC,EAAE;wBACjB,GAAG,EAAE,SAAS,CAAC,EAAE;qBAClB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,0EAA0E;QAC5E,CAAC;IACH,CAAC;IAEO,mBAAmB,CAAC,oBAA+C;QACzE,KAAK,MAAM,OAAO,IAAI,oBAAoB,EAAE,CAAC;YAC3C,MAAM,EAAE,aAAa,EAAE,eAAe,EAAE,GAAG,OAAO,EAAE,GAAG,OAAO,CAAC;YAE/D,mGAAmG;YACnG,IAAI,eAAe,EAAE,CAAC;gBACpB,SAAS;YACX,CAAC;YAED,gCAAgC;YAChC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,aAAuB;gBAC5B,GAAG,EAAE,OAAO,CAAC,EAAE;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAEO,mBAAmB,CAAC,SAAyB,EAAE,SAAyB;QAC9E,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,MAAM,EAAE,aAAa,EAAE,kBAAkB,EAAE,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC;YAEpE,iCAAiC;YACjC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,aAAuB;gBAC5B,GAAG,EAAE,QAAQ,CAAC,EAAE;aACjB,CAAC,CAAC;YAEH,+CAA+C;YAC/C,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,kBAAkB,CAChD,SAAS,EAAE,kBAAkB,EAAE,QAAQ,CAAC,IAAc,EAAE,aAAuB,CAChF,CAAC;YACF,IAAI,cAAc,EAAE,CAAC;gBACnB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,OAAO;oBACb,GAAG,EAAE,QAAQ,CAAC,EAAE;oBAChB,GAAG,EAAE,cAAc,CAAC,EAAE;iBACvB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAEO,iBAAiB,CACvB,WAA6B,EAC7B,oBAA+C,EAC/C,UAA2B;QAE3B,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACrC,yCAAyC;YACzC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,UAAkC,CAAC,CAAC;YAExD,mCAAmC;YACnC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,UAAU,CAAC,aAAuB;gBACvC,GAAG,EAAE,UAAU,CAAC,EAAE;aACnB,CAAC,CAAC;YAEH,kEAAkE;YAClE,yCAAyC;YACzC,IAAI,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBACtD,0EAA0E;gBAC1E,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;oBAClD,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACjC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC;gBAEtB,yCAAyC;gBACzC,MAAM,WAAW,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAChD,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CACtD,CAAC;gBAEF,IAAI,WAAW,EAAE,CAAC;oBAChB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,IAAI,EAAE,MAAM;wBACZ,GAAG,EAAE,UAAU,CAAC,EAAE;wBAClB,GAAG,EAAE,WAAW,CAAC,EAAE;qBACpB,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,wCAAwC;oBACxC,MAAM,aAAa,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACxC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CACtD,CAAC;oBAEF,IAAI,aAAa,EAAE,CAAC;wBAClB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;4BAClB,IAAI,EAAE,MAAM;4BACZ,GAAG,EAAE,UAAU,CAAC,EAAE;4BAClB,GAAG,EAAE,aAAa,CAAC,EAAE;yBACtB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACK,yBAAyB,CAAC,MAAkB,EAAE,gBAAsC;QAC1F,KAAK,MAAM,UAAU,IAAI,gBAAgB,EAAE,CAAC;YAC1C,uCAAuC;YACvC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,EAAE,EAAE,UAAU,CAAC,EAAE;gBACjB,IAAI,EAAE,iBAAiB;gBACvB,IAAI,EAAE,UAAU,CAAC,YAAY;gBAC7B,UAAU,EAAE,UAAU,CAAC,UAAU;gBACjC,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,MAAM,EAAE,UAAU,CAAC,MAAM;gBACzB,UAAU,EAAE,UAAU,CAAC,UAAU;gBACjC,QAAQ,EAAE,UAAU,CAAC,QAAQ;gBAC7B,QAAQ,EAAE,UAAU,CAAC,QAAQ;aACjB,CAAC,CAAC;YAEhB,uDAAuD;YACvD,MAAM,WAAW,GAAG,UAAU,CAAC,aAAa,IAAI,MAAM,CAAC,EAAE,CAAC;YAC1D,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,WAAW;gBAChB,GAAG,EAAE,UAAU,CAAC,EAAE;aACnB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAEO,mBAAmB,CAAC,eAAqC,EAAE,SAAyB;QAC1F,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,CAAC;YACvC,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,GAAG,QAAQ,CAAC;YAEhE,MAAM,gBAAgB,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC1C,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,cAAc,CACvD,CAAC;YAEF,IAAI,gBAAgB,EAAE,CAAC;gBACrB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,cAAc;oBACpB,GAAG,EAAE,YAAY;oBACjB,GAAG,EAAE,gBAAgB,CAAC,EAAE;iBACzB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAEO,cAAc,CAAC,QAAuB;QAC5C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,WAAW,EAAE,GAAG,OAAO,CAAC;YACrF,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,WAAwB,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAED;;;OAGG;IACK,wBAAwB,CAAC,cAAmC;QAClE,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;YACjC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,YAAY,EAAE,GAAG,CAAC,YAAY;gBAC9B,QAAQ,EAAE,GAAG,CAAC,QAAQ;aACV,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAED;;;OAGG;IACK,uBAAuB,CAAC,aAAiC;QAC/D,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;YAChC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,YAAY,EAAE,GAAG,CAAC,YAAY;gBAC9B,QAAQ,EAAE,GAAG,CAAC,QAAQ;aACV,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;CACF"}

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

@@ -0,0 +1,53 @@
+/**
+ * ModuleRuntimeBuilder - buffers imports, exports, stdio, event listeners,
+ * HTTP requests, rejection edges, and catches-from edges.
+ *
+ * Extracted from GraphBuilder: bufferImportNodes, bufferExportNodes,
+ * bufferStdioNodes, bufferEventListeners, bufferHttpRequests,
+ * bufferRejectionEdges, bufferCatchesFromEdges.
+ */
+import type { ModuleNode, ASTCollections } from '../types.js';
+import type { BuilderContext, DomainBuilder } from './types.js';
+export declare class ModuleRuntimeBuilder implements DomainBuilder {
+    private ctx;
+    constructor(ctx: BuilderContext);
+    buffer(module: ModuleNode, data: ASTCollections): void;
+    private bufferImportNodes;
+    private bufferExportNodes;
+    private bufferStdioNodes;
+    private bufferEventListeners;
+    private bufferHttpRequests;
+    /**
+     * Buffer REJECTS edges for async error tracking (REG-311).
+     *
+     * Creates edges from FUNCTION nodes to error CLASS nodes they can reject.
+     * This enables tracking which async functions can throw which error types:
+     *
+     * - Promise.reject(new Error()) -> FUNCTION --REJECTS--> CLASS[Error]
+     * - reject(new ValidationError()) in executor -> FUNCTION --REJECTS--> CLASS[ValidationError]
+     * - throw new AuthError() in async function -> FUNCTION --REJECTS--> CLASS[AuthError]
+     *
+     * Also stores rejectionPatterns in function metadata for downstream enrichers.
+     *
+     * @param functions - All function infos from analysis
+     * @param rejectionPatterns - Collected rejection patterns from analysis
+     */
+    private bufferRejectionEdges;
+    /**
+     * Buffer CATCHES_FROM edges linking catch blocks to error sources (REG-311).
+     *
+     * Creates edges from CATCH_BLOCK nodes to potential error sources within
+     * their corresponding try blocks. This enables tracking which catch blocks
+     * can handle which exceptions:
+     *
+     * - try { await fetch() } catch(e) -> CATCH_BLOCK --CATCHES_FROM--> CALL[fetch]
+     * - try { throw new Error() } catch(e) -> CATCH_BLOCK --CATCHES_FROM--> THROW_STATEMENT
+     *
+     * The sourceType metadata helps distinguish different error source kinds
+     * for more precise error flow analysis.
+     *
+     * @param catchesFromInfos - Collected CATCHES_FROM info from analysis
+     */
+    private bufferCatchesFromEdges;
+}
+//# sourceMappingURL=ModuleRuntimeBuilder.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ModuleRuntimeBuilder.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/ModuleRuntimeBuilder.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAMH,OAAO,KAAK,EACV,UAAU,EASV,cAAc,EAEf,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhE,qBAAa,oBAAqB,YAAW,aAAa;IAC5C,OAAO,CAAC,GAAG;gBAAH,GAAG,EAAE,cAAc;IAEvC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,GAAG,IAAI;IAqBtD,OAAO,CAAC,iBAAiB;IAmGzB,OAAO,CAAC,iBAAiB;IAmFzB,OAAO,CAAC,gBAAgB;IAyBxB,OAAO,CAAC,oBAAoB;IA6B5B,OAAO,CAAC,kBAAkB;IA4C1B;;;;;;;;;;;;;;OAcG;IACH,OAAO,CAAC,oBAAoB;IA2E5B;;;;;;;;;;;;;;OAcG;IACH,OAAO,CAAC,sBAAsB;CAc/B"}

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

@@ -0,0 +1,355 @@
+/**
+ * ModuleRuntimeBuilder - buffers imports, exports, stdio, event listeners,
+ * HTTP requests, rejection edges, and catches-from edges.
+ *
+ * Extracted from GraphBuilder: bufferImportNodes, bufferExportNodes,
+ * bufferStdioNodes, bufferEventListeners, bufferHttpRequests,
+ * bufferRejectionEdges, bufferCatchesFromEdges.
+ */
+import { ImportNode } from '../../../../core/nodes/ImportNode.js';
+import { NetworkRequestNode } from '../../../../core/nodes/NetworkRequestNode.js';
+import { NodeFactory } from '../../../../core/NodeFactory.js';
+import { computeSemanticId } from '../../../../core/SemanticId.js';
+export class ModuleRuntimeBuilder {
+    ctx;
+    constructor(ctx) {
+        this.ctx = ctx;
+    }
+    buffer(module, data) {
+        const { functions, imports = [], exports: exportInfos = [], methodCalls = [], eventListeners = [], httpRequests = [], rejectionPatterns = [], catchesFromInfos = [], } = data;
+        this.bufferImportNodes(module, imports);
+        this.bufferExportNodes(module, exportInfos);
+        this.bufferStdioNodes(methodCalls);
+        this.bufferEventListeners(eventListeners, functions);
+        this.bufferHttpRequests(httpRequests, functions);
+        this.bufferRejectionEdges(functions, rejectionPatterns);
+        this.bufferCatchesFromEdges(catchesFromInfos);
+    }
+    bufferImportNodes(module, imports) {
+        for (const imp of imports) {
+            const { source, specifiers, line, column, isDynamic, isResolvable, dynamicPath } = imp;
+            // REG-273: Handle side-effect-only imports (no specifiers)
+            if (specifiers.length === 0) {
+                // Side-effect import: import './polyfill.js'
+                const importNode = ImportNode.create(source, // name = source (no local binding)
+                module.file, // file
+                line, // line (stored as field, not in ID)
+                column || 0, // column
+                source, // source module
+                {
+                    imported: '*', // no specific export
+                    local: source, // source becomes local
+                    sideEffect: true // mark as side-effect import
+                });
+                this.ctx.bufferNode(importNode);
+                // MODULE -> CONTAINS -> IMPORT
+                this.ctx.bufferEdge({
+                    type: 'CONTAINS',
+                    src: module.id,
+                    dst: importNode.id
+                });
+                // Create EXTERNAL_MODULE node for external modules
+                const isRelative = source.startsWith('./') || source.startsWith('../');
+                if (!isRelative) {
+                    const externalModule = NodeFactory.createExternalModule(source);
+                    // Avoid duplicate EXTERNAL_MODULE nodes
+                    if (!this.ctx.isCreated(externalModule.id)) {
+                        this.ctx.bufferNode(externalModule);
+                        this.ctx.markCreated(externalModule.id);
+                    }
+                    this.ctx.bufferEdge({
+                        type: 'IMPORTS',
+                        src: module.id,
+                        dst: externalModule.id
+                    });
+                }
+            }
+            else {
+                // Regular imports with specifiers
+                for (const spec of specifiers) {
+                    // Use ImportNode factory for proper semantic IDs and field population
+                    const importNode = ImportNode.create(spec.local, // name = local binding
+                    module.file, // file
+                    line, // line (stored as field, not in ID)
+                    column || 0, // column
+                    source, // source module
+                    {
+                        imported: spec.imported,
+                        local: spec.local,
+                        sideEffect: false, // regular imports are not side-effects
+                        // importType is auto-detected from imported field
+                        // Dynamic import fields
+                        isDynamic,
+                        isResolvable,
+                        dynamicPath
+                    });
+                    this.ctx.bufferNode(importNode);
+                    // MODULE -> CONTAINS -> IMPORT
+                    this.ctx.bufferEdge({
+                        type: 'CONTAINS',
+                        src: module.id,
+                        dst: importNode.id
+                    });
+                    // Create EXTERNAL_MODULE node for external modules
+                    const isRelative = source.startsWith('./') || source.startsWith('../');
+                    if (!isRelative) {
+                        const externalModule = NodeFactory.createExternalModule(source);
+                        // Avoid duplicate EXTERNAL_MODULE nodes
+                        if (!this.ctx.isCreated(externalModule.id)) {
+                            this.ctx.bufferNode(externalModule);
+                            this.ctx.markCreated(externalModule.id);
+                        }
+                        this.ctx.bufferEdge({
+                            type: 'IMPORTS',
+                            src: module.id,
+                            dst: externalModule.id
+                        });
+                    }
+                }
+            }
+        }
+    }
+    bufferExportNodes(module, exports) {
+        for (const exp of exports) {
+            const { type, line, name, specifiers, source } = exp;
+            if (type === 'default') {
+                const exportNode = NodeFactory.createExport('default', module.file, line, 0, { default: true, exportType: 'default' });
+                this.ctx.bufferNode(exportNode);
+                this.ctx.bufferEdge({
+                    type: 'CONTAINS',
+                    src: module.id,
+                    dst: exportNode.id
+                });
+            }
+            else if (type === 'named') {
+                if (specifiers) {
+                    for (const spec of specifiers) {
+                        const exportNode = NodeFactory.createExport(spec.exported, module.file, line, 0, {
+                            local: spec.local,
+                            source: source,
+                            exportType: 'named'
+                        });
+                        this.ctx.bufferNode(exportNode);
+                        this.ctx.bufferEdge({
+                            type: 'CONTAINS',
+                            src: module.id,
+                            dst: exportNode.id
+                        });
+                    }
+                }
+                else if (name) {
+                    const exportNode = NodeFactory.createExport(name, module.file, line, 0, { exportType: 'named' });
+                    this.ctx.bufferNode(exportNode);
+                    this.ctx.bufferEdge({
+                        type: 'CONTAINS',
+                        src: module.id,
+                        dst: exportNode.id
+                    });
+                }
+            }
+            else if (type === 'all') {
+                const exportNode = NodeFactory.createExport('*', module.file, line, 0, {
+                    source: source,
+                    exportType: 'all'
+                });
+                this.ctx.bufferNode(exportNode);
+                this.ctx.bufferEdge({
+                    type: 'CONTAINS',
+                    src: module.id,
+                    dst: exportNode.id
+                });
+            }
+        }
+    }
+    bufferStdioNodes(methodCalls) {
+        const consoleIOMethods = methodCalls.filter(mc => (mc.object === 'console' && (mc.method === 'log' || mc.method === 'error')));
+        if (consoleIOMethods.length > 0) {
+            const stdioNode = NodeFactory.createExternalStdio();
+            // Buffer net:stdio node only once (singleton)
+            if (!this.ctx.isCreated(stdioNode.id)) {
+                this.ctx.bufferNode(stdioNode);
+                this.ctx.markCreated(stdioNode.id);
+            }
+            // Buffer WRITES_TO edges for console.log/error
+            for (const methodCall of consoleIOMethods) {
+                this.ctx.bufferEdge({
+                    type: 'WRITES_TO',
+                    src: methodCall.id,
+                    dst: stdioNode.id
+                });
+            }
+        }
+    }
+    bufferEventListeners(eventListeners, functions) {
+        for (const eventListener of eventListeners) {
+            const { parentScopeId, callbackArg, ...listenerData } = eventListener;
+            this.ctx.bufferNode(listenerData);
+            this.ctx.bufferEdge({
+                type: 'CONTAINS',
+                src: parentScopeId,
+                dst: listenerData.id
+            });
+            if (callbackArg && callbackArg.type === 'ArrowFunctionExpression') {
+                const callbackLine = callbackArg.loc.start.line;
+                const callbackFunction = functions.find(f => f.line === callbackLine && f.arrowFunction);
+                if (callbackFunction) {
+                    this.ctx.bufferEdge({
+                        type: 'HANDLED_BY',
+                        src: listenerData.id,
+                        dst: callbackFunction.id
+                    });
+                }
+            }
+        }
+    }
+    bufferHttpRequests(httpRequests, functions) {
+        if (httpRequests.length > 0) {
+            // Create net:request singleton using factory
+            const networkNode = NetworkRequestNode.create();
+            if (!this.ctx.isCreated(networkNode.id)) {
+                this.ctx.bufferNode(networkNode);
+                this.ctx.markCreated(networkNode.id);
+            }
+            for (const request of httpRequests) {
+                const { parentScopeId, ...requestData } = request;
+                this.ctx.bufferNode(requestData);
+                this.ctx.bufferEdge({
+                    type: 'CALLS',
+                    src: request.id,
+                    dst: networkNode.id
+                });
+                if (parentScopeId) {
+                    const scopeParts = parentScopeId.split(':');
+                    if (scopeParts.length >= 3 && scopeParts[1] === 'SCOPE') {
+                        const functionName = scopeParts[2];
+                        const file = scopeParts[0];
+                        const parentFunction = functions.find(f => f.file === file && f.name === functionName);
+                        if (parentFunction) {
+                            this.ctx.bufferEdge({
+                                type: 'MAKES_REQUEST',
+                                src: parentFunction.id,
+                                dst: request.id
+                            });
+                        }
+                    }
+                }
+            }
+        }
+    }
+    /**
+     * Buffer REJECTS edges for async error tracking (REG-311).
+     *
+     * Creates edges from FUNCTION nodes to error CLASS nodes they can reject.
+     * This enables tracking which async functions can throw which error types:
+     *
+     * - Promise.reject(new Error()) -> FUNCTION --REJECTS--> CLASS[Error]
+     * - reject(new ValidationError()) in executor -> FUNCTION --REJECTS--> CLASS[ValidationError]
+     * - throw new AuthError() in async function -> FUNCTION --REJECTS--> CLASS[AuthError]
+     *
+     * Also stores rejectionPatterns in function metadata for downstream enrichers.
+     *
+     * @param functions - All function infos from analysis
+     * @param rejectionPatterns - Collected rejection patterns from analysis
+     */
+    bufferRejectionEdges(functions, rejectionPatterns) {
+        // Group rejection patterns by functionId for efficient lookup
+        const patternsByFunction = new Map();
+        for (const pattern of rejectionPatterns) {
+            const existing = patternsByFunction.get(pattern.functionId);
+            if (existing) {
+                existing.push(pattern);
+            }
+            else {
+                patternsByFunction.set(pattern.functionId, [pattern]);
+            }
+        }
+        // Process each function that has rejection patterns
+        for (const [functionId, patterns] of patternsByFunction) {
+            // REG-286: Split patterns by sync/async to create correct edge types
+            // Sync throws -> THROWS edges, async patterns -> REJECTS edges
+            const syncErrorClasses = new Set();
+            const asyncErrorClasses = new Set();
+            for (const pattern of patterns) {
+                if (pattern.errorClassName) {
+                    if (pattern.isAsync) {
+                        asyncErrorClasses.add(pattern.errorClassName);
+                    }
+                    else {
+                        syncErrorClasses.add(pattern.errorClassName);
+                    }
+                }
+            }
+            // Find the function's file to compute class IDs
+            const func = functions.find(f => f.id === functionId);
+            const file = func?.file ?? '';
+            const globalContext = { file, scopePath: [] };
+            // Create REJECTS edges for async error patterns (REG-311)
+            for (const errorClassName of asyncErrorClasses) {
+                const classId = computeSemanticId('CLASS', errorClassName, globalContext);
+                this.ctx.bufferEdge({
+                    type: 'REJECTS',
+                    src: functionId,
+                    dst: classId,
+                    metadata: { errorClassName }
+                });
+            }
+            // Create THROWS edges for sync throw patterns (REG-286)
+            for (const errorClassName of syncErrorClasses) {
+                const classId = computeSemanticId('CLASS', errorClassName, globalContext);
+                this.ctx.bufferEdge({
+                    type: 'THROWS',
+                    src: functionId,
+                    dst: classId,
+                    metadata: { errorClassName }
+                });
+            }
+            // Store rejection patterns in function metadata for downstream enrichers
+            // Find and update the function node in the buffer
+            const node = this.ctx.findBufferedNode(functionId);
+            if (node) {
+                // Store in metadata field for proper persistence and test compatibility
+                if (!node.metadata) {
+                    node.metadata = {};
+                }
+                node.metadata.rejectionPatterns = patterns.map(p => ({
+                    rejectionType: p.rejectionType,
+                    errorClassName: p.errorClassName,
+                    line: p.line,
+                    column: p.column,
+                    sourceVariableName: p.sourceVariableName,
+                    tracePath: p.tracePath
+                }));
+            }
+        }
+    }
+    /**
+     * Buffer CATCHES_FROM edges linking catch blocks to error sources (REG-311).
+     *
+     * Creates edges from CATCH_BLOCK nodes to potential error sources within
+     * their corresponding try blocks. This enables tracking which catch blocks
+     * can handle which exceptions:
+     *
+     * - try { await fetch() } catch(e) -> CATCH_BLOCK --CATCHES_FROM--> CALL[fetch]
+     * - try { throw new Error() } catch(e) -> CATCH_BLOCK --CATCHES_FROM--> THROW_STATEMENT
+     *
+     * The sourceType metadata helps distinguish different error source kinds
+     * for more precise error flow analysis.
+     *
+     * @param catchesFromInfos - Collected CATCHES_FROM info from analysis
+     */
+    bufferCatchesFromEdges(catchesFromInfos) {
+        for (const info of catchesFromInfos) {
+            this.ctx.bufferEdge({
+                type: 'CATCHES_FROM',
+                src: info.catchBlockId,
+                dst: info.sourceId,
+                metadata: {
+                    parameterName: info.parameterName,
+                    sourceType: info.sourceType,
+                    sourceLine: info.sourceLine
+                }
+            });
+        }
+    }
+}
+//# sourceMappingURL=ModuleRuntimeBuilder.js.map