Member predicate InstanceAccess::isEnclosingInstanceAccess
Holds if this instance access is to an enclosing instance of type t
.
predicate isEnclosingInstanceAccess(RefType t)
Holds if this instance access is to an enclosing instance of type t
.
predicate isEnclosingInstanceAccess(RefType t)