CodeQL library for Java/Kotlin
codeql/java-all 0.9.0 (changelog, source)
Search

Class EnclosingInstanceAccess

An access to an enclosing instance.

Import path

import semmle.code.java.dataflow.InstanceAccess

Direct supertypes

Indirect supertypes

Predicates

getQualifier

Gets the implicit qualifier of this in the desugared representation.

Inherited predicates

getCfgNode

Gets the control flow node associated with this instance access.

from InstanceAccessExt
getEnclosingCallable

Gets the callable in which this instance access occurs.

from InstanceAccessExt
getLocation

Gets the source location for this element.

from InstanceAccessExt
getType

Gets the type of this instance access.

from InstanceAccessExt
isEnclosingInstanceAccess

Holds if this is an access to an enclosing instance.

from InstanceAccessExt
isExplicit

Holds if this is the explicit instance access ia.

from InstanceAccessExt
isImplicitEnclosingInstanceCapture

Holds if this is the implicit qualifier of cc.

from InstanceAccessExt
isImplicitEnclosingInstanceQualifier

Holds if this is the implicit qualifier of the desugared enclosing instance access enc.

from InstanceAccessExt
isImplicitFieldQualifier

Holds if this is the implicit qualifier of fa.

from InstanceAccessExt
isImplicitMethodQualifier

Holds if this is the implicit qualifier of ma.

from InstanceAccessExt
isImplicitThisConstructorArgument

Holds if this is the implicit this argument of cc, which is either a ThisConstructorInvocationStmt or a SuperConstructorInvocationStmt.

from InstanceAccessExt
isOwnInstanceAccess

Holds if this is an access to an object’s own instance.

from InstanceAccessExt
toString

Gets a textual representation of this element.

from InstanceAccessExt

Charpred