@optave/codegraph 3.4.0 → 3.5.0

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

@@ -0,0 +1,166 @@
+import { getBodyStatements, isCaseNode, isIfNode, nn } from './cfg-shared.js';
+export function processIf(ifStmt, currentBlock, S, cfgRules, processStatements) {
+    currentBlock.endLine = ifStmt.startPosition.row + 1;
+    const condBlock = S.makeBlock('condition', ifStmt.startPosition.row + 1, ifStmt.startPosition.row + 1, 'if');
+    S.addEdge(currentBlock, condBlock, 'fallthrough');
+    const joinBlock = S.makeBlock('body');
+    const consequentField = cfgRules.ifConsequentField || 'consequence';
+    const consequent = ifStmt.childForFieldName(consequentField);
+    const trueBlock = S.makeBlock('branch_true', null, null, 'then');
+    S.addEdge(condBlock, trueBlock, 'branch_true');
+    const trueStmts = getBodyStatements(consequent, cfgRules);
+    const trueEnd = processStatements(trueStmts, trueBlock, S, cfgRules);
+    if (trueEnd) {
+        S.addEdge(trueEnd, joinBlock, 'fallthrough');
+    }
+    if (cfgRules.elifNode) {
+        processElifSiblings(ifStmt, condBlock, joinBlock, S, cfgRules, processStatements);
+    }
+    else {
+        processAlternative(ifStmt, condBlock, joinBlock, S, cfgRules, processStatements);
+    }
+    return joinBlock;
+}
+function processAlternative(ifStmt, condBlock, joinBlock, S, cfgRules, processStatements) {
+    const alternative = ifStmt.childForFieldName('alternative');
+    if (!alternative) {
+        S.addEdge(condBlock, joinBlock, 'branch_false');
+        return;
+    }
+    if (cfgRules.elseViaAlternative && alternative.type !== cfgRules.elseClause) {
+        if (isIfNode(alternative.type, cfgRules)) {
+            const falseBlock = S.makeBlock('branch_false', null, null, 'else-if');
+            S.addEdge(condBlock, falseBlock, 'branch_false');
+            const elseIfEnd = processIf(alternative, falseBlock, S, cfgRules, processStatements);
+            if (elseIfEnd)
+                S.addEdge(elseIfEnd, joinBlock, 'fallthrough');
+        }
+        else {
+            const falseBlock = S.makeBlock('branch_false', null, null, 'else');
+            S.addEdge(condBlock, falseBlock, 'branch_false');
+            const falseStmts = getBodyStatements(alternative, cfgRules);
+            const falseEnd = processStatements(falseStmts, falseBlock, S, cfgRules);
+            if (falseEnd)
+                S.addEdge(falseEnd, joinBlock, 'fallthrough');
+        }
+    }
+    else if (alternative.type === cfgRules.elseClause) {
+        const elseChildren = [];
+        for (let i = 0; i < alternative.namedChildCount; i++) {
+            elseChildren.push(nn(alternative.namedChild(i)));
+        }
+        const firstChild = elseChildren[0];
+        if (elseChildren.length === 1 && firstChild && isIfNode(firstChild.type, cfgRules)) {
+            const falseBlock = S.makeBlock('branch_false', null, null, 'else-if');
+            S.addEdge(condBlock, falseBlock, 'branch_false');
+            const elseIfEnd = processIf(firstChild, falseBlock, S, cfgRules, processStatements);
+            if (elseIfEnd)
+                S.addEdge(elseIfEnd, joinBlock, 'fallthrough');
+        }
+        else {
+            const falseBlock = S.makeBlock('branch_false', null, null, 'else');
+            S.addEdge(condBlock, falseBlock, 'branch_false');
+            const falseEnd = processStatements(elseChildren, falseBlock, S, cfgRules);
+            if (falseEnd)
+                S.addEdge(falseEnd, joinBlock, 'fallthrough');
+        }
+    }
+}
+function processElifSiblings(ifStmt, firstCondBlock, joinBlock, S, cfgRules, processStatements) {
+    let lastCondBlock = firstCondBlock;
+    let foundElse = false;
+    for (let i = 0; i < ifStmt.namedChildCount; i++) {
+        const child = nn(ifStmt.namedChild(i));
+        if (child.type === cfgRules.elifNode) {
+            const elifCondBlock = S.makeBlock('condition', child.startPosition.row + 1, child.startPosition.row + 1, 'else-if');
+            S.addEdge(lastCondBlock, elifCondBlock, 'branch_false');
+            const elifConsequentField = cfgRules.ifConsequentField || 'consequence';
+            const elifConsequent = child.childForFieldName(elifConsequentField);
+            const elifTrueBlock = S.makeBlock('branch_true', null, null, 'then');
+            S.addEdge(elifCondBlock, elifTrueBlock, 'branch_true');
+            const elifTrueStmts = getBodyStatements(elifConsequent, cfgRules);
+            const elifTrueEnd = processStatements(elifTrueStmts, elifTrueBlock, S, cfgRules);
+            if (elifTrueEnd)
+                S.addEdge(elifTrueEnd, joinBlock, 'fallthrough');
+            lastCondBlock = elifCondBlock;
+        }
+        else if (child.type === cfgRules.elseClause) {
+            const elseBlock = S.makeBlock('branch_false', null, null, 'else');
+            S.addEdge(lastCondBlock, elseBlock, 'branch_false');
+            const elseBody = child.childForFieldName('body');
+            let elseStmts;
+            if (elseBody) {
+                elseStmts = getBodyStatements(elseBody, cfgRules);
+            }
+            else {
+                elseStmts = [];
+                for (let j = 0; j < child.namedChildCount; j++) {
+                    elseStmts.push(nn(child.namedChild(j)));
+                }
+            }
+            const elseEnd = processStatements(elseStmts, elseBlock, S, cfgRules);
+            if (elseEnd)
+                S.addEdge(elseEnd, joinBlock, 'fallthrough');
+            foundElse = true;
+        }
+    }
+    if (!foundElse) {
+        S.addEdge(lastCondBlock, joinBlock, 'branch_false');
+    }
+}
+export function processSwitch(switchStmt, currentBlock, S, cfgRules, processStatements) {
+    currentBlock.endLine = switchStmt.startPosition.row + 1;
+    const switchHeader = S.makeBlock('condition', switchStmt.startPosition.row + 1, switchStmt.startPosition.row + 1, 'switch');
+    S.addEdge(currentBlock, switchHeader, 'fallthrough');
+    const joinBlock = S.makeBlock('body');
+    const switchCtx = { headerBlock: switchHeader, exitBlock: joinBlock };
+    S.loopStack.push(switchCtx);
+    const switchBody = switchStmt.childForFieldName('body');
+    const container = switchBody || switchStmt;
+    let hasDefault = false;
+    for (let i = 0; i < container.namedChildCount; i++) {
+        const caseClause = nn(container.namedChild(i));
+        const isDefault = caseClause.type === cfgRules.defaultNode;
+        const isCase = isDefault || isCaseNode(caseClause.type, cfgRules);
+        if (!isCase)
+            continue;
+        const caseLabel = isDefault ? 'default' : 'case';
+        const caseBlock = S.makeBlock('case', caseClause.startPosition.row + 1, null, caseLabel);
+        S.addEdge(switchHeader, caseBlock, isDefault ? 'branch_false' : 'branch_true');
+        if (isDefault)
+            hasDefault = true;
+        const caseStmts = extractCaseBody(caseClause, cfgRules);
+        const caseEnd = processStatements(caseStmts, caseBlock, S, cfgRules);
+        if (caseEnd)
+            S.addEdge(caseEnd, joinBlock, 'fallthrough');
+    }
+    if (!hasDefault) {
+        S.addEdge(switchHeader, joinBlock, 'branch_false');
+    }
+    S.loopStack.pop();
+    return joinBlock;
+}
+function extractCaseBody(caseClause, cfgRules) {
+    const caseBodyNode = caseClause.childForFieldName('body') || caseClause.childForFieldName('consequence');
+    if (caseBodyNode) {
+        return getBodyStatements(caseBodyNode, cfgRules);
+    }
+    const stmts = [];
+    const valueNode = caseClause.childForFieldName('value');
+    const patternNode = caseClause.childForFieldName('pattern');
+    for (let j = 0; j < caseClause.namedChildCount; j++) {
+        const child = nn(caseClause.namedChild(j));
+        if (child !== valueNode && child !== patternNode && child.type !== 'switch_label') {
+            if (child.type === 'statement_list') {
+                for (let k = 0; k < child.namedChildCount; k++) {
+                    stmts.push(nn(child.namedChild(k)));
+                }
+            }
+            else {
+                stmts.push(child);
+            }
+        }
+    }
+    return stmts;
+}
+//# sourceMappingURL=cfg-conditionals.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"cfg-conditionals.js","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/cfg-conditionals.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,iBAAiB,CAAC;AAE9E,MAAM,UAAU,SAAS,CACvB,MAAsB,EACtB,YAA8B,EAC9B,CAAY,EACZ,QAAkB,EAClB,iBAAsC;IAEtC,YAAY,CAAC,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;IAEpD,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAC3B,WAAW,EACX,MAAM,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAC5B,MAAM,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAC5B,IAAI,CACL,CAAC;IACF,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAElD,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAEtC,MAAM,eAAe,GAAG,QAAQ,CAAC,iBAAiB,IAAI,aAAa,CAAC;IACpE,MAAM,UAAU,GAAG,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACjE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,iBAAiB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC1D,MAAM,OAAO,GAAG,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IACrE,IAAI,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAC/C,CAAC;IAED,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACtB,mBAAmB,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IACpF,CAAC;SAAM,CAAC;QACN,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IACnF,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,kBAAkB,CACzB,MAAsB,EACtB,SAA2B,EAC3B,SAA2B,EAC3B,CAAY,EACZ,QAAkB,EAClB,iBAAsC;IAEtC,MAAM,WAAW,GAAG,MAAM,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;IAC5D,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;QAChD,OAAO;IACT,CAAC;IAED,IAAI,QAAQ,CAAC,kBAAkB,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC5E,IAAI,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;YACzC,MAAM,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YACtE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;YACjD,MAAM,SAAS,GAAG,SAAS,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;YACrF,IAAI,SAAS;gBAAE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;QAChE,CAAC;aAAM,CAAC;YACN,MAAM,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACnE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;YACjD,MAAM,UAAU,GAAG,iBAAiB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;YAC5D,MAAM,QAAQ,GAAG,iBAAiB,CAAC,UAAU,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;YACxE,IAAI,QAAQ;gBAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;SAAM,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ,CAAC,UAAU,EAAE,CAAC;QACpD,MAAM,YAAY,GAAqB,EAAE,CAAC;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;YACrD,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;QACD,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;YACnF,MAAM,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YACtE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;YACjD,MAAM,SAAS,GAAG,SAAS,CAAC,UAAU,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;YACpF,IAAI,SAAS;gBAAE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;QAChE,CAAC;aAAM,CAAC;YACN,MAAM,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACnE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;YACjD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,YAAY,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;YAC1E,IAAI,QAAQ;gBAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,MAAsB,EACtB,cAAgC,EAChC,SAA2B,EAC3B,CAAY,EACZ,QAAkB,EAClB,iBAAsC;IAEtC,IAAI,aAAa,GAAG,cAAc,CAAC;IACnC,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAEvC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACrC,MAAM,aAAa,GAAG,CAAC,CAAC,SAAS,CAC/B,WAAW,EACX,KAAK,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAC3B,KAAK,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAC3B,SAAS,CACV,CAAC;YACF,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;YAExD,MAAM,mBAAmB,GAAG,QAAQ,CAAC,iBAAiB,IAAI,aAAa,CAAC;YACxE,MAAM,cAAc,GAAG,KAAK,CAAC,iBAAiB,CAAC,mBAAmB,CAAC,CAAC;YACpE,MAAM,aAAa,GAAG,CAAC,CAAC,SAAS,CAAC,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACrE,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,aAAa,EAAE,aAAa,CAAC,CAAC;YACvD,MAAM,aAAa,GAAG,iBAAiB,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;YAClE,MAAM,WAAW,GAAG,iBAAiB,CAAC,aAAa,EAAE,aAAa,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;YACjF,IAAI,WAAW;gBAAE,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;YAElE,aAAa,GAAG,aAAa,CAAC;QAChC,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,UAAU,EAAE,CAAC;YAC9C,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAClE,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;YAEpD,MAAM,QAAQ,GAAG,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACjD,IAAI,SAA2B,CAAC;YAChC,IAAI,QAAQ,EAAE,CAAC;gBACb,SAAS,GAAG,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YACpD,CAAC;iBAAM,CAAC;gBACN,SAAS,GAAG,EAAE,CAAC;gBACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC/C,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC1C,CAAC;YACH,CAAC;YACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;YACrE,IAAI,OAAO;gBAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;YAE1D,SAAS,GAAG,IAAI,CAAC;QACnB,CAAC;IACH,CAAC;IAED,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,UAA0B,EAC1B,YAA8B,EAC9B,CAAY,EACZ,QAAkB,EAClB,iBAAsC;IAEtC,YAAY,CAAC,OAAO,GAAG,UAAU,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;IAExD,MAAM,YAAY,GAAG,CAAC,CAAC,SAAS,CAC9B,WAAW,EACX,UAAU,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAChC,UAAU,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAChC,QAAQ,CACT,CAAC;IACF,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAErD,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,SAAS,GAAY,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;IAC/E,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAE5B,MAAM,UAAU,GAAG,UAAU,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,UAAU,IAAI,UAAU,CAAC;IAE3C,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;QACnD,MAAM,UAAU,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAE/C,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,KAAK,QAAQ,CAAC,WAAW,CAAC;QAC3D,MAAM,MAAM,GAAG,SAAS,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAClE,IAAI,CAAC,MAAM;YAAE,SAAS;QAEtB,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;QACjD,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QACzF,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;QAC/E,IAAI,SAAS;YAAE,UAAU,GAAG,IAAI,CAAC;QAEjC,MAAM,SAAS,GAAG,eAAe,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QACrE,IAAI,OAAO;YAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAC5D,CAAC;IAED,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;IACrD,CAAC;IAED,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;IAClB,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,eAAe,CAAC,UAA0B,EAAE,QAAkB;IACrE,MAAM,YAAY,GAChB,UAAU,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;IACtF,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,iBAAiB,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,MAAM,SAAS,GAAG,UAAU,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACxD,MAAM,WAAW,GAAG,UAAU,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAC5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;QACpD,MAAM,KAAK,GAAG,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YAClF,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC/C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/ast-analysis/visitors/cfg-loops.d.ts

