Class UnreachableBasicBlock
An unreachable basic block is one that is dominated by a condition that never holds.
Import path
import semmle.code.java.controlflow.UnreachableBlocks
Direct supertypes
Inherited predicates
asCall | Gets the call this | from Node |
asExpr | Gets the expression this | from Node |
asStmt | Gets the statement this | from Node |
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 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 |
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 Node |
getNode | Gets the control-flow node at a specific (zero-indexed) position in this basic block. | from BasicBlock |
length | Gets the number of control-flow nodes contained in this basic block. | from BasicBlock |
toString | Gets a textual representation of this element. | from Node |