Struct SymbolTable 

pub struct SymbolTable { /* private fields */ }

The symbol table managing nested scopes

Implementations

impl SymbolTable

pub fn new() -> Self

pub fn push_scope(&mut self, kind: ScopeKind)

Push a new scope

pub fn pop_scope(&mut self) -> Option<Scope>

Pop the current scope

pub fn current_scope_kind(&self) -> ScopeKind

Get the current scope kind

pub fn in_contract(&self) -> bool

Check if we’re in a contract scope

pub fn in_function(&self) -> bool

Check if we’re in a function scope

pub fn define(&mut self, name: SmolStr, symbol: Symbol) -> Option<Symbol>

Define a symbol in the current scope

pub fn define_variable( &mut self, name: SmolStr, ty: Type, is_mutable: bool, ) -> Option<Symbol>

Define a variable

pub fn define_function( &mut self, name: SmolStr, ty: FunctionType, is_public: bool, ) -> Option<Symbol>

Define a function

pub fn define_type(&mut self, name: SmolStr, def: TypeDef) -> Option<TypeDef>

Define a type

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

Look up a symbol by name (searches all scopes from innermost to outermost)

pub fn lookup_variable(&self, name: &str) -> Option<&VariableSymbol>

Look up a variable

pub fn lookup_function(&self, name: &str) -> Option<&FunctionSymbol>

Look up a function

pub fn lookup_type(&self, name: &str) -> Option<&TypeDef>

Look up a type definition

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

Look up a symbol in the current scope only

Trait Implementations

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.