@@ -0,0 +1,7 @@
+import type { TreeSitterNode } from '../../types.js';
+import type { AnyRules, CfgBlockInternal, FuncState, ProcessStatementsFn } from './cfg-shared.js';
+export declare function processForLoop(forStmt: TreeSitterNode, currentBlock: CfgBlockInternal, S: FuncState, cfgRules: AnyRules, processStatements: ProcessStatementsFn): CfgBlockInternal;
+export declare function processWhileLoop(whileStmt: TreeSitterNode, currentBlock: CfgBlockInternal, S: FuncState, cfgRules: AnyRules, processStatements: ProcessStatementsFn): CfgBlockInternal;
+export declare function processDoWhileLoop(doStmt: TreeSitterNode, currentBlock: CfgBlockInternal, S: FuncState, cfgRules: AnyRules, processStatements: ProcessStatementsFn): CfgBlockInternal;
+export declare function processInfiniteLoop(loopStmt: TreeSitterNode, currentBlock: CfgBlockInternal, S: FuncState, cfgRules: AnyRules, processStatements: ProcessStatementsFn): CfgBlockInternal;
+//# sourceMappingURL=cfg-loops.d.ts.map

package/dist/ast-analysis/visitors/cfg-loops.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cfg-loops.d.ts","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/cfg-loops.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,KAAK,EACV,QAAQ,EACR,gBAAgB,EAChB,SAAS,EAET,mBAAmB,EACpB,MAAM,iBAAiB,CAAC;AAGzB,wBAAgB,cAAc,CAC5B,OAAO,EAAE,cAAc,EACvB,YAAY,EAAE,gBAAgB,EAC9B,CAAC,EAAE,SAAS,EACZ,QAAQ,EAAE,QAAQ,EAClB,iBAAiB,EAAE,mBAAmB,GACrC,gBAAgB,CAyBlB;AAED,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,cAAc,EACzB,YAAY,EAAE,gBAAgB,EAC9B,CAAC,EAAE,SAAS,EACZ,QAAQ,EAAE,QAAQ,EAClB,iBAAiB,EAAE,mBAAmB,GACrC,gBAAgB,CAyBlB;AAED,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,cAAc,EACtB,YAAY,EAAE,gBAAgB,EAC9B,CAAC,EAAE,SAAS,EACZ,QAAQ,EAAE,QAAQ,EAClB,iBAAiB,EAAE,mBAAmB,GACrC,gBAAgB,CAqBlB;AAED,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,gBAAgB,EAC9B,CAAC,EAAE,SAAS,EACZ,QAAQ,EAAE,QAAQ,EAClB,iBAAiB,EAAE,mBAAmB,GACrC,gBAAgB,CAwBlB"}

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

