Module ControlFlowGraph::ControlFlow::Internal

INTERNAL: Do not use.

Imports

Cached
Splitting

Provides classes and predicates relevant for splitting the control flow graph.

Successor

Provides auxiliary classes and predicates used to construct the basic successor relation on control flow elements.

Modules

PreBasicBlocks

Provides a basic block implementation on control flow elements. That is, a “pre-CFG” where the nodes are (unsplit) control flow elements and the successor releation is succ = succ(pred, _).

PreSsa

Provides an SSA implementation based on “pre-basic-blocks”, restricted to local scope variables and fields/properties that behave like local scope variables.

Reachability

Provides logic for calculating reachable control flow nodes.