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
)