Struct WordInterner 

pub struct WordInterner { /* private fields */ }

Hands out one Word per distinct value, so repeated stack words are stored once.

One interner covers one trace being built or parsed; it is dropped with the loop that filled it, and the words it handed out live as long as the steps holding them.

Implementations

impl WordInterner

pub fn new() -> Self

pub fn intern(&mut self, word: &str) -> Word

The shared word equal to word, interning it the first time it is seen.

pub fn intern_stack(&mut self, stack: &mut [Word])

Interns a whole stack, in place.

pub fn len(&self) -> usize

How many distinct words have been interned.

pub fn is_empty(&self) -> bool

Trait Implementations

impl Debug for WordInterner

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

Formats the value using the given formatter.

impl Default for WordInterner

fn default() -> Self

Returns the “default value” for a type.