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
)