Searched refs:setCurrentCheckerName (Results 1 – 2 of 2) sorted by relevance
464 CheckerMgr.setCurrentCheckerName(CheckerNameRef(Checker->FullName)); in initializeManager()
162 void setCurrentCheckerName(CheckerNameRef name) { CurrentCheckerName = name; } in setCurrentCheckerName() function