A definition of an ESSA variable that takes another ESSA variable as an input.
Known direct subtypes
Gets a use of this definition as defined by the
Gets the ControlFlowNode corresponding to this definition
Gets the SSA variable to which this refinement applies.
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
Gets a representation of this SSA definition for debugging purposes. Since this is primarily for debugging and testing, performance may be poor.
Gets the source variable for which this a definition, either explicit or implicit.
Holds if this definition reaches the end of
Gets a textual representation of this element.