Member predicate Type::RefType::hasMethod

Holds if this type declares or inherits method m, which is declared in declaringType.

predicate hasMethod(Method m, RefType declaringType)