@optave/codegraph 3.12.0 → 3.15.0

package/dist/ast-analysis/visitors/cfg-visitor.js

@@ -2,79 +2,7 @@ import { processIf, processSwitch } from './cfg-conditionals.js';
 import { processDoWhileLoop, processForLoop, processInfiniteLoop, processWhileLoop, } from './cfg-loops.js';
 import { effectiveNode, getBodyStatements, isBlockNode, isForNode, isIfNode, isSwitchNode, isWhileNode, makeFuncState, } from './cfg-shared.js';
 import { processTryCatch } from './cfg-try-catch.js';
-function processStatements(stmts, currentBlock, S, cfgRules) {
-    let cur = currentBlock;
-    for (const stmt of stmts) {
-        if (!cur)
-            break;
-        cur = processStatement(stmt, cur, S, cfgRules);
-    }
-    return cur;
-}
-function processStatement(stmt, currentBlock, S, cfgRules) {
-    if (!stmt || !currentBlock)
-        return currentBlock;
-    const effNode = effectiveNode(stmt, cfgRules);
-    const type = effNode.type;
-    if (type === cfgRules.labeledNode) {
-        return processLabeled(effNode, currentBlock, S, cfgRules);
-    }
-    if (isIfNode(type, cfgRules) || (cfgRules.unlessNode && type === cfgRules.unlessNode)) {
-        return processIf(effNode, currentBlock, S, cfgRules, processStatements);
-    }
-    if (isForNode(type, cfgRules)) {
-        return processForLoop(effNode, currentBlock, S, cfgRules, processStatements);
-    }
-    if (isWhileNode(type, cfgRules) || (cfgRules.untilNode && type === cfgRules.untilNode)) {
-        return processWhileLoop(effNode, currentBlock, S, cfgRules, processStatements);
-    }
-    if (cfgRules.doNode && type === cfgRules.doNode) {
-        return processDoWhileLoop(effNode, currentBlock, S, cfgRules, processStatements);
-    }
-    if (cfgRules.infiniteLoopNode && type === cfgRules.infiniteLoopNode) {
-        return processInfiniteLoop(effNode, currentBlock, S, cfgRules, processStatements);
-    }
-    if (isSwitchNode(type, cfgRules)) {
-        return processSwitch(effNode, currentBlock, S, cfgRules, processStatements);
-    }
-    if (cfgRules.tryNode && type === cfgRules.tryNode) {
-        return processTryCatch(effNode, currentBlock, S, cfgRules, processStatements);
-    }
-    if (type === cfgRules.returnNode) {
-        currentBlock.endLine = effNode.startPosition.row + 1;
-        S.addEdge(currentBlock, S.exitBlock, 'return');
-        return null;
-    }
-    if (type === cfgRules.throwNode) {
-        currentBlock.endLine = effNode.startPosition.row + 1;
-        S.addEdge(currentBlock, S.exitBlock, 'exception');
-        return null;
-    }
-    if (type === cfgRules.breakNode) {
-        return processBreak(effNode, currentBlock, S);
-    }
-    if (type === cfgRules.continueNode) {
-        return processContinue(effNode, currentBlock, S);
-    }
-    if (!currentBlock.startLine) {
-        currentBlock.startLine = stmt.startPosition.row + 1;
-    }
-    currentBlock.endLine = stmt.endPosition.row + 1;
-    return currentBlock;
-}
-function processLabeled(node, currentBlock, S, cfgRules) {
-    const labelNode = node.childForFieldName('label');
-    const labelName = labelNode ? labelNode.text : null;
-    const body = node.childForFieldName('body');
-    if (body && labelName) {
-        const labelCtx = { headerBlock: null, exitBlock: null };
-        S.labelMap.set(labelName, labelCtx);
-        const result = processStatement(body, currentBlock, S, cfgRules);
-        S.labelMap.delete(labelName);
-        return result;
-    }
-    return currentBlock;
-}
+// ─── Helpers that do not depend on the dispatch closure ─────────────────
 function processBreak(node, currentBlock, S) {
     const labelNode = node.childForFieldName('label');
     const labelName = labelNode ? labelNode.text : null;
@@ -109,7 +37,127 @@ function processContinue(node, currentBlock, S) {
     }
     return currentBlock;
 }
