Trait moore_vhdl::term::ScopeSpecificTermContext

pub trait ScopeSpecificTermContext<'t, S, D> {
    fn termify_name_in_scope(
        &self, 
        name: Spanned<ResolvableName>, 
        scope: S
    ) -> Result<Spanned<Term<'t>>>;
    fn maybe_selectable_scope(&self, term: &Term<'t>) -> Option<S>;
}

Required methods

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

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

Loading content...

Implementors

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, 'sbc, 'lazy, 'sb, 'ast, 'ctx> ScopeSpecificTermContext<'t, ScopeRef, Def> for TermContext<&'sbc ScoreContext<'lazy, 'sb, 'ast, 'ctx>, ScopeRef, Def> where
    'lazy: 'sbc,
    'sb: 'lazy,
    'ast: 'sb,
    'ctx: 'sb, 

fn termify_name_in_scope(
    &self,
    name: Spanned<ResolvableName>,
    scope: ScopeRef
) -> 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<ScopeRef>

Loading content...