@grafema/core 0.2.5-beta → 0.2.7

package/dist/plugins/analysis/ast/handlers/BranchHandler.js

@@ -0,0 +1,244 @@
+import * as t from '@babel/types';
+import { getLine, getColumn } from '../utils/location.js';
+import { computeSemanticId } from '../../../../core/SemanticId.js';
+import { ExpressionNode } from '../../../../core/nodes/ExpressionNode.js';
+import { ConditionParser } from '../ConditionParser.js';
+import { FunctionBodyHandler } from './FunctionBodyHandler.js';
+export class BranchHandler extends FunctionBodyHandler {
+    getHandlers() {
+        const ctx = this.ctx;
+        const analyzer = this.analyzer;
+        return {
+            IfStatement: this.createIfStatementVisitor(),
+            ConditionalExpression: this.createConditionalExpressionVisitor(),
+            // Track when we enter the alternate (else) block of an IfStatement
+            BlockStatement: this.createBlockStatementVisitor(),
+            SwitchStatement: (switchPath) => {
+                analyzer.handleSwitchStatement(switchPath, ctx.parentScopeId, ctx.module, ctx.collections, ctx.scopeTracker, ctx.controlFlowState);
+            },
+        };
+    }
+    createIfStatementVisitor() {
+        const ctx = this.ctx;
+        const analyzer = this.analyzer;
+        const sourceCode = ctx.collections.code ?? '';
+        return {
+            enter: (ifPath) => {
+                const ifNode = ifPath.node;
+                const condition = sourceCode.substring(ifNode.test.start, ifNode.test.end) || 'condition';
+                // Phase 6 (REG-267): Increment branch count and count logical operators
+                if (ctx.controlFlowState) {
+                    ctx.controlFlowState.branchCount++;
+                    ctx.controlFlowState.logicalOpCount += analyzer.countLogicalOperators(ifNode.test);
+                }
+                // Check if this if-statement is an else-if (alternate of parent IfStatement)
+                const isElseIf = t.isIfStatement(ifPath.parent) && ifPath.parentKey === 'alternate';
+                // Determine actual parent scope
+                let actualParentScopeId;
+                if (isElseIf) {
+                    // For else-if, parent should be the outer BRANCH (stored in ifElseScopeMap)
+                    const parentIfInfo = ctx.ifElseScopeMap.get(ifPath.parent);
+                    if (parentIfInfo) {
+                        actualParentScopeId = parentIfInfo.branchId;
+                    }
+                    else {
+                        // Fallback to stack
+                        actualParentScopeId = (ctx.scopeIdStack && ctx.scopeIdStack.length > 0)
+                            ? ctx.scopeIdStack[ctx.scopeIdStack.length - 1]
+                            : ctx.parentScopeId;
+                    }
+                }
+                else {
+                    // For regular if statements, use stack or original parentScopeId
+                    actualParentScopeId = (ctx.scopeIdStack && ctx.scopeIdStack.length > 0)
+                        ? ctx.scopeIdStack[ctx.scopeIdStack.length - 1]
+                        : ctx.parentScopeId;
+                }
+                // 1. Create BRANCH node for if statement
+                const branchCounter = ctx.branchCounterRef.value++;
+                const legacyBranchId = `${ctx.module.file}:BRANCH:if:${getLine(ifNode)}:${branchCounter}`;
+                const branchId = ctx.scopeTracker
+                    ? computeSemanticId('BRANCH', 'if', ctx.scopeTracker.getContext(), { discriminator: branchCounter })
+                    : legacyBranchId;
+                // 2. Extract condition expression info for HAS_CONDITION edge
+                const conditionResult = analyzer.extractDiscriminantExpression(ifNode.test, ctx.module);
+                // For else-if, get the parent branch ID
+                const isAlternateOfBranchId = isElseIf
+                    ? ctx.ifElseScopeMap.get(ifPath.parent)?.branchId
+                    : undefined;
+                ctx.branches.push({
+                    id: branchId,
+                    semanticId: branchId,
+                    type: 'BRANCH',
+                    branchType: 'if',
+                    file: ctx.module.file,
+                    line: getLine(ifNode),
+                    parentScopeId: actualParentScopeId,
+                    discriminantExpressionId: conditionResult.id,
+                    discriminantExpressionType: conditionResult.expressionType,
+                    discriminantLine: conditionResult.line,
+                    discriminantColumn: conditionResult.column,
+                    isAlternateOfBranchId
+                });
+                // 3. Create if-body SCOPE (backward compatibility)
+                // Parent is now BRANCH, not original parentScopeId
+                const counterId = ctx.ifScopeCounterRef.value++;
+                const ifScopeId = `SCOPE#if#${ctx.module.file}#${getLine(ifNode)}:${getColumn(ifNode)}:${counterId}`;
+                // Parse condition to extract constraints
+                const constraints = ConditionParser.parse(ifNode.test);
+                const ifSemanticId = analyzer.generateSemanticId('if_statement', ctx.scopeTracker);
+                ctx.scopes.push({
+                    id: ifScopeId,
+                    type: 'SCOPE',
+                    scopeType: 'if_statement',
+                    name: `if:${getLine(ifNode)}:${getColumn(ifNode)}:${counterId}`,
+                    semanticId: ifSemanticId,
+                    conditional: true,
+                    condition,
+                    constraints: constraints.length > 0 ? constraints : undefined,
+                    file: ctx.module.file,
+                    line: getLine(ifNode),
+                    parentScopeId: branchId // Parent is BRANCH, not original parentScopeId
+                });
+                // 4. Push if scope onto stack for CONTAINS edges
+                if (ctx.scopeIdStack) {
+                    ctx.scopeIdStack.push(ifScopeId);
+                }
+                // Enter scope for semantic ID generation
+                if (ctx.scopeTracker) {
+                    ctx.scopeTracker.enterCountedScope('if');
+                }
+                // 5. Handle else branch if present
+                let elseScopeId = null;
+                if (ifNode.alternate && !t.isIfStatement(ifNode.alternate)) {
+                    // Only create else scope for actual else block, not else-if
+                    const elseCounterId = ctx.ifScopeCounterRef.value++;
+                    elseScopeId = `SCOPE#else#${ctx.module.file}#${getLine(ifNode.alternate)}:${getColumn(ifNode.alternate)}:${elseCounterId}`;
+                    const negatedConstraints = constraints.length > 0 ? ConditionParser.negate(constraints) : undefined;
+                    const elseSemanticId = analyzer.generateSemanticId('else_statement', ctx.scopeTracker);
+                    ctx.scopes.push({
+                        id: elseScopeId,
+                        type: 'SCOPE',
+                        scopeType: 'else_statement',
+                        name: `else:${getLine(ifNode.alternate)}:${getColumn(ifNode.alternate)}:${elseCounterId}`,
+                        semanticId: elseSemanticId,
+                        conditional: true,
+                        constraints: negatedConstraints,
+                        file: ctx.module.file,
+                        line: getLine(ifNode.alternate),
+                        parentScopeId: branchId // Parent is BRANCH, not original parentScopeId
+                    });
+                    // Store info to switch to else scope when we enter alternate
+                    ctx.ifElseScopeMap.set(ifNode, { inElse: false, hasElse: true, ifScopeId, elseScopeId, branchId });
+                }
+                else {
+                    ctx.ifElseScopeMap.set(ifNode, { inElse: false, hasElse: false, ifScopeId, elseScopeId: null, branchId });
+                }
+            },
+            exit: (ifPath) => {
+                const ifNode = ifPath.node;
+                // Pop scope from stack (either if or else, depending on what we're exiting)
+                if (ctx.scopeIdStack) {
+                    ctx.scopeIdStack.pop();
+                }
+                // Exit the current scope (either if or else)
+                if (ctx.scopeTracker) {
+                    ctx.scopeTracker.exitScope();
+                }
+                // If we were in else, we already exited else scope
+                // If we only had if, we exit if scope (done above)
+                ctx.ifElseScopeMap.delete(ifNode);
+            }
+        };
+    }
+    createConditionalExpressionVisitor() {
+        const ctx = this.ctx;
+        const analyzer = this.analyzer;
+        return (condPath) => {
+            const condNode = condPath.node;
+            // Increment branch count for cyclomatic complexity
+            if (ctx.controlFlowState) {
+                ctx.controlFlowState.branchCount++;
+                // Count logical operators in the test condition (e.g., a && b ? x : y)
+                ctx.controlFlowState.logicalOpCount += analyzer.countLogicalOperators(condNode.test);
+            }
+            // Determine parent scope from stack or fallback
+            const actualParentScopeId = (ctx.scopeIdStack && ctx.scopeIdStack.length > 0)
+                ? ctx.scopeIdStack[ctx.scopeIdStack.length - 1]
+                : ctx.parentScopeId;
+            // Create BRANCH node with branchType='ternary'
+            const branchCounter = ctx.branchCounterRef.value++;
+            const legacyBranchId = `${ctx.module.file}:BRANCH:ternary:${getLine(condNode)}:${branchCounter}`;
+            const branchId = ctx.scopeTracker
+                ? computeSemanticId('BRANCH', 'ternary', ctx.scopeTracker.getContext(), { discriminator: branchCounter })
+                : legacyBranchId;
+            // Extract condition expression info for HAS_CONDITION edge
+            const conditionResult = analyzer.extractDiscriminantExpression(condNode.test, ctx.module);
+            // Generate expression IDs for consequent and alternate
+            const consequentLine = getLine(condNode.consequent);
+            const consequentColumn = getColumn(condNode.consequent);
+            const consequentExpressionId = ExpressionNode.generateId(condNode.consequent.type, ctx.module.file, consequentLine, consequentColumn);
+            const alternateLine = getLine(condNode.alternate);
+            const alternateColumn = getColumn(condNode.alternate);
+            const alternateExpressionId = ExpressionNode.generateId(condNode.alternate.type, ctx.module.file, alternateLine, alternateColumn);
+            ctx.branches.push({
+                id: branchId,
+                semanticId: branchId,
+                type: 'BRANCH',
+                branchType: 'ternary',
+                file: ctx.module.file,
+                line: getLine(condNode),
+                parentScopeId: actualParentScopeId,
+                discriminantExpressionId: conditionResult.id,
+                discriminantExpressionType: conditionResult.expressionType,
+                discriminantLine: conditionResult.line,
+                discriminantColumn: conditionResult.column,
+                consequentExpressionId,
+                alternateExpressionId
+            });
+        };
+    }
+    createBlockStatementVisitor() {
+        const ctx = this.ctx;
+        return {
+            enter: (blockPath) => {
+                const parent = blockPath.parent;
+                // Check if this block is the alternate of an IfStatement
+                if (t.isIfStatement(parent) && parent.alternate === blockPath.node) {
+                    const scopeInfo = ctx.ifElseScopeMap.get(parent);
+                    if (scopeInfo && scopeInfo.hasElse && !scopeInfo.inElse) {
+                        // Swap if-scope for else-scope on the stack
+                        if (ctx.scopeIdStack && scopeInfo.elseScopeId) {
+                            ctx.scopeIdStack.pop(); // Remove if-scope
+                            ctx.scopeIdStack.push(scopeInfo.elseScopeId); // Push else-scope
+                        }
+                        // Exit if scope, enter else scope for semantic ID tracking
+                        if (ctx.scopeTracker) {
+                            ctx.scopeTracker.exitScope();
+                            ctx.scopeTracker.enterCountedScope('else');
+                        }
+                        scopeInfo.inElse = true;
+                    }
+                }
+                // Check if this block is the finalizer of a TryStatement
+                if (t.isTryStatement(parent) && parent.finalizer === blockPath.node) {
+                    const scopeInfo = ctx.tryScopeMap.get(parent);
+                    if (scopeInfo && scopeInfo.finallyScopeId && scopeInfo.currentBlock !== 'finally') {
+                        // Pop current scope (try or catch), push finally scope
+                        if (ctx.scopeIdStack) {
+                            ctx.scopeIdStack.pop();
+                            ctx.scopeIdStack.push(scopeInfo.finallyScopeId);
+                        }
+                        // Exit current scope, enter finally scope for semantic ID tracking
+                        if (ctx.scopeTracker) {
+                            ctx.scopeTracker.exitScope();
+                            ctx.scopeTracker.enterCountedScope('finally');
+                        }
+                        scopeInfo.currentBlock = 'finally';
+                    }
+                }
+            }
+        };
+    }
+}
+//# sourceMappingURL=BranchHandler.js.map