-function processFunctionBody(funcNode, S, cfgRules) {
+// ─── Dispatch table builder ──────────────────────────────────────────────
+// ─── Terminal statement handlers (no processStatements dependency) ───────
+function handleReturn(n, b, S) {
+    b.endLine = n.startPosition.row + 1;
+    S.addEdge(b, S.exitBlock, 'return');
+    return null;
+}
+function handleThrow(n, b, S) {
+    b.endLine = n.startPosition.row + 1;
+    S.addEdge(b, S.exitBlock, 'exception');
+    return null;
+}
+/**
+ * Build a dispatch table for statement node types from cfgRules.
+ * Built once per createCfgVisitor call; optional entries (doNode, infiniteLoopNode,
+ * tryNode) are included only when the language rules define them.
+ *
+ * Single-type matchers go into a Map for O(1) lookup; multi-predicate entries
+ * (isIfNode, isForNode, isWhileNode, isSwitchNode) stay in a short fallback array
+ * scanned only on a map miss.
+ */
+function buildStatementDispatch(cfgRules, processLabeledFn) {
+    const map = new Map();
+    // Single-type required matchers
+    if (cfgRules.labeledNode)
+        map.set(cfgRules.labeledNode, (n, b, S) => processLabeledFn(n, b, S));
+    if (cfgRules.returnNode)
+        map.set(cfgRules.returnNode, handleReturn);
+    if (cfgRules.throwNode)
+        map.set(cfgRules.throwNode, handleThrow);
+    if (cfgRules.breakNode)
+        map.set(cfgRules.breakNode, (n, b, S) => processBreak(n, b, S));
+    if (cfgRules.continueNode)
+        map.set(cfgRules.continueNode, (n, b, S) => processContinue(n, b, S));
+    // Single-type optional matchers
+    if (cfgRules.doNode)
+        map.set(cfgRules.doNode, (n, b, S, r, ps) => processDoWhileLoop(n, b, S, r, ps));
+    if (cfgRules.infiniteLoopNode)
+        map.set(cfgRules.infiniteLoopNode, (n, b, S, r, ps) => processInfiniteLoop(n, b, S, r, ps));
+    if (cfgRules.tryNode)
+        map.set(cfgRules.tryNode, (n, b, S, r, ps) => processTryCatch(n, b, S, r, ps));
+    // Multi-predicate entries that can match several concrete type strings per language;
+    // also handles unlessNode/untilNode aliases for if/while which may collide with other
+    // single-type map keys.
+    const fallback = [
+        {
+            match: (t) => isIfNode(t, cfgRules) || (!!cfgRules.unlessNode && t === cfgRules.unlessNode),
+            handle: (n, b, S, r, ps) => processIf(n, b, S, r, ps),
+        },
+        {
+            match: (t) => isForNode(t, cfgRules),
+            handle: (n, b, S, r, ps) => processForLoop(n, b, S, r, ps),
+        },
+        {
+            match: (t) => isWhileNode(t, cfgRules) || (!!cfgRules.untilNode && t === cfgRules.untilNode),
+            handle: (n, b, S, r, ps) => processWhileLoop(n, b, S, r, ps),
+        },
+        {
+            match: (t) => isSwitchNode(t, cfgRules),
+            handle: (n, b, S, r, ps) => processSwitch(n, b, S, r, ps),
+        },
+    ];
+    return { map, fallback };
+}
+// ─── Bound statement processors ──────────────────────────────────────────
+/**
+ * Build {processStatement, processStatements} bound to cfgRules and a
+ * pre-built dispatch table. The two functions are mutually recursive via
+ * the closure — no cfgRules arguments needed at call sites inside the visitor.
+ */
+function buildStatementProcessors(cfgRules) {
+    // processLabeled needs processStatement from this closure, so we forward-declare
+    // it and patch it in after processStatement is defined.
+    let processStatementRef;
+    function processLabeled(node, currentBlock, S) {
+        const labelNode = node.childForFieldName('label');
+        const labelName = labelNode ? labelNode.text : null;
+        const body = node.childForFieldName('body');
+        if (body && labelName) {
+            const labelCtx = { headerBlock: null, exitBlock: null };
+            S.labelMap.set(labelName, labelCtx);
+            const result = processStatementRef(body, currentBlock, S);
+            S.labelMap.delete(labelName);
+            return result;
+        }
+        return currentBlock;
+    }
+    const dispatch = buildStatementDispatch(cfgRules, processLabeled);
+    function processStatement(stmt, currentBlock, S) {
+        if (!stmt || !currentBlock)
+            return currentBlock;
+        const effNode = effectiveNode(stmt, cfgRules);
+        const type = effNode.type;
+        // O(1) map lookup first; fall back to the short multi-predicate array on a miss
+        const mapHandler = dispatch.map.get(type);
+        if (mapHandler)
+            return mapHandler(effNode, currentBlock, S, cfgRules, processStatements);
+        const fallbackEntry = dispatch.fallback.find((e) => e.match(type));
+        if (fallbackEntry)
+            return fallbackEntry.handle(effNode, currentBlock, S, cfgRules, processStatements);
+        if (!currentBlock.startLine) {
+            currentBlock.startLine = stmt.startPosition.row + 1;
+        }
+        currentBlock.endLine = stmt.endPosition.row + 1;
+        return currentBlock;
+    }
+    // Wire the forward reference so processLabeled can call processStatement
+    processStatementRef = processStatement;
+    function processStatements(stmts, currentBlock, S) {
+        let cur = currentBlock;
+        for (const stmt of stmts) {
+            if (!cur)
+                break;
+            cur = processStatement(stmt, cur, S);
+        }
+        return cur;
+    }
+    return { processStatement, processStatements };
+}
+// ─── Function body walker ────────────────────────────────────────────────
+function processFunctionBody(funcNode, S, cfgRules, processStatements) {
     const body = funcNode.childForFieldName('body');
     if (!body) {
         S.blocks.length = 2;
@@ -135,16 +183,18 @@ function processFunctionBody(funcNode, S, cfgRules) {
         return;
     }
     const firstBody = S.blocks[2];
-    const lastBlock = processStatements(stmts, firstBody, S, cfgRules);
+    const lastBlock = processStatements(stmts, firstBody, S);
     if (lastBlock) {
         S.addEdge(lastBlock, S.exitBlock, 'fallthrough');
     }
     S.currentBlock = null;
 }
+// ─── Public visitor factory ───────────────────────────────────────────────
 export function createCfgVisitor(cfgRules) {
     const funcStateStack = [];
     let S = null;
     const results = [];
+    const { processStatements } = buildStatementProcessors(cfgRules);
     return {
         name: 'cfg',
         functionNodeTypes: cfgRules.functionNodes,
@@ -153,7 +203,7 @@ export function createCfgVisitor(cfgRules) {
                 funcStateStack.push(S);
             S = makeFuncState();
             S.funcNode = funcNode;
-            processFunctionBody(funcNode, S, cfgRules);
+            processFunctionBody(funcNode, S, cfgRules, processStatements);
         },
         exitFunction(funcNode, _funcName, _context) {
             if (S && S.funcNode === funcNode) {

package/dist/ast-analysis/visitors/cfg-visitor.js.map

@@ -1 +1 @@
-{"version":3,"file":"cfg-visitor.js","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/cfg-visitor.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AAQxB,OAAO,EACL,aAAa,EACb,iBAAiB,EACjB,WAAW,EACX,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,WAAW,EACX,aAAa,GACd,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAIrD,SAAS,iBAAiB,CACxB,KAAuB,EACvB,YAA8B,EAC9B,CAAY,EACZ,QAAkB;IAElB,IAAI,GAAG,GAA4B,YAAY,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,GAAG;YAAE,MAAM;QAChB,GAAG,GAAG,gBAAgB,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAoB,EACpB,YAA8B,EAC9B,CAAY,EACZ,QAAkB;IAElB,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY;QAAE,OAAO,YAAY,CAAC;IAEhD,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAE1B,IAAI,IAAI,KAAK,QAAQ,CAAC,WAAW,EAAE,CAAC;QAClC,OAAO,cAAc,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,IAAI,IAAI,KAAK,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACtF,OAAO,SAAS,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC9B,OAAO,cAAc,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,IAAI,IAAI,KAAK,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACvF,OAAO,gBAAgB,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,IAAI,IAAI,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QAChD,OAAO,kBAAkB,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,IAAI,IAAI,KAAK,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QACpE,OAAO,mBAAmB,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QACjC,OAAO,aAAa,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,IAAI,IAAI,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC;QAClD,OAAO,eAAe,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,CAAC,UAAU,EAAE,CAAC;QACjC,YAAY,CAAC,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;QACrD,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC/C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,CAAC,SAAS,EAAE,CAAC;QAChC,YAAY,CAAC,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;QACrD,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,CAAC,SAAS,EAAE,CAAC;QAChC,OAAO,YAAY,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,CAAC,YAAY,EAAE,CAAC;QACnC,OAAO,eAAe,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC;QAC5B,YAAY,CAAC,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;IACtD,CAAC;IACD,YAAY,CAAC,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC,CAAC;IAChD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,cAAc,CACrB,IAAoB,EACpB,YAA8B,EAC9B,CAAY,EACZ,QAAkB;IAElB,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IACpD,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,IAAI,IAAI,SAAS,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAa,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QAClE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QACjE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC7B,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,YAAY,CACnB,IAAoB,EACpB,YAA8B,EAC9B,CAAY;IAEZ,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAEpD,IAAI,MAAM,GAA4B,IAAI,CAAC;IAC3C,IAAI,SAAS,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3C,MAAM,GAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAc,CAAC,SAAS,CAAC;IAC7D,CAAC;SAAM,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,SAAS,CAAC;IAC1D,CAAC;IAED,IAAI,MAAM,EAAE,CAAC;QACX,YAAY,CAAC,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;QAClD,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACzC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,eAAe,CACtB,IAAoB,EACpB,YAA8B,EAC9B,CAAY;IAEZ,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAEpD,IAAI,MAAM,GAA4B,IAAI,CAAC;IAC3C,IAAI,SAAS,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3C,MAAM,GAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAc,CAAC,WAAW,CAAC;IAC/D,CAAC;SAAM,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,WAAW,CAAC;IAC5D,CAAC;IAED,IAAI,MAAM,EAAE,CAAC;QACX,YAAY,CAAC,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;QAClD,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAwB,EAAE,CAAY,EAAE,QAAkB;IACrF,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;QACpB,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACnB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QACpD,CAAC,CAAC,YAAY,GAAG,IAAI,CAAC;QACtB,OAAO;IACT,CAAC;IAED,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;QAC/B,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;QACjD,SAAS,CAAC,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC,CAAC;QAC7C,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QACjD,CAAC,CAAC,YAAY,GAAG,IAAI,CAAC;QACtB,OAAO;IACT,CAAC;IAED,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAChD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;QACpB,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACnB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QACpD,CAAC,CAAC,YAAY,GAAG,IAAI,CAAC;QACtB,OAAO;IACT,CAAC;IAED,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;IAC/B,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IACnE,IAAI,SAAS,EAAE,CAAC;QACd,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;IACnD,CAAC;IACD,CAAC,CAAC,YAAY,GAAG,IAAI,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,QAAkB;IACjD,MAAM,cAAc,GAAgB,EAAE,CAAC;IACvC,IAAI,CAAC,GAAqB,IAAI,CAAC;IAC/B,MAAM,OAAO,GAAwB,EAAE,CAAC;IAExC,OAAO;QACL,IAAI,EAAE,KAAK;QACX,iBAAiB,EAAE,QAAQ,CAAC,aAAa;QAEzC,aAAa,CACX,QAAwB,EACxB,SAAwB,EACxB,QAAwB;YAExB,IAAI,CAAC;gBAAE,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9B,CAAC,GAAG,aAAa,EAAE,CAAC;YACpB,CAAC,CAAC,QAAQ,GAAG,QAAQ,CAAC;YACtB,mBAAmB,CAAC,QAAQ,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC7C,CAAC;QAED,YAAY,CACV,QAAwB,EACxB,SAAwB,EACxB,QAAwB;YAExB,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACjC,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;gBACxD,OAAO,CAAC,IAAI,CAAC;oBACX,QAAQ,EAAE,CAAC,CAAC,QAA0B;oBACtC,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,KAAK,EAAE,CAAC,CAAC,KAAK;oBACd,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;iBACpC,CAAC,CAAC;YACL,CAAC;YACD,CAAC,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,cAAc,CAAC,GAAG,EAAgB,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7E,CAAC;QAED,SAAS,CAAC,KAAqB,EAAE,QAAwB;YACvD,QAAQ;QACV,CAAC;QAED,QAAQ,CAAC,KAAqB,EAAE,QAAwB;YACtD,QAAQ;QACV,CAAC;QAED,MAAM;YACJ,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"cfg-visitor.js","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/cfg-visitor.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AAQxB,OAAO,EACL,aAAa,EACb,iBAAiB,EACjB,WAAW,EACX,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,WAAW,EACX,aAAa,GACd,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAyBrD,2EAA2E;AAE3E,SAAS,YAAY,CACnB,IAAoB,EACpB,YAA8B,EAC9B,CAAY;IAEZ,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAEpD,IAAI,MAAM,GAA4B,IAAI,CAAC;IAC3C,IAAI,SAAS,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3C,MAAM,GAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAc,CAAC,SAAS,CAAC;IAC7D,CAAC;SAAM,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,SAAS,CAAC;IAC1D,CAAC;IAED,IAAI,MAAM,EAAE,CAAC;QACX,YAAY,CAAC,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;QAClD,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACzC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,eAAe,CACtB,IAAoB,EACpB,YAA8B,EAC9B,CAAY;IAEZ,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAEpD,IAAI,MAAM,GAA4B,IAAI,CAAC;IAC3C,IAAI,SAAS,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3C,MAAM,GAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAc,CAAC,WAAW,CAAC;IAC/D,CAAC;SAAM,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,WAAW,CAAC;IAC5D,CAAC;IAED,IAAI,MAAM,EAAE,CAAC;QACX,YAAY,CAAC,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;QAClD,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;QAC5C,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,4EAA4E;AAE5E,4EAA4E;AAE5E,SAAS,YAAY,CAAC,CAAiB,EAAE,CAAmB,EAAE,CAAY;IACxE,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IACpC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,CAAiB,EAAE,CAAmB,EAAE,CAAY;IACvE,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACvC,OAAO,IAAI,CAAC;AACd,CAAC;AAaD;;;;;;;;GAQG;AACH,SAAS,sBAAsB,CAC7B,QAAkB,EAClB,gBAI4B;IAE5B,MAAM,GAAG,GAAG,IAAI,GAAG,EAA4B,CAAC;IAEhD,gCAAgC;IAChC,IAAI,QAAQ,CAAC,WAAW;QAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChG,IAAI,QAAQ,CAAC,UAAU;QAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACpE,IAAI,QAAQ,CAAC,SAAS;QAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACjE,IAAI,QAAQ,CAAC,SAAS;QAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxF,IAAI,QAAQ,CAAC,YAAY;QAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAEjG,gCAAgC;IAChC,IAAI,QAAQ,CAAC,MAAM;QACjB,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACnF,IAAI,QAAQ,CAAC,gBAAgB;QAC3B,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC9F,IAAI,QAAQ,CAAC,OAAO;QAClB,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAEjF,qFAAqF;IACrF,sFAAsF;IACtF,wBAAwB;IACxB,MAAM,QAAQ,GAAqB;QACjC;YACE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,IAAI,CAAC,KAAK,QAAQ,CAAC,UAAU,CAAC;YAC3F,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;SACtD;QACD;YACE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,QAAQ,CAAC;YACpC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;SAC3D;QACD;YACE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,KAAK,QAAQ,CAAC,SAAS,CAAC;YAC5F,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;SAC7D;QACD;YACE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC;YACvC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;SAC1D;KACF,CAAC;IAEF,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAC3B,CAAC;AAED,4EAA4E;AAE5E;;;;GAIG;AACH,SAAS,wBAAwB,CAAC,QAAkB;IAQlD,iFAAiF;IACjF,wDAAwD;IACxD,IAAI,mBAIwB,CAAC;IAE7B,SAAS,cAAc,CACrB,IAAoB,EACpB,YAA8B,EAC9B,CAAY;QAEZ,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACpD,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAI,IAAI,IAAI,SAAS,EAAE,CAAC;YACtB,MAAM,QAAQ,GAAa,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;YAClE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;YAC1D,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAC7B,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAElE,SAAS,gBAAgB,CACvB,IAAoB,EACpB,YAA8B,EAC9B,CAAY;QAEZ,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY;YAAE,OAAO,YAAY,CAAC;QAEhD,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QAE1B,gFAAgF;QAChF,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,UAAU;YAAE,OAAO,UAAU,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;QACzF,MAAM,aAAa,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACnE,IAAI,aAAa;YACf,OAAO,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;QAErF,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC;YAC5B,YAAY,CAAC,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;QACtD,CAAC;QACD,YAAY,CAAC,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC,CAAC;QAChD,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,yEAAyE;IACzE,mBAAmB,GAAG,gBAAgB,CAAC;IAEvC,SAAS,iBAAiB,CACxB,KAAuB,EACvB,YAA8B,EAC9B,CAAY;QAEZ,IAAI,GAAG,GAA4B,YAAY,CAAC;QAChD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,GAAG;gBAAE,MAAM;YAChB,GAAG,GAAG,gBAAgB,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,CAAC;AACjD,CAAC;AAED,4EAA4E;AAE5E,SAAS,mBAAmB,CAC1B,QAAwB,EACxB,CAAY,EACZ,QAAkB,EAClB,iBAAyC;IAEzC,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;QACpB,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACnB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QACpD,CAAC,CAAC,YAAY,GAAG,IAAI,CAAC;QACtB,OAAO;IACT,CAAC;IAED,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;QAC/B,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;QACjD,SAAS,CAAC,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC,CAAC;QAC7C,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QACjD,CAAC,CAAC,YAAY,GAAG,IAAI,CAAC;QACtB,OAAO;IACT,CAAC;IAED,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAChD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;QACpB,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACnB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QACpD,CAAC,CAAC,YAAY,GAAG,IAAI,CAAC;QACtB,OAAO;IACT,CAAC;IAED,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;IAC/B,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;IACzD,IAAI,SAAS,EAAE,CAAC;QACd,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;IACnD,CAAC;IACD,CAAC,CAAC,YAAY,GAAG,IAAI,CAAC;AACxB,CAAC;AAED,6EAA6E;AAE7E,MAAM,UAAU,gBAAgB,CAAC,QAAkB;IACjD,MAAM,cAAc,GAAgB,EAAE,CAAC;IACvC,IAAI,CAAC,GAAqB,IAAI,CAAC;IAC/B,MAAM,OAAO,GAAwB,EAAE,CAAC;IAExC,MAAM,EAAE,iBAAiB,EAAE,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IAEjE,OAAO;QACL,IAAI,EAAE,KAAK;QACX,iBAAiB,EAAE,QAAQ,CAAC,aAAa;QAEzC,aAAa,CACX,QAAwB,EACxB,SAAwB,EACxB,QAAwB;YAExB,IAAI,CAAC;gBAAE,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9B,CAAC,GAAG,aAAa,EAAE,CAAC;YACpB,CAAC,CAAC,QAAQ,GAAG,QAAQ,CAAC;YACtB,mBAAmB,CAAC,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;QAChE,CAAC;QAED,YAAY,CACV,QAAwB,EACxB,SAAwB,EACxB,QAAwB;YAExB,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACjC,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;gBACxD,OAAO,CAAC,IAAI,CAAC;oBACX,QAAQ,EAAE,CAAC,CAAC,QAA0B;oBACtC,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,KAAK,EAAE,CAAC,CAAC,KAAK;oBACd,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;iBACpC,CAAC,CAAC;YACL,CAAC;YACD,CAAC,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,cAAc,CAAC,GAAG,EAAgB,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7E,CAAC;QAED,SAAS,CAAC,KAAqB,EAAE,QAAwB;YACvD,QAAQ;QACV,CAAC;QAED,QAAQ,CAAC,KAAqB,EAAE,QAAwB;YACtD,QAAQ;QACV,CAAC;QAED,MAAM;YACJ,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/ast-analysis/visitors/complexity-visitor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"complexity-visitor.d.ts","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/complexity-visitor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAmC,OAAO,EAAkB,MAAM,gBAAgB,CAAC;AAO/F,KAAK,QAAQ,GAAG,GAAG,CAAC;AAsMpB,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,QAAQ,EAChB,MAAM,CAAC,EAAE,QAAQ,GAAG,IAAI,EACxB,OAAO,GAAE;IAAE,aAAa,CAAC,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAO,GAChE,OAAO,CA0FT"}
+{"version":3,"file":"complexity-visitor.d.ts","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/complexity-visitor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAmC,OAAO,EAAkB,MAAM,gBAAgB,CAAC;AAO/F,KAAK,QAAQ,GAAG,GAAG,CAAC;AA2OpB,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,QAAQ,EAChB,MAAM,CAAC,EAAE,QAAQ,GAAG,IAAI,EACxB,OAAO,GAAE;IAAE,aAAa,CAAC,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAO,GAChE,OAAO,CAiFT"}

package/dist/ast-analysis/visitors/complexity-visitor.js

@@ -140,6 +140,31 @@ function classifyNode(node, nestingLevel, cRules, hRules, acc) {
     if (cRules.caseNodes.has(type) && node.childCount > 0)
         acc.cyclomatic++;
 }
+/**
+ * Compute the effective nesting level for complexity classification.
+ *
+ * In file-level mode, funcDepth starts at 0 for the active function.
+ * In function-level mode, funcDepth starts at 1 for the root function
+ * (since enterFunction always increments it). Subtract 1 so the root
+ * function contributes 0 nesting and each nested level adds +1, matching
+ * the Rust engine's behavior.
+ */
+function computeEffectiveNesting(contextNesting, funcDepth, nestingAdjust, fileLevelWalk) {
+    const funcNesting = fileLevelWalk ? funcDepth : Math.max(0, funcDepth - 1);
+    return contextNesting + funcNesting - nestingAdjust;
+}
+/**
+ * If this node is an else-if that the walker treats as a nesting node but
+ * the DFS engine would NOT increment nesting for, track it so children see
+ * the correct (non-inflated) nesting level.
+ */
+function trackElseIfNestingAdjust(node, cRules, nestingAdjust, adjustNodeIds) {
+    if (cRules.nestingNodes.has(node.type) && isElseIfNonNesting(node, node.type, cRules)) {
+        adjustNodeIds.add(node.id);
+        return nestingAdjust + 1;
+    }
+    return nestingAdjust;
+}
 export function createComplexityVisitor(cRules, hRules, options = {}) {
     const { fileLevelWalk = false, langId = null } = options;
     let acc = resetAccumulators(hRules);
@@ -186,22 +211,9 @@ export function createComplexityVisitor(cRules, hRules, options = {}) {
         enterNode(node, context) {
             if (fileLevelWalk && !activeFuncNode)
                 return;
-            // In file-level mode, funcDepth starts at 0 for the active function.
-            // In function-level mode, funcDepth starts at 1 for the root function
-            // (since enterFunction always increments it). Nested functions add +1
-            // each level — subtract 1 so the root function contributes 0 nesting
-            // and each nested level adds +1, matching the Rust engine's behavior.
-            const funcNesting = fileLevelWalk ? funcDepth : Math.max(0, funcDepth - 1);
-            const nestingLevel = context.nestingLevel + funcNesting - nestingAdjust;
+            const nestingLevel = computeEffectiveNesting(context.nestingLevel, funcDepth, nestingAdjust, fileLevelWalk);
             classifyNode(node, nestingLevel, cRules, hRules, acc);
-            // If this is an else-if if_statement that the walker will treat as a
-            // nesting node (incrementing context.nestingLevel for children), but
-            // the DFS walk would NOT increment nesting for, compensate by bumping
-            // nestingAdjust so children see the correct level.
-            if (cRules.nestingNodes.has(node.type) && isElseIfNonNesting(node, node.type, cRules)) {
-                nestingAdjust++;
-                adjustNodeIds.add(node.id);
-            }
+            nestingAdjust = trackElseIfNestingAdjust(node, cRules, nestingAdjust, adjustNodeIds);
         },
         exitNode(node) {
             if (adjustNodeIds.has(node.id)) {

package/dist/ast-analysis/visitors/complexity-visitor.js.map

@@ -1 +1 @@
-{"version":3,"file":"complexity-visitor.js","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/complexity-visitor.ts"],"names":[],"mappings":"AACA,OAAO,EACL,sBAAsB,EACtB,iBAAiB,EACjB,2BAA2B,GAC5B,MAAM,eAAe,CAAC;AAmBvB,SAAS,gBAAgB,CAAC,IAAoB,EAAE,MAAgB,EAAE,GAAkB;IAClF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,GAAG,CAAC,iBAAiB,EAAE,CAAC;IACxD,IAAI,GAAG,CAAC,iBAAiB,GAAG,CAAC;QAAE,OAAO;IAEtC,IAAI,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QACxD,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,KAAK,CAAC,EAAE,CAAC;QAC1B,IAAI,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YACxD,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9D,CAAC;aAAM,IAAI,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YACvB,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,kBAAkB,CAAC,IAAoB,EAAE,IAAY,EAAE,MAAgB;IAC9E,IAAI,IAAI,KAAK,MAAM,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IAE7C,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC9B,YAAY;QACZ,OAAO,CACL,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC,UAAU;YACvC,IAAI,CAAC,MAAM,EAAE,iBAAiB,CAAC,aAAa,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,EAAE,CAC9D,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACxB,YAAY;QACZ,OAAO,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC,YAAY,CAAC;IACnD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAoB,EACpB,IAAY,EACZ,YAAoB,EACpB,MAAgB,EAChB,GAAkB;IAElB,IAAI,MAAM,CAAC,YAAY,IAAI,IAAI,KAAK,MAAM,CAAC,YAAY,EAAE,CAAC;QACxD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;YACxD,OAAO;QACT,CAAC;QACD,GAAG,CAAC,SAAS,EAAE,CAAC;QAChB,OAAO;IACT,CAAC;IAED,IAAI,MAAM,CAAC,YAAY,IAAI,IAAI,KAAK,MAAM,CAAC,YAAY,EAAE,CAAC;QACxD,GAAG,CAAC,SAAS,EAAE,CAAC;QAChB,GAAG,CAAC,UAAU,EAAE,CAAC;QACjB,OAAO;IACT,CAAC;IAED,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,IAAI,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;QAC/B,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;YAC9B,QAAQ;gBACN,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC,UAAU;oBACvC,IAAI,CAAC,MAAM,EAAE,iBAAiB,CAAC,aAAa,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAClE,CAAC;aAAM,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;YAC/B,QAAQ,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC,YAAY,CAAC;QACvD,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,EAAE,CAAC;QACb,GAAG,CAAC,SAAS,EAAE,CAAC;QAChB,GAAG,CAAC,UAAU,EAAE,CAAC;QACjB,OAAO;IACT,CAAC;IAED,GAAG,CAAC,SAAS,IAAI,CAAC,GAAG,YAAY,CAAC;IAClC,GAAG,CAAC,UAAU,EAAE,CAAC;IAEjB,IAAI,MAAM,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,GAAG,CAAC,UAAU,EAAE,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAoB,EAAE,MAAgB,EAAE,GAAkB;IACnF,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IAC/B,IAAI,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO;IACpD,GAAG,CAAC,UAAU,EAAE,CAAC;IACjB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,MAAM,YAAY,GAChB,MAAM,IAAI,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,eAAe,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC;IAC3F,IAAI,CAAC,YAAY;QAAE,GAAG,CAAC,SAAS,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAoB,EACpB,IAAY,EACZ,MAAgB,EAChB,GAAkB;IAElB,IACE,MAAM,CAAC,kBAAkB;QACzB,IAAI,KAAK,MAAM,CAAC,UAAU;QAC1B,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC,UAAU;QACvC,IAAI,CAAC,MAAM,EAAE,iBAAiB,CAAC,aAAa,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,EAAE,EAC7D,CAAC;QACD,GAAG,CAAC,SAAS,EAAE,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACpB,QAA2C,EAC3C,GAAkB,EAClB,MAAmC,EACnC,MAAqB;IASrB,MAAM,QAAQ,GACZ,MAAM,IAAI,GAAG,CAAC,SAAS,IAAI,GAAG,CAAC,QAAQ;QACrC,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,QAAQ,CAAC;QACrD,CAAC,CAAC,IAAI,CAAC;IACX,MAAM,GAAG,GAAG,iBAAiB,CAAC,QAA0B,EAAE,MAAM,IAAI,SAAS,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,MAAM,YAAY,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,EAAE,GAAG,2BAA2B,CAAC,MAAM,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAEvF,OAAO;QACL,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,QAAQ;QACR,GAAG;QACH,EAAE;KACH,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAmC;IAC5D,OAAO;QACL,SAAS,EAAE,CAAC;QACZ,UAAU,EAAE,CAAC;QACb,UAAU,EAAE,CAAC;QACb,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI;QACpC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI;QACnC,iBAAiB,EAAE,CAAC;KACrB,CAAC;AACJ,CAAC;AAED,kGAAkG;AAClG,SAAS,YAAY,CACnB,IAAoB,EACpB,YAAoB,EACpB,MAAgB,EAChB,MAAmC,EACnC,GAAkB;IAElB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IAEvB,IAAI,MAAM;QAAE,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAChD,IAAI,YAAY,GAAG,GAAG,CAAC,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,YAAY,CAAC;IACjE,IAAI,IAAI,KAAK,MAAM,CAAC,eAAe;QAAE,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAC1E,IAAI,IAAI,KAAK,MAAM,CAAC,iBAAiB;QAAE,GAAG,CAAC,UAAU,EAAE,CAAC;IACxD,IAAI,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;QACxD,kBAAkB,CAAC,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5D,CAAC;IACD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,GAAG,CAAC;QAAE,GAAG,CAAC,UAAU,EAAE,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,MAAgB,EAChB,MAAwB,EACxB,UAA+D,EAAE;IAEjE,MAAM,EAAE,aAAa,GAAG,KAAK,EAAE,MAAM,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;IAEzD,IAAI,GAAG,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,cAAc,GAA0B,IAAI,CAAC;IACjD,IAAI,cAAc,GAAkB,IAAI,CAAC;IACzC,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,OAAO,GAAwB,EAAE,CAAC;IAExC,+EAA+E;IAC/E,8EAA8E;IAC9E,gFAAgF;IAChF,sDAAsD;IACtD,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IAExC,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,iBAAiB,EAAE,MAAM,CAAC,aAAa;QAEvC,aAAa,CACX,QAAwB,EACxB,QAAuB,EACvB,QAAwB;YAExB,IAAI,aAAa,IAAI,CAAC,cAAc,EAAE,CAAC;gBACrC,GAAG,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBAChC,cAAc,GAAG,QAAQ,CAAC;gBAC1B,cAAc,GAAG,QAAQ,CAAC;gBAC1B,SAAS,GAAG,CAAC,CAAC;gBACd,aAAa,GAAG,CAAC,CAAC;gBAClB,aAAa,CAAC,KAAK,EAAE,CAAC;YACxB,CAAC;iBAAM,CAAC;gBACN,SAAS,EAAE,CAAC;YACd,CAAC;QACH,CAAC;QAED,YAAY,CACV,QAAwB,EACxB,SAAwB,EACxB,QAAwB;YAExB,IAAI,aAAa,IAAI,QAAQ,KAAK,cAAc,EAAE,CAAC;gBACjD,OAAO,CAAC,IAAI,CAAC;oBACX,QAAQ;oBACR,QAAQ,EAAE,cAAc;oBACxB,OAAO,EAAE,aAAa,CAAC,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC;iBACtD,CAAC,CAAC;gBACH,cAAc,GAAG,IAAI,CAAC;gBACtB,cAAc,GAAG,IAAI,CAAC;YACxB,CAAC;iBAAM,CAAC;gBACN,SAAS,EAAE,CAAC;YACd,CAAC;QACH,CAAC;QAED,SAAS,CAAC,IAAoB,EAAE,OAAuB;YACrD,IAAI,aAAa,IAAI,CAAC,cAAc;gBAAE,OAAO;YAE7C,qEAAqE;YACrE,sEAAsE;YACtE,sEAAsE;YACtE,qEAAqE;YACrE,sEAAsE;YACtE,MAAM,WAAW,GAAG,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;YAC3E,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,GAAG,WAAW,GAAG,aAAa,CAAC;YACxE,YAAY,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YAEtD,qEAAqE;YACrE,qEAAqE;YACrE,sEAAsE;YACtE,mDAAmD;YACnD,IAAI,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;gBACtF,aAAa,EAAE,CAAC;gBAChB,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QAED,QAAQ,CAAC,IAAoB;YAC3B,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC/B,aAAa,EAAE,CAAC;gBAChB,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChC,CAAC;YACD,IAAI,MAAM,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,GAAG,CAAC,iBAAiB,EAAE,CAAC;QAChE,CAAC;QAED,MAAM;YACJ,IAAI,aAAa;gBAAE,OAAO,OAAO,CAAC;YAClC,OAAO,aAAa,CAAC,EAAE,IAAI,EAAE,EAAE,EAAoB,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAC5E,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"complexity-visitor.js","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/complexity-visitor.ts"],"names":[],"mappings":"AACA,OAAO,EACL,sBAAsB,EACtB,iBAAiB,EACjB,2BAA2B,GAC5B,MAAM,eAAe,CAAC;AAmBvB,SAAS,gBAAgB,CAAC,IAAoB,EAAE,MAAgB,EAAE,GAAkB;IAClF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,GAAG,CAAC,iBAAiB,EAAE,CAAC;IACxD,IAAI,GAAG,CAAC,iBAAiB,GAAG,CAAC;QAAE,OAAO;IAEtC,IAAI,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QACxD,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,KAAK,CAAC,EAAE,CAAC;QAC1B,IAAI,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YACxD,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9D,CAAC;aAAM,IAAI,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YACvB,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,kBAAkB,CAAC,IAAoB,EAAE,IAAY,EAAE,MAAgB;IAC9E,IAAI,IAAI,KAAK,MAAM,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IAE7C,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC9B,YAAY;QACZ,OAAO,CACL,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC,UAAU;YACvC,IAAI,CAAC,MAAM,EAAE,iBAAiB,CAAC,aAAa,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,EAAE,CAC9D,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACxB,YAAY;QACZ,OAAO,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC,YAAY,CAAC;IACnD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAoB,EACpB,IAAY,EACZ,YAAoB,EACpB,MAAgB,EAChB,GAAkB;IAElB,IAAI,MAAM,CAAC,YAAY,IAAI,IAAI,KAAK,MAAM,CAAC,YAAY,EAAE,CAAC;QACxD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;YACxD,OAAO;QACT,CAAC;QACD,GAAG,CAAC,SAAS,EAAE,CAAC;QAChB,OAAO;IACT,CAAC;IAED,IAAI,MAAM,CAAC,YAAY,IAAI,IAAI,KAAK,MAAM,CAAC,YAAY,EAAE,CAAC;QACxD,GAAG,CAAC,SAAS,EAAE,CAAC;QAChB,GAAG,CAAC,UAAU,EAAE,CAAC;QACjB,OAAO;IACT,CAAC;IAED,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,IAAI,KAAK,MAAM,CAAC,UAAU,EAAE,CAAC;QAC/B,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;YAC9B,QAAQ;gBACN,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC,UAAU;oBACvC,IAAI,CAAC,MAAM,EAAE,iBAAiB,CAAC,aAAa,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAClE,CAAC;aAAM,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;YAC/B,QAAQ,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC,YAAY,CAAC;QACvD,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,EAAE,CAAC;QACb,GAAG,CAAC,SAAS,EAAE,CAAC;QAChB,GAAG,CAAC,UAAU,EAAE,CAAC;QACjB,OAAO;IACT,CAAC;IAED,GAAG,CAAC,SAAS,IAAI,CAAC,GAAG,YAAY,CAAC;IAClC,GAAG,CAAC,UAAU,EAAE,CAAC;IAEjB,IAAI,MAAM,CAAC,eAAe,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,GAAG,CAAC,UAAU,EAAE,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAoB,EAAE,MAAgB,EAAE,GAAkB;IACnF,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IAC/B,IAAI,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO;IACpD,GAAG,CAAC,UAAU,EAAE,CAAC;IACjB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,MAAM,YAAY,GAChB,MAAM,IAAI,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,eAAe,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC;IAC3F,IAAI,CAAC,YAAY;QAAE,GAAG,CAAC,SAAS,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAoB,EACpB,IAAY,EACZ,MAAgB,EAChB,GAAkB;IAElB,IACE,MAAM,CAAC,kBAAkB;QACzB,IAAI,KAAK,MAAM,CAAC,UAAU;QAC1B,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM,CAAC,UAAU;QACvC,IAAI,CAAC,MAAM,EAAE,iBAAiB,CAAC,aAAa,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,EAAE,EAC7D,CAAC;QACD,GAAG,CAAC,SAAS,EAAE,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACpB,QAA2C,EAC3C,GAAkB,EAClB,MAAmC,EACnC,MAAqB;IASrB,MAAM,QAAQ,GACZ,MAAM,IAAI,GAAG,CAAC,SAAS,IAAI,GAAG,CAAC,QAAQ;QACrC,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,QAAQ,CAAC;QACrD,CAAC,CAAC,IAAI,CAAC;IACX,MAAM,GAAG,GAAG,iBAAiB,CAAC,QAA0B,EAAE,MAAM,IAAI,SAAS,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,MAAM,YAAY,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,EAAE,GAAG,2BAA2B,CAAC,MAAM,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAEvF,OAAO;QACL,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,QAAQ;QACR,GAAG;QACH,EAAE;KACH,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAmC;IAC5D,OAAO;QACL,SAAS,EAAE,CAAC;QACZ,UAAU,EAAE,CAAC;QACb,UAAU,EAAE,CAAC;QACb,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI;QACpC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI;QACnC,iBAAiB,EAAE,CAAC;KACrB,CAAC;AACJ,CAAC;AAED,kGAAkG;AAClG,SAAS,YAAY,CACnB,IAAoB,EACpB,YAAoB,EACpB,MAAgB,EAChB,MAAmC,EACnC,GAAkB;IAElB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IAEvB,IAAI,MAAM;QAAE,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAChD,IAAI,YAAY,GAAG,GAAG,CAAC,UAAU;QAAE,GAAG,CAAC,UAAU,GAAG,YAAY,CAAC;IACjE,IAAI,IAAI,KAAK,MAAM,CAAC,eAAe;QAAE,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAC1E,IAAI,IAAI,KAAK,MAAM,CAAC,iBAAiB;QAAE,GAAG,CAAC,UAAU,EAAE,CAAC;IACxD,IAAI,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;QACxD,kBAAkB,CAAC,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5D,CAAC;IACD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,GAAG,CAAC;QAAE,GAAG,CAAC,UAAU,EAAE,CAAC;AAC1E,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,uBAAuB,CAC9B,cAAsB,EACtB,SAAiB,EACjB,aAAqB,EACrB,aAAsB;IAEtB,MAAM,WAAW,GAAG,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;IAC3E,OAAO,cAAc,GAAG,WAAW,GAAG,aAAa,CAAC;AACtD,CAAC;AAED;;;;GAIG;AACH,SAAS,wBAAwB,CAC/B,IAAoB,EACpB,MAAgB,EAChB,aAAqB,EACrB,aAA0B;IAE1B,IAAI,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QACtF,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3B,OAAO,aAAa,GAAG,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,MAAgB,EAChB,MAAwB,EACxB,UAA+D,EAAE;IAEjE,MAAM,EAAE,aAAa,GAAG,KAAK,EAAE,MAAM,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;IAEzD,IAAI,GAAG,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,cAAc,GAA0B,IAAI,CAAC;IACjD,IAAI,cAAc,GAAkB,IAAI,CAAC;IACzC,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,OAAO,GAAwB,EAAE,CAAC;IAExC,+EAA+E;IAC/E,8EAA8E;IAC9E,gFAAgF;IAChF,sDAAsD;IACtD,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IAExC,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,iBAAiB,EAAE,MAAM,CAAC,aAAa;QAEvC,aAAa,CACX,QAAwB,EACxB,QAAuB,EACvB,QAAwB;YAExB,IAAI,aAAa,IAAI,CAAC,cAAc,EAAE,CAAC;gBACrC,GAAG,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBAChC,cAAc,GAAG,QAAQ,CAAC;gBAC1B,cAAc,GAAG,QAAQ,CAAC;gBAC1B,SAAS,GAAG,CAAC,CAAC;gBACd,aAAa,GAAG,CAAC,CAAC;gBAClB,aAAa,CAAC,KAAK,EAAE,CAAC;YACxB,CAAC;iBAAM,CAAC;gBACN,SAAS,EAAE,CAAC;YACd,CAAC;QACH,CAAC;QAED,YAAY,CACV,QAAwB,EACxB,SAAwB,EACxB,QAAwB;YAExB,IAAI,aAAa,IAAI,QAAQ,KAAK,cAAc,EAAE,CAAC;gBACjD,OAAO,CAAC,IAAI,CAAC;oBACX,QAAQ;oBACR,QAAQ,EAAE,cAAc;oBACxB,OAAO,EAAE,aAAa,CAAC,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC;iBACtD,CAAC,CAAC;gBACH,cAAc,GAAG,IAAI,CAAC;gBACtB,cAAc,GAAG,IAAI,CAAC;YACxB,CAAC;iBAAM,CAAC;gBACN,SAAS,EAAE,CAAC;YACd,CAAC;QACH,CAAC;QAED,SAAS,CAAC,IAAoB,EAAE,OAAuB;YACrD,IAAI,aAAa,IAAI,CAAC,cAAc;gBAAE,OAAO;YAE7C,MAAM,YAAY,GAAG,uBAAuB,CAC1C,OAAO,CAAC,YAAY,EACpB,SAAS,EACT,aAAa,EACb,aAAa,CACd,CAAC;YACF,YAAY,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YACtD,aAAa,GAAG,wBAAwB,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,aAAa,CAAC,CAAC;QACvF,CAAC;QAED,QAAQ,CAAC,IAAoB;YAC3B,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC/B,aAAa,EAAE,CAAC;gBAChB,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChC,CAAC;YACD,IAAI,MAAM,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,GAAG,CAAC,iBAAiB,EAAE,CAAC;QAChE,CAAC;QAED,MAAM;YACJ,IAAI,aAAa;gBAAE,OAAO,OAAO,CAAC;YAClC,OAAO,aAAa,CAAC,EAAE,IAAI,EAAE,EAAE,EAAoB,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAC5E,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/ast-analysis/visitors/dataflow-visitor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dataflow-visitor.d.ts","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/dataflow-visitor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAmC,OAAO,EAAkB,MAAM,gBAAgB,CAAC;AAY/F,KAAK,QAAQ,GAAG,GAAG,CAAC;AAodpB,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,QAAQ,GAAG,OAAO,CAmD9D"}
+{"version":3,"file":"dataflow-visitor.d.ts","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/dataflow-visitor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAmC,OAAO,EAAkB,MAAM,gBAAgB,CAAC;AAY/F,KAAK,QAAQ,GAAG,GAAG,CAAC;AAsfpB,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,QAAQ,GAAG,OAAO,CAwD9D"}

package/dist/ast-analysis/visitors/dataflow-visitor.js

@@ -162,6 +162,21 @@ function handleAssignment(node, rules, scopeStack, assignments, mutations, isCal
         }
     }
 }
+/** Unwrap argument wrapper and spread nodes to get the core argument node. */
+function unwrapArg(arg, rules) {
+    let raw = arg;
+    if (rules.argumentWrapperType && arg.type === rules.argumentWrapperType) {
+        raw = arg.namedChildren[0] || arg;
+    }
+    const unwrapped = rules.spreadType && raw.type === rules.spreadType ? raw.namedChildren[0] || raw : raw;
+    return { unwrapped, raw };
+}
+/** Resolve the tracked name for a call argument (identifier or member receiver). */
+function resolveArgTrackedName(node, rules) {
+    const argName = isIdent(node.type, rules) ? node.text : null;
+    const argMember = rules.memberNode && node.type === rules.memberNode ? memberReceiver(node, rules) : null;
+    return argName || argMember;
+}
 function handleCallExpr(node, rules, scopeStack, argFlows) {
     const callee = resolveCalleeName(node, rules);
     const argsNode = node.childForFieldName(rules.callArgsField);
@@ -169,20 +184,13 @@ function handleCallExpr(node, rules, scopeStack, argFlows) {
     if (!callee || !argsNode || !scope?.funcName)
         return;
     let argIndex = 0;
-    for (let arg of argsNode.namedChildren) {
-        if (rules.argumentWrapperType && arg.type === rules.argumentWrapperType) {
-            arg = arg.namedChildren[0] || arg;
-        }
-        const unwrapped = rules.spreadType && arg.type === rules.spreadType ? arg.namedChildren[0] || arg : arg;
+    for (const arg of argsNode.namedChildren) {
+        const { unwrapped, raw } = unwrapArg(arg, rules);
         if (!unwrapped) {
             argIndex++;
             continue;
         }
-        const argName = isIdent(unwrapped.type, rules) ? unwrapped.text : null;
-        const argMember = rules.memberNode && unwrapped.type === rules.memberNode
-            ? memberReceiver(unwrapped, rules)
-            : null;
-        const trackedName = argName || argMember;
+        const trackedName = resolveArgTrackedName(unwrapped, rules);
         if (trackedName) {
             const binding = findBinding(trackedName, scopeStack);
             if (binding) {
@@ -193,7 +201,7 @@ function handleCallExpr(node, rules, scopeStack, argFlows) {
                     argName: trackedName,
                     binding,
                     confidence: bindingConfidence(binding),
-                    expression: truncate(arg.text),
+                    expression: truncate(raw.text),
                     line: node.startPosition.row + 1,
                 });
             }
@@ -201,12 +209,8 @@ function handleCallExpr(node, rules, scopeStack, argFlows) {
         argIndex++;
     }
 }
-function handleExprStmtMutation(node, rules, scopeStack, mutations, isCallNode) {
-    if (rules.mutatingMethods.size === 0)
-        return;
-    const expr = node.namedChildren[0];
-    if (!expr || !isCall(expr, isCallNode))
-        return;
+/** Resolve the method name and receiver from a call expression node. */
+function resolveMutationCallParts(expr, rules) {
     let methodName = null;
     let receiver = null;
     const fn = expr.childForFieldName(rules.callFunctionField);
@@ -223,6 +227,15 @@ function handleExprStmtMutation(node, rules, scopeStack, mutations, isCallNode)
             receiver = isIdent(obj.type, rules) ? obj.text : null;
         }
     }
+    return { methodName, receiver };
+}
+function handleExprStmtMutation(node, rules, scopeStack, mutations, isCallNode) {
+    if (rules.mutatingMethods.size === 0)
+        return;
+    const expr = node.namedChildren[0];
+    if (!expr || !isCall(expr, isCallNode))
+        return;
+    const { methodName, receiver } = resolveMutationCallParts(expr, rules);
     if (!methodName || !rules.mutatingMethods.has(methodName))
         return;
     const scope = currentScope(scopeStack);
@@ -256,10 +269,23 @@ function handleReturn(node, rules, scopeStack, returns) {
         });
     }
 }
-/** Collect parameter entries for a function and push a new scope onto the stack. */
+/**
+ * Collect parameter entries for a function and push a new scope onto the stack.
+ *
+ * Returns `true` if a scope was pushed, `false` if the node was skipped (i.e.
+ * `nameExtractor` rejected it). Callers must pop the stack only when this
+ * returns `true` to keep push/pop symmetric.
+ */
 function enterFunctionScope(funcNode, rules, scopeStack, parameters) {
+    // When nameExtractor is set it acts as a gate: null means this node is not a function
+    // definition. Needed for languages (Elixir, Clojure) where functionNodes includes generic
+    // node types (call/list_lit) that are only sometimes function definitions.
+    if (rules.nameExtractor && !rules.nameExtractor(funcNode))
+        return false;
     const name = functionName(funcNode, rules);
-    const paramsNode = funcNode.childForFieldName(rules.paramListField);
+    const paramsNode = rules.getParamListNode
+        ? rules.getParamListNode(funcNode)
+        : funcNode.childForFieldName(rules.paramListField);
     const paramList = extractParams(paramsNode, rules);
     const paramMap = new Map();
     for (const p of paramList) {
@@ -274,6 +300,7 @@ function enterFunctionScope(funcNode, rules, scopeStack, parameters) {
         }
     }
     scopeStack.push({ funcName: name, funcNode, params: paramMap, locals: new Map() });
+    return true;
 }
 /**
  * Route a node to the appropriate dataflow handler based on its type.
@@ -315,6 +342,11 @@ export function createDataflowVisitor(rules) {
     const argFlows = [];
     const mutations = [];
     const scopeStack = [];
+    // Parallel stack that records whether each enterFunction call actually pushed a
+    // scope frame.  exitFunction pops scopeStack only when the matching entry is true,
+    // keeping push/pop symmetric even for languages (Elixir, Clojure) where
+    // enterFunctionScope may return early without pushing.
+    const pushRecord = [];
     const dispatchCtx = {
         rules,
         scopeStack,
@@ -328,10 +360,11 @@ export function createDataflowVisitor(rules) {
         name: 'dataflow',
         functionNodeTypes: rules.functionNodes,
         enterFunction(funcNode, _funcName, _context) {
-            enterFunctionScope(funcNode, rules, scopeStack, parameters);
+            pushRecord.push(enterFunctionScope(funcNode, rules, scopeStack, parameters));
         },
         exitFunction(_funcNode, _funcName, _context) {
-            scopeStack.pop();
+            if (pushRecord.pop())
+                scopeStack.pop();
         },
         enterNode(node, _context) {
             dispatchDataflowNode(dispatchCtx, node);

package/dist/ast-analysis/visitors/dataflow-visitor.js.map

@@ -1 +1 @@
-{"version":3,"file":"dataflow-visitor.js","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/dataflow-visitor.ts"],"names":[],"mappings":"AACA,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,OAAO,EACP,cAAc,EACd,iBAAiB,EACjB,QAAQ,GACT,MAAM,qBAAqB,CAAC;AAmE7B,SAAS,YAAY,CAAC,UAAwB;IAC5C,OAAO,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,UAAwB;IACzD,KAAK,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;QAC7B,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YACxB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC9F,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YACxB,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAsC;gBACnE,QAAQ,EAAE,KAAK,CAAC,QAAQ;aACzB,CAAC;IACN,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAuB;IAChD,IAAI,CAAC,OAAO;QAAE,OAAO,GAAG,CAAC;IACzB,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,GAAG,CAAC;IACzC,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7B,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,KAAK,aAAa;YAAE,OAAO,GAAG,CAAC;QACvD,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,KAAK,cAAc;YAAE,OAAO,GAAG,CAAC;QACxD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAAC,IAAoB,EAAE,KAAe;IACxD,IAAI,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IACvC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,MAAM,CAAC,IAA2B,EAAE,UAAkC;IAC7E,OAAO,IAAI,IAAI,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC;AAED,qFAAqF;AACrF,SAAS,gBAAgB,CACvB,IAAoB,EACpB,QAA+B,EAC/B,KAAe,EACf,UAAkC;IAElC,IAAI,SAAS,GAA0B,KAAK,CAAC,aAAa;QACxD,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,aAAa,CAAC;QAC7C,CAAC,CAAC,IAAI,CAAC;IAET,IAAI,CAAC,SAAS,IAAI,KAAK,CAAC,gBAAgB,EAAE,CAAC;QACzC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,gBAAgB,EAAE,CAAC;gBAC1C,SAAS,GAAG,KAAK,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;gBAC/E,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvC,IAAI,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC;gBACxE,SAAS,GAAG,KAAK,CAAC;gBAClB,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,6DAA6D;AAC7D,SAAS,oBAAoB,CAC3B,QAA+B,EAC/B,SAAgC,EAChC,KAAe;IAEf,IAAI,CAAC,KAAK,CAAC,kBAAkB;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC3E,MAAM,IAAI,GACR,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,kBAAkB;QACpD,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;QACrC,CAAC,CAAC,QAAQ,CAAC;IACf,MAAM,KAAK,GACT,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,CAAC,kBAAkB;QACtD,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;QACtC,CAAC,CAAC,SAAS,CAAC;IAChB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzB,CAAC;AAED,6EAA6E;AAC7E,SAAS,4BAA4B,CACnC,QAAwB,EACxB,IAAoB,EACpB,MAAc,EACd,KAAiB,EACjB,WAAiC,EACjC,KAAe;IAEf,MAAM,KAAK,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,WAAW,CAAC,IAAI,CAAC;YACf,OAAO,EAAE,CAAC;YACV,UAAU,EAAE,KAAK,CAAC,QAAS;YAC3B,cAAc,EAAE,MAAM;YACtB,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YAC/B,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;SACjC,CAAC,CAAC;QACH,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC;IACxD,CAAC;AACH,CAAC;AAED,0DAA0D;AAC1D,SAAS,sBAAsB,CAC7B,QAAwB,EACxB,IAAoB,EACpB,MAAc,EACd,KAAiB,EACjB,WAAiC;IAEjC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC9B,WAAW,CAAC,IAAI,CAAC;QACf,OAAO;QACP,UAAU,EAAE,KAAK,CAAC,QAAS;QAC3B,cAAc,EAAE,MAAM;QACtB,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/B,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;KACjC,CAAC,CAAC;IACH,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAoB,EACpB,KAAe,EACf,UAAwB,EACxB,WAAiC,EACjC,UAAkC;IAElC,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IACpE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,oBAAoB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAE5F,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,IAAI,CAAC,KAAK;QAAE,OAAO;IAE9C,MAAM,SAAS,GAAG,WAAW,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,IAAI,CAAC,QAAQ;QAAE,OAAO;IAEtB,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAClD,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,QAAQ;QAAE,OAAO;IAEvC,MAAM,cAAc,GAClB,CAAC,KAAK,CAAC,kBAAkB,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,kBAAkB,CAAC;QACxE,CAAC,KAAK,CAAC,iBAAiB,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAEzE,IAAI,cAAc,EAAE,CAAC;QACnB,4BAA4B,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;IAClF,CAAC;SAAM,CAAC;QACN,sBAAsB,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAoB,EACpB,KAAe,EACf,UAAwB,EACxB,WAAiC,EACjC,SAA6B,EAC7B,UAAkC;IAElC,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,CAAC,KAAK,EAAE,QAAQ;QAAE,OAAO;IAE7B,IAAI,IAAI,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;QAC/D,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7C,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YAClD,IAAI,OAAO,EAAE,CAAC;gBACZ,SAAS,CAAC,IAAI,CAAC;oBACb,QAAQ,EAAE,KAAK,CAAC,QAAQ;oBACxB,YAAY,EAAE,QAAQ;oBACtB,OAAO;oBACP,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;oBACjC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;iBACjC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;QAC/C,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;QAClE,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAClD,IAAI,MAAM,EAAE,CAAC;gBACX,WAAW,CAAC,IAAI,CAAC;oBACf,OAAO,EAAE,IAAI,CAAC,IAAI;oBAClB,UAAU,EAAE,KAAK,CAAC,QAAQ;oBAC1B,cAAc,EAAE,MAAM;oBACtB,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC/B,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;iBACjC,CAAC,CAAC;gBACH,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,IAAoB,EACpB,KAAe,EACf,UAAwB,EACxB,QAA2B;IAE3B,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,EAAE,QAAQ;QAAE,OAAO;IAErD,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,IAAI,GAAG,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,mBAAmB,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,mBAAmB,EAAE,CAAC;YACxE,GAAG,GAAG,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;QACpC,CAAC;QACD,MAAM,SAAS,GACb,KAAK,CAAC,UAAU,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QACxF,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,QAAQ,EAAE,CAAC;YACX,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACvE,MAAM,SAAS,GACb,KAAK,CAAC,UAAU,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU;YACrD,CAAC,CAAC,cAAc,CAAC,SAAS,EAAE,KAAK,CAAC;YAClC,CAAC,CAAC,IAAI,CAAC;QACX,MAAM,WAAW,GAAG,OAAO,IAAI,SAAS,CAAC;QAEzC,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;YACrD,IAAI,OAAO,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC;oBACZ,UAAU,EAAE,KAAK,CAAC,QAAQ;oBAC1B,UAAU,EAAE,MAAM;oBAClB,QAAQ;oBACR,OAAO,EAAE,WAAW;oBACpB,OAAO;oBACP,UAAU,EAAE,iBAAiB,CAAC,OAAO,CAAC;oBACtC,UAAU,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;oBAC9B,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;iBACjC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,QAAQ,EAAE,CAAC;IACb,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAoB,EACpB,KAAe,EACf,UAAwB,EACxB,SAA6B,EAC7B,UAAkC;IAElC,IAAI,KAAK,CAAC,eAAe,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC;QAAE,OAAO;IAE/C,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,IAAI,QAAQ,GAAkB,IAAI,CAAC;IAEnC,MAAM,EAAE,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAC3D,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QAC7D,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACrC,QAAQ,GAAG,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;IAED,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QAC7D,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;YAChB,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC;YACvB,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACxD,CAAC;IACH,CAAC;IAED,IAAI,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO;IAElE,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,EAAE,QAAQ;QAAE,OAAO;IAE1C,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAClD,IAAI,OAAO,EAAE,CAAC;QACZ,SAAS,CAAC,IAAI,CAAC;YACb,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,YAAY,EAAE,QAAQ;YACtB,OAAO;YACP,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YACjC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;SACjC,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,IAAoB,EACpB,KAAe,EACf,UAAwB,EACxB,OAA8B;IAE9B,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,KAAK,CAAC,UAAU;QAAE,OAAO;IAEnD,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,KAAK,EAAE,QAAQ,EAAE,CAAC;QACpB,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,eAAe,GAAa,EAAE,CAAC;QACrC,IAAI,IAAI;YAAE,kBAAkB,CAAC,IAAI,EAAE,eAAe,EAAE,KAAK,CAAC,CAAC;QAC3D,OAAO,CAAC,IAAI,CAAC;YACX,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3C,eAAe;YACf,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;SACjC,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,oFAAoF;AACpF,SAAS,kBAAkB,CACzB,QAAwB,EACxB,KAAe,EACf,UAAwB,EACxB,UAA2B;IAE3B,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC3C,MAAM,UAAU,GAAG,QAAQ,CAAC,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACpE,MAAM,SAAS,GAAG,aAAa,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,IAAI,EAAE,CAAC;YACT,UAAU,CAAC,IAAI,CAAC;gBACd,QAAQ,EAAE,IAAI;gBACd,SAAS,EAAE,CAAC,CAAC,IAAI;gBACjB,UAAU,EAAE,CAAC,CAAC,KAAK;gBACnB,IAAI,EAAE,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,IAAI,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC;aACzE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,UAAU,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;AACrF,CAAC;AAYD;;;GAGG;AACH,SAAS,oBAAoB,CAAC,GAAwB,EAAE,IAAoB;IAC1E,MAAM,EAAE,KAAK,EAAE,GAAG,GAAG,CAAC;IACtB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;IAEpB,IAAI,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;QAAE,OAAO;IAEvC,IAAI,KAAK,CAAC,UAAU,IAAI,CAAC,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;QAC/C,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACvD,OAAO;IACT,CAAC;IAED,IACE,CAAC,KAAK,CAAC,iBAAiB,IAAI,CAAC,KAAK,KAAK,CAAC,iBAAiB,CAAC;QAC1D,KAAK,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC,CAAC,EAChC,CAAC;QACD,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QAClF,OAAO;IACT,CAAC;IAED,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QACtB,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC1D,OAAO;IACT,CAAC;IAED,IAAI,KAAK,CAAC,cAAc,IAAI,CAAC,KAAK,KAAK,CAAC,cAAc,EAAE,CAAC;QACvD,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QAC9F,OAAO;IACT,CAAC;IAED,IAAI,KAAK,CAAC,kBAAkB,IAAI,CAAC,KAAK,KAAK,CAAC,kBAAkB,EAAE,CAAC;QAC/D,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IACrF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAe;IACnD,MAAM,UAAU,GAA2B,KAAK,CAAC,SAAS;QACxD,CAAC,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,QAAQ,CAAC;IAExC,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,MAAM,WAAW,GAAyB,EAAE,CAAC;IAC7C,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,MAAM,SAAS,GAAuB,EAAE,CAAC;IACzC,MAAM,UAAU,GAAiB,EAAE,CAAC;IAEpC,MAAM,WAAW,GAAwB;QACvC,KAAK;QACL,UAAU;QACV,OAAO;QACP,WAAW;QACX,QAAQ;QACR,SAAS;QACT,UAAU;KACX,CAAC;IAEF,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,iBAAiB,EAAE,KAAK,CAAC,aAAa;QAEtC,aAAa,CACX,QAAwB,EACxB,SAAwB,EACxB,QAAwB;YAExB,kBAAkB,CAAC,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;QAC9D,CAAC;QAED,YAAY,CACV,SAAyB,EACzB,SAAwB,EACxB,QAAwB;YAExB,UAAU,CAAC,GAAG,EAAE,CAAC;QACnB,CAAC;QAED,SAAS,CAAC,IAAoB,EAAE,QAAwB;YACtD,oBAAoB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACxC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM;YACJ,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;QACnE,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"dataflow-visitor.js","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/dataflow-visitor.ts"],"names":[],"mappings":"AACA,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,OAAO,EACP,cAAc,EACd,iBAAiB,EACjB,QAAQ,GACT,MAAM,qBAAqB,CAAC;AAmE7B,SAAS,YAAY,CAAC,UAAwB;IAC5C,OAAO,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,UAAwB;IACzD,KAAK,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;QAC7B,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YACxB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAW,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC9F,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YACxB,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAsC;gBACnE,QAAQ,EAAE,KAAK,CAAC,QAAQ;aACzB,CAAC;IACN,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAuB;IAChD,IAAI,CAAC,OAAO;QAAE,OAAO,GAAG,CAAC;IACzB,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,GAAG,CAAC;IACzC,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7B,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,KAAK,aAAa;YAAE,OAAO,GAAG,CAAC;QACvD,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,KAAK,cAAc;YAAE,OAAO,GAAG,CAAC;QACxD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAAC,IAAoB,EAAE,KAAe;IACxD,IAAI,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;IACvC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,MAAM,CAAC,IAA2B,EAAE,UAAkC;IAC7E,OAAO,IAAI,IAAI,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC;AAED,qFAAqF;AACrF,SAAS,gBAAgB,CACvB,IAAoB,EACpB,QAA+B,EAC/B,KAAe,EACf,UAAkC;IAElC,IAAI,SAAS,GAA0B,KAAK,CAAC,aAAa;QACxD,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,aAAa,CAAC;QAC7C,CAAC,CAAC,IAAI,CAAC;IAET,IAAI,CAAC,SAAS,IAAI,KAAK,CAAC,gBAAgB,EAAE,CAAC;QACzC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,gBAAgB,EAAE,CAAC;gBAC1C,SAAS,GAAG,KAAK,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;gBAC/E,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvC,IAAI,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC;gBACxE,SAAS,GAAG,KAAK,CAAC;gBAClB,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,6DAA6D;AAC7D,SAAS,oBAAoB,CAC3B,QAA+B,EAC/B,SAAgC,EAChC,KAAe;IAEf,IAAI,CAAC,KAAK,CAAC,kBAAkB;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC3E,MAAM,IAAI,GACR,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,kBAAkB;QACpD,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;QACrC,CAAC,CAAC,QAAQ,CAAC;IACf,MAAM,KAAK,GACT,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,CAAC,kBAAkB;QACtD,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;QACtC,CAAC,CAAC,SAAS,CAAC;IAChB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzB,CAAC;AAED,6EAA6E;AAC7E,SAAS,4BAA4B,CACnC,QAAwB,EACxB,IAAoB,EACpB,MAAc,EACd,KAAiB,EACjB,WAAiC,EACjC,KAAe;IAEf,MAAM,KAAK,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,WAAW,CAAC,IAAI,CAAC;YACf,OAAO,EAAE,CAAC;YACV,UAAU,EAAE,KAAK,CAAC,QAAS;YAC3B,cAAc,EAAE,MAAM;YACtB,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YAC/B,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;SACjC,CAAC,CAAC;QACH,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC;IACxD,CAAC;AACH,CAAC;AAED,0DAA0D;AAC1D,SAAS,sBAAsB,CAC7B,QAAwB,EACxB,IAAoB,EACpB,MAAc,EACd,KAAiB,EACjB,WAAiC;IAEjC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC9B,WAAW,CAAC,IAAI,CAAC;QACf,OAAO;QACP,UAAU,EAAE,KAAK,CAAC,QAAS;QAC3B,cAAc,EAAE,MAAM;QACtB,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/B,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;KACjC,CAAC,CAAC;IACH,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAoB,EACpB,KAAe,EACf,UAAwB,EACxB,WAAiC,EACjC,UAAkC;IAElC,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IACpE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,oBAAoB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAE5F,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,IAAI,CAAC,KAAK;QAAE,OAAO;IAE9C,MAAM,SAAS,GAAG,WAAW,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,IAAI,CAAC,QAAQ;QAAE,OAAO;IAEtB,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAClD,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,QAAQ;QAAE,OAAO;IAEvC,MAAM,cAAc,GAClB,CAAC,KAAK,CAAC,kBAAkB,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,kBAAkB,CAAC;QACxE,CAAC,KAAK,CAAC,iBAAiB,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAEzE,IAAI,cAAc,EAAE,CAAC;QACnB,4BAA4B,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;IAClF,CAAC;SAAM,CAAC;QACN,sBAAsB,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAoB,EACpB,KAAe,EACf,UAAwB,EACxB,WAAiC,EACjC,SAA6B,EAC7B,UAAkC;IAElC,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,CAAC,KAAK,EAAE,QAAQ;QAAE,OAAO;IAE7B,IAAI,IAAI,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;QAC/D,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7C,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YAClD,IAAI,OAAO,EAAE,CAAC;gBACZ,SAAS,CAAC,IAAI,CAAC;oBACb,QAAQ,EAAE,KAAK,CAAC,QAAQ;oBACxB,YAAY,EAAE,QAAQ;oBACtB,OAAO;oBACP,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;oBACjC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;iBACjC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;QAC/C,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;QAClE,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YAClD,IAAI,MAAM,EAAE,CAAC;gBACX,WAAW,CAAC,IAAI,CAAC;oBACf,OAAO,EAAE,IAAI,CAAC,IAAI;oBAClB,UAAU,EAAE,KAAK,CAAC,QAAQ;oBAC1B,cAAc,EAAE,MAAM;oBACtB,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC/B,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;iBACjC,CAAC,CAAC;gBACH,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,SAAS,SAAS,CAChB,GAAmB,EACnB,KAAe;IAEf,IAAI,GAAG,GAAG,GAAG,CAAC;IACd,IAAI,KAAK,CAAC,mBAAmB,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,mBAAmB,EAAE,CAAC;QACxE,GAAG,GAAG,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;IACpC,CAAC;IACD,MAAM,SAAS,GACb,KAAK,CAAC,UAAU,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IACxF,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;AAC5B,CAAC;AAED,oFAAoF;AACpF,SAAS,qBAAqB,CAAC,IAAoB,EAAE,KAAe;IAClE,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,MAAM,SAAS,GACb,KAAK,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1F,OAAO,OAAO,IAAI,SAAS,CAAC;AAC9B,CAAC;AAED,SAAS,cAAc,CACrB,IAAoB,EACpB,KAAe,EACf,UAAwB,EACxB,QAA2B;IAE3B,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,EAAE,QAAQ;QAAE,OAAO;IAErD,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;QACzC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACjD,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,QAAQ,EAAE,CAAC;YACX,SAAS;QACX,CAAC;QAED,MAAM,WAAW,GAAG,qBAAqB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC5D,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;YACrD,IAAI,OAAO,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC;oBACZ,UAAU,EAAE,KAAK,CAAC,QAAQ;oBAC1B,UAAU,EAAE,MAAM;oBAClB,QAAQ;oBACR,OAAO,EAAE,WAAW;oBACpB,OAAO;oBACP,UAAU,EAAE,iBAAiB,CAAC,OAAO,CAAC;oBACtC,UAAU,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;oBAC9B,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;iBACjC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,QAAQ,EAAE,CAAC;IACb,CAAC;AACH,CAAC;AAED,wEAAwE;AACxE,SAAS,wBAAwB,CAC/B,IAAoB,EACpB,KAAe;IAEf,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,IAAI,QAAQ,GAAkB,IAAI,CAAC;IAEnC,MAAM,EAAE,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAC3D,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QAC7D,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACrC,QAAQ,GAAG,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;IAED,IAAI,CAAC,QAAQ,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QAC7D,IAAI,GAAG,IAAI,IAAI,EAAE,CAAC;YAChB,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC;YACvB,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACxD,CAAC;IACH,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAoB,EACpB,KAAe,EACf,UAAwB,EACxB,SAA6B,EAC7B,UAAkC;IAElC,IAAI,KAAK,CAAC,eAAe,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO;IAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC;QAAE,OAAO;IAE/C,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,wBAAwB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvE,IAAI,CAAC,UAAU,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO;IAElE,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,EAAE,QAAQ;QAAE,OAAO;IAE1C,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAClD,IAAI,OAAO,EAAE,CAAC;QACZ,SAAS,CAAC,IAAI,CAAC;YACb,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,YAAY,EAAE,QAAQ;YACtB,OAAO;YACP,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YACjC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;SACjC,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,IAAoB,EACpB,KAAe,EACf,UAAwB,EACxB,OAA8B;IAE9B,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,KAAK,CAAC,UAAU;QAAE,OAAO;IAEnD,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,KAAK,EAAE,QAAQ,EAAE,CAAC;QACpB,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,eAAe,GAAa,EAAE,CAAC;QACrC,IAAI,IAAI;YAAE,kBAAkB,CAAC,IAAI,EAAE,eAAe,EAAE,KAAK,CAAC,CAAC;QAC3D,OAAO,CAAC,IAAI,CAAC;YACX,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3C,eAAe;YACf,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;SACjC,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kBAAkB,CACzB,QAAwB,EACxB,KAAe,EACf,UAAwB,EACxB,UAA2B;IAE3B,sFAAsF;IACtF,0FAA0F;IAC1F,2EAA2E;IAC3E,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IACxE,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC3C,MAAM,UAAU,GAAG,KAAK,CAAC,gBAAgB;QACvC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,QAAQ,CAAC;QAClC,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,aAAa,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,IAAI,EAAE,CAAC;YACT,UAAU,CAAC,IAAI,CAAC;gBACd,QAAQ,EAAE,IAAI;gBACd,SAAS,EAAE,CAAC,CAAC,IAAI;gBACjB,UAAU,EAAE,CAAC,CAAC,KAAK;gBACnB,IAAI,EAAE,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,IAAI,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC;aACzE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,UAAU,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;IACnF,OAAO,IAAI,CAAC;AACd,CAAC;AAYD;;;GAGG;AACH,SAAS,oBAAoB,CAAC,GAAwB,EAAE,IAAoB;IAC1E,MAAM,EAAE,KAAK,EAAE,GAAG,GAAG,CAAC;IACtB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;IAEpB,IAAI,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;QAAE,OAAO;IAEvC,IAAI,KAAK,CAAC,UAAU,IAAI,CAAC,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;QAC/C,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACvD,OAAO;IACT,CAAC;IAED,IACE,CAAC,KAAK,CAAC,iBAAiB,IAAI,CAAC,KAAK,KAAK,CAAC,iBAAiB,CAAC;QAC1D,KAAK,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC,CAAC,EAChC,CAAC;QACD,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QAClF,OAAO;IACT,CAAC;IAED,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QACtB,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC1D,OAAO;IACT,CAAC;IAED,IAAI,KAAK,CAAC,cAAc,IAAI,CAAC,KAAK,KAAK,CAAC,cAAc,EAAE,CAAC;QACvD,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QAC9F,OAAO;IACT,CAAC;IAED,IAAI,KAAK,CAAC,kBAAkB,IAAI,CAAC,KAAK,KAAK,CAAC,kBAAkB,EAAE,CAAC;QAC/D,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IACrF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAe;IACnD,MAAM,UAAU,GAA2B,KAAK,CAAC,SAAS;QACxD,CAAC,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,QAAQ,CAAC;IAExC,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,MAAM,WAAW,GAAyB,EAAE,CAAC;IAC7C,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,MAAM,SAAS,GAAuB,EAAE,CAAC;IACzC,MAAM,UAAU,GAAiB,EAAE,CAAC;IACpC,gFAAgF;IAChF,mFAAmF;IACnF,wEAAwE;IACxE,uDAAuD;IACvD,MAAM,UAAU,GAAc,EAAE,CAAC;IAEjC,MAAM,WAAW,GAAwB;QACvC,KAAK;QACL,UAAU;QACV,OAAO;QACP,WAAW;QACX,QAAQ;QACR,SAAS;QACT,UAAU;KACX,CAAC;IAEF,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,iBAAiB,EAAE,KAAK,CAAC,aAAa;QAEtC,aAAa,CACX,QAAwB,EACxB,SAAwB,EACxB,QAAwB;YAExB,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;QAC/E,CAAC;QAED,YAAY,CACV,SAAyB,EACzB,SAAwB,EACxB,QAAwB;YAExB,IAAI,UAAU,CAAC,GAAG,EAAE;gBAAE,UAAU,CAAC,GAAG,EAAE,CAAC;QACzC,CAAC;QAED,SAAS,CAAC,IAAoB,EAAE,QAAwB;YACtD,oBAAoB,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACxC,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM;YACJ,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;QACnE,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/cli/commands/audit.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"audit.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/audit.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAErD,eAAO,MAAM,OAAO,EAAE,iBAuCrB,CAAC"}
+{"version":3,"file":"audit.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/audit.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAErD,eAAO,MAAM,OAAO,EAAE,iBAwCrB,CAAC"}

package/dist/cli/commands/audit.js

@@ -5,7 +5,8 @@ import { explain } from '../../presentation/queries-cli.js';
 import { config } from '../shared/options.js';
 export const command = {
     name: 'audit <target>',
-    description: 'Composite report: explain + impact + health metrics per function',
+    alias: 'explain',
+    description: 'Composite report: explain + impact + health metrics per function (alias: explain)',
     options: [
         ['-d, --db <path>', 'Path to graph.db'],
         ['--quick', 'Structural summary only (skip impact analysis and health metrics)'],