Class BasicBlock
A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins.
Import path
import semmle.code.csharp.controlflow.BasicBlocks
Direct supertypes
Known direct subtypes
Predicates
dominates |
Holds if this basic block dominates basic block |
getAFalseSuccessor |
Gets an immediate |
getANode |
Gets a control flow node in this basic block. |
getAPredecessor |
Gets an immediate predecessor of this basic block, if any. |
getAPredecessorByType |
Gets an immediate predecessor of this basic block of a given type, if any. |
getASuccessor |
Gets an immediate successor of this basic block, if any. |
getASuccessorByType |
Gets an immediate successor of this basic block of a given type, if any. |
getATrueSuccessor |
Gets an immediate |
getCallable |
Gets the callable that this basic block belongs to. |
getFirstNode |
Gets the first control flow node in this basic block. |
getImmediateDominator |
Gets the basic block that immediately dominates this basic block, if any. |
getLastNode |
Gets the last control flow node in this basic block. |
getLocation |
Gets the location of this basic block. |
getNode |
Gets the control flow node at a specific (zero-indexed) position in this basic block. |
immediatelyDominates |
Holds if this basic block immediately dominates basic block |
inDominanceFrontier |
Holds if |
inLoop |
Holds if this basic block is in a loop in the control flow graph. This includes loops created by |
length |
Gets the length of this basic block. |
postDominates |
Holds if this basic block post-dominates basic block |
strictlyDominates |
Holds if this basic block strictly dominates basic block |
strictlyPostDominates |
Holds if this basic block strictly post-dominates basic block |
toString |
Gets a textual representation of this basic block. |