Class EssaNodeRefinement
A definition of an ESSA variable that takes another ESSA variable as an input.
Import path
import python
Direct supertypes
Indirect supertypes
Known direct subtypes
Predicates
definedBy | |
getAPrimaryQlClass | Gets the name of the primary QL class for this element. |
getAUse | Gets a use of this definition as defined by the |
getBasicBlock | |
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 |
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 |
toString | Gets a textual representation of this element. |