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

Class ConditionBlock

A basic block that terminates in a condition, splitting the subsequent control flow.

Import path

import semmle.code.java.controlflow.Guards

Direct supertypes

Indirect supertypes

Predicates

controls

Holds if controlled is a basic block controlled by this condition, that is, a basic blocks for which the condition is testIsTrue.

getCondition

Gets the condition of the last node of this basic block.

getConditionNode

Gets the last node of this basic block.

getTestSuccessor

Gets a true- or false-successor of the last node of this basic block.

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