Class BasicBlock
A basic block (ignoring exceptional flow edges to scope exit)
Import path
import python
Direct supertypes
Known direct subtypes
Predicates
alwaysReaches |
Holds if flow from this BasicBlock always reaches |
contains |
Whether this basic block contains the specified node |
dominanceFrontier |
Dominance frontier of a node x is the set of all nodes |
dominates |
Whether this basic block dominates the other |
getAFalseSuccessor |
Gets a false successor to this basic block |
getAPredecessor |
Gets a predecessor to this basic block |
getASuccessor |
Gets a successor to this basic block |
getATrueSuccessor |
Gets a true successor to this basic block |
getAnExceptionalSuccessor |
Gets an exceptional successor to this basic block |
getAnUnconditionalSuccessor |
Gets an unconditional successor to this basic block |
getImmediateDominator | |
getImmediatelyControllingBlock |
Gets the |
getLastNode |
Gets the last node in this basic block |
getNode |
Gets the nth node in this basic block |
getScope |
Gets the scope of this block |
hasLocationInfo |
Holds if this element is at the specified location. The location spans column |
likelyReachable |
Whether (as inferred by type inference) this basic block is likely to be reachable. |
reaches |
Holds if this basic block reaches the other. Is the start of other reachable from the end of this. |
reachesExit |
Whether flow from this basic block reaches a normal exit from its scope |
strictlyDominates |
Whether this basic block strictly dominates the other |
strictlyReaches |
Holds if this basic block strictly reaches the other. Is the start of other reachable from the end of this. |
toString |
Gets a textual representation of this element. |
unlikelySuccessor |
Whether (as inferred by type inference) it is highly unlikely (or impossible) for control to flow from this to succ. |