Member predicate MethodAccess :: isEnclosingMethodAccess
Holds if this is a method access to an instance method of the enclosing
class t
. That is, the qualifier is either an explicit or implicit
t
-qualified this
or super
.
predicate
isEnclosingMethodAccess
(
RefType
t
)