Searched defs:getCheckerManager (Results 1 – 4 of 4) sorted by relevance
80 CheckerManager *getCheckerManager() const { return CheckerMgr; } in getCheckerManager() function
127 CheckerManager &getCheckerManager() const { in getCheckerManager() function
214 CheckerManager &getCheckerManager() const { in getCheckerManager() function