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
Indirect supertypes
Known direct subtypes
Inherited predicates
getAnAccess | Gets an access of this | from SsaSourceVariable |
getAnSsaVariable | Gets an SSA variable that has this variable as its underlying source variable. | from SsaSourceVariable |
getEnclosingCallable | Gets the | 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 | from SsaSourceVariable |
toString | Gets a textual representation of this | from SsaSourceVariable |