import { Program, FileJp } from "@specs-feup/clava/api/Joinpoints.js";
import MISRAAnalyser from "../MISRAAnalyser.js";
export default class Section13_SideEffects extends MISRAAnalyser {
    ruleMapper: Map<number, (jp: Program | FileJp) => void>;
    constructor(rules: number[]);
    private checkPotentialPersistentSideEffects;
    private r13_1_initListSideEffects;
    private static visitAllExprs;
    private checkIncrementSideEffects;
    private r13_3_noIncrementSideEffects;
    private r13_4_noUseOfAssignmentValue;
    private r13_5_shortCircuitSideEffects;
}
//# sourceMappingURL=Section13_SideEffects.d.ts.map