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 refinement_kind( self, def_id: LocalDefId, ) -> QueryResult<&'genv RefinementKind<'genv>>

pub fn flux_items( self, ) -> impl Iterator<Item = (FluxLocalDefId, FluxItem<'genv>)>

pub fn spec_func( &self, def_id: FluxLocalDefId, ) -> 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 [FluxLocalDefId]>

fn fn_reveals_for(self, def_id: LocalDefId) -> QueryResult<&'genv [FluxDefId]>

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>