Searched refs:MrwTypeChecker (Results 1 – 1 of 1) sorted by relevance
417 class MrwTypeChecker : public TypeChecker { class758 checkers_.push_back(new MrwTypeChecker()); in TypeCheckerList()