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
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 |
| 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 |
| 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 |