Member predicate Method::hasQualifiedName

Holds if this method has name m and belongs to the method set of a type T or *T where T has qualified name tp.

Note that meth.hasQualifiedName(tp, m) is almost, but not quite, equivalent to exists(Type t | tp = t.getQualifiedName() and meth = t.getMethod(m)): the latter distinguishes between the method sets of T and *T, while the former does not.