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 |
getCondition |
Gets the condition of the last node of this basic block. |
getConditionNode |
Gets the last node of this basic block. |
getTestSuccessor |
Gets a |
Inherited predicates
bbDominates |
Holds if this basic block dominates |
from BasicBlock |
bbPostDominates |
Holds if this basic block post-dominates |
from BasicBlock |
bbStrictlyDominates |
Holds if this basic block strictly dominates |
from BasicBlock |
bbStrictlyPostDominates |
Holds if this basic block strictly post-dominates |
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 |
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 |