Struct Scope

pub struct Scope<'a> {
    pub parent: Option<&'a Scope<'a>>,
    pub variables: HashMap<Ident, Variable>,
    pub return_type: TypeElement,
    pub ownership: Ownership,
    pub fn_return: TypeElement,
    /* private fields */
}

Fields

parent: Option<&'a Scope<'a>>

variables: HashMap<Ident, Variable>

return_type: TypeElement

expected type of this scopes return value

ownership: Ownership

expected ownership of this scopes return value

fn_return: TypeElement

Implementations

impl Scope<'_>

pub fn child(parent: &Self) -> Scope<'_>

pub fn declare_variable(&mut self, variable: Variable)

pub fn get_variable(&self, ident: &Ident) -> Option<&Variable>

impl<'a> Scope<'a>

pub fn set_lookup(&mut self, lookup: LookupContext<'a>)

pub fn returns(self, ty: TypeElement, ownership: Ownership) -> Scope<'a>

pub fn functions(&self) -> Vec<FunctionId>

Trait Implementations

impl<'a> Debug for Scope<'a>

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

Formats the value using the given formatter.

impl<'a> Default for Scope<'a>

fn default() -> Scope<'a>

Returns the “default value” for a type.

impl Lookup for Scope<'_>

fn resolve_type(&self, name: &TypeIdent) -> Option<&ToplevelItem<TypeDecl>>

fn resolve_function( &self, receiver: Option<&TypeIdent>, name: &Ident, labels: &[&str], ) -> Option<&ToplevelItem<FnDecl>>