Searched refs:setCurrentCheckName (Results 1 – 2 of 2) sorted by relevance
112 checkerMgr.setCurrentCheckName(CheckName((*i)->FullName)); in initializeManager()
114 void setCurrentCheckName(CheckName name) { CurrentCheckName = name; } in setCurrentCheckName() function