Struct BlockScope

pub struct BlockScope<'a, 'b> {
    pub root: &'a FunctionScope<'b>,
    pub parent: Option<&'a BlockScope<'a, 'b>>,
    pub variable_defs: BTreeMap<String, (TypeId, bool, Span)>,
    pub constant_defs: RefCell<BTreeMap<String, Constant>>,
    pub typ: BlockScopeType,
}

Fields

root: &'a FunctionScope<'b>

parent: Option<&'a BlockScope<'a, 'b>>

variable_defs: BTreeMap<String, (TypeId, bool, Span)>

Maps Name -> (Type, is_const, span)

constant_defs: RefCell<BTreeMap<String, Constant>>

typ: BlockScopeType

Implementations

impl<'a, 'b> BlockScope<'a, 'b>

pub fn new(root: &'a FunctionScope<'b>, typ: BlockScopeType) -> Self

pub fn new_child(&'a self, typ: BlockScopeType) -> Self

pub fn add_var( &mut self, name: &str, typ: TypeId, is_const: bool, span: Span, ) -> Result<(), AlreadyDefined>

Add a variable to the block scope.

Trait Implementations

impl AnalyzerContext for BlockScope<'_, '_>

fn db(&self) -> &dyn AnalyzerDb

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

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_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 add_diagnostic(&self, diag: Diagnostic)

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