@@ -0,0 +1,73 @@
+import { getBodyStatements, registerLabelCtx } from './cfg-shared.js';
+export function processForLoop(forStmt, currentBlock, S, cfgRules, processStatements) {
+    const headerBlock = S.makeBlock('loop_header', forStmt.startPosition.row + 1, forStmt.startPosition.row + 1, 'for');
+    S.addEdge(currentBlock, headerBlock, 'fallthrough');
+    const loopExitBlock = S.makeBlock('body');
+    const loopCtx = { headerBlock, exitBlock: loopExitBlock };
+    S.loopStack.push(loopCtx);
+    registerLabelCtx(S, headerBlock, loopExitBlock);
+    const body = forStmt.childForFieldName('body');
+    const bodyBlock = S.makeBlock('loop_body');
+    S.addEdge(headerBlock, bodyBlock, 'branch_true');
+    const bodyStmts = getBodyStatements(body, cfgRules);
+    const bodyEnd = processStatements(bodyStmts, bodyBlock, S, cfgRules);
+    if (bodyEnd)
+        S.addEdge(bodyEnd, headerBlock, 'loop_back');
+    S.addEdge(headerBlock, loopExitBlock, 'loop_exit');
+    S.loopStack.pop();
+    return loopExitBlock;
+}
+export function processWhileLoop(whileStmt, currentBlock, S, cfgRules, processStatements) {
+    const headerBlock = S.makeBlock('loop_header', whileStmt.startPosition.row + 1, whileStmt.startPosition.row + 1, 'while');
+    S.addEdge(currentBlock, headerBlock, 'fallthrough');
+    const loopExitBlock = S.makeBlock('body');
+    const loopCtx = { headerBlock, exitBlock: loopExitBlock };
+    S.loopStack.push(loopCtx);
+    registerLabelCtx(S, headerBlock, loopExitBlock);
+    const body = whileStmt.childForFieldName('body');
+    const bodyBlock = S.makeBlock('loop_body');
+    S.addEdge(headerBlock, bodyBlock, 'branch_true');
+    const bodyStmts = getBodyStatements(body, cfgRules);
+    const bodyEnd = processStatements(bodyStmts, bodyBlock, S, cfgRules);
+    if (bodyEnd)
+        S.addEdge(bodyEnd, headerBlock, 'loop_back');
+    S.addEdge(headerBlock, loopExitBlock, 'loop_exit');
+    S.loopStack.pop();
+    return loopExitBlock;
+}
+export function processDoWhileLoop(doStmt, currentBlock, S, cfgRules, processStatements) {
+    const bodyBlock = S.makeBlock('loop_body', doStmt.startPosition.row + 1, null, 'do');
+    S.addEdge(currentBlock, bodyBlock, 'fallthrough');
+    const condBlock = S.makeBlock('loop_header', null, null, 'do-while');
+    const loopExitBlock = S.makeBlock('body');
+    const loopCtx = { headerBlock: condBlock, exitBlock: loopExitBlock };
+    S.loopStack.push(loopCtx);
+    registerLabelCtx(S, condBlock, loopExitBlock);
+    const body = doStmt.childForFieldName('body');
+    const bodyStmts = getBodyStatements(body, cfgRules);
+    const bodyEnd = processStatements(bodyStmts, bodyBlock, S, cfgRules);
+    if (bodyEnd)
+        S.addEdge(bodyEnd, condBlock, 'fallthrough');
+    S.addEdge(condBlock, bodyBlock, 'loop_back');
+    S.addEdge(condBlock, loopExitBlock, 'loop_exit');
+    S.loopStack.pop();
+    return loopExitBlock;
+}
+export function processInfiniteLoop(loopStmt, currentBlock, S, cfgRules, processStatements) {
+    const headerBlock = S.makeBlock('loop_header', loopStmt.startPosition.row + 1, loopStmt.startPosition.row + 1, 'loop');
+    S.addEdge(currentBlock, headerBlock, 'fallthrough');
+    const loopExitBlock = S.makeBlock('body');
+    const loopCtx = { headerBlock, exitBlock: loopExitBlock };
+    S.loopStack.push(loopCtx);
+    registerLabelCtx(S, headerBlock, loopExitBlock);
+    const body = loopStmt.childForFieldName('body');
+    const bodyBlock = S.makeBlock('loop_body');
+    S.addEdge(headerBlock, bodyBlock, 'branch_true');
+    const bodyStmts = getBodyStatements(body, cfgRules);
+    const bodyEnd = processStatements(bodyStmts, bodyBlock, S, cfgRules);
+    if (bodyEnd)
+        S.addEdge(bodyEnd, headerBlock, 'loop_back');
+    S.loopStack.pop();
+    return loopExitBlock;
+}
+//# sourceMappingURL=cfg-loops.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"cfg-loops.js","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/cfg-loops.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAEtE,MAAM,UAAU,cAAc,CAC5B,OAAuB,EACvB,YAA8B,EAC9B,CAAY,EACZ,QAAkB,EAClB,iBAAsC;IAEtC,MAAM,WAAW,GAAG,CAAC,CAAC,SAAS,CAC7B,aAAa,EACb,OAAO,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAC7B,OAAO,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAC7B,KAAK,CACN,CAAC;IACF,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;IAEpD,MAAM,aAAa,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAY,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC;IACnE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1B,gBAAgB,CAAC,CAAC,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;IAEhD,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAC3C,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAEjD,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IACrE,IAAI,OAAO;QAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAE1D,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;IACnD,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;IAClB,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,SAAyB,EACzB,YAA8B,EAC9B,CAAY,EACZ,QAAkB,EAClB,iBAAsC;IAEtC,MAAM,WAAW,GAAG,CAAC,CAAC,SAAS,CAC7B,aAAa,EACb,SAAS,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAC/B,SAAS,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAC/B,OAAO,CACR,CAAC;IACF,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;IAEpD,MAAM,aAAa,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAY,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC;IACnE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1B,gBAAgB,CAAC,CAAC,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;IAEhD,MAAM,IAAI,GAAG,SAAS,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAC3C,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAEjD,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IACrE,IAAI,OAAO;QAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAE1D,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;IACnD,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;IAClB,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,MAAsB,EACtB,YAA8B,EAC9B,CAAY,EACZ,QAAkB,EAClB,iBAAsC;IAEtC,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACrF,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAElD,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IACrE,MAAM,aAAa,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAE1C,MAAM,OAAO,GAAY,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC;IAC9E,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1B,gBAAgB,CAAC,CAAC,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAE9C,MAAM,IAAI,GAAG,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IACrE,IAAI,OAAO;QAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAE1D,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;IAC7C,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;IAEjD,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;IAClB,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,QAAwB,EACxB,YAA8B,EAC9B,CAAY,EACZ,QAAkB,EAClB,iBAAsC;IAEtC,MAAM,WAAW,GAAG,CAAC,CAAC,SAAS,CAC7B,aAAa,EACb,QAAQ,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAC9B,QAAQ,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAC9B,MAAM,CACP,CAAC;IACF,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;IAEpD,MAAM,aAAa,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAY,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC;IACnE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1B,gBAAgB,CAAC,CAAC,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;IAEhD,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAC3C,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAEjD,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IACrE,IAAI,OAAO;QAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAE1D,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;IAClB,OAAO,aAAa,CAAC;AACvB,CAAC"}

