Class UnreachableBasicBlock
An unreachable basic block is one that is dominated by a condition that never holds.
Import path
import semmle.code.java.controlflow.UnreachableBlocksDirect supertypes
Indirect supertypes
Inherited predicates
| bbDominates | Holds if this basic block dominates | from BasicBlock |
| bbPostDominates | Holds if this basic block post-dominates | from BasicBlock |
| bbStrictlyDominates | Holds if this basic block strictly dominates | from BasicBlock |
| bbStrictlyPostDominates | Holds if this basic block strictly post-dominates | from BasicBlock |
| getABBPredecessor | Gets an immediate predecessor of this basic block. | from BasicBlock |
| getABBSuccessor | Gets an immediate successor of this basic block. | from BasicBlock |
| getANode | Gets a control-flow node contained in this basic block. | from BasicBlock |
| 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 |
| getFirstNode | Gets the first control-flow node in this basic block. | from BasicBlock |
| getLastNode | Gets the last control-flow node in this basic block. | from BasicBlock |
| getLocation | Gets the source location for this element. | from Top |
| getNode | Gets the control-flow node at a specific (zero-indexed) position in this basic block. | from BasicBlock |
| 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 |
| 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 |
| length | Gets the number of control-flow nodes contained in this basic block. | from BasicBlock |
| toString | Gets a textual representation of this element. | from Top |