Namespace Echo.ControlFlow

Classes

ControlFlowEdge<TInstruction>

Provides an implementation for a single edge in a control flow graph, including the source and target node, and the type of edge.

ControlFlowGraph<TInstruction>

Provides a generic base implementation of a control flow graph that contains for each node a user predefined object in a type safe manner.

ControlFlowNode<TInstruction>

Represents a node in a control flow graph, containing a basic block of instructions that are to be executed in a sequence.

Enums

ControlFlowEdgeType

Provides all possible edge types that are supported in a control flow graph.