Struct Map

pub struct Map<'genv, 'tcx> {
    genv: GlobalEnv<'genv, 'tcx>,
    fhir: &'genv FluxItems<'genv>,
}

Fields

genv: GlobalEnv<'genv, 'tcx>

fhir: &'genv FluxItems<'genv>

Implementations

impl<'genv, 'tcx> Map<'genv, 'tcx>

fn new(genv: GlobalEnv<'genv, 'tcx>, fhir: &'genv FluxItems<'genv>) -> Self

pub fn get_generics( self, def_id: LocalDefId, ) -> QueryResult<Option<&'genv Generics<'genv>>>

pub fn get_flux_item(self, name: Symbol) -> Option<&'genv FluxItem<'genv>>

pub fn refinement_kind( self, def_id: LocalDefId, ) -> QueryResult<&'genv RefinementKind<'genv>>

pub fn spec_funcs(self) -> impl Iterator<Item = &'genv SpecFunc<'genv>>

pub fn spec_func(&self, name: Symbol) -> Option<&'genv SpecFunc<'genv>>

pub fn qualifiers(self) -> impl Iterator<Item = &'genv Qualifier<'genv>>

pub fn fn_quals_for(self, def_id: LocalDefId) -> QueryResult<&'genv [Ident]>

pub fn expect_item(self, def_id: LocalDefId) -> QueryResult<&'genv Item<'genv>>

pub fn node(self, def_id: LocalDefId) -> QueryResult<Node<'genv>>

pub fn expect_owner_node( self, def_id: LocalDefId, ) -> QueryResult<OwnerNode<'genv>>

Trait Implementations

impl<'genv, 'tcx> Clone for Map<'genv, 'tcx>

fn clone(&self) -> Map<'genv, 'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'genv, 'tcx> Copy for Map<'genv, 'tcx>