Class SSA::EssaDefinition

Definition of an extended-SSA (ESSA) variable. There is exactly one definition for each variable, and exactly one variable for each definition.

Direct supertypes

Known direct subtypes

Predicates

getAUse

Gets a use of this definition as defined by the SsaSourceVariable class.

getLocation

Gets the location of a control flow node that is indicative of this definition. Since definitions may occur on edges of the control flow graph, the given location may be imprecise. Distinct EssaDefinitions may return the same ControlFlowNode even for the same variable.

getRepresentation

Gets a representation of this SSA definition for debugging purposes. Since this is primarily for debugging and testing, performance may be poor.

getScope
getSourceVariable

Gets the source variable for which this a definition, either explicit or implicit.

getVariable
reachesEndOfBlock

Holds if this definition reaches the end of b.

toString