CodeQL library for Python
codeql/python-all 2.2.0 (changelog, source)
Search

Class BasicBlock

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

Import path

import python

Direct supertypes

Known direct subtypes

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 ConditionBlocks 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