import { LaraJoinPoint } from "@specs-feup/lara/api/LaraJoinPoint.js";
import MISRAPass from "../MISRAPass.js";
import { PreprocessingReqs } from "../MISRAReporter.js";
export default class S13_SideEffectPass extends MISRAPass {
    protected _preprocessingReqs: PreprocessingReqs[];
    initRuleMapper(): void;
    matchJoinpoint($jp: LaraJoinPoint): boolean;
    private checkPotentialPersistentSideEffects;
    private r13_1_initListSideEffects;
    private static visitAllExprs;
    private checkIncrementSideEffects;
    private r13_3_noIncrementSideEffects;
    private r13_4_noUseOfAssignmentValue;
    private r13_5_shortCircuitSideEffects;
    private r13_6_sizeofSideEffects;
    protected _name: string;
}
//# sourceMappingURL=S13_SideEffectPass.d.ts.map