Class ReachableBasicBlock
A basic block that is reachable from an entry basic block.
Import path
import semmle.go.controlflow.BasicBlocksDirect supertypes
Indirect supertypes
Known direct subtypes
Predicates
| dominates | Holds if this basic block dominates |
| postDominates | Holds if this basic block post-dominates |
| strictlyDominates | Holds if this basic block strictly dominates |
| strictlyPostDominates | Holds if this basic block strictly post-dominates |
Inherited predicates
| getANode | Gets a node in this block. | from BasicBlock |
| getAPredecessor | Gets a basic block preceding this one. | from BasicBlock |
| getASuccessor | Gets a basic block succeeding this one. | from BasicBlock |
| getFirstNode | Gets the first node in this block. | from BasicBlock |
| getImmediateDominator | Gets the basic block that immediately dominates this basic block. | from BasicBlock |
| getLastNode | Gets the last node in this block. | from BasicBlock |
| getNode | Gets the node at the given position in this block. | from BasicBlock |
| getRoot | Gets the innermost function or file to which this basic block belongs. | from BasicBlock |
| hasLocationInfo | Holds if this basic block is at the specified location. The location spans column | from BasicBlock |
| length | Gets the length of this block. | from BasicBlock |
| toString | Gets a textual representation of this basic block. | from BasicBlock |