Struct NameReader

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

A reference to a nameset which can read name mappings while tracking dependencies.

Implementations

impl<'a> NameReader<'a>

pub fn new(nameset: &'a Nameset) -> Self

Constructs a reading interface for a nameset and starts recording names used.

pub fn into_usage(self) -> NameUsage

Stops the reading process. The returned usage object can be used to efficiently test for relevant updates.

pub fn lookup_label(&mut self, label: TokenPtr<'_>) -> Option<LookupLabel>

Looks up the address and atom for a statement label.

pub fn lookup_symbol(&mut self, symbol: TokenPtr<'_>) -> Option<LookupSymbol>

Looks up the address and type for a math symbol.

pub fn lookup_float(&mut self, symbol: TokenPtr<'_>) -> Option<LookupFloat<'a>>

Looks up the float declaration for a math symbol.

pub const fn lookup_global_dv(&self) -> &Vec<(StatementAddress, Vec<Atom>)>

Looks up the list of all global $d statements.

Trait Implementations

impl<'a> Debug for NameReader<'a>

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

Formats the value using the given formatter.