Lines Matching refs:getCheckerManager
50 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, B, *this);
193 getCheckerManager().runCheckersForPostStmt(Dst, Tmp2, B, *this);
256 getCheckerManager().runCheckersForPostStmt(Dst, Tmp, BE, *this);
305 getCheckerManager().runCheckersForPreStmt(dstPreStmt, Pred, CastE, *this);
587 getCheckerManager().runCheckersForPreStmt(dstPreVisit, Pred, DS, *this);
635 getCheckerManager().runCheckersForPostStmt(Dst, B.getResults(), DS, *this);
870 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, Ex, *this);
904 getCheckerManager().runCheckersForPostStmt(Dst, EvalSet, Ex, *this);
928 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, U, *this);
1057 getCheckerManager().runCheckersForPostStmt(Dst, EvalSet, U, *this);