Member predicate RefType::extendsOrImplements
Holds if t
is an immediate super-type of this type using only the immediate
extends
or implements
relationships. In particular, this excludes
parameter containment sub-typing for parameterized types.
predicate extendsOrImplements(RefType t)