Class BasicBlock
A control-flow node that represents the start of a basic block.
A basic block is a series of nodes with no control-flow branching, which can often be treated as a unit in analyses.
Import path
import javaDirect supertypes
Indirect supertypes
Known direct subtypes
Predicates
| bbDominates | Holds if this basic block dominates |
| bbPostDominates | Holds if this basic block post-dominates |
| bbStrictlyDominates | Holds if this basic block strictly dominates |
| bbStrictlyPostDominates | Holds if this basic block strictly post-dominates |
| getABBPredecessor | Gets an immediate predecessor of this basic block. |
| getABBSuccessor | Gets an immediate successor of this basic block. |
| getANode | Gets a control-flow node contained in this basic block. |
| getFirstNode | Gets the first control-flow node in this basic block. |
| getLastNode | Gets the last control-flow node in this basic block. |
| getNode | Gets the control-flow node at a specific (zero-indexed) position in this basic block. |
| length | Gets the number of control-flow nodes contained in this basic block. |
Inherited predicates
| asCall | Gets the call this | from Node |
| asExpr | Gets the expression this | from Node |
| asStmt | Gets the statement this | from Node |
| getANormalSuccessor | Gets a successor of this node that is neither an exception successor nor a jump (break, continue, return). | from Node |
| getAPredecessor | Gets an immediate predecessor of this node. | from Node |
| getASuccessor | Gets an immediate successor of this node. | from Node |
| getAnExceptionSuccessor | Gets an exception successor of this node. | from Node |
| getAstNode | Gets the most appropriate AST node for this control flow node, if any. | from Node |
| getBasicBlock | Gets the basic block that contains this node. | from Node |
| getEnclosingCallable | Gets the immediately enclosing callable whose body contains this node. | from Node |
| getEnclosingStmt | Gets the statement containing this node, if any. | from Node |
| getLocation | Gets the source location for this element. | from Node |
| toString | Gets a textual representation of this element. | from Node |