Class SSA::EssaNodeRefinement

A definition of an ESSA variable that takes another ESSA variable as an input.

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

definedBy
getAUse

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

getDefiningNode

Gets the ControlFlowNode corresponding to this definition

getInput

Gets the SSA variable to which this refinement applies.

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.

reachesEndOfBlock

Holds if this definition reaches the end of b.

toString

Inherited predicates