Searched refs:CheckerMgr (Results 1 – 2 of 2) sorted by relevance
42 CheckerManager *CheckerMgr; variable77 CheckerManager *getCheckerManager() const { return CheckerMgr; } in getCheckerManager()
35 CheckerMgr(checkerMgr), in AnalysisManager()