Struct ExprScopes 

pub struct ExprScopes {
    scopes: Arena<ScopeData>,
    scope_entries: Arena<ScopeEntry>,
    scope_by_expr: ArenaMap<ExprId, ScopeId>,
}

Fields

scopes: Arena<ScopeData>

scope_entries: Arena<ScopeEntry>

scope_by_expr: ArenaMap<ExprId, ScopeId>

Implementations

impl ExprScopes

pub fn body_expr_scopes<'db>( db: &'db dyn SourceDatabase, def: DefWithBodyId, ) -> &'db ExprScopes

pub fn sig_expr_scopes<'db>( db: &'db dyn SourceDatabase, def: GenericDefId, ) -> &'db ExprScopes

pub fn variant_scopes<'db>( db: &'db dyn SourceDatabase, def: VariantId, ) -> &'db ExprScopes

impl ExprScopes

pub fn of( db: &dyn SourceDatabase, def: impl Into<ExpressionStoreOwnerId>, ) -> &ExprScopes

pub fn entries(&self, scope: ScopeId) -> &[ScopeEntry]

pub fn block(&self, scope: ScopeId) -> Option<BlockId>

If scope refers to a block expression scope, returns the corresponding BlockId.

pub fn macro_def(&self, scope: ScopeId) -> Option<&Box<MacroDefId>>

If scope refers to a macro def scope, returns the corresponding MacroId.

pub fn label(&self, scope: ScopeId) -> Option<LabelId>

If scope refers to a labeled expression scope, returns the corresponding Label.

pub fn scope_chain( &self, scope: Option<ScopeId>, ) -> impl Iterator<Item = ScopeId> + '_

Returns the scopes in ascending order.

pub fn resolve_name_in_scope( &self, scope: ScopeId, name: &Name, ) -> Option<&ScopeEntry>

pub fn scope_for(&self, expr: ExprId) -> Option<ScopeId>

pub fn scope_by_expr(&self) -> &ArenaMap<ExprId, ScopeId>

impl ExprScopes

fn new_body(body: &Body) -> ExprScopes

fn new_store( store: &ExpressionStore, roots: impl IntoIterator<Item = ExprId>, ) -> ExprScopes

fn root_scope(&mut self) -> ScopeId

fn new_scope(&mut self, parent: ScopeId) -> ScopeId

fn new_labeled_scope( &mut self, parent: ScopeId, label: Option<LabelId>, ) -> ScopeId

fn new_block_scope( &mut self, parent: ScopeId, block: Option<BlockId>, label: Option<LabelId>, ) -> ScopeId

fn new_macro_def_scope( &mut self, parent: ScopeId, macro_id: Box<MacroDefId>, ) -> ScopeId

fn add_bindings( &mut self, store: &ExpressionStore, scope: ScopeId, binding: BindingId, hygiene: HygieneId, )

fn set_scope(&mut self, node: ExprId, scope: ScopeId)

fn shrink_to_fit(&mut self)

Trait Implementations

impl Debug for ExprScopes

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

Formats the value using the given formatter.

impl Eq for ExprScopes

impl PartialEq for ExprScopes

fn eq(&self, other: &ExprScopes) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ExprScopes