package/dist/plugins/analysis/ast/handlers/BranchHandler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"BranchHandler.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/BranchHandler.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,MAAM,OAAO,aAAc,SAAQ,mBAAmB;IACpD,WAAW;QACT,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAE/B,OAAO;YACL,WAAW,EAAE,IAAI,CAAC,wBAAwB,EAAE;YAE5C,qBAAqB,EAAE,IAAI,CAAC,kCAAkC,EAAE;YAEhE,mEAAmE;YACnE,cAAc,EAAE,IAAI,CAAC,2BAA2B,EAAE;YAElD,eAAe,EAAE,CAAC,UAAuC,EAAE,EAAE;gBAC3D,QAAQ,CAAC,qBAAqB,CAC5B,UAAU,EACV,GAAG,CAAC,aAAa,EACjB,GAAG,CAAC,MAAM,EACV,GAAG,CAAC,WAAW,EACf,GAAG,CAAC,YAAY,EAChB,GAAG,CAAC,gBAAgB,CACrB,CAAC;YACJ,CAAC;SACF,CAAC;IACJ,CAAC;IAEO,wBAAwB;QAI9B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC/B,MAAM,UAAU,GAAG,GAAG,CAAC,WAAW,CAAC,IAAI,IAAI,EAAE,CAAC;QAE9C,OAAO;YACL,KAAK,EAAE,CAAC,MAA+B,EAAE,EAAE;gBACzC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;gBAC3B,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,KAAM,EAAE,MAAM,CAAC,IAAI,CAAC,GAAI,CAAC,IAAI,WAAW,CAAC;gBAE5F,wEAAwE;gBACxE,IAAI,GAAG,CAAC,gBAAgB,EAAE,CAAC;oBACzB,GAAG,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;oBACnC,GAAG,CAAC,gBAAgB,CAAC,cAAc,IAAI,QAAQ,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACrF,CAAC;gBAED,6EAA6E;gBAC7E,MAAM,QAAQ,GAAG,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,KAAK,WAAW,CAAC;gBAEpF,gCAAgC;gBAChC,IAAI,mBAA2B,CAAC;gBAChC,IAAI,QAAQ,EAAE,CAAC;oBACb,4EAA4E;oBAC5E,MAAM,YAAY,GAAG,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,MAAuB,CAAC,CAAC;oBAC5E,IAAI,YAAY,EAAE,CAAC;wBACjB,mBAAmB,GAAG,YAAY,CAAC,QAAQ,CAAC;oBAC9C,CAAC;yBAAM,CAAC;wBACN,oBAAoB;wBACpB,mBAAmB,GAAG,CAAC,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;4BACrE,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;4BAC/C,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC;oBACxB,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,iEAAiE;oBACjE,mBAAmB,GAAG,CAAC,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;wBACrE,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;wBAC/C,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC;gBACxB,CAAC;gBAED,yCAAyC;gBACzC,MAAM,aAAa,GAAG,GAAG,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;gBACnD,MAAM,cAAc,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,cAAc,OAAO,CAAC,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;gBAC1F,MAAM,QAAQ,GAAG,GAAG,CAAC,YAAY;oBAC/B,CAAC,CAAC,iBAAiB,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC;oBACpG,CAAC,CAAC,cAAc,CAAC;gBAEnB,8DAA8D;gBAC9D,MAAM,eAAe,GAAG,QAAQ,CAAC,6BAA6B,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;gBAExF,wCAAwC;gBACxC,MAAM,qBAAqB,GAAG,QAAQ;oBACpC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,MAAuB,CAAC,EAAE,QAAQ;oBAClE,CAAC,CAAC,SAAS,CAAC;gBAEd,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAChB,EAAE,EAAE,QAAQ;oBACZ,UAAU,EAAE,QAAQ;oBACpB,IAAI,EAAE,QAAQ;oBACd,UAAU,EAAE,IAAI;oBAChB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oBACrB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;oBACrB,aAAa,EAAE,mBAAmB;oBAClC,wBAAwB,EAAE,eAAe,CAAC,EAAE;oBAC5C,0BAA0B,EAAE,eAAe,CAAC,cAAc;oBAC1D,gBAAgB,EAAE,eAAe,CAAC,IAAI;oBACtC,kBAAkB,EAAE,eAAe,CAAC,MAAM;oBAC1C,qBAAqB;iBACtB,CAAC,CAAC;gBAEH,mDAAmD;gBACnD,mDAAmD;gBACnD,MAAM,SAAS,GAAG,GAAG,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;gBAChD,MAAM,SAAS,GAAG,YAAY,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAErG,yCAAyC;gBACzC,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACvD,MAAM,YAAY,GAAG,QAAQ,CAAC,kBAAkB,CAAC,cAAc,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;gBAEnF,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;oBACd,EAAE,EAAE,SAAS;oBACb,IAAI,EAAE,OAAO;oBACb,SAAS,EAAE,cAAc;oBACzB,IAAI,EAAE,MAAM,OAAO,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,SAAS,EAAE;oBAC/D,UAAU,EAAE,YAAY;oBACxB,WAAW,EAAE,IAAI;oBACjB,SAAS;oBACT,WAAW,EAAE,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;oBAC7D,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oBACrB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;oBACrB,aAAa,EAAE,QAAQ,CAAE,+CAA+C;iBACzE,CAAC,CAAC;gBAEH,iDAAiD;gBACjD,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACrB,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACnC,CAAC;gBAED,yCAAyC;gBACzC,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACrB,GAAG,CAAC,YAAY,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;gBAC3C,CAAC;gBAED,mCAAmC;gBACnC,IAAI,WAAW,GAAkB,IAAI,CAAC;gBACtC,IAAI,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;oBAC3D,4DAA4D;oBAC5D,MAAM,aAAa,GAAG,GAAG,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;oBACpD,WAAW,GAAG,cAAc,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,aAAa,EAAE,CAAC;oBAE3H,MAAM,kBAAkB,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;oBACpG,MAAM,cAAc,GAAG,QAAQ,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;oBAEvF,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;wBACd,EAAE,EAAE,WAAW;wBACf,IAAI,EAAE,OAAO;wBACb,SAAS,EAAE,gBAAgB;wBAC3B,IAAI,EAAE,QAAQ,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,aAAa,EAAE;wBACzF,UAAU,EAAE,cAAc;wBAC1B,WAAW,EAAE,IAAI;wBACjB,WAAW,EAAE,kBAAkB;wBAC/B,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;wBACrB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC;wBAC/B,aAAa,EAAE,QAAQ,CAAE,+CAA+C;qBACzE,CAAC,CAAC;oBAEH,6DAA6D;oBAC7D,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACrG,CAAC;qBAAM,CAAC;oBACN,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC5G,CAAC;YACH,CAAC;YACD,IAAI,EAAE,CAAC,MAA+B,EAAE,EAAE;gBACxC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;gBAE3B,4EAA4E;gBAC5E,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACrB,GAAG,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC;gBACzB,CAAC;gBAED,6CAA6C;gBAC7C,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACrB,GAAG,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC;gBAC/B,CAAC;gBAED,mDAAmD;gBACnD,mDAAmD;gBACnD,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACpC,CAAC;SACF,CAAC;IACJ,CAAC;IAEO,kCAAkC;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAE/B,OAAO,CAAC,QAA2C,EAAE,EAAE;YACrD,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC;YAE/B,mDAAmD;YACnD,IAAI,GAAG,CAAC,gBAAgB,EAAE,CAAC;gBACzB,GAAG,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;gBACnC,uEAAuE;gBACvE,GAAG,CAAC,gBAAgB,CAAC,cAAc,IAAI,QAAQ,CAAC,qBAAqB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACvF,CAAC;YAED,gDAAgD;YAChD,MAAM,mBAAmB,GAAG,CAAC,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC3E,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC/C,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC;YAEtB,+CAA+C;YAC/C,MAAM,aAAa,GAAG,GAAG,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;YACnD,MAAM,cAAc,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,mBAAmB,OAAO,CAAC,QAAQ,CAAC,IAAI,aAAa,EAAE,CAAC;YACjG,MAAM,QAAQ,GAAG,GAAG,CAAC,YAAY;gBAC/B,CAAC,CAAC,iBAAiB,CAAC,QAAQ,EAAE,SAAS,EAAE,GAAG,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC;gBACzG,CAAC,CAAC,cAAc,CAAC;YAEnB,2DAA2D;YAC3D,MAAM,eAAe,GAAG,QAAQ,CAAC,6BAA6B,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YAE1F,uDAAuD;YACvD,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACpD,MAAM,gBAAgB,GAAG,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACxD,MAAM,sBAAsB,GAAG,cAAc,CAAC,UAAU,CACtD,QAAQ,CAAC,UAAU,CAAC,IAAI,EACxB,GAAG,CAAC,MAAM,CAAC,IAAI,EACf,cAAc,EACd,gBAAgB,CACjB,CAAC;YAEF,MAAM,aAAa,GAAG,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YAClD,MAAM,eAAe,GAAG,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YACtD,MAAM,qBAAqB,GAAG,cAAc,CAAC,UAAU,CACrD,QAAQ,CAAC,SAAS,CAAC,IAAI,EACvB,GAAG,CAAC,MAAM,CAAC,IAAI,EACf,aAAa,EACb,eAAe,CAChB,CAAC;YAEF,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAChB,EAAE,EAAE,QAAQ;gBACZ,UAAU,EAAE,QAAQ;gBACpB,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,SAAS;gBACrB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;gBACrB,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC;gBACvB,aAAa,EAAE,mBAAmB;gBAClC,wBAAwB,EAAE,eAAe,CAAC,EAAE;gBAC5C,0BAA0B,EAAE,eAAe,CAAC,cAAc;gBAC1D,gBAAgB,EAAE,eAAe,CAAC,IAAI;gBACtC,kBAAkB,EAAE,eAAe,CAAC,MAAM;gBAC1C,sBAAsB;gBACtB,qBAAqB;aACtB,CAAC,CAAC;QACL,CAAC,CAAC;IACJ,CAAC;IAEO,2BAA2B;QAGjC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QAErB,OAAO;YACL,KAAK,EAAE,CAAC,SAAqC,EAAE,EAAE;gBAC/C,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;gBAEhC,yDAAyD;gBACzD,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC;oBACnE,MAAM,SAAS,GAAG,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBACjD,IAAI,SAAS,IAAI,SAAS,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;wBACxD,4CAA4C;wBAC5C,IAAI,GAAG,CAAC,YAAY,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC;4BAC9C,GAAG,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,kBAAkB;4BAC1C,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,kBAAkB;wBAClE,CAAC;wBAED,2DAA2D;wBAC3D,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;4BACrB,GAAG,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC;4BAC7B,GAAG,CAAC,YAAY,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;wBAC7C,CAAC;wBACD,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC;oBAC1B,CAAC;gBACH,CAAC;gBAED,yDAAyD;gBACzD,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC;oBACpE,MAAM,SAAS,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAC9C,IAAI,SAAS,IAAI,SAAS,CAAC,cAAc,IAAI,SAAS,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;wBAClF,uDAAuD;wBACvD,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;4BACrB,GAAG,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC;4BACvB,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;wBAClD,CAAC;wBAED,mEAAmE;wBACnE,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;4BACrB,GAAG,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC;4BAC7B,GAAG,CAAC,YAAY,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;wBAChD,CAAC;wBACD,SAAS,CAAC,YAAY,GAAG,SAAS,CAAC;oBACrC,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;CACF"}

