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 java
Direct 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
getANormalSuccessor | Gets a successor of this node that is neither an exception successor nor a jump (break, continue, return). | from ControlFlowNode |
getAPredecessor | Gets an immediate predecessor of this node. | from ControlFlowNode |
getAPrimaryQlClass | Gets the name of a primary CodeQL class to which this element belongs. | from Top |
getASuccessor | Gets an immediate successor of this node. | from ControlFlowNode |
getAnExceptionSuccessor | Gets an exception successor of this node. | from ControlFlowNode |
getBasicBlock | Gets the basic block that contains this node. | from ControlFlowNode |
getEnclosingCallable | Gets the immediately enclosing callable whose body contains this node. | from ControlFlowNode |
getEnclosingStmt | Gets the statement containing this node, if any. | from ControlFlowNode |
getFile | Gets the file associated with this element. | from Top |
getLocation | Gets the source location for this element. | from Top |
getNumberOfCommentLines | Gets the number of comment lines that this element ranges over. | from Top |
getNumberOfLinesOfCode | Gets the number of lines of code that this element ranges over. | from Top |
getPrimaryQlClasses | Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. | from Top |
getTotalNumberOfLines | Gets the total number of lines that this element ranges over, including lines of code, comment and whitespace-only lines. | from Top |
hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Top |
toString | Gets a textual representation of this element. | from Top |