An ESSA definition corresponding to an edge refinement of the underlying variable. For example, the edges leaving a test on a variable both represent refinements of that variable. On one edge the test is true, on the other it is false.
Known direct subtypes
Gets a use of this definition as defined by the
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 the basic block preceding the edge on which this refinement occurs.
Gets a representation of this SSA definition for debugging purposes. Since this is primarily for debugging and testing, performance may be poor.
Gets the scope of the variable defined by this definition.
Gets the source variable for which this a definition, either explicit or implicit.
Gets the basic block succeeding the edge on which this refinement occurs.
Holds if this definition reaches the end of