Trait Checker

Source

pub trait Checker<State: Lattice + Clone> {
    // Required methods
    fn check(&self, result: AnalysisResult<State>) -> bool;
    fn irmap(&self) -> &IRMap;
    fn aexec(&self, state: &mut State, ir_stmt: &Stmt, loc: &LocIdx);
    fn check_statement(
        &self,
        state: &State,
        ir_stmt: &Stmt,
        loc_idx: &LocIdx,
    ) -> bool;

    // Provided method
    fn check_state_at_statements(&self, result: AnalysisResult<State>) -> bool { ... }
}