Struct ControlFlowGraph 

pub struct ControlFlowGraph<'a> { /* private fields */ }

A control flow graph that provides query methods for flow analysis.

This wraps the FlowNodeArena and provides convenient methods for querying flow information during type checking.

Implementations

impl<'a> FlowGraph<'a>

pub const fn new(arena: &'a FlowNodeArena) -> Self

Create a new FlowGraph from a FlowNodeArena.

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

Get a flow node by ID.

pub const fn len(&self) -> usize

Get the number of flow nodes in the graph.

pub const fn is_empty(&self) -> bool

Check if the flow graph is empty.

pub fn antecedents(&self, id: FlowNodeId) -> Vec<FlowNodeId>

Get the antecedents (predecessors) of a flow node.

pub fn node(&self, id: FlowNodeId) -> NodeIndex

Get the AST node associated with a flow node.

Trait Implementations

impl<'a> Debug for FlowGraph<'a>

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

Formats the value using the given formatter.