Searched refs:CurrentCheckerName (Results 1 – 1 of 1) sorted by relevance
132 CheckerNameRef CurrentCheckerName; variable163 void setCurrentCheckerName(CheckerNameRef name) { CurrentCheckerName = name; } in setCurrentCheckerName()164 CheckerNameRef getCurrentCheckerName() const { return CurrentCheckerName; } in getCurrentCheckerName()211 checker->Name = CurrentCheckerName; in registerChecker()