[−][src]Struct moore_vhdl::scope2::ScopeData
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.
Methods
impl<'t> ScopeData<'t>
[src]
impl<'t> ScopeData<'t>
pub fn root() -> ScopeData<'t> | [src] |
Create a new root scope.
pub fn new(parent: &'t ScopeData<'t>) -> ScopeData<'t> | [src] |
Create a new scope.
pub fn define( | [src] |
Define a new name in the scope.
pub fn import_def( | [src] |
Import a definition into the scope.
pub fn import_scope(&self, scope: &'t ScopeData<'t>) -> Result<()> | [src] |
Import an entire scope into the scope.
pub fn resolve( | [src] |
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,
[src]
impl<'a, 't> Alloc<'a, 'a, ScopeData<'t>> for Arenas2<'t> where
't: 'a,
impl<'t> ScopeSpecificTermContext<'t, &'t ScopeData<'t>, Def2<'t>> for TermContext<AllocContext<'t>, &'t ScopeData<'t>, Def2<'t>>
[src]
impl<'t> ScopeSpecificTermContext<'t, &'t ScopeData<'t>, Def2<'t>> for TermContext<AllocContext<'t>, &'t ScopeData<'t>, Def2<'t>>
fn termify_name_in_scope( | [src] |
Map a resolvable name to a term, resolving it within a scope.
fn maybe_selectable_scope(&self, term: &Term<'t>) -> Option<&'t ScopeData<'t>> | [src] |
impl<'t> Eq for &'t ScopeData<'t>
[src]
impl<'t> Eq for &'t ScopeData<'t>
impl<'t> Clone for ScopeData<'t>
[src]
impl<'t> Clone for ScopeData<'t>
fn clone(&self) -> ScopeData<'t> | [src] |
fn clone_from(&mut self, source: &Self) | 1.0.0 [src] |
Performs copy-assignment from source
. Read more
impl<'t> PartialEq<&'t ScopeData<'t>> for &'t ScopeData<'t>
[src]
impl<'t> PartialEq<&'t ScopeData<'t>> for &'t ScopeData<'t>
fn eq(&self, b: &Self) -> bool | [src] |
| 1.0.0 [src] |
This method tests for !=
.
impl<'t> Debug for ScopeData<'t>
[src]
impl<'t> Debug for ScopeData<'t>
impl<'t> Hash for &'t ScopeData<'t>
[src]
impl<'t> Hash for &'t ScopeData<'t>
Auto Trait Implementations
Blanket Implementations
impl<T> From for T
[src]
impl<T> From for T
impl<T, U> Into for T where
U: From<T>,
[src]
impl<T, U> Into for T where
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
impl<T> ToOwned for T where
T: Clone,
impl<T, U> TryFrom for T where
T: From<U>,
[src]
impl<T, U> TryFrom for T where
T: From<U>,
type Error = !
🔬 This is a nightly-only experimental API. (
try_from
)The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error> | [src] |
impl<T> Borrow for T where
T: ?Sized,
[src]
impl<T> Borrow for T where
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
impl<T> Any for T where
T: 'static + ?Sized,
fn get_type_id(&self) -> TypeId | [src] |
impl<T> BorrowMut for T where
T: ?Sized,
[src]
impl<T> BorrowMut for T where
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T | [src] |
impl<T, U> TryInto for T where
U: TryFrom<T>,
[src]
impl<T, U> TryInto for T where
U: TryFrom<T>,