package/dist/plugins/analysis/ast/handlers/CallExpressionHandler.d.ts

@@ -0,0 +1,7 @@
+/** CallExpressionHandler — handles CallExpression nodes. (REG-422, lines ~4348-4677) */
+import type { Visitor } from '@babel/traverse';
+import { FunctionBodyHandler } from './FunctionBodyHandler.js';
+export declare class CallExpressionHandler extends FunctionBodyHandler {
+    getHandlers(): Visitor;
+}
+//# sourceMappingURL=CallExpressionHandler.d.ts.map

package/dist/plugins/analysis/ast/handlers/CallExpressionHandler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CallExpressionHandler.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/CallExpressionHandler.ts"],"names":[],"mappings":"AAAA,wFAAwF;AACxF,OAAO,KAAK,EAAE,OAAO,EAAY,MAAM,iBAAiB,CAAC;AAKzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,qBAAa,qBAAsB,SAAQ,mBAAmB;IAC5D,WAAW,IAAI,OAAO;CAiVvB"}

package/dist/plugins/analysis/ast/handlers/CallExpressionHandler.js

@@ -0,0 +1,295 @@
+import * as t from '@babel/types';
+import { getLine, getColumn } from '../utils/location.js';
+import { ExpressionEvaluator } from '../ExpressionEvaluator.js';
+import { FunctionBodyHandler } from './FunctionBodyHandler.js';
+export class CallExpressionHandler extends FunctionBodyHandler {
+    getHandlers() {
+        const ctx = this.ctx;
+        const analyzer = this.analyzer;
+        return {
+            // Function call expressions
+            CallExpression: (callPath) => {
+                // REG-311: Detect isAwaited (parent is AwaitExpression)
+                const parent = callPath.parentPath;
+                const isAwaited = parent?.isAwaitExpression() ?? false;
+                // REG-311: Detect isInsideTry (O(1) via depth counter)
+                const isInsideTry = ctx.controlFlowState.tryBlockDepth > 0;
+                // REG-298: Detect isInsideLoop (O(1) via depth counter)
+                const isInsideLoop = ctx.controlFlowState.loopDepth > 0;
+                analyzer.handleCallExpression(callPath.node, ctx.processedCallSites, ctx.processedMethodCalls, ctx.callSites, ctx.methodCalls, ctx.module, ctx.callSiteCounterRef, ctx.scopeTracker, ctx.getCurrentScopeId(), ctx.collections, isAwaited, isInsideTry, isInsideLoop);
+                // REG-401: Detect parameter invocation for user-defined HOF tracking
+                // If callee is an Identifier matching a parameter name or alias (REG-416),
+                // record the param index.
+                // REG-417: Also detect rest param array access: fns[0]() via MemberExpression callee.
+                // Nested functions are already skipped by FunctionDeclaration/FunctionExpression/ArrowFunction
+                // handlers calling path.skip(), so shadowed names won't be falsely matched.
+                const callNodeForParam = callPath.node;
+                if (ctx.paramNameToIndex.size > 0 || ctx.aliasToParamIndex.size > 0) {
+                    if (t.isIdentifier(callNodeForParam.callee)) {
+                        const calleeName = callNodeForParam.callee.name;
+                        const paramIndex = ctx.paramNameToIndex.get(calleeName) ?? ctx.aliasToParamIndex.get(calleeName);
+                        if (paramIndex !== undefined) {
+                            ctx.invokedParamIndexes.add(paramIndex);
+                            // REG-417: Record property path for destructured param bindings
+                            const propertyPath = ctx.paramNameToPropertyPath.get(calleeName);
+                            if (propertyPath) {
+                                ctx.invokesParamBindings.push({ paramIndex, propertyPath });
+                            }
+                        }
+                    }
+                    else if (t.isMemberExpression(callNodeForParam.callee) &&
+                        t.isIdentifier(callNodeForParam.callee.object) &&
+                        ctx.restParamNames.has(callNodeForParam.callee.object.name)) {
+                        // REG-417: Rest param invoked via array access, e.g. fns[0]()
+                        const paramIndex = ctx.paramNameToIndex.get(callNodeForParam.callee.object.name);
+                        if (paramIndex !== undefined) {
+                            ctx.invokedParamIndexes.add(paramIndex);
+                        }
+                    }
+                }
+                // REG-334: Check for resolve/reject calls inside Promise executors
+                const callNode = callPath.node;
+                if (t.isIdentifier(callNode.callee)) {
+                    const calleeName = callNode.callee.name;
+                    // Walk up function parents to find Promise executor context
+                    // This handles nested callbacks like: new Promise((resolve) => { db.query((err, data) => { resolve(data); }); });
+                    let funcParent = callPath.getFunctionParent();
+                    while (funcParent) {
+                        const funcNode = funcParent.node;
+                        const funcKey = `${funcNode.start}:${funcNode.end}`;
+                        const context = ctx.promiseExecutorContexts.get(funcKey);
+                        if (context) {
+                            const isResolve = calleeName === context.resolveName;
+                            const isReject = calleeName === context.rejectName;
+                            if (isResolve || isReject) {
+                                // Find the CALL node ID for this resolve/reject call
+                                // It was just added by handleCallExpression
+                                const callLine = getLine(callNode);
+                                const callColumn = getColumn(callNode);
+                                // Find matching call site that was just added
+                                const resolveCall = ctx.callSites.find(cs => cs.name === calleeName &&
+                                    cs.file === ctx.module.file &&
+                                    cs.line === callLine &&
+                                    cs.column === callColumn);
+                                if (resolveCall) {
+                                    ctx.promiseResolutions.push({
+                                        callId: resolveCall.id,
+                                        constructorCallId: context.constructorCallId,
+                                        isReject,
+                                        file: ctx.module.file,
+                                        line: callLine
+                                    });
+                                    // REG-334: Collect arguments for resolve/reject calls
+                                    // This enables traceValues to follow PASSES_ARGUMENT edges
+                                    if (!ctx.collections.callArguments) {
+                                        ctx.collections.callArguments = [];
+                                    }
+                                    const callArgumentsArr = ctx.collections.callArguments;
+                                    // Process arguments (typically just one: resolve(value))
+                                    callNode.arguments.forEach((arg, argIndex) => {
+                                        const argInfo = {
+                                            callId: resolveCall.id,
+                                            argIndex,
+                                            file: ctx.module.file,
+                                            line: getLine(arg),
+                                            column: getColumn(arg)
+                                        };
+                                        // Handle different argument types
+                                        if (t.isIdentifier(arg)) {
+                                            argInfo.targetType = 'VARIABLE';
+                                            argInfo.targetName = arg.name;
+                                        }
+                                        else if (t.isLiteral(arg) && !t.isTemplateLiteral(arg)) {
+                                            // Create LITERAL node for the argument value
+                                            const literalValue = ExpressionEvaluator.extractLiteralValue(arg);
+                                            if (literalValue !== null) {
+                                                const argLine = getLine(arg);
+                                                const argColumn = getColumn(arg);
+                                                const literalId = `LITERAL#arg${argIndex}#${ctx.module.file}#${argLine}:${argColumn}:${ctx.literalCounterRef.value++}`;
+                                                ctx.literals.push({
+                                                    id: literalId,
+                                                    type: 'LITERAL',
+                                                    value: literalValue,
+                                                    valueType: typeof literalValue,
+                                                    file: ctx.module.file,
+                                                    line: argLine,
+                                                    column: argColumn,
+                                                    parentCallId: resolveCall.id,
+                                                    argIndex
+                                                });
+                                                argInfo.targetType = 'LITERAL';
+                                                argInfo.targetId = literalId;
+                                                argInfo.literalValue = literalValue;
+                                            }
+                                        }
+                                        else if (t.isCallExpression(arg)) {
+                                            argInfo.targetType = 'CALL';
+                                            argInfo.nestedCallLine = getLine(arg);
+                                            argInfo.nestedCallColumn = getColumn(arg);
+                                        }
+                                        else {
+                                            argInfo.targetType = 'EXPRESSION';
+                                            argInfo.expressionType = arg.type;
+                                        }
+                                        callArgumentsArr.push(argInfo);
+                                    });
+                                }
+                                break; // Found context, stop searching
+                            }
+                        }
+                        funcParent = funcParent.getFunctionParent();
+                    }
+                    // REG-311: Detect executor_reject pattern - reject(new Error()) inside Promise executor
+                    // Walk up to find Promise executor context and check if this is reject call with NewExpression arg
+                    funcParent = callPath.getFunctionParent();
+                    while (funcParent && ctx.currentFunctionId) {
+                        const funcNode = funcParent.node;
+                        const funcKey = `${funcNode.start}:${funcNode.end}`;
+                        const context = ctx.promiseExecutorContexts.get(funcKey);
+                        if (context && calleeName === context.rejectName && callNode.arguments.length > 0) {
+                            // REG-311: Use the creator function's ID (the function that created the Promise),
+                            // not the executor's ID
+                            const targetFunctionId = context.creatorFunctionId || ctx.currentFunctionId;
+                            const arg = callNode.arguments[0];
+                            const callLine = getLine(callNode);
+                            const callColumn = getColumn(callNode);
+                            // Case 1: reject(new Error())
+                            if (t.isNewExpression(arg) && t.isIdentifier(arg.callee)) {
+                                ctx.rejectionPatterns.push({
+                                    functionId: targetFunctionId,
+                                    errorClassName: arg.callee.name,
+                                    rejectionType: 'executor_reject',
+                                    isAsync: true,
+                                    file: ctx.module.file,
+                                    line: callLine,
+                                    column: callColumn
+                                });
+                            }
+                            // Case 2: reject(err) where err is variable
+                            else if (t.isIdentifier(arg)) {
+                                const varName = arg.name;
+                                // Check if it's a parameter of ANY containing function (executor, outer, etc.)
+                                // Walk up the function chain to find if varName is a parameter
+                                let isParameter = false;
+                                let checkParent = funcParent;
+                                while (checkParent) {
+                                    if (t.isFunction(checkParent.node)) {
+                                        if (checkParent.node.params.some(p => t.isIdentifier(p) && p.name === varName)) {
+                                            isParameter = true;
+                                            break;
+                                        }
+                                    }
+                                    checkParent = checkParent.getFunctionParent();
+                                }
+                                if (isParameter) {
+                                    ctx.rejectionPatterns.push({
+                                        functionId: targetFunctionId,
+                                        errorClassName: null,
+                                        rejectionType: 'variable_parameter',
+                                        isAsync: true,
+                                        file: ctx.module.file,
+                                        line: callLine,
+                                        column: callColumn,
+                                        sourceVariableName: varName
+                                    });
+                                }
+                                else {
+                                    // Try micro-trace
+                                    const { errorClassName, tracePath } = analyzer.microTraceToErrorClass(varName, funcParent, ctx.variableDeclarations);
+                                    ctx.rejectionPatterns.push({
+                                        functionId: targetFunctionId,
+                                        errorClassName,
+                                        rejectionType: errorClassName ? 'variable_traced' : 'variable_unknown',
+                                        isAsync: true,
+                                        file: ctx.module.file,
+                                        line: callLine,
+                                        column: callColumn,
+                                        sourceVariableName: varName,
+                                        tracePath
+                                    });
+                                }
+                            }
+                            break;
+                        }
+                        funcParent = funcParent.getFunctionParent();
+                    }
+                }
+                // REG-311: Detect Promise.reject(new Error()) pattern
+                if (t.isMemberExpression(callNode.callee) && ctx.currentFunctionId) {
+                    const memberCallee = callNode.callee;
+                    if (t.isIdentifier(memberCallee.object) &&
+                        memberCallee.object.name === 'Promise' &&
+                        t.isIdentifier(memberCallee.property) &&
+                        memberCallee.property.name === 'reject' &&
+                        callNode.arguments.length > 0) {
+                        const arg = callNode.arguments[0];
+                        const callLine = getLine(callNode);
+                        const callColumn = getColumn(callNode);
+                        // Case 1: Promise.reject(new Error())
+                        if (t.isNewExpression(arg) && t.isIdentifier(arg.callee)) {
+                            ctx.rejectionPatterns.push({
+                                functionId: ctx.currentFunctionId,
+                                errorClassName: arg.callee.name,
+                                rejectionType: 'promise_reject',
+                                isAsync: true,
+                                file: ctx.module.file,
+                                line: callLine,
+                                column: callColumn
+                            });
+                        }
+                        // Case 2: Promise.reject(err) where err is variable
+                        else if (t.isIdentifier(arg)) {
+                            const varName = arg.name;
+                            // Check if it's a parameter of containing function
+                            const isParameter = ctx.functionNode
+                                ? ctx.functionNode.params.some(param => t.isIdentifier(param) && param.name === varName)
+                                : false;
+                            if (isParameter) {
+                                ctx.rejectionPatterns.push({
+                                    functionId: ctx.currentFunctionId,
+                                    errorClassName: null,
+                                    rejectionType: 'variable_parameter',
+                                    isAsync: true,
+                                    file: ctx.module.file,
+                                    line: callLine,
+                                    column: callColumn,
+                                    sourceVariableName: varName
+                                });
+                            }
+                            else {
+                                // Try micro-trace
+                                if (!ctx.functionPath) {
+                                    ctx.rejectionPatterns.push({
+                                        functionId: ctx.currentFunctionId,
+                                        errorClassName: null,
+                                        rejectionType: 'variable_unknown',
+                                        isAsync: true,
+                                        file: ctx.module.file,
+                                        line: callLine,
+                                        column: callColumn,
+                                        sourceVariableName: varName,
+                                        tracePath: [varName]
+                                    });
+                                    return;
+                                }
+                                const { errorClassName, tracePath } = analyzer.microTraceToErrorClass(varName, ctx.functionPath, ctx.variableDeclarations);
+                                ctx.rejectionPatterns.push({
+                                    functionId: ctx.currentFunctionId,
+                                    errorClassName,
+                                    rejectionType: errorClassName ? 'variable_traced' : 'variable_unknown',
+                                    isAsync: true,
+                                    file: ctx.module.file,
+                                    line: callLine,
+                                    column: callColumn,
+                                    sourceVariableName: varName,
+                                    tracePath
+                                });
+                            }
+                        }
+                    }
+                }
+            },
+        };
+    }
+}
+//# sourceMappingURL=CallExpressionHandler.js.map

