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