Struct SymbolTable 

pub struct SymbolTable {
    pub outer: Option<Rc<SymbolTable>>,
    pub free_symbols: Vec<Rc<Symbol>>,
    pub definitions: Vec<Rc<Symbol>>,
    pub num_definitions: usize,
    /* private fields */
}

Fields

outer: Option<Rc<SymbolTable>>

free_symbols: Vec<Rc<Symbol>>

definitions: Vec<Rc<Symbol>>

Every slot-allocating definition of this scope in definition order, so definitions[i].index == i. A rebinding appends a fresh entry instead of replacing the shadowed slot’s entry, unlike symbols.

num_definitions: usize

Implementations

impl SymbolTable

pub fn new() -> SymbolTable

pub fn new_enclosed_symbol_table(outer: SymbolTable) -> SymbolTable

pub fn define(&mut self, name: String) -> Rc<Symbol>

pub fn visible_names(&self) -> Vec<String>

pub fn global_definitions(&self) -> &[Rc<Symbol>]

The outermost scope’s definition ledger, in slot order. Unlike a view derived from symbols, a rebound name appears once per slot it ever occupied, which is what debug metadata needs.

pub fn resolve(&mut self, name: String) -> Option<Rc<Symbol>>

pub fn define_builtin(&mut self, index: usize, name: String) -> Rc<Symbol>

pub fn define_function_name(&mut self, name: String) -> Rc<Symbol>

pub fn define_free(&mut self, original: Rc<Symbol>) -> Rc<Symbol>

Trait Implementations

impl Clone for SymbolTable

fn clone(&self) -> SymbolTable

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SymbolTable

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

Formats the value using the given formatter.

impl Default for SymbolTable

fn default() -> Self

Returns the “default value” for a type.

impl Eq for SymbolTable

impl PartialEq for SymbolTable

fn eq(&self, other: &SymbolTable) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SymbolTable