Member predicate RefType::declaresMethod
Holds if this type declares a method with the specified name and number of parameters.
predicate declaresMethod(string name, int n)Holds if this type declares a method with the specified name and number of parameters.
predicate declaresMethod(string name, int n)