CodeQL library for Java
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

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 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 startcolumn of line startline to column endcolumn of line endline in file filepath. For more information, see Locations.

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

Charpred