@optave/codegraph 3.3.1 → 3.4.1

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

@@ -1,128 +1,7 @@
-/**
- * Visitor: Build intraprocedural Control Flow Graphs (CFGs) from tree-sitter AST.
- *
- * Replaces the statement-level traversal in cfg.js (buildFunctionCFG) with a
- * node-level visitor that plugs into the unified walkWithVisitors framework.
- * This eliminates the last redundant tree traversal (Mode B) in engine.js,
- * unifying all 4 analyses into a single DFS walk.
- *
- * The visitor builds basic blocks and edges incrementally via enterNode/exitNode
- * hooks, using a control-flow frame stack to track branch/loop/switch context.
- */
-// ── Node-type predicates ────────────────────────────────────────────────
-function isIfNode(type, cfgRules) {
-    return type === cfgRules.ifNode || cfgRules.ifNodes?.has(type);
-}
-function isForNode(type, cfgRules) {
-    return cfgRules.forNodes.has(type);
-}
-function isWhileNode(type, cfgRules) {
-    return type === cfgRules.whileNode || cfgRules.whileNodes?.has(type);
-}
-function isSwitchNode(type, cfgRules) {
-    return type === cfgRules.switchNode || cfgRules.switchNodes?.has(type);
-}
-function isCaseNode(type, cfgRules) {
-    return (type === cfgRules.caseNode || type === cfgRules.defaultNode || cfgRules.caseNodes?.has(type));
-}
-function isBlockNode(type, cfgRules) {
-    return type === 'statement_list' || type === cfgRules.blockNode || cfgRules.blockNodes?.has(type);
-}
-/** Check if a node is a control-flow statement that we handle specially */
-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);
-}
-// ── Utility functions ───────────────────────────────────────────────────
-/**
- * Get the actual control-flow node (unwrapping expression_statement if needed).
- */
-function effectiveNode(node, cfgRules) {
-    if (node.type === 'expression_statement' && node.namedChildCount === 1) {
-        const inner = node.namedChild(0);
-        if (isControlFlow(inner.type, cfgRules))
-            return inner;
-    }
-    return node;
-}
-/**
- * Register a loop/switch in label map for labeled break/continue.
- */
-function registerLabelCtx(S, headerBlock, exitBlock) {
-    for (const [, ctx] of S.labelMap) {
-        if (!ctx.headerBlock) {
-            ctx.headerBlock = headerBlock;
-            ctx.exitBlock = exitBlock;
-        }
-    }
-}
-/**
- * Get statements from a body node (block or single statement).
- * Returns effective (unwrapped) nodes.
- */
-function getBodyStatements(bodyNode, cfgRules) {
-    if (!bodyNode)
-        return [];
-    if (isBlockNode(bodyNode.type, cfgRules)) {
-        const stmts = [];
-        for (let i = 0; i < bodyNode.namedChildCount; i++) {
-            const child = bodyNode.namedChild(i);
-            if (child.type === 'statement_list') {
-                for (let j = 0; j < child.namedChildCount; j++) {
-                    stmts.push(child.namedChild(j));
-                }
-            }
-            else {
-                stmts.push(child);
-            }
-        }
-        return stmts;
-    }
-    return [bodyNode];
-}
-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,
-    };
-}
-// ── Statement processors ────────────────────────────────────────────────
+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) {
@@ -141,25 +20,25 @@ function processStatement(stmt, currentBlock, S, cfgRules) {
         return processLabeled(effNode, currentBlock, S, cfgRules);
     }
     if (isIfNode(type, cfgRules) || (cfgRules.unlessNode && type === cfgRules.unlessNode)) {
-        return processIf(effNode, currentBlock, S, cfgRules);
+        return processIf(effNode, currentBlock, S, cfgRules, processStatements);
     }
     if (isForNode(type, cfgRules)) {
-        return processForLoop(effNode, currentBlock, S, cfgRules);
+        return processForLoop(effNode, currentBlock, S, cfgRules, processStatements);
     }
     if (isWhileNode(type, cfgRules) || (cfgRules.untilNode && type === cfgRules.untilNode)) {
-        return processWhileLoop(effNode, currentBlock, S, cfgRules);
+        return processWhileLoop(effNode, currentBlock, S, cfgRules, processStatements);
     }
     if (cfgRules.doNode && type === cfgRules.doNode) {
-        return processDoWhileLoop(effNode, currentBlock, S, cfgRules);
+        return processDoWhileLoop(effNode, currentBlock, S, cfgRules, processStatements);
     }
     if (cfgRules.infiniteLoopNode && type === cfgRules.infiniteLoopNode) {
-        return processInfiniteLoop(effNode, currentBlock, S, cfgRules);
+        return processInfiniteLoop(effNode, currentBlock, S, cfgRules, processStatements);
     }
     if (isSwitchNode(type, cfgRules)) {
-        return processSwitch(effNode, currentBlock, S, cfgRules);
+        return processSwitch(effNode, currentBlock, S, cfgRules, processStatements);
     }
     if (cfgRules.tryNode && type === cfgRules.tryNode) {
-        return processTryCatch(effNode, currentBlock, S, cfgRules);
+        return processTryCatch(effNode, currentBlock, S, cfgRules, processStatements);
     }
     if (type === cfgRules.returnNode) {
         currentBlock.endLine = effNode.startPosition.row + 1;
@@ -177,14 +56,12 @@ function processStatement(stmt, currentBlock, S, cfgRules) {
     if (type === cfgRules.continueNode) {
         return processContinue(effNode, currentBlock, S);
     }
-    // Regular statement — extend current block
     if (!currentBlock.startLine) {
         currentBlock.startLine = stmt.startPosition.row + 1;
     }
     currentBlock.endLine = stmt.endPosition.row + 1;
     return currentBlock;
 }
-// ── Labeled / break / continue ──────────────────────────────────────────
 function processLabeled(node, currentBlock, S, cfgRules) {
     const labelNode = node.childForFieldName('label');
     const labelName = labelNode ? labelNode.text : null;
@@ -232,354 +109,9 @@ function processContinue(node, currentBlock, S) {
     }
     return currentBlock;
 }
-// ── If / else-if / else ─────────────────────────────────────────────────
-function processIf(ifStmt, currentBlock, S, cfgRules) {
-    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');
-    // True branch
-    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');
-    }
-    // False branch
-    if (cfgRules.elifNode) {
-        processElifSiblings(ifStmt, condBlock, joinBlock, S, cfgRules);
-    }
-    else {
-        processAlternative(ifStmt, condBlock, joinBlock, S, cfgRules);
-    }
-    return joinBlock;
-}
-function processAlternative(ifStmt, condBlock, joinBlock, S, cfgRules) {
-    const alternative = ifStmt.childForFieldName('alternative');
-    if (!alternative) {
-        S.addEdge(condBlock, joinBlock, 'branch_false');
-        return;
-    }
-    if (cfgRules.elseViaAlternative && alternative.type !== cfgRules.elseClause) {
-        // Pattern C: direct alternative (Go, Java, C#)
-        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);
-            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) {
-        // Pattern A: else_clause wrapper (JS/TS, Rust)
-        const elseChildren = [];
-        for (let i = 0; i < alternative.namedChildCount; i++) {
-            elseChildren.push(alternative.namedChild(i));
-        }
-        if (elseChildren.length === 1 && isIfNode(elseChildren[0].type, cfgRules)) {
-            const falseBlock = S.makeBlock('branch_false', null, null, 'else-if');
-            S.addEdge(condBlock, falseBlock, 'branch_false');
-            const elseIfEnd = processIf(elseChildren[0], falseBlock, S, cfgRules);
-            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) {
-    let lastCondBlock = firstCondBlock;
-    let foundElse = false;
-    for (let i = 0; i < ifStmt.namedChildCount; i++) {
-        const child = 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(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');
-    }
-}
-// ── Loops ───────────────────────────────────────────────────────────────
-function processForLoop(forStmt, currentBlock, S, cfgRules) {
-    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;
-}
-function processWhileLoop(whileStmt, currentBlock, S, cfgRules) {
-    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;
-}
-function processDoWhileLoop(doStmt, currentBlock, S, cfgRules) {
-    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;
-}
-function processInfiniteLoop(loopStmt, currentBlock, S, cfgRules) {
-    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');
-    // No loop_exit from header — only via break
-    S.loopStack.pop();
-    return loopExitBlock;
-}
-// ── Switch / match ──────────────────────────────────────────────────────
-function processSwitch(switchStmt, currentBlock, S, cfgRules) {
-    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 = 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 = 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(child.namedChild(k));
-                }
-            }
-            else {
-                stmts.push(child);
-            }
-        }
-    }
-    return stmts;
-}
-// ── Try / catch / finally ───────────────────────────────────────────────
-function processTryCatch(tryStmt, currentBlock, S, cfgRules) {
-    currentBlock.endLine = tryStmt.startPosition.row + 1;
-    const joinBlock = S.makeBlock('body');
-    // Try 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 = 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);
-    // Find catch and finally handlers
-    const { catchHandler, finallyHandler } = findTryHandlers(tryStmt, cfgRules);
-    if (catchHandler) {
-        processCatchHandler(catchHandler, tryBlock, tryEnd, finallyHandler, joinBlock, S, cfgRules);
-    }
-    else if (finallyHandler) {
-        processFinallyOnly(finallyHandler, tryEnd, joinBlock, S, cfgRules);
-    }
-    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 = 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) {
-    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(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) {
-    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');
-}
-// ── Enter-function body processing ──────────────────────────────────────
 function processFunctionBody(funcNode, S, cfgRules) {
     const body = funcNode.childForFieldName('body');
     if (!body) {
-        // No body — entry → exit
         S.blocks.length = 2;
         S.edges.length = 0;
         S.addEdge(S.entryBlock, S.exitBlock, 'fallthrough');
@@ -587,7 +119,6 @@ function processFunctionBody(funcNode, S, cfgRules) {
         return;
     }
     if (!isBlockNode(body.type, cfgRules)) {
-        // Expression body (e.g., arrow function `(x) => x + 1`)
         const bodyBlock = S.blocks[2];
         bodyBlock.startLine = body.startPosition.row + 1;
         bodyBlock.endLine = body.endPosition.row + 1;
@@ -595,7 +126,6 @@ function processFunctionBody(funcNode, S, cfgRules) {
         S.currentBlock = null;
         return;
     }
-    // Block body — process statements
     const stmts = getBodyStatements(body, cfgRules);
     if (stmts.length === 0) {
         S.blocks.length = 2;
@@ -611,13 +141,6 @@ function processFunctionBody(funcNode, S, cfgRules) {
     }
     S.currentBlock = null;
 }
-// ── Visitor factory ─────────────────────────────────────────────────────
-/**
- * Create a CFG visitor for use with walkWithVisitors.
- *
- * @param {object} cfgRules - CFG_RULES for the language
- * @returns {Visitor}
- */
 export function createCfgVisitor(cfgRules) {
     const funcStateStack = [];
     let S = null;
@@ -645,9 +168,7 @@ export function createCfgVisitor(cfgRules) {
             S = funcStateStack.length > 0 ? funcStateStack.pop() : null;
         },
         enterNode(_node, _context) {
-            // No-op — all CFG construction is done in enterFunction via processStatements.
-            // We intentionally do NOT return skipChildren so the walker recurses into
-            // children, allowing nested functions to trigger enterFunction/exitFunction.
+            // No-op
         },
         exitNode(_node, _context) {
             // No-op

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.js"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,2EAA2E;AAE3E,SAAS,QAAQ,CAAC,IAAI,EAAE,QAAQ;IAC9B,OAAO,IAAI,KAAK,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,SAAS,CAAC,IAAI,EAAE,QAAQ;IAC/B,OAAO,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,WAAW,CAAC,IAAI,EAAE,QAAQ;IACjC,OAAO,IAAI,KAAK,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,YAAY,CAAC,IAAI,EAAE,QAAQ;IAClC,OAAO,IAAI,KAAK,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,UAAU,CAAC,IAAI,EAAE,QAAQ;IAChC,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,SAAS,WAAW,CAAC,IAAI,EAAE,QAAQ;IACjC,OAAO,IAAI,KAAK,gBAAgB,IAAI,IAAI,KAAK,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;AACpG,CAAC;AAED,2EAA2E;AAC3E,SAAS,aAAa,CAAC,IAAI,EAAE,QAAQ;IACnC,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,2EAA2E;AAE3E;;GAEG;AACH,SAAS,aAAa,CAAC,IAAI,EAAE,QAAQ;IACnC,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,IAAI,IAAI,CAAC,eAAe,KAAK,CAAC,EAAE,CAAC;QACvE,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;IACxD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,CAAC,EAAE,WAAW,EAAE,SAAS;IACjD,KAAK,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QACjC,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;;;GAGG;AACH,SAAS,iBAAiB,CAAC,QAAQ,EAAE,QAAQ;IAC3C,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,CAAC;IACzB,IAAI,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,EAAE,CAAC;QACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;YAClD,MAAM,KAAK,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACrC,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,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClC,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,SAAS,aAAa;IACpB,MAAM,MAAM,GAAG,EAAE,CAAC;IAClB,MAAM,KAAK,GAAG,EAAE,CAAC;IACjB,IAAI,SAAS,GAAG,CAAC,CAAC;IAElB,SAAS,SAAS,CAAC,IAAI,EAAE,SAAS,GAAG,IAAI,EAAE,OAAO,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI;QACrE,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACtE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,SAAS,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI;QACnC,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;AAED,2EAA2E;AAE3E,SAAS,iBAAiB,CAAC,KAAK,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ;IACzD,IAAI,GAAG,GAAG,YAAY,CAAC;IACvB,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,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ;IACvD,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,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC9B,OAAO,cAAc,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC5D,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,CAAC,CAAC;IAC9D,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,CAAC,CAAC;IAChE,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,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QACjC,OAAO,aAAa,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC3D,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,CAAC,CAAC;IAC7D,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,2CAA2C;IAC3C,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,2EAA2E;AAE3E,SAAS,cAAc,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ;IACrD,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,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QACxD,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,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC;IACzC,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,GAAG,IAAI,CAAC;IAClB,IAAI,SAAS,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3C,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC;IAC/C,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,CAAC,CAAC,SAAS,CAAC;IACzD,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,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC;IAC5C,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,GAAG,IAAI,CAAC;IAClB,IAAI,SAAS,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3C,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC;IACjD,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,CAAC,CAAC,WAAW,CAAC;IAC3D,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,2EAA2E;AAE3E,SAAS,SAAS,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ;IAClD,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,cAAc;IACd,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,eAAe;IACf,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACtB,mBAAmB,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IACjE,CAAC;SAAM,CAAC;QACN,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IAChE,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ;IACnE,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,+CAA+C;QAC/C,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,CAAC,CAAC;YAClE,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,+CAA+C;QAC/C,MAAM,YAAY,GAAG,EAAE,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;YACrD,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC;QACD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC1E,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,YAAY,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;YACtE,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,CAAC,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ;IACzE,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,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAEnC,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,SAAS,CAAC;YACd,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,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;gBACtC,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,2EAA2E;AAE3E,SAAS,cAAc,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ;IACxD,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,GAAG,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC;IAC1D,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,SAAS,gBAAgB,CAAC,SAAS,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ;IAC5D,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,GAAG,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC;IAC1D,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,SAAS,kBAAkB,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ;IAC3D,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,GAAG,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC;IACrE,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,SAAS,mBAAmB,CAAC,QAAQ,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ;IAC9D,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,GAAG,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC;IAC1D,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,4CAA4C;IAC5C,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;IAClB,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,2EAA2E;AAE3E,SAAS,aAAa,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ;IAC1D,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,GAAG,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;IACtE,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,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAE3C,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,UAAU,EAAE,QAAQ;IAC3C,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,GAAG,EAAE,CAAC;IACjB,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,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACvC,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,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClC,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;AAED,2EAA2E;AAE3E,SAAS,eAAe,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ;IACzD,YAAY,CAAC,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;IAErD,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAEtC,WAAW;IACX,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,YAAY,CAAC;IACjB,IAAI,QAAQ,CAAC;IACb,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,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACpC,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,kCAAkC;IAClC,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,GAAG,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAE5E,IAAI,YAAY,EAAE,CAAC;QACjB,mBAAmB,CAAC,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC9F,CAAC;SAAM,IAAI,cAAc,EAAE,CAAC;QAC1B,kBAAkB,CAAC,cAAc,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;IACrE,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,CAAC,OAAO,EAAE,QAAQ;IACxC,IAAI,YAAY,GAAG,IAAI,CAAC;IACxB,IAAI,cAAc,GAAG,IAAI,CAAC;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACpC,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,YAAY,EACZ,QAAQ,EACR,MAAM,EACN,cAAc,EACd,SAAS,EACT,CAAC,EACD,QAAQ;IAER,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,UAAU,CAAC;IACf,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,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,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,CAAC,cAAc,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ;IACxE,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;AAED,2EAA2E;AAE3E,SAAS,mBAAmB,CAAC,QAAQ,EAAE,CAAC,EAAE,QAAQ;IAChD,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,yBAAyB;QACzB,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,wDAAwD;QACxD,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9B,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,kCAAkC;IAClC,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,CAAC,CAAC;IAC9B,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,2EAA2E;AAE3E;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAAQ;IACvC,MAAM,cAAc,GAAG,EAAE,CAAC;IAC1B,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,MAAM,OAAO,GAAG,EAAE,CAAC;IAEnB,OAAO;QACL,IAAI,EAAE,KAAK;QACX,iBAAiB,EAAE,QAAQ,CAAC,aAAa;QAEzC,aAAa,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ;YACzC,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,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ;YACxC,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,QAAQ;oBACpB,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,CAAC,cAAc,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9D,CAAC;QAED,SAAS,CAAC,KAAK,EAAE,QAAQ;YACvB,+EAA+E;YAC/E,0EAA0E;YAC1E,6EAA6E;QAC/E,CAAC;QAED,QAAQ,CAAC,KAAK,EAAE,QAAQ;YACtB,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;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"}