Struct ScopedContext 

pub struct ScopedContext { /* private fields */ }

A multi-scope context that supports pushing and popping entire scopes.

Each scope contains a set of local variables; popping a scope removes all locals introduced since the last push.

Implementations

impl ScopedContext

pub fn new() -> Self

Create a new empty scoped context.

pub fn push_scope(&mut self)

Push a new scope.

pub fn pop_scope(&mut self)

Pop the current scope, removing all locals introduced since the last push.

pub fn add_local(&mut self, name: Name, ty: Expr) -> FVarId

Add a local in the current scope.

pub fn get_local(&self, fvar: FVarId) -> Option<&LocalVar>

Get a local by fvar id.

pub fn scope_depth(&self) -> usize

Depth of the scope stack.

pub fn num_locals(&self) -> usize

Number of locals in the inner context.

pub fn inner(&self) -> &Context

Access the inner context.

pub fn get_fvars(&self) -> Vec<Expr>

Get all free variable expressions.

Trait Implementations

impl Clone for ScopedContext

fn clone(&self) -> ScopedContext

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ScopedContext

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

Formats the value using the given formatter.

impl Default for ScopedContext

fn default() -> Self

Returns the “default value” for a type.