import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
import MISRAPass from "../MISRAPass.js";
import { PreprocessingReqs } from "../MISRAReporter.js";
export default class S15_ControlFlowPass extends MISRAPass {
    protected _preprocessingReqs: PreprocessingReqs[];
    private _labelMap;
    initRuleMapper(): void;
    matchJoinpoint($jp: LaraJoinPoint): boolean;
    private r15_1_noGoto;
    private static isBeforeInCode;
    private r15_2_noBackJumps;
    private computeLabelMap;
    private r15_3_gotoBlockEnclosed;
    private static countBreakExits;
    private static countGotoExits;
    private r15_4_loopSingleBreak;
    protected _name: string;
}
//# sourceMappingURL=S15_ControlFlowPass.d.ts.map