Searched refs:CurrentCheckerName (Results 1 – 1 of 1) sorted by relevance
131 CheckerNameRef CurrentCheckerName; variable162 void setCurrentCheckerName(CheckerNameRef name) { CurrentCheckerName = name; } in setCurrentCheckerName()163 CheckerNameRef getCurrentCheckerName() const { return CurrentCheckerName; } in getCurrentCheckerName()210 checker->Name = CurrentCheckerName; in registerChecker()