package/dist/ast-analysis/visitors/cfg-shared.d.ts

@@ -0,0 +1,56 @@
+import type { TreeSitterNode } from '../../types.js';
+export type AnyRules = any;
+/** Callback type for the mutual recursion with processStatements in cfg-visitor. */
+export type ProcessStatementsFn = (stmts: TreeSitterNode[], currentBlock: CfgBlockInternal, S: FuncState, cfgRules: AnyRules) => CfgBlockInternal | null;
+export declare function nn(node: TreeSitterNode | null, context?: string): TreeSitterNode;
+export interface CfgBlockInternal {
+    index: number;
+    type: string;
+    startLine: number | null;
+    endLine: number | null;
+    label: string | null;
+}
+export interface CfgEdgeInternal {
+    sourceIndex: number;
+    targetIndex: number;
+    kind: string;
+}
+export interface LabelCtx {
+    headerBlock: CfgBlockInternal | null;
+    exitBlock: CfgBlockInternal | null;
+}
+export interface LoopCtx {
+    headerBlock: CfgBlockInternal;
+    exitBlock: CfgBlockInternal;
+}
+export interface FuncState {
+    blocks: CfgBlockInternal[];
+    edges: CfgEdgeInternal[];
+    makeBlock(type: string, startLine?: number | null, endLine?: number | null, label?: string | null): CfgBlockInternal;
+    addEdge(source: CfgBlockInternal, target: CfgBlockInternal, kind: string): void;
+    entryBlock: CfgBlockInternal;
+    exitBlock: CfgBlockInternal;
+    currentBlock: CfgBlockInternal | null;
+    loopStack: LoopCtx[];
+    labelMap: Map<string, LabelCtx>;
+    cfgStack: FuncState[];
+    funcNode: TreeSitterNode | null;
+}
+export interface CFGResultInternal {
+    funcNode: TreeSitterNode;
+    blocks: CfgBlockInternal[];
+    edges: CfgEdgeInternal[];
+    cyclomatic: number;
+}
+export declare function isIfNode(type: string, cfgRules: AnyRules): boolean;
+export declare function isForNode(type: string, cfgRules: AnyRules): boolean;
+export declare function isWhileNode(type: string, cfgRules: AnyRules): boolean;
+export declare function isSwitchNode(type: string, cfgRules: AnyRules): boolean;
+export declare function isCaseNode(type: string, cfgRules: AnyRules): boolean;
+export declare function isBlockNode(type: string, cfgRules: AnyRules): boolean;
+export declare function isControlFlow(type: string, cfgRules: AnyRules): boolean;
+export declare function effectiveNode(node: TreeSitterNode, cfgRules: AnyRules): TreeSitterNode;
+export declare function registerLabelCtx(S: FuncState, headerBlock: CfgBlockInternal, exitBlock: CfgBlockInternal): void;
+export declare function getBodyStatements(bodyNode: TreeSitterNode | null, cfgRules: AnyRules): TreeSitterNode[];
+export declare function makeFuncState(): FuncState;
+//# sourceMappingURL=cfg-shared.d.ts.map

