Member predicate InnerClass::hasEnclosingInstance
Holds if an instance of this inner class holds a reference to its enclosing class.
predicate hasEnclosingInstance()
Holds if an instance of this inner class holds a reference to its enclosing class.
predicate hasEnclosingInstance()