Struct LookupContext

pub struct LookupContext<'a> {
    pub types: HashMap<TypeIdent, &'a ToplevelItem<TypeDecl>>,
    pub functions: HashMap<FunctionId, &'a ToplevelItem<FnDecl>>,
    pub main: Option<&'a ToplevelItem<MainDecl>>,
}

Fields

types: HashMap<TypeIdent, &'a ToplevelItem<TypeDecl>>

Types are resolved by their name

functions: HashMap<FunctionId, &'a ToplevelItem<FnDecl>>

Functions are resolved by their name and - if present - named arguments and their receiver type

fn foo(a: i32, b: i32) -> i32 is identified as foo fn foo(bar a: i32, b: i32) -> i32 is identified as foo:bar fn foo(self: i32, b: i32) -> i32 is identified as i32::foo

main: Option<&'a ToplevelItem<MainDecl>>

Implementations

impl<'a> LookupContext<'a>

pub fn new() -> Self

pub fn add_from(&mut self, asts: &'a SegmentedAsts) -> Result<(), LookupError>

pub fn with(self, asts: &'a SegmentedAsts) -> Result<Self, LookupError>

Trait Implementations

impl<'a> Clone for LookupContext<'a>

fn clone(&self) -> LookupContext<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for LookupContext<'a>

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

Formats the value using the given formatter.

impl<'a> Default for LookupContext<'a>

fn default() -> LookupContext<'a>

Returns the “default value” for a type.

impl Lookup for LookupContext<'_>

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

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