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