Class PyEdgeRefinement
A Python specific sub-class of generic EssaEdgeRefinement
Import path
import python
Direct 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 |