Class TrackedSsaDef
An SSA definition excluding those variables that use a trivial SSA construction.
Import path
import semmle.code.java.dataflow.internal.BaseSSADirect supertypes
Indirect supertypes
Predicates
| definesAt | Holds if this SSA definition occurs at the specified position. Phi nodes are placed at index -1. |
Inherited predicates
| getAFirstUse | Gets an access of the SSA source variable underlying this SSA variable that can be reached from this SSA variable without passing through any other uses, but potentially through phi nodes. | from BaseSsaVariable |
| getAUse | Gets an access of this SSA variable. | from BaseSsaVariable |
| getAnUltimateDefinition | Gets a definition that ultimately defines this variable and is not itself a phi node. | from BaseSsaVariable |
| getAnUltimateLocalDefinition | Gets a definition in the same callable that ultimately defines this variable and is not itself a phi node. | from BaseSsaVariable |
| getBasicBlock | Gets the | from BaseSsaVariable |
| getCfgNode | Gets the | from BaseSsaVariable |
| getLocation | Gets the source location for this element. | from BaseSsaVariable |
| getSourceVariable | Gets the SSA source variable underlying this SSA variable. | from BaseSsaVariable |
| isLiveAtEndOfBlock | Holds if this SSA variable is live at the end of | from BaseSsaVariable |
| toString | Gets a textual representation of this element. | from BaseSsaVariable |