package/dist/plugins/analysis/ast/handlers/CallExpressionHandler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CallExpressionHandler.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/CallExpressionHandler.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAEhE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,MAAM,OAAO,qBAAsB,SAAQ,mBAAmB;IAC5D,WAAW;QACT,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAE/B,OAAO;YACL,4BAA4B;YAC5B,cAAc,EAAE,CAAC,QAAoC,EAAE,EAAE;gBACvD,wDAAwD;gBACxD,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,CAAC;gBACnC,MAAM,SAAS,GAAG,MAAM,EAAE,iBAAiB,EAAE,IAAI,KAAK,CAAC;gBAEvD,uDAAuD;gBACvD,MAAM,WAAW,GAAG,GAAG,CAAC,gBAAgB,CAAC,aAAa,GAAG,CAAC,CAAC;gBAE3D,wDAAwD;gBACxD,MAAM,YAAY,GAAG,GAAG,CAAC,gBAAgB,CAAC,SAAS,GAAG,CAAC,CAAC;gBAExD,QAAQ,CAAC,oBAAoB,CAC3B,QAAQ,CAAC,IAAI,EACb,GAAG,CAAC,kBAAkB,EACtB,GAAG,CAAC,oBAAoB,EACxB,GAAG,CAAC,SAAS,EACb,GAAG,CAAC,WAAW,EACf,GAAG,CAAC,MAAM,EACV,GAAG,CAAC,kBAAkB,EACtB,GAAG,CAAC,YAAY,EAChB,GAAG,CAAC,iBAAiB,EAAE,EACvB,GAAG,CAAC,WAAW,EACf,SAAS,EACT,WAAW,EACX,YAAY,CACb,CAAC;gBAEF,qEAAqE;gBACrE,2EAA2E;gBAC3E,0BAA0B;gBAC1B,sFAAsF;gBACtF,+FAA+F;gBAC/F,4EAA4E;gBAC5E,MAAM,gBAAgB,GAAG,QAAQ,CAAC,IAAI,CAAC;gBACvC,IAAI,GAAG,CAAC,gBAAgB,CAAC,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,iBAAiB,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;oBACpE,IAAI,CAAC,CAAC,YAAY,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC5C,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC;wBAChD,MAAM,UAAU,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;wBACjG,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;4BAC7B,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;4BACxC,gEAAgE;4BAChE,MAAM,YAAY,GAAG,GAAG,CAAC,uBAAuB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;4BACjE,IAAI,YAAY,EAAE,CAAC;gCACjB,GAAG,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC;4BAC9D,CAAC;wBACH,CAAC;oBACH,CAAC;yBAAM,IACL,CAAC,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,MAAM,CAAC;wBAC7C,CAAC,CAAC,YAAY,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;wBAC9C,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAC3D,CAAC;wBACD,8DAA8D;wBAC9D,MAAM,UAAU,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;wBACjF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;4BAC7B,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;wBAC1C,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,mEAAmE;gBACnE,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC;gBAC/B,IAAI,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;oBACpC,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;oBAExC,4DAA4D;oBAC5D,kHAAkH;oBAClH,IAAI,UAAU,GAAG,QAAQ,CAAC,iBAAiB,EAAE,CAAC;oBAC9C,OAAO,UAAU,EAAE,CAAC;wBAClB,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC;wBACjC,MAAM,OAAO,GAAG,GAAG,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,GAAG,EAAE,CAAC;wBACpD,MAAM,OAAO,GAAG,GAAG,CAAC,uBAAuB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;wBAEzD,IAAI,OAAO,EAAE,CAAC;4BACZ,MAAM,SAAS,GAAG,UAAU,KAAK,OAAO,CAAC,WAAW,CAAC;4BACrD,MAAM,QAAQ,GAAG,UAAU,KAAK,OAAO,CAAC,UAAU,CAAC;4BAEnD,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;gCAC1B,qDAAqD;gCACrD,4CAA4C;gCAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;gCACnC,MAAM,UAAU,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;gCAEvC,8CAA8C;gCAC9C,MAAM,WAAW,GAAG,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAC1C,EAAE,CAAC,IAAI,KAAK,UAAU;oCACtB,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM,CAAC,IAAI;oCAC3B,EAAE,CAAC,IAAI,KAAK,QAAQ;oCACpB,EAAE,CAAC,MAAM,KAAK,UAAU,CACzB,CAAC;gCAEF,IAAI,WAAW,EAAE,CAAC;oCAChB,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC;wCAC1B,MAAM,EAAE,WAAW,CAAC,EAAE;wCACtB,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;wCAC5C,QAAQ;wCACR,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;wCACrB,IAAI,EAAE,QAAQ;qCACf,CAAC,CAAC;oCAEH,sDAAsD;oCACtD,2DAA2D;oCAC3D,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,aAAa,EAAE,CAAC;wCACnC,GAAG,CAAC,WAAW,CAAC,aAAa,GAAG,EAAE,CAAC;oCACrC,CAAC;oCACD,MAAM,gBAAgB,GAAG,GAAG,CAAC,WAAW,CAAC,aAAmC,CAAC;oCAE7E,yDAAyD;oCACzD,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE;wCAC3C,MAAM,OAAO,GAAqB;4CAChC,MAAM,EAAE,WAAW,CAAC,EAAE;4CACtB,QAAQ;4CACR,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;4CACrB,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC;4CAClB,MAAM,EAAE,SAAS,CAAC,GAAG,CAAC;yCACvB,CAAC;wCAEF,kCAAkC;wCAClC,IAAI,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;4CACxB,OAAO,CAAC,UAAU,GAAG,UAAU,CAAC;4CAChC,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,IAAI,CAAC;wCAChC,CAAC;6CAAM,IAAI,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC;4CACzD,6CAA6C;4CAC7C,MAAM,YAAY,GAAG,mBAAmB,CAAC,mBAAmB,CAAC,GAAgB,CAAC,CAAC;4CAC/E,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;gDAC1B,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;gDAC7B,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;gDACjC,MAAM,SAAS,GAAG,cAAc,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,IAAI,SAAS,IAAI,GAAG,CAAC,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC;gDACvH,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;oDAChB,EAAE,EAAE,SAAS;oDACb,IAAI,EAAE,SAAS;oDACf,KAAK,EAAE,YAAY;oDACnB,SAAS,EAAE,OAAO,YAAY;oDAC9B,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oDACrB,IAAI,EAAE,OAAO;oDACb,MAAM,EAAE,SAAS;oDACjB,YAAY,EAAE,WAAW,CAAC,EAAE;oDAC5B,QAAQ;iDACT,CAAC,CAAC;gDACH,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC;gDAC/B,OAAO,CAAC,QAAQ,GAAG,SAAS,CAAC;gDAC7B,OAAO,CAAC,YAAY,GAAG,YAAY,CAAC;4CACtC,CAAC;wCACH,CAAC;6CAAM,IAAI,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;4CACnC,OAAO,CAAC,UAAU,GAAG,MAAM,CAAC;4CAC5B,OAAO,CAAC,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;4CACtC,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;wCAC5C,CAAC;6CAAM,CAAC;4CACN,OAAO,CAAC,UAAU,GAAG,YAAY,CAAC;4CAClC,OAAO,CAAC,cAAc,GAAG,GAAG,CAAC,IAAI,CAAC;wCACpC,CAAC;wCAED,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oCACjC,CAAC,CAAC,CAAC;gCACL,CAAC;gCAED,MAAM,CAAC,gCAAgC;4BACzC,CAAC;wBACH,CAAC;wBAED,UAAU,GAAG,UAAU,CAAC,iBAAiB,EAAE,CAAC;oBAC9C,CAAC;oBAED,wFAAwF;oBACxF,mGAAmG;oBACnG,UAAU,GAAG,QAAQ,CAAC,iBAAiB,EAAE,CAAC;oBAC1C,OAAO,UAAU,IAAI,GAAG,CAAC,iBAAiB,EAAE,CAAC;wBAC3C,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC;wBACjC,MAAM,OAAO,GAAG,GAAG,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,GAAG,EAAE,CAAC;wBACpD,MAAM,OAAO,GAAG,GAAG,CAAC,uBAAuB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;wBAEzD,IAAI,OAAO,IAAI,UAAU,KAAK,OAAO,CAAC,UAAU,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;4BAClF,kFAAkF;4BAClF,wBAAwB;4BACxB,MAAM,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,IAAI,GAAG,CAAC,iBAAiB,CAAC;4BAC5E,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;4BAClC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;4BACnC,MAAM,UAAU,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;4BAEvC,8BAA8B;4BAC9B,IAAI,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gCACzD,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC;oCACzB,UAAU,EAAE,gBAAgB;oCAC5B,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oCAC/B,aAAa,EAAE,iBAAiB;oCAChC,OAAO,EAAE,IAAI;oCACb,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oCACrB,IAAI,EAAE,QAAQ;oCACd,MAAM,EAAE,UAAU;iCACnB,CAAC,CAAC;4BACL,CAAC;4BACD,4CAA4C;iCACvC,IAAI,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;gCAC7B,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC;gCACzB,+EAA+E;gCAC/E,+DAA+D;gCAC/D,IAAI,WAAW,GAAG,KAAK,CAAC;gCACxB,IAAI,WAAW,GAA4B,UAAU,CAAC;gCACtD,OAAO,WAAW,EAAE,CAAC;oCACnB,IAAI,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;wCACnC,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACnC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CACxC,EAAE,CAAC;4CACF,WAAW,GAAG,IAAI,CAAC;4CACnB,MAAM;wCACR,CAAC;oCACH,CAAC;oCACD,WAAW,GAAG,WAAW,CAAC,iBAAiB,EAAE,CAAC;gCAChD,CAAC;gCAED,IAAI,WAAW,EAAE,CAAC;oCAChB,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC;wCACzB,UAAU,EAAE,gBAAgB;wCAC5B,cAAc,EAAE,IAAI;wCACpB,aAAa,EAAE,oBAAoB;wCACnC,OAAO,EAAE,IAAI;wCACb,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;wCACrB,IAAI,EAAE,QAAQ;wCACd,MAAM,EAAE,UAAU;wCAClB,kBAAkB,EAAE,OAAO;qCAC5B,CAAC,CAAC;gCACL,CAAC;qCAAM,CAAC;oCACN,kBAAkB;oCAClB,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC,sBAAsB,CACnE,OAAO,EACP,UAAkC,EAClC,GAAG,CAAC,oBAAoB,CACzB,CAAC;oCAEF,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC;wCACzB,UAAU,EAAE,gBAAgB;wCAC5B,cAAc;wCACd,aAAa,EAAE,cAAc,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,kBAAkB;wCACtE,OAAO,EAAE,IAAI;wCACb,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;wCACrB,IAAI,EAAE,QAAQ;wCACd,MAAM,EAAE,UAAU;wCAClB,kBAAkB,EAAE,OAAO;wCAC3B,SAAS;qCACV,CAAC,CAAC;gCACL,CAAC;4BACH,CAAC;4BACD,MAAM;wBACR,CAAC;wBACD,UAAU,GAAG,UAAU,CAAC,iBAAiB,EAAE,CAAC;oBAC9C,CAAC;gBACH,CAAC;gBAED,sDAAsD;gBACtD,IAAI,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,iBAAiB,EAAE,CAAC;oBACnE,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC;oBACrC,IAAI,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC,MAAM,CAAC;wBACnC,YAAY,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;wBACtC,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC,QAAQ,CAAC;wBACrC,YAAY,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ;wBACvC,QAAQ,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBAClC,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;wBAClC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;wBACnC,MAAM,UAAU,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;wBAEvC,sCAAsC;wBACtC,IAAI,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;4BACzD,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC;gCACzB,UAAU,EAAE,GAAG,CAAC,iBAAiB;gCACjC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;gCAC/B,aAAa,EAAE,gBAAgB;gCAC/B,OAAO,EAAE,IAAI;gCACb,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;gCACrB,IAAI,EAAE,QAAQ;gCACd,MAAM,EAAE,UAAU;6BACnB,CAAC,CAAC;wBACL,CAAC;wBACD,oDAAoD;6BAC/C,IAAI,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;4BAC7B,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC;4BACzB,mDAAmD;4BACnD,MAAM,WAAW,GAAG,GAAG,CAAC,YAAY;gCAClC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC;gCACxF,CAAC,CAAC,KAAK,CAAC;4BAEV,IAAI,WAAW,EAAE,CAAC;gCAChB,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC;oCACzB,UAAU,EAAE,GAAG,CAAC,iBAAiB;oCACjC,cAAc,EAAE,IAAI;oCACpB,aAAa,EAAE,oBAAoB;oCACnC,OAAO,EAAE,IAAI;oCACb,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oCACrB,IAAI,EAAE,QAAQ;oCACd,MAAM,EAAE,UAAU;oCAClB,kBAAkB,EAAE,OAAO;iCAC5B,CAAC,CAAC;4BACL,CAAC;iCAAM,CAAC;gCACN,kBAAkB;gCAClB,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC;oCACtB,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC;wCACzB,UAAU,EAAE,GAAG,CAAC,iBAAiB;wCACjC,cAAc,EAAE,IAAI;wCACpB,aAAa,EAAE,kBAAkB;wCACjC,OAAO,EAAE,IAAI;wCACb,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;wCACrB,IAAI,EAAE,QAAQ;wCACd,MAAM,EAAE,UAAU;wCAClB,kBAAkB,EAAE,OAAO;wCAC3B,SAAS,EAAE,CAAC,OAAO,CAAC;qCACrB,CAAC,CAAC;oCACH,OAAO;gCACT,CAAC;gCAED,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC,sBAAsB,CACnE,OAAO,EACP,GAAG,CAAC,YAAY,EAChB,GAAG,CAAC,oBAAoB,CACzB,CAAC;gCAEF,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC;oCACzB,UAAU,EAAE,GAAG,CAAC,iBAAiB;oCACjC,cAAc;oCACd,aAAa,EAAE,cAAc,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,kBAAkB;oCACtE,OAAO,EAAE,IAAI;oCACb,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oCACrB,IAAI,EAAE,QAAQ;oCACd,MAAM,EAAE,UAAU;oCAClB,kBAAkB,EAAE,OAAO;oCAC3B,SAAS;iCACV,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;CACF"}

