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

BasicBlock

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

ConditionBlock