package/dist/ast-analysis/visitors/cfg-shared.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cfg-shared.d.ts","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/cfg-shared.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD,MAAM,MAAM,QAAQ,GAAG,GAAG,CAAC;AAE3B,oFAAoF;AACpF,MAAM,MAAM,mBAAmB,GAAG,CAChC,KAAK,EAAE,cAAc,EAAE,EACvB,YAAY,EAAE,gBAAgB,EAC9B,CAAC,EAAE,SAAS,EACZ,QAAQ,EAAE,QAAQ,KACf,gBAAgB,GAAG,IAAI,CAAC;AAE7B,wBAAgB,EAAE,CAAC,IAAI,EAAE,cAAc,GAAG,IAAI,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,cAAc,CAKhF;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CACtB;AAED,MAAM,WAAW,eAAe;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,QAAQ;IACvB,WAAW,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACrC,SAAS,EAAE,gBAAgB,GAAG,IAAI,CAAC;CACpC;AAED,MAAM,WAAW,OAAO;IACtB,WAAW,EAAE,gBAAgB,CAAC;IAC9B,SAAS,EAAE,gBAAgB,CAAC;CAC7B;AAED,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAC3B,KAAK,EAAE,eAAe,EAAE,CAAC;IACzB,SAAS,CACP,IAAI,EAAE,MAAM,EACZ,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,EACzB,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,EACvB,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,GACpB,gBAAgB,CAAC;IACpB,OAAO,CAAC,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAChF,UAAU,EAAE,gBAAgB,CAAC;IAC7B,SAAS,EAAE,gBAAgB,CAAC;IAC5B,YAAY,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACtC,SAAS,EAAE,OAAO,EAAE,CAAC;IACrB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAChC,QAAQ,EAAE,SAAS,EAAE,CAAC;IACtB,QAAQ,EAAE,cAAc,GAAG,IAAI,CAAC;CACjC;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,cAAc,CAAC;IACzB,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAC3B,KAAK,EAAE,eAAe,EAAE,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAElE;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAEnE;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAErE;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAEtE;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAIpE;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAErE;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAiBvE;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,GAAG,cAAc,CAMtF;AAED,wBAAgB,gBAAgB,CAC9B,CAAC,EAAE,SAAS,EACZ,WAAW,EAAE,gBAAgB,EAC7B,SAAS,EAAE,gBAAgB,GAC1B,IAAI,CAON;AAED,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,cAAc,GAAG,IAAI,EAC/B,QAAQ,EAAE,QAAQ,GACjB,cAAc,EAAE,CAiBlB;AAED,wBAAgB,aAAa,IAAI,SAAS,CAsCzC"}

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

