CodeQL library for Java/Kotlin

codeql/java-all 7.7.3-dev (changelog, source)

Class BasicBlock

A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins.

Import path

import java

Direct supertypes

BasicBlock

Indirect supertypes

TBasicBlockStart

Known direct subtypes

Predicates

bbDominates	DEPRECATED: Use `dominates` instead.
bbPostDominates	DEPRECATED: Use `postDominates` instead.
bbStrictlyDominates	DEPRECATED: Use `strictlyDominates` instead.
bbStrictlyPostDominates	DEPRECATED: Use `strictlyPostDominates` instead.
dominates	Holds if this basic block dominates basic block `bb`.
getABBPredecessor	DEPRECATED: Use `getAPredecessor` instead.
getABBSuccessor	DEPRECATED: Use `getASuccessor` instead.
getASuccessor	Gets an immediate successor of this basic block, if any.
getASuccessor	Gets an immediate successor of this basic block of a given type, if any.
getEnclosingCallable	Gets the immediately enclosing callable whose body contains this node.
getImmediateDominator	Gets the basic block that immediately dominates this basic block, if any.
inDominanceFrontier	Holds if `df` is in the dominance frontier of this basic block. That is, this basic block dominates a predecessor of `df`, but does not dominate `df` itself. I.e., it is equivaluent to: `this.dominates(df.getAPredecessor()) and not this.strictlyDominates(df)`
postDominates	Holds if this basic block post-dominates basic block `bb`.
strictlyDominates	Holds if this basic block strictly dominates basic block `bb`.
strictlyPostDominates	Holds if this basic block strictly post-dominates basic block `bb`.

Inherited predicates

edgeDominates	Holds if the edge with successor type `s` out of this basic block is a dominating edge for `dominated`.	from BasicBlock
getANode	Gets a control flow node in this basic block.	from BasicBlock
getAPredecessor	Gets an immediate predecessor of this basic block, if any.	from BasicBlock
getAPredecessor	Gets an immediate predecessor of this basic block of a given type, if any.	from BasicBlock
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 location of this basic block.	from BasicBlock
getNode	Gets the control flow node at a specific (zero-indexed) position in this basic block.	from BasicBlock
getScope	Gets the CFG scope of this basic block.	from BasicBlock
immediatelyDominates	Holds if this basic block immediately dominates basic block `bb`.	from BasicBlock
inLoop	Holds if this basic block is in a loop in the control flow graph.	from BasicBlock
length	Gets the length of this basic block.	from BasicBlock
toString	Gets a textual representation of this basic block.	from BasicBlock