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

Class TrackedVariablesImpl::TrackedField

Import path

import semmle.code.java.dataflow.SSA

Direct supertypes

Indirect supertypes

Inherited predicates

getAnAccess

Gets an access of this SsaSourceVariable. This access is within this.getEnclosingCallable(). Note that LocalScopeVariables that are accessed from nested callables are therefore associated with several SsaSourceVariables.

from SsaSourceVariable
getAnSsaVariable

Gets an SSA variable that has this variable as its underlying source variable.

from SsaSourceVariable
getEnclosingCallable

Gets the Callable in which this SsaSourceVariable is defined.

from SsaSourceVariable
getField

Gets the field corresponding to this named field.

from SsaSourceField
getLocation

Gets the source location for this element.

from SsaSourceVariable
getQualifier

Gets the qualifier, if any.

from SsaSourceVariable
getType

Gets the type of this variable.

from SsaSourceVariable
getVariable

Gets the variable corresponding to this SsaSourceVariable.

from SsaSourceVariable
isVolatile

Holds if the field itself or any of the fields part of the qualifier are volatile.

from SsaSourceField
ppQualifier

Gets a string representation of the qualifier.

from SsaSourceField
toString

Gets a textual representation of this SsaSourceVariable.

from SsaSourceVariable