@@ -0,0 +1,107 @@
+export function nn(node, context) {
+    if (node === null) {
+        throw new Error(`Unexpected null tree-sitter node${context ? ` (${context})` : ''}`);
+    }
+    return node;
+}
+export function isIfNode(type, cfgRules) {
+    return type === cfgRules.ifNode || cfgRules.ifNodes?.has(type);
+}
+export function isForNode(type, cfgRules) {
+    return cfgRules.forNodes.has(type);
+}
+export function isWhileNode(type, cfgRules) {
+    return type === cfgRules.whileNode || cfgRules.whileNodes?.has(type);
+}
+export function isSwitchNode(type, cfgRules) {
+    return type === cfgRules.switchNode || cfgRules.switchNodes?.has(type);
+}
+export function isCaseNode(type, cfgRules) {
+    return (type === cfgRules.caseNode || type === cfgRules.defaultNode || cfgRules.caseNodes?.has(type));
+}
+export function isBlockNode(type, cfgRules) {
+    return type === 'statement_list' || type === cfgRules.blockNode || cfgRules.blockNodes?.has(type);
+}
+export function isControlFlow(type, cfgRules) {
+    return (isIfNode(type, cfgRules) ||
+        (cfgRules.unlessNode && type === cfgRules.unlessNode) ||
+        isForNode(type, cfgRules) ||
+        isWhileNode(type, cfgRules) ||
+        (cfgRules.untilNode && type === cfgRules.untilNode) ||
+        (cfgRules.doNode && type === cfgRules.doNode) ||
+        (cfgRules.infiniteLoopNode && type === cfgRules.infiniteLoopNode) ||
+        isSwitchNode(type, cfgRules) ||
+        (cfgRules.tryNode && type === cfgRules.tryNode) ||
+        type === cfgRules.returnNode ||
+        type === cfgRules.throwNode ||
+        type === cfgRules.breakNode ||
+        type === cfgRules.continueNode ||
+        type === cfgRules.labeledNode);
+}
+export function effectiveNode(node, cfgRules) {
+    if (node.type === 'expression_statement' && node.namedChildCount === 1) {
+        const inner = nn(node.namedChild(0));
+        if (isControlFlow(inner.type, cfgRules))
+            return inner;
+    }
+    return node;
+}
+export function registerLabelCtx(S, headerBlock, exitBlock) {
+    for (const [, ctx] of Array.from(S.labelMap)) {
+        if (!ctx.headerBlock) {
+            ctx.headerBlock = headerBlock;
+            ctx.exitBlock = exitBlock;
+        }
+    }
+}
+export function getBodyStatements(bodyNode, cfgRules) {
+    if (!bodyNode)
+        return [];
+    if (isBlockNode(bodyNode.type, cfgRules)) {
+        const stmts = [];
+        for (let i = 0; i < bodyNode.namedChildCount; i++) {
+            const child = nn(bodyNode.namedChild(i));
+            if (child.type === 'statement_list') {
+                for (let j = 0; j < child.namedChildCount; j++) {
+                    stmts.push(nn(child.namedChild(j)));
+                }
+            }
+            else {
+                stmts.push(child);
+            }
+        }
+        return stmts;
+    }
+    return [bodyNode];
+}
+export function makeFuncState() {
+    const blocks = [];
+    const edges = [];
+    let nextIndex = 0;
+    function makeBlock(type, startLine = null, endLine = null, label = null) {
+        const block = { index: nextIndex++, type, startLine, endLine, label };
+        blocks.push(block);
+        return block;
+    }
+    function addEdge(source, target, kind) {
+        edges.push({ sourceIndex: source.index, targetIndex: target.index, kind });
+    }
+    const entry = makeBlock('entry');
+    const exit = makeBlock('exit');
+    const firstBody = makeBlock('body');
+    addEdge(entry, firstBody, 'fallthrough');
+    return {
+        blocks,
+        edges,
+        makeBlock,
+        addEdge,
+        entryBlock: entry,
+        exitBlock: exit,
+        currentBlock: firstBody,
+        loopStack: [],
+        labelMap: new Map(),
+        cfgStack: [],
+        funcNode: null,
+    };
+}
+//# sourceMappingURL=cfg-shared.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"cfg-shared.js","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/cfg-shared.ts"],"names":[],"mappings":"AAYA,MAAM,UAAU,EAAE,CAAC,IAA2B,EAAE,OAAgB;IAC9D,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,mCAAmC,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAoDD,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,QAAkB;IACvD,OAAO,IAAI,KAAK,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAY,EAAE,QAAkB;IACxD,OAAO,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,QAAkB;IAC1D,OAAO,IAAI,KAAK,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,QAAkB;IAC3D,OAAO,IAAI,KAAK,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;AACzE,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,QAAkB;IACzD,OAAO,CACL,IAAI,KAAK,QAAQ,CAAC,QAAQ,IAAI,IAAI,KAAK,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,CAC7F,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,QAAkB;IAC1D,OAAO,IAAI,KAAK,gBAAgB,IAAI,IAAI,KAAK,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;AACpG,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,QAAkB;IAC5D,OAAO,CACL,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;QACxB,CAAC,QAAQ,CAAC,UAAU,IAAI,IAAI,KAAK,QAAQ,CAAC,UAAU,CAAC;QACrD,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC;QACzB,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC;QAC3B,CAAC,QAAQ,CAAC,SAAS,IAAI,IAAI,KAAK,QAAQ,CAAC,SAAS,CAAC;QACnD,CAAC,QAAQ,CAAC,MAAM,IAAI,IAAI,KAAK,QAAQ,CAAC,MAAM,CAAC;QAC7C,CAAC,QAAQ,CAAC,gBAAgB,IAAI,IAAI,KAAK,QAAQ,CAAC,gBAAgB,CAAC;QACjE,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC;QAC5B,CAAC,QAAQ,CAAC,OAAO,IAAI,IAAI,KAAK,QAAQ,CAAC,OAAO,CAAC;QAC/C,IAAI,KAAK,QAAQ,CAAC,UAAU;QAC5B,IAAI,KAAK,QAAQ,CAAC,SAAS;QAC3B,IAAI,KAAK,QAAQ,CAAC,SAAS;QAC3B,IAAI,KAAK,QAAQ,CAAC,YAAY;QAC9B,IAAI,KAAK,QAAQ,CAAC,WAAW,CAC9B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAoB,EAAE,QAAkB;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,IAAI,IAAI,CAAC,eAAe,KAAK,CAAC,EAAE,CAAC;QACvE,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;IACxD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,CAAY,EACZ,WAA6B,EAC7B,SAA2B;IAE3B,KAAK,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7C,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC;YACrB,GAAG,CAAC,WAAW,GAAG,WAAW,CAAC;YAC9B,GAAG,CAAC,SAAS,GAAG,SAAS,CAAC;QAC5B,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,QAA+B,EAC/B,QAAkB;IAElB,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,CAAC;IACzB,IAAI,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QACzC,MAAM,KAAK,GAAqB,EAAE,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;YAClD,MAAM,KAAK,GAAG,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YACzC,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC/C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,QAAQ,CAAC,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,aAAa;IAC3B,MAAM,MAAM,GAAuB,EAAE,CAAC;IACtC,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,IAAI,SAAS,GAAG,CAAC,CAAC;IAElB,SAAS,SAAS,CAChB,IAAY,EACZ,YAA2B,IAAI,EAC/B,UAAyB,IAAI,EAC7B,QAAuB,IAAI;QAE3B,MAAM,KAAK,GAAqB,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACxF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,SAAS,OAAO,CAAC,MAAwB,EAAE,MAAwB,EAAE,IAAY;QAC/E,KAAK,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAC/B,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACpC,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAEzC,OAAO;QACL,MAAM;QACN,KAAK;QACL,SAAS;QACT,OAAO;QACP,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,IAAI;QACf,YAAY,EAAE,SAAS;QACvB,SAAS,EAAE,EAAE;QACb,QAAQ,EAAE,IAAI,GAAG,EAAE;QACnB,QAAQ,EAAE,EAAE;QACZ,QAAQ,EAAE,IAAI;KACf,CAAC;AACJ,CAAC"}

