Struct leo_compiler::SymbolTable

pub struct SymbolTable {
    pub functions: IndexMap<Symbol, FunctionSymbol, RandomState>,
    pub structs: IndexMap<Symbol, Struct, RandomState>,
    /* private fields */
}

Fields

functions: IndexMap<Symbol, FunctionSymbol, RandomState>

Functions represents the name of each function mapped to the AST’s function definition. This field is populated at a first pass.

structs: IndexMap<Symbol, Struct, RandomState>

Maps struct names to struct definitions. This field is populated at a first pass.

Implementations

impl SymbolTable

pub fn check_shadowing(&self, symbol: Symbol, span: Span) -> Result<(), LeoError>

Recursively checks if the symbol table contains an entry for the given symbol. Leo does not allow any variable shadowing or overlap between different symbols.

pub fn scope_index(&mut self) -> usize

Returns the current scope index. Increments the scope index.

pub fn insert_fn(
    &mut self,
    symbol: Symbol,
    insert: &Function
) -> Result<(), LeoError>

Inserts a function into the symbol table.

pub fn insert_struct(
    &mut self,
    symbol: Symbol,
    insert: &Struct
) -> Result<(), LeoError>

Inserts a struct into the symbol table.

pub fn insert_variable(
    &mut self,
    symbol: Symbol,
    insert: VariableSymbol
) -> Result<(), LeoError>

Inserts a variable into the symbol table.

pub fn insert_block(&mut self) -> usize

Creates a new scope for the block and stores it in the symbol table.

pub fn lookup_fn_symbol(&self, symbol: Symbol) -> Option<&FunctionSymbol>

Attempts to lookup a function in the symbol table.

pub fn lookup_struct(&self, symbol: Symbol) -> Option<&Struct>

Attempts to lookup a struct in the symbol table.

pub fn lookup_variable(&self, symbol: Symbol) -> Option<&VariableSymbol>

Attempts to lookup a variable in the symbol table.

pub fn variable_in_local_scope(&self, symbol: Symbol) -> bool

Returns true if the variable exists in the local scope

pub fn variable_in_parent_scope(&self, symbol: Symbol) -> bool

Returns true if the variable exists in any parent scope

pub fn lookup_variable_mut(
    &mut self,
    symbol: Symbol
) -> Option<&mut VariableSymbol>

Returns a mutable reference to the VariableSymbol if it exists in the symbol table.

pub fn lookup_fn_scope(&self, symbol: Symbol) -> Option<&RefCell<SymbolTable>>

Returns the scope associated with the function symbol, if it exists in the symbol table.

pub fn lookup_scope_by_index(
    &self,
    index: usize
) -> Option<&RefCell<SymbolTable>>

Returns the scope associated with index, if it exists in the symbol table.

Trait Implementations

impl Clone for SymbolTable

fn clone(&self) -> SymbolTable

Returns a copy 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<(), Error>

Formats the value using the given formatter.

impl Default for SymbolTable

fn default() -> SymbolTable

Returns the “default value” for a type.