package/dist/plugins/analysis/ast/handlers/FunctionBodyHandler.d.ts

@@ -0,0 +1,22 @@
+/**
+ * FunctionBodyHandler — abstract base class for all extracted
+ * analyzeFunctionBody() visitor handlers.
+ *
+ * Each subclass implements getHandlers() returning a Babel Visitor
+ * fragment that covers a specific AST node type (e.g., VariableDeclaration,
+ * ReturnStatement, CallExpression).
+ *
+ * Handlers receive:
+ * - ctx: FunctionBodyContext with all local state for the traversal
+ * - analyzer: AnalyzerDelegate to call methods still on JSASTAnalyzer
+ */
+import type { Visitor } from '@babel/traverse';
+import type { FunctionBodyContext } from '../FunctionBodyContext.js';
+import type { AnalyzerDelegate } from './AnalyzerDelegate.js';
+export declare abstract class FunctionBodyHandler {
+    protected readonly ctx: FunctionBodyContext;
+    protected readonly analyzer: AnalyzerDelegate;
+    constructor(ctx: FunctionBodyContext, analyzer: AnalyzerDelegate);
+    abstract getHandlers(): Visitor;
+}
+//# sourceMappingURL=FunctionBodyHandler.d.ts.map

package/dist/plugins/analysis/ast/handlers/FunctionBodyHandler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FunctionBodyHandler.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/FunctionBodyHandler.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAE9D,8BAAsB,mBAAmB;IAErC,SAAS,CAAC,QAAQ,CAAC,GAAG,EAAE,mBAAmB;IAC3C,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,gBAAgB;gBAD1B,GAAG,EAAE,mBAAmB,EACxB,QAAQ,EAAE,gBAAgB;IAG/C,QAAQ,CAAC,WAAW,IAAI,OAAO;CAChC"}

package/dist/plugins/analysis/ast/handlers/FunctionBodyHandler.js

@@ -0,0 +1,9 @@
+export class FunctionBodyHandler {
+    ctx;
+    analyzer;
+    constructor(ctx, analyzer) {
+        this.ctx = ctx;
+        this.analyzer = analyzer;
+    }
+}
+//# sourceMappingURL=FunctionBodyHandler.js.map

package/dist/plugins/analysis/ast/handlers/FunctionBodyHandler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FunctionBodyHandler.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/FunctionBodyHandler.ts"],"names":[],"mappings":"AAgBA,MAAM,OAAgB,mBAAmB;IAElB;IACA;IAFrB,YACqB,GAAwB,EACxB,QAA0B;QAD1B,QAAG,GAAH,GAAG,CAAqB;QACxB,aAAQ,GAAR,QAAQ,CAAkB;IAC5C,CAAC;CAGL"}