Class SingleSuccessorGuard
A pi-node (guard) with only one successor.
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. |
| getSense | |
| getTest | |
| useAndTest |
Inherited predicates
| definedBy | from EssaNodeRefinement | |
| getAUse |
Gets a use of this definition as defined by the |
from EssaNodeRefinement |
| getBasicBlock | from EssaNodeRefinement | |
| getDefiningNode |
Gets the ControlFlowNode corresponding to this definition |
from EssaNodeRefinement |
| getInput |
Gets the SSA variable to which this refinement applies. |
from EssaNodeRefinement |
| 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 EssaNodeRefinement |
| getScope | from EssaNodeRefinement | |
| getSourceVariable |
Gets the source variable for which this a definition, either explicit or implicit. |
from EssaNodeRefinement |
| getVariable | from EssaDefinition | |
| reachesEndOfBlock |
Holds if this definition reaches the end of |
from EssaNodeRefinement |
| toString |
Gets a textual representation of this element. |
from EssaNodeRefinement |