Member predicate Virtualizable :: isOverride
Holds if this member has the modifier override
.
predicate
isOverride
(
)