Predicate hasDescendant
Holds if reference type anc is a direct or indirect supertype of sub, including itself.
Import path
import semmle.code.java.Typepredicate hasDescendant(RefType anc, Type sub)Holds if reference type anc is a direct or indirect supertype of sub, including itself.
import semmle.code.java.Typepredicate hasDescendant(RefType anc, Type sub)