package/dist/ast-analysis/visitors/cfg-try-catch.d.ts

@@ -0,0 +1,4 @@
+import type { TreeSitterNode } from '../../types.js';
+import type { AnyRules, CfgBlockInternal, FuncState, ProcessStatementsFn } from './cfg-shared.js';
+export declare function processTryCatch(tryStmt: TreeSitterNode, currentBlock: CfgBlockInternal, S: FuncState, cfgRules: AnyRules, processStatements: ProcessStatementsFn): CfgBlockInternal;
+//# sourceMappingURL=cfg-try-catch.d.ts.map

package/dist/ast-analysis/visitors/cfg-try-catch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cfg-try-catch.d.ts","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/cfg-try-catch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAE,gBAAgB,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAGlG,wBAAgB,eAAe,CAC7B,OAAO,EAAE,cAAc,EACvB,YAAY,EAAE,gBAAgB,EAC9B,CAAC,EAAE,SAAS,EACZ,QAAQ,EAAE,QAAQ,EAClB,iBAAiB,EAAE,mBAAmB,GACrC,gBAAgB,CA8ClB"}

package/dist/ast-analysis/visitors/cfg-try-catch.js

@@ -0,0 +1,100 @@
+import { getBodyStatements, nn } from './cfg-shared.js';
+export function processTryCatch(tryStmt, currentBlock, S, cfgRules, processStatements) {
+    currentBlock.endLine = tryStmt.startPosition.row + 1;
+    const joinBlock = S.makeBlock('body');
+    const tryBody = tryStmt.childForFieldName('body');
+    let tryBodyStart;
+    let tryStmts;
+    if (tryBody) {
+        tryBodyStart = tryBody.startPosition.row + 1;
+        tryStmts = getBodyStatements(tryBody, cfgRules);
+    }
+    else {
+        tryBodyStart = tryStmt.startPosition.row + 1;
+        tryStmts = [];
+        for (let i = 0; i < tryStmt.namedChildCount; i++) {
+            const child = nn(tryStmt.namedChild(i));
+            if (cfgRules.catchNode && child.type === cfgRules.catchNode)
+                continue;
+            if (cfgRules.finallyNode && child.type === cfgRules.finallyNode)
+                continue;
+            tryStmts.push(child);
+        }
+    }
+    const tryBlock = S.makeBlock('body', tryBodyStart, null, 'try');
+    S.addEdge(currentBlock, tryBlock, 'fallthrough');
+    const tryEnd = processStatements(tryStmts, tryBlock, S, cfgRules);
+    const { catchHandler, finallyHandler } = findTryHandlers(tryStmt, cfgRules);
+    if (catchHandler) {
+        processCatchHandler(catchHandler, tryBlock, tryEnd, finallyHandler, joinBlock, S, cfgRules, processStatements);
+    }
+    else if (finallyHandler) {
+        processFinallyOnly(finallyHandler, tryEnd, joinBlock, S, cfgRules, processStatements);
+    }
+    else {
+        if (tryEnd)
+            S.addEdge(tryEnd, joinBlock, 'fallthrough');
+    }
+    return joinBlock;
+}
+function findTryHandlers(tryStmt, cfgRules) {
+    let catchHandler = null;
+    let finallyHandler = null;
+    for (let i = 0; i < tryStmt.namedChildCount; i++) {
+        const child = nn(tryStmt.namedChild(i));
+        if (cfgRules.catchNode && child.type === cfgRules.catchNode)
+            catchHandler = child;
+        if (cfgRules.finallyNode && child.type === cfgRules.finallyNode)
+            finallyHandler = child;
+    }
+    return { catchHandler, finallyHandler };
+}
+function processCatchHandler(catchHandler, tryBlock, tryEnd, finallyHandler, joinBlock, S, cfgRules, processStatements) {
+    const catchBlock = S.makeBlock('catch', catchHandler.startPosition.row + 1, null, 'catch');
+    S.addEdge(tryBlock, catchBlock, 'exception');
+    const catchBodyNode = catchHandler.childForFieldName('body');
+    let catchStmts;
+    if (catchBodyNode) {
+        catchStmts = getBodyStatements(catchBodyNode, cfgRules);
+    }
+    else {
+        catchStmts = [];
+        for (let i = 0; i < catchHandler.namedChildCount; i++) {
+            catchStmts.push(nn(catchHandler.namedChild(i)));
+        }
+    }
+    const catchEnd = processStatements(catchStmts, catchBlock, S, cfgRules);
+    if (finallyHandler) {
+        const finallyBlock = S.makeBlock('finally', finallyHandler.startPosition.row + 1, null, 'finally');
+        if (tryEnd)
+            S.addEdge(tryEnd, finallyBlock, 'fallthrough');
+        if (catchEnd)
+            S.addEdge(catchEnd, finallyBlock, 'fallthrough');
+        const finallyBodyNode = finallyHandler.childForFieldName('body');
+        const finallyStmts = finallyBodyNode
+            ? getBodyStatements(finallyBodyNode, cfgRules)
+            : getBodyStatements(finallyHandler, cfgRules);
+        const finallyEnd = processStatements(finallyStmts, finallyBlock, S, cfgRules);
+        if (finallyEnd)
+            S.addEdge(finallyEnd, joinBlock, 'fallthrough');
+    }
+    else {
+        if (tryEnd)
+            S.addEdge(tryEnd, joinBlock, 'fallthrough');
+        if (catchEnd)
+            S.addEdge(catchEnd, joinBlock, 'fallthrough');
+    }
+}
+function processFinallyOnly(finallyHandler, tryEnd, joinBlock, S, cfgRules, processStatements) {
+    const finallyBlock = S.makeBlock('finally', finallyHandler.startPosition.row + 1, null, 'finally');
+    if (tryEnd)
+        S.addEdge(tryEnd, finallyBlock, 'fallthrough');
+    const finallyBodyNode = finallyHandler.childForFieldName('body');
+    const finallyStmts = finallyBodyNode
+        ? getBodyStatements(finallyBodyNode, cfgRules)
+        : getBodyStatements(finallyHandler, cfgRules);
+    const finallyEnd = processStatements(finallyStmts, finallyBlock, S, cfgRules);
+    if (finallyEnd)
+        S.addEdge(finallyEnd, joinBlock, 'fallthrough');
+}
+//# sourceMappingURL=cfg-try-catch.js.map

