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 is declared in package pkg and has name tp.

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