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

TSsaSourceVariable

Known direct subtypes

SsaSourceField

Predicates

getAnAccess	Gets an access of this `SsaSourceVariable`. This access is within `this.getEnclosingCallable()`. Note that `LocalScopeVariable`s that are accessed from nested callables are therefore associated with several `SsaSourceVariable`s.
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`.