import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
import MISRAPass from "../MISRAPass.js";
import { PreprocessingReqs } from "../MISRAReporter.js";
export default class S16_SwitchStatementPass extends MISRAPass {
    protected _preprocessingReqs: PreprocessingReqs[];
    private _wellFormedSwitch;
    initRuleMapper(): void;
    matchJoinpoint($jp: LaraJoinPoint): boolean;
    private r16_1_16_3_wellFormedSwitch;
    private r16_2_topLevelSwitchLabels;
    private r16_4_switchHasDefault;
    private r16_5_defaultFirstOrLast;
    private r16_6_noTwoClauses;
    private r16_7_noEssentialBooleanInSwitch;
    protected _name: string;
}
//# sourceMappingURL=S16_SwitchStatementPass.d.ts.map