A basic block (ignoring exceptional flow edges to scope exit)
Known direct subtypes
Holds if flow from this BasicBlock always reaches
Whether this basic block contains the specified node
Dominance frontier of a node x is the set of all nodes
Whether this basic block dominates the other
Gets a false successor to this basic block
Gets a predecessor to this basic block
Gets a successor to this basic block
Gets a true successor to this basic block
Gets an exceptional successor to this basic block
Gets an unconditional successor to this basic block
Gets the last node in this basic block
Gets the nth node in this basic block
Gets the scope of this block
Whether (as inferred by type inference) this basic block is likely to be reachable.
Holds if this basic block reaches the other. Is the start of other reachable from the end of this.
Whether flow from this basic block reaches a normal exit from its scope
Whether this basic block strictly dominates the other
Holds if this basic block strictly reaches the other. Is the start of other reachable from the end of this.
Whether (as inferred by type inference) it is highly unlikely (or impossible) for control to flow from this to succ.