Struct FnScope

pub struct FnScope {
    pub fn_name: String,
    pub declare_map: DeclareGraph,
    /* private fields */
}

a scope that represents a fn’s local scope

[DeclareMap] is used to picking overloads, declare var’s types, etc

un processed ast move into this struct and then become mir::Statements, mir misses a part of type information, and fn_call is not point to monomorphic fn

then [DeclareMap] will declare them and output py_ir::Statements, or a Error will be thrown

Fields

fn_name: String

declare_map: DeclareGraph

Implementations

impl FnScope

pub fn new<'p, PI, SI>(fn_name: impl ToString, params: PI, spans: SI) -> Self

where PI: IntoIterator<Item = &'p Parameter>, SI: IntoIterator<Item = Span>,

pub fn temp_name(&mut self) -> String

pub fn search_parameter(&mut self, name: &str) -> Option<VarDef>

Trait Implementations

impl Default for FnScope

fn default() -> FnScope

Returns the “default value” for a type.