Module ControlFlowGraph::ControlFlow

Provides classes representing the control flow graph within callables.

Classes

Node

A control flow node.

SuccessorType

The type of a control flow successor.

Modules

BasicBlocks

Provides different types of basic blocks.

Internal

INTERNAL: Do not use.

Nodes

Provides different types of control flow nodes.

SuccessorTypes

Provides different types of control flow successor types.

Aliases

BasicBlock

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