Predicate declaresMember
Holds if type t declares member m.
Import path
import semmle.code.java.Typepredicate declaresMember(Type t, @member m)Holds if type t declares member m.
import semmle.code.java.Typepredicate declaresMember(Type t, @member m)