Member predicate InterfaceType::hasMethod
Holds if the method set of this type contains a method named m of type t.
predicate hasMethod(string m, SignatureType t)Holds if the method set of this type contains a method named m of type t.
predicate hasMethod(string m, SignatureType t)