package/dist/ast-analysis/visitors/cfg-try-catch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cfg-try-catch.js","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/cfg-try-catch.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,iBAAiB,EAAE,EAAE,EAAE,MAAM,iBAAiB,CAAC;AAExD,MAAM,UAAU,eAAe,CAC7B,OAAuB,EACvB,YAA8B,EAC9B,CAAY,EACZ,QAAkB,EAClB,iBAAsC;IAEtC,YAAY,CAAC,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;IAErD,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAEtC,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,YAAoB,CAAC;IACzB,IAAI,QAA0B,CAAC;IAC/B,IAAI,OAAO,EAAE,CAAC;QACZ,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;QAC7C,QAAQ,GAAG,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClD,CAAC;SAAM,CAAC;QACN,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;QAC7C,QAAQ,GAAG,EAAE,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,IAAI,QAAQ,CAAC,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,SAAS;gBAAE,SAAS;YACtE,IAAI,QAAQ,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,WAAW;gBAAE,SAAS;YAC1E,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAChE,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IAElE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,GAAG,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAE5E,IAAI,YAAY,EAAE,CAAC;QACjB,mBAAmB,CACjB,YAAY,EACZ,QAAQ,EACR,MAAM,EACN,cAAc,EACd,SAAS,EACT,CAAC,EACD,QAAQ,EACR,iBAAiB,CAClB,CAAC;IACJ,CAAC;SAAM,IAAI,cAAc,EAAE,CAAC;QAC1B,kBAAkB,CAAC,cAAc,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IACxF,CAAC;SAAM,CAAC;QACN,IAAI,MAAM;YAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAC1D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,eAAe,CACtB,OAAuB,EACvB,QAAkB;IAElB,IAAI,YAAY,GAA0B,IAAI,CAAC;IAC/C,IAAI,cAAc,GAA0B,IAAI,CAAC;IACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,QAAQ,CAAC,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,SAAS;YAAE,YAAY,GAAG,KAAK,CAAC;QAClF,IAAI,QAAQ,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,WAAW;YAAE,cAAc,GAAG,KAAK,CAAC;IAC1F,CAAC;IACD,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,mBAAmB,CAC1B,YAA4B,EAC5B,QAA0B,EAC1B,MAA+B,EAC/B,cAAqC,EACrC,SAA2B,EAC3B,CAAY,EACZ,QAAkB,EAClB,iBAAsC;IAEtC,MAAM,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,YAAY,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3F,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IAE7C,MAAM,aAAa,GAAG,YAAY,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC7D,IAAI,UAA4B,CAAC;IACjC,IAAI,aAAa,EAAE,CAAC;QAClB,UAAU,GAAG,iBAAiB,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;IAC1D,CAAC;SAAM,CAAC;QACN,UAAU,GAAG,EAAE,CAAC;QAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;YACtD,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,UAAU,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IAExE,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,YAAY,GAAG,CAAC,CAAC,SAAS,CAC9B,SAAS,EACT,cAAc,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EACpC,IAAI,EACJ,SAAS,CACV,CAAC;QACF,IAAI,MAAM;YAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;QAC3D,IAAI,QAAQ;YAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;QAE/D,MAAM,eAAe,GAAG,cAAc,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACjE,MAAM,YAAY,GAAG,eAAe;YAClC,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,QAAQ,CAAC;YAC9C,CAAC,CAAC,iBAAiB,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,iBAAiB,CAAC,YAAY,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC9E,IAAI,UAAU;YAAE,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAClE,CAAC;SAAM,CAAC;QACN,IAAI,MAAM;YAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;QACxD,IAAI,QAAQ;YAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,cAA8B,EAC9B,MAA+B,EAC/B,SAA2B,EAC3B,CAAY,EACZ,QAAkB,EAClB,iBAAsC;IAEtC,MAAM,YAAY,GAAG,CAAC,CAAC,SAAS,CAC9B,SAAS,EACT,cAAc,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,EACpC,IAAI,EACJ,SAAS,CACV,CAAC;IACF,IAAI,MAAM;QAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;IAE3D,MAAM,eAAe,GAAG,cAAc,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACjE,MAAM,YAAY,GAAG,eAAe;QAClC,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,QAAQ,CAAC;QAC9C,CAAC,CAAC,iBAAiB,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,iBAAiB,CAAC,YAAY,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC9E,IAAI,UAAU;QAAE,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;AAClE,CAAC"}

package/dist/ast-analysis/visitors/cfg-visitor.d.ts

@@ -1,5 +1,5 @@
 import type { Visitor } from '../../types.js';
-type AnyRules = any;
+import type { AnyRules } from './cfg-shared.js';
+export type { CfgBlockInternal } from './cfg-shared.js';
 export declare function createCfgVisitor(cfgRules: AnyRules): Visitor;
-export {};
 //# sourceMappingURL=cfg-visitor.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"cfg-visitor.d.ts","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/cfg-visitor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAkB,OAAO,EAAkB,MAAM,gBAAgB,CAAC;AAG9E,KAAK,QAAQ,GAAG,GAAG,CAAC;AAqzBpB,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAiD5D"}
+{"version":3,"file":"cfg-visitor.d.ts","sourceRoot":"","sources":["../../../src/ast-analysis/visitors/cfg-visitor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAkB,OAAO,EAAkB,MAAM,gBAAgB,CAAC;AAQ9E,OAAO,KAAK,EACV,QAAQ,EAKT,MAAM,iBAAiB,CAAC;AAazB,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAgLxD,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,CAiD5D"}