Struct kailua_check::env::Scope

pub struct Scope { /* fields omitted */ }

A scope.

This is currently used to track the function frame and type names. Local names are resolved at the parser level so it can be uniquely identified. In the future type names will be also handled in the similar manner, removing the needs for this type.

Methods

impl Scope

fn new() -> Scope

fn new_function(frame: Frame) -> Scope

fn get_frame<'a>(&'a self) -> Option<&'a Frame>

fn get_frame_mut<'a>(&'a mut self) -> Option<&'a mut Frame>

fn get_type<'a>(&'a self, name: &Name) -> Option<&'a TypeDef>

fn put_type(&mut self, name: Spanned<Name>, ty: Ty) -> bool

Trait Implementations

impl Clone for Scope

fn clone(&self) -> Scope

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Scope

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.