Struct FunctionScope

pub struct FunctionScope<'a> {
    pub db: &'a dyn AnalyzerDb,
    pub function: FunctionId,
    pub body: RefCell<FunctionBody>,
    pub diagnostics: RefCell<Vec<Diagnostic>>,
}

Fields

db: &'a dyn AnalyzerDb

function: FunctionId

body: RefCell<FunctionBody>

diagnostics: RefCell<Vec<Diagnostic>>

Implementations

impl<'a> FunctionScope<'a>

pub fn new(db: &'a dyn AnalyzerDb, function: FunctionId) -> Self

pub fn function_return_type(&self) -> Result<TypeId, TypeError>

pub fn map_variable_type<T>(&self, node: &Node<T>, typ: TypeId)

pub fn map_pattern_matrix(&self, node: &Node<FuncStmt>, matrix: PatternMatrix)

Trait Implementations

impl<'a> AnalyzerContext for FunctionScope<'a>

fn db(&self) -> &dyn AnalyzerDb

fn add_diagnostic(&self, diag: Diagnostic)

fn add_expression(&self, node: &Node<Expr>, attributes: ExpressionAttributes)

Attribute contextual information to an expression node.

fn update_expression( &self, node: &Node<Expr>, f: &dyn Fn(&mut ExpressionAttributes), )

Update the expression attributes.

fn expr_typ(&self, expr: &Node<Expr>) -> Type

Returns a type of an expression.

fn add_constant( &self, _name: &Node<SmolStr>, expr: &Node<Expr>, value: Constant, )

Add evaluated constant value in a constant declaration to the context.

fn constant_value_by_name( &self, _name: &SmolStr, _span: Span, ) -> Result<Option<Constant>, IncompleteItem>

Returns constant value from variable name.

fn parent(&self) -> Item

Returns an item enclosing current context.

fn module(&self) -> ModuleId

Returns the module enclosing current context.

fn parent_function(&self) -> FunctionId

Returns a function id that encloses a context.

fn add_call(&self, node: &Node<Expr>, call_type: CallType)

Panics

fn get_call(&self, node: &Node<Expr>) -> Option<CallType>

fn is_in_function(&self) -> bool

Returns true if the context is in function scope.

fn inherits_type(&self, _typ: BlockScopeType) -> bool

Returns true if the scope or any of its parents is of the given type.

fn resolve_name( &self, name: &str, span: Span, ) -> Result<Option<NamedThing>, IncompleteItem>

fn resolve_path( &self, path: &Path, span: Span, ) -> Result<NamedThing, FatalError>

Resolves the given path and registers all errors

fn resolve_visible_path(&self, path: &Path) -> Option<NamedThing>

Resolves the given path only if it is visible. Does not register any errors

fn resolve_any_path(&self, path: &Path) -> Option<NamedThing>

Resolves the given path. Does not register any errors

fn get_context_type(&self) -> Option<TypeId>

Returns the Context type, if it is defined.

fn error( &self, message: &str, label_span: Span, label: &str, ) -> DiagnosticVoucher

fn root_item(&self) -> Item

Returns a non-function item that encloses a context.

fn type_error( &self, message: &str, span: Span, expected: TypeId, actual: TypeId, ) -> DiagnosticVoucher

fn not_yet_implemented(&self, feature: &str, span: Span) -> DiagnosticVoucher

fn fancy_error( &self, message: &str, labels: Vec<Label>, notes: Vec<String>, ) -> DiagnosticVoucher

fn duplicate_name_error( &self, message: &str, name: &str, original: Span, duplicate: Span, ) -> DiagnosticVoucher

fn name_conflict_error( &self, name_kind: &str, name: &str, original: &NamedThing, original_span: Option<Span>, duplicate_span: Span, ) -> DiagnosticVoucher

fn register_diag(&self, diag: Diagnostic) -> DiagnosticVoucher