Class CFG::ControlFlowNode

A node in the control flow graph, which is an expression, a statement, or a synthetic node.

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

describeControlFlowNode

For internal use.

getAPredecessor

Gets a node preceding this node in the CFG.

getASuccessor

Gets a node succeeding this node in the CFG.

getBasicBlock

Gets the basic block this node belongs to.

getContainer

Gets the function or toplevel whose CFG this node belongs to.

isAFinalNode

Holds if this is a final node, that is, a CFG node where execution of a toplevel or function terminates.

isBranch

Holds if this is a node with more than one successor.

isJoin

Holds if this is a node with more than one predecessor.

isStart

Holds if this is a start node, that is, the CFG node where execution of a toplevel or function begins.

isUnreachable

Holds if this node is unreachable, that is, it has no predecessors in the CFG. Entry nodes are always considered reachable.

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