Searched refs:DcrTypeChecker (Results 1 – 1 of 1) sorted by relevance
261 class DcrTypeChecker : public TypeChecker { class754 checkers_.push_back(new DcrTypeChecker()); in TypeCheckerList()