Trait Resolve

pub trait Resolve<'sg, 'rslv> {
    type EnvContainer
       where Self: 'rslv,
             'sg: 'rslv;

    // Required method
    fn resolve(&'rslv self, scope: Scope) -> Self::EnvContainer;
}

Required Associated Types

type EnvContainer where Self: 'rslv, 'sg: 'rslv

Required Methods

fn resolve(&'rslv self, scope: Scope) -> Self::EnvContainer

Implementors

impl<'sg: 'rslv, 'storage, 'rslv, LABEL, DATA, CMPL, PWF, DWF, LO, DEq> Resolve<'sg, 'rslv> for Query<'storage, 'sg, 'rslv, LABEL, DATA, CMPL, PWF, DWF, LO, DEq>

where LABEL: Label + Copy + Debug + Hash + Eq, DATA: Debug, CMPL: Completeness<LABEL, DATA>, CMPL::GetEdgesResult<'rslv>: ScopeContainer<LABEL>, <CMPL::GetEdgesResult<'rslv> as ScopeContainer<LABEL>>::PathContainer: PathContainer<'sg, 'rslv, LABEL, DATA>, <<CMPL::GetEdgesResult<'rslv> as ScopeContainer<LABEL>>::PathContainer as PathContainer<'sg, 'rslv, LABEL, DATA>>::EnvContainer: EnvContainer<'sg, 'rslv, LABEL, DATA> + Debug, PWF: for<'a> RegexMatcher<&'a LABEL> + 'rslv, DWF: DataWellformedness<DATA> + 'rslv, LO: LabelOrder<LABEL> + 'rslv, DEq: DataEquiv<DATA> + 'rslv, ResolvedPath<'sg, LABEL, DATA>: Hash + Eq, Path<LABEL>: Clone, 'storage: 'sg,

type EnvContainer = <<<CMPL as Completeness<LABEL, DATA>>::GetEdgesResult<'rslv> as ScopeContainer<LABEL>>::PathContainer as PathContainer<'sg, 'rslv, LABEL, DATA>>::EnvContainer where Self: 'rslv, 'sg: 'rslv