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