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

Class SsaSourceField

A fully qualified field in the context of a Callable in which it is accessed.

Import path

import semmle.code.java.dataflow.SSA

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    getField

    Gets the field corresponding to this named field.

    isVolatile

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

    ppQualifier

    Gets a string representation of the qualifier.

    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
    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
    toString

    Gets a textual representation of this SsaSourceVariable.

    		from SsaSourceVariable

    Charpred

    SsaSourceField