@optave/codegraph 3.4.0 → 3.4.1

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"}