Struct ErasedReachability 

pub struct ErasedReachability { /* private fields */ }

A reachability tracker for erased expressions.

Implementations

impl ErasedReachability

pub fn new() -> Self

Create a new tracker.

pub fn add_root(&mut self, name: &str)

Add a root (entry point).

pub fn mark_reachable(&mut self, name: &str)

Mark a constant as reachable.

pub fn is_reachable(&self, name: &str) -> bool

Return whether a constant is reachable.

pub fn reachable_names(&self) -> &[String]

Return all reachable names.

pub fn reachable_count(&self) -> usize

Return the number of reachable declarations.

pub fn analyze_module(&mut self, module: &ErasedModule)

Process a module: mark all consts reachable from roots as reachable.

Trait Implementations

impl Default for ErasedReachability

fn default() -> Self

Returns the “default value” for a type.