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

Class BasicBlock

A control-flow node that represents the start of a basic block.

A basic block is a series of nodes with no control-flow branching, which can often be treated as a unit in analyses.

Import path

import java

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

bbDominates

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

bbPostDominates

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

bbStrictlyDominates

Holds if this basic block strictly dominates node.

bbStrictlyPostDominates

Holds if this basic block strictly post-dominates node.

getABBPredecessor

Gets an immediate predecessor of this basic block.

getABBSuccessor

Gets an immediate successor of this basic block.

getANode

Gets a control-flow node contained in this basic block.

getFirstNode

Gets the first control-flow node in this basic block.

getLastNode

Gets the last control-flow node in this basic block.

getNode

Gets the control-flow node at a specific (zero-indexed) position in this basic block.

length

Gets the number of control-flow nodes contained in this basic block.

Inherited predicates

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
getLocation

Gets the source location for this element.

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

from Top
toString

Gets a textual representation of this element.

from Top

Charpred