Struct hir_def::body::scope::ExprScopes

pub struct ExprScopes { /* private fields */ }

Implementations

impl 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, Name)>

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>

Trait Implementations

impl Debug for ExprScopes

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

Formats the value using the given formatter.

impl PartialEq for ExprScopes

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ExprScopes

impl StructuralPartialEq for ExprScopes