Struct EnvGraph 

pub struct EnvGraph { /* private fields */ }

A directed graph of closure environment dependencies. Edges mean “closure A captures closure B”.

Implementations

impl EnvGraph

pub fn new() -> Self

Create an empty environment graph.

pub fn add_node(&mut self) -> u32

Add a new node (closure id).

pub fn add_edge(&mut self, from: u32, to: u32)

Add a capture edge: from captures to.

pub fn captures(&self, id: u32) -> &[u32]

Get the direct captures of a closure.

pub fn transitive_captures(&self, id: u32) -> Vec<u32>

Compute the transitive closure of captures (all transitively captured closures).

pub fn has_cycle(&self) -> bool

Detect cycles (a closure transitively capturing itself).

pub fn node_count(&self) -> u32

Number of nodes.

pub fn edge_count(&self) -> usize

Number of edges.

Trait Implementations

impl Default for EnvGraph

fn default() -> Self

Returns the “default value” for a type.