Searched refs:CheckerMgr (Results 1 – 5 of 5) sorted by relevance
27 auto CheckerMgr = std::make_unique<CheckerManager>( in printCheckerHelp() local31 CheckerMgr->getCheckerRegistryData().printCheckerWithDescList( in printCheckerHelp()38 auto CheckerMgr = std::make_unique<CheckerManager>( in printEnabledCheckerList() local42 CheckerMgr->getCheckerRegistryData().printEnabledCheckerList(out); in printEnabledCheckerList()47 auto CheckerMgr = std::make_unique<CheckerManager>( in printCheckerConfigList() local51 CheckerMgr->getCheckerRegistryData().printCheckerOptionList( in printCheckerConfigList()
459 void CheckerRegistry::initializeManager(CheckerManager &CheckerMgr) const { in initializeManager()462 CheckerMgr.setCurrentCheckerName(CheckerNameRef(Checker->FullName)); in initializeManager()463 Checker->Initialize(CheckerMgr); in initializeManager()
44 CheckerManager *CheckerMgr; variable80 CheckerManager *getCheckerManager() const { return CheckerMgr; } in getCheckerManager()
39 CreateConstraintMgr(constraintmgr), CheckerMgr(checkerMgr), in AnalysisManager()
181 void initializeManager(CheckerManager &CheckerMgr) const;