Struct cairo_lang_semantic::resolve::scope::Scope

pub struct Scope {
    pub generic_items: OrderedHashMap<SmolStr, ResolvedGenericItem>,
    pub concrete_items: OrderedHashMap<SmolStr, ResolvedConcreteItem>,
    pub parent: Option<Arc<Scope>>,
}

A scope of resolved items. Scopes define a hierarchy of resolved items, for later lookup. A lookup of an item starts at a specific scope, and falls back to the parent scope.

Fields

generic_items: OrderedHashMap<SmolStr, ResolvedGenericItem>

concrete_items: OrderedHashMap<SmolStr, ResolvedConcreteItem>

parent: Option<Arc<Scope>>

Trait Implementations

impl Clone for Scope

fn clone(&self) -> Scope

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Scope

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

Formats the value using the given formatter.

impl<'a, T: ?Sized + Upcast<dyn SemanticGroup + 'a>> DebugWithDb<T> for Scope

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

fn debug<'me, 'db>(&'me self, db: &'me Db) -> DebugWith<'me, Db>where Self: Sized + 'me,

fn into_debug<'me, 'db>(self, db: &'me Db) -> DebugWith<'me, Db>where Self: Sized + 'me,

impl PartialEq<Scope> for Scope

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for Scope

impl StructuralEq for Scope

impl StructuralPartialEq for Scope