Struct SymbolTable 

pub struct SymbolTable { /* private fields */ }

Symbol table for managing scopes and symbols

Implementations

impl SymbolTable

pub fn new() -> Self

Create a new symbol table with root scope

pub fn set_source(&mut self, source: String)

Set the source code for error location reporting

pub fn set_allow_redefinition(&mut self, allow: bool)

Allow variable redefinition in current scope (for REPL mode)

pub fn push_scope(&mut self)

Push a new scope

pub fn pop_scope(&mut self)

Pop the current scope

pub fn define_variable( &mut self, name: &str, ty: Type, kind: VarKind, is_initialized: bool, ) -> Result<()>

Define a variable in the current scope

pub fn define_variable_at( &mut self, name: &str, ty: Type, kind: VarKind, is_initialized: bool, span: Span, ) -> Result<()>

Define a variable in the current scope with span for error reporting

pub fn define_function( &mut self, name: &str, params: Vec<Type>, returns: Type, ) -> Result<()>

Define a function in the current scope

pub fn define_function_with_defaults( &mut self, name: &str, params: Vec<Type>, returns: Type, defaults: Vec<bool>, ) -> Result<()>

Define a function in the current scope with default-parameter metadata.

pub fn define_function_at( &mut self, name: &str, params: Vec<Type>, returns: Type, span: Span, ) -> Result<()>

Define a function in the current scope with span for error reporting

pub fn define_enum(&mut self, enum_def: EnumDef) -> Result<()>

Define an enum (always root-scoped)

pub fn lookup_enum(&self, name: &str) -> Option<&EnumDef>

Look up an enum by name

pub fn define_type_alias( &mut self, name: &str, type_annotation: TypeAnnotation, ) -> Result<()>

Define a type alias (e.g., type Candle = { ... })

pub fn define_type_alias_at( &mut self, name: &str, type_annotation: TypeAnnotation, meta_param_overrides: Option<HashMap<String, Expr>>, span: Span, ) -> Result<()>

Define a type alias with span for error reporting

pub fn lookup_type_alias(&self, name: &str) -> Option<&TypeAliasEntry>

Look up a type alias by name

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

Look up a symbol in all scopes (innermost first)

pub fn update_variable(&mut self, name: &str, new_ty: Type) -> Result<()>

Update an existing variable (for assignments)

pub fn update_variable_at( &mut self, name: &str, new_ty: Type, span: Span, ) -> Result<()>

Update an existing variable (for assignments) with span for error reporting

pub fn lookup_variable(&self, name: &str) -> Option<(&Type, &VarKind, bool)>

Look up a variable specifically

pub fn lookup_function( &self, name: &str, ) -> Option<(&Vec<Type>, &Type, &Vec<bool>)>

Look up a function specifically

pub fn define_module( &mut self, name: &str, exports: Vec<String>, type_annotation: TypeAnnotation, ) -> Result<()>

Define a module in the root (first) scope. Idempotent — returns Ok if already defined.

pub fn lookup_module( &self, name: &str, ) -> Option<(&Vec<String>, &TypeAnnotation)>

Look up a module specifically

pub fn is_defined_in_current_scope(&self, name: &str) -> bool

Check if a name is defined in the current scope only

pub fn iter_all_symbols(&self) -> impl Iterator<Item = (&str, &Symbol)>

Iterate over all symbols in all scopes

Returns an iterator of (name, symbol) pairs from all scopes, with inner scopes appearing after outer scopes.

pub fn iter_type_aliases(&self) -> impl Iterator<Item = (&str, &TypeAliasEntry)>

Iterate over all type aliases

pub fn iter_enums(&self) -> impl Iterator<Item = (&str, &EnumDef)>

Iterate over all enums

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<'de> Deserialize<'de> for SymbolTable

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for SymbolTable

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.