import cytoscape from "cytoscape";
import { Statement } from "../../../Joinpoints.js";
export default class NextCfgNode {
    /**
     * The AST node to process
     */
    private entryPoint;
    /**
     * Maps stmts to graph nodes
     */
    private nodes;
    /**
     * The end node of the graph
     */
    private endNode;
    constructor($entryPoint: Statement, nodes: Map<string, cytoscape.NodeSingular>, endNode: cytoscape.NodeSingular);
    /**
     *
     * @param $stmt -
     *
     * @returns the next graph node that executes unconditionally after the given stmt, or end node if no statement is executed
     */
    nextExecutedNode($stmt: Statement): cytoscape.NodeSingular;
    /**
     * @returns The next stmt that executes unconditionally after the given stmt, of undefined if no statement is executed
     */
    nextExecutedStmt($stmt: Statement): Statement | undefined;
    /**
     * @returns The the next stmt that executes unconditionally after the given scope, of undefined if no statement is executed
     */
    private nextExecutedStmtAfterScope;
}
//# sourceMappingURL=NextCfgNode.d.ts.map