Class BasicBlocks::BasicBlock

A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins.

At the database level, a basic block is represented by its first control flow node.

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

defAt

Holds if this basic block defines variable v in its ith node u.

getANode

Gets a node in this block.

getAPredecessor

Gets a basic block preceding this one.

getASuccessor

Gets a basic block succeeding this one.

getContainer

Gets the function or script to which this basic block belongs.

getFirstNode

Gets the first node in this block.

getImmediateDominator

Gets the basic block that immediately dominates this basic block.

getLastNode

Gets the last node in this block.

getNode

Gets the node at the given position in this block.

isLiveAtEntry

Holds if v is live at entry to this basic block and u is a use of v witnessing the liveness.

isLiveAtEntry

Holds if v is a variable that is live at entry to this basic block.

length

Gets the length of this block.

localIsLiveAtEntry

Holds if local variable v is live at entry to this basic block and u is a use of v witnessing the liveness.

localIsLiveAtEntry

Holds if local variable v is live at entry to this basic block.

localLiveDefAt

Holds if d defines variable v at the ith node of this basic block, and the definition is live, that is, the variable may be read after this definition and before a re-definition.

localMayBeOverwritten

Holds if d is a definition of v that is reachable from the beginning of this basic block without going through a redefinition of v.

useAt

Holds if this basic block uses variable v in its ith node u.

Inherited predicates

getEndLine

Gets the line on which this element ends.

from Locatable
getFile

Gets the file this program element comes from.

from Locatable
getLocation

Gets this element’s location.

from Locatable
getNumLines

Gets the number of lines covered by this element.

from Locatable
getStartLine

Gets the line on which this element starts.

from Locatable
toString

Gets a textual representation of this element.

from Locatable

Charpred