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

Class SsaSourceVariable

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

This is either a local variable or a fully qualified field, q.f1.f2....fn, where the base qualifier q is either this, a local variable, or a type in case f1 is static.

Import path

import semmle.code.java.dataflow.SSA

Direct supertypes

Known direct subtypes

    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.

    getAnSsaVariable

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

    getEnclosingCallable

    Gets the Callable in which this SsaSourceVariable is defined.

    getLocation

    Gets the source location for this element.

    getQualifier

    Gets the qualifier, if any.

    getType

    Gets the type of this variable.

    getVariable

    Gets the variable corresponding to this SsaSourceVariable.

    toString

    Gets a textual representation of this SsaSourceVariable.