Struct FlowGraph 

pub struct FlowGraph {
    pub nodes: FlowNodeArena,
    pub node_flow: FxHashMap<u32, FlowNodeId>,
    pub unreachable_flow: FlowNodeId,
    pub unreachable_nodes: FxHashSet<u32>,
}

A control flow graph side-table.

This struct encapsulates the flow graph data structures, providing a clean abstraction for querying flow information without holding a reference to the entire binder state.

Fields

nodes: FlowNodeArena

Arena storing all flow nodes

node_flow: FxHashMap<u32, FlowNodeId>

Mapping from AST node index to the flow node active at that point

unreachable_flow: FlowNodeId

Unreachable flow node (for never-returning code paths)

unreachable_nodes: FxHashSet<u32>

Set of AST node indices that are unreachable

Implementations

impl FlowGraph

pub fn new() -> Self

Create a new empty flow graph.

pub fn get_flow_at_node(&self, node: NodeIndex) -> Option<FlowNodeId>

Get the flow node at a given AST node position.

pub fn get_node(&self, id: FlowNodeId) -> Option<&FlowNode>

Get a flow node by ID.

pub fn has_flow_at_node(&self, node: NodeIndex) -> bool

Check if a flow node exists.

pub fn is_unreachable(&self, node: NodeIndex) -> bool

Check if an AST node is unreachable.

pub fn mark_unreachable(&mut self, node: NodeIndex)

Mark an AST node as unreachable.

Trait Implementations

impl Clone for FlowGraph

fn clone(&self) -> FlowGraph

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FlowGraph

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for FlowGraph

fn default() -> Self

Returns the “default value” for a type.