Class PyEdgeRefinement
A Python specific sub-class of generic EssaEdgeRefinement
Import path
import pythonDirect supertypes
Indirect supertypes
Predicates
| getAPrimaryQlClass | Gets the name of the primary QL class for this element. |
| getRepresentation | Gets a representation of this SSA definition for debugging purposes. Since this is primarily for debugging and testing, performance may be poor. |
| getTest |
Inherited predicates
| getAUse | Gets a use of this definition as defined by the | from EssaEdgeRefinement |
| getBasicBlock | from EssaEdgeRefinement | |
| getInput | Gets the SSA variable to which this refinement applies. | from EssaEdgeRefinement |
| 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 | from EssaEdgeRefinement |
| getPredecessor | Gets the basic block preceding the edge on which this refinement occurs. | from EssaEdgeRefinement |
| getScope | Gets the scope of the variable defined by this definition. | from EssaEdgeRefinement |
| getSense | from EssaEdgeRefinement | |
| getSourceVariable | Gets the source variable for which this a definition, either explicit or implicit. | from EssaEdgeRefinement |
| getSuccessor | Gets the basic block succeeding the edge on which this refinement occurs. | from EssaEdgeRefinement |
| getVariable | from EssaDefinition | |
| reachesEndOfBlock | Holds if this definition reaches the end of | from EssaEdgeRefinement |
| toString | Gets a textual representation of this element. | from EssaEdgeRefinement |