CodeQL library for Java/Kotlin
codeql/java-all 6.1.1-dev (changelog, source)
Search

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

asCall

Gets the call this Node corresponds to, if any.

from Node
asExpr

Gets the expression this Node corresponds to, if any.

from Node
asStmt

Gets the statement this Node corresponds to, if any.

from Node
bbDominates

Holds if this basic block dominates node. (This is reflexive.)

from BasicBlock
bbPostDominates

Holds if this basic block post-dominates node. (This is reflexive.)

from BasicBlock
bbStrictlyDominates

Holds if this basic block strictly dominates node.

from BasicBlock
bbStrictlyPostDominates

Holds if this basic block strictly post-dominates node.

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

Charpred