Class TrackedVariablesImpl :: TrackedVar

The variables that form the basis of the non-trivial SSA construction. Fields that aren’t tracked get a trivial SSA construction (a definition prior to every read).

Import path


                                import semmle.code.java.dataflow.SSA

Direct supertypes

SsaSourceVariable

Indirect supertypes

TSsaSourceVariable

Known direct subtypes

Inherited 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.	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

TrackedVar