Class ExitBasicBlock
An exit basic block, that is, a basic block whose last node is the exit node of a callable.
Import path
import semmle.code.csharp.controlflow.BasicBlocks
Direct supertypes
Indirect supertypes
Inherited predicates
dominates |
Holds if this basic block dominates basic block |
from BasicBlock |
getAFalseSuccessor |
Gets an immediate |
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 |
getAPredecessorByType |
Gets an immediate predecessor of this basic block of a given type, if any. |
from BasicBlock |
getASuccessor |
Gets an immediate successor of this basic block, if any. |
from BasicBlock |
getASuccessorByType |
Gets an immediate successor of this basic block of a given type, if any. |
from BasicBlock |
getATrueSuccessor |
Gets an immediate |
from BasicBlock |
getCallable |
Gets the callable that this basic block belongs to. |
from BasicBlock |
getFirstNode |
Gets the first control flow node in this basic block. |
from BasicBlock |
getImmediateDominator |
Gets the basic block that immediately dominates this basic block, if any. |
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 |
immediatelyDominates |
Holds if this basic block immediately dominates basic block |
from BasicBlock |
inDominanceFrontier |
Holds if |
from BasicBlock |
inLoop |
Holds if this basic block is in a loop in the control flow graph. This includes loops created by |
from BasicBlock |
length |
Gets the length of this basic block. |
from BasicBlock |
postDominates |
Holds if this basic block post-dominates basic block |
from BasicBlock |
strictlyDominates |
Holds if this basic block strictly dominates basic block |
from BasicBlock |
strictlyPostDominates |
Holds if this basic block strictly post-dominates basic block |
from BasicBlock |
toString |
Gets a textual representation of this basic block. |
from BasicBlock |