Struct ScopeTable 

pub struct ScopeTable<K, V> { /* private fields */ }

A scoped symbol table supporting nested scopes.

Each push_scope / pop_scope pair delimits a lexical scope. Lookups search from the innermost scope outward.

Implementations

impl<K: Eq, V: Clone> ScopeTable<K, V>

pub fn new() -> Self

Create a table with a single (global) scope.

pub fn push_scope(&mut self)

Push a new nested scope.

pub fn pop_scope(&mut self)

Pop the innermost scope, discarding its bindings. Panics if called on the root scope.

pub fn define(&mut self, key: K, value: V)

Bind key → value in the current (innermost) scope.

pub fn lookup(&self, key: &K) -> Option<&V>

Look up key, searching from innermost to outermost scope.

pub fn defined_locally(&self, key: &K) -> bool

Return true if key is defined in the current scope only.

pub fn depth(&self) -> usize

Current depth (1 = global scope only).

Trait Implementations

impl<K: Debug, V: Debug> Debug for ScopeTable<K, V>

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

Formats the value using the given formatter.

impl<K: Eq, V: Clone> Default for ScopeTable<K, V>

fn default() -> Self

Returns the “default value” for a type.