Class BasicBlock

A basic block (ignoring exceptional flow edges to scope exit)

Import path


                                import python

Direct supertypes

@py_flow_node

Known direct subtypes

ConditionBlock

Predicates

alwaysReaches	Holds if flow from this BasicBlock always reaches `succ`
contains	Whether this basic block contains the specified node
dominanceFrontier	Dominance frontier of a node x is the set of all nodes `other` such that `this` dominates a predecessor of `other` but does not strictly dominate `other`
dominates	Whether this basic block dominates the other
getAFalseSuccessor	Gets a false successor to this basic block
getAPredecessor	Gets a predecessor to this basic block
getASuccessor	Gets a successor to this basic block
getATrueSuccessor	Gets a true successor to this basic block
getAnExceptionalSuccessor	Gets an exceptional successor to this basic block
getAnUnconditionalSuccessor	Gets an unconditional successor to this basic block
getImmediateDominator
getImmediatelyControllingBlock	Gets the `ConditionBlock`, if any, that controls this block and does not control any other `ConditionBlock`s that control this block. That is the `ConditionBlock` that is closest dominator.
getLastNode	Gets the last node in this basic block
getNode	Gets the nth node in this basic block
getScope	Gets the scope of this block
hasLocationInfo	Holds if this element is at the specified location. The location spans column `startcolumn` of line `startline` to column `endcolumn` of line `endline` in file `filepath`. For more information, see Locations.
likelyReachable	Whether (as inferred by type inference) this basic block is likely to be reachable.
reaches	Holds if this basic block reaches the other. Is the start of other reachable from the end of this.
reachesExit	Whether flow from this basic block reaches a normal exit from its scope
strictlyDominates	Whether this basic block strictly dominates the other
strictlyReaches	Holds if this basic block strictly reaches the other. Is the start of other reachable from the end of this.
toString	Gets a textual representation of this element.
unlikelySuccessor	Whether (as inferred by type inference) it is highly unlikely (or impossible) for control to flow from this to succ.

Charpred

BasicBlock