Struct moore_vhdl::scope2::ScopeData

pub struct ScopeData<'t> {
    pub parent: Option<&'t ScopeData<'t>>,
    pub defs: RefCell<HashMap<ResolvableName, Vec<Spanned<Def2<'t>>>>>,
    pub imported_defs: RefCell<HashMap<ResolvableName, Vec<Spanned<Def2<'t>>>>>,
    pub imported_scopes: RefCell<HashSet<&'t ScopeData<'t>>>,
}

A scope.

Fields

parent: Option<&'t ScopeData<'t>>

The parent scope.

defs: RefCell<HashMap<ResolvableName, Vec<Spanned<Def2<'t>>>>>

The definitions made in this scope.

imported_defs: RefCell<HashMap<ResolvableName, Vec<Spanned<Def2<'t>>>>>

The definitions imported from other scopes.

imported_scopes: RefCell<HashSet<&'t ScopeData<'t>>>

The explicitly imported scopes.

Implementations

impl<'t> ScopeData<'t>

pub fn root() -> ScopeData<'t>

Create a new root scope.

pub fn new(parent: &'t ScopeData<'t>) -> ScopeData<'t>

Create a new scope.

pub fn define(
    &self,
    name: Spanned<ResolvableName>,
    def: Def2<'t>,
    ctx: &dyn SessionContext
) -> Result<()>

Define a new name in the scope.

pub fn import_def(
    &self,
    name: ResolvableName,
    def: Spanned<Def2<'t>>
) -> Result<()>

Import a definition into the scope.

pub fn import_scope(&self, scope: &'t ScopeData<'t>) -> Result<()>

Import an entire scope into the scope.

pub fn resolve(
    &self,
    name: ResolvableName,
    recur: bool
) -> Vec<Spanned<Def2<'t>>>

Find a name in this scope.

This only searches this scope and does not proceed to parent or child scopes. Use a dedicated name resolver for that.

Trait Implementations

impl<'a, 't> Alloc<'a, 'a, ScopeData<'t>> for Arenas2<'t> where
    't: 'a, 

fn alloc(&'a self, value: ScopeData<'t>) -> &'a mut ScopeData<'t>

Allocate a value of type T.

impl<'t> Clone for ScopeData<'t>

fn clone(&self) -> ScopeData<'t>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'t> Debug for ScopeData<'t>

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

Formats the value using the given formatter.

impl<'t> Hash for &'t ScopeData<'t>

fn hash<H: Hasher>(&self, hasher: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<'t> PartialEq<&'t ScopeData<'t>> for &'t ScopeData<'t>

fn eq(&self, b: &Self) -> 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 !=.

impl<'t> ScopeSpecificTermContext<'t, &'t ScopeData<'t>, Def2<'t>> for TermContext<AllocContext<'t>, &'t ScopeData<'t>, Def2<'t>>

fn termify_name_in_scope(
    &self,
    name: Spanned<ResolvableName>,
    scope: &'t ScopeData<'t>
) -> Result<Spanned<Term<'t>>>

Map a resolvable name to a term, resolving it within a scope.

fn maybe_selectable_scope(&self, term: &Term<'t>) -> Option<&'t ScopeData<'t>>

impl<'t> Eq for &'t ScopeData<'t>