Struct SymbolTable

pub struct SymbolTable { /* private fields */ }

A symbol table that maps identifiers to information about the values they represent.

This is used to store information about variables and functions that are defined in the program.

Implementations

impl SymbolTable

pub fn new() -> Self

Creates a new symbol table with an initial global scope.

pub fn is_global_scope(&self) -> bool

Returns true if the symbol table is in the global scope.

pub fn next_id(&self) -> ScopeId

Returns the next unique identifier to assign to a symbol.

pub fn enter_scope(&mut self)

Creates a new scope and makes it the active scope.

pub fn exit_scope(&mut self)

Exits the current scope and makes the parent scope the active scope.

If the current scope has no symbols declared in it when it is exited, it will not be added to the symbol table.

pub fn active_scope(&self) -> &Scope

Returns a reference to the active scope.

pub fn active_scope_mut(&mut self) -> &mut Scope

Returns a mutable reference to the active scope.

pub fn insert(&mut self, name: String, item: Item)

Inserts a symbol into the current scope.

pub fn resolve_item(&self, name: &str) -> Option<&Item>

Resolves the item with the given name if it exists in the current scope.

pub fn resolve_item_mark_capture(&mut self, name: &str) -> Option<Symbol>

Resolves the item with the given name if it exists in the current scope.

If the item was declared in a parent scope, it is added to the set of captures for the current scope.

pub fn resolve_symbol(&self, name: &str) -> Option<SymbolDecl>

Resolves an Item::Symbol with the given name if it exists in the current scope.

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.