Struct EmbargoVisitor 

pub(crate) struct EmbargoVisitor<'tcx> {
    pub(crate) tcx: TyCtxt<'tcx>,
    pub(crate) effective_visibilities: EffectiveVisibilities,
    pub(crate) macro_reachable: FxHashSet<(LocalModDefId, LocalModDefId)>,
    pub(crate) changed: bool,
}

The embargo visitor, used to determine the exports of the AST.

Fields

tcx: TyCtxt<'tcx>

effective_visibilities: EffectiveVisibilities

Effective visibilities for reachable nodes.

macro_reachable: FxHashSet<(LocalModDefId, LocalModDefId)>

A set of pairs corresponding to modules, where the first module is reachable via a macro that’s defined in the second module. This cannot be represented as reachable because it can’t handle the following case:

pub mod n { // Should be Public pub(crate) mod p { // Should not be accessible pub fn f() -> i32 { 12 } // Must be Reachable } } pub macro m() { n::p::f() }

changed: bool

Has something changed in the level map?

Implementations

impl<'tcx> EmbargoVisitor<'tcx>

pub(crate) fn get(&self, def_id: LocalDefId) -> Option<EffectiveVisibility>

pub(crate) fn update( &mut self, def_id: LocalDefId, inherited_effective_vis: EffectiveVisibility, level: Level, )

pub(crate) fn update_eff_vis( &mut self, def_id: LocalDefId, inherited_effective_vis: EffectiveVisibility, max_vis: Option<Visibility>, level: Level, )

pub(crate) fn reach( &mut self, def_id: LocalDefId, effective_vis: EffectiveVisibility, ) -> ReachEverythingInTheInterfaceVisitor<'_, 'tcx>

pub(crate) fn reach_through_impl_trait( &mut self, def_id: LocalDefId, effective_vis: EffectiveVisibility, ) -> ReachEverythingInTheInterfaceVisitor<'_, 'tcx>

pub(crate) fn update_reachability_from_macro( &mut self, local_def_id: LocalDefId, md: &MacroDef, macro_ev: EffectiveVisibility, )

pub(crate) fn update_macro_reachable( &mut self, module_def_id: LocalModDefId, defining_mod: LocalModDefId, macro_ev: EffectiveVisibility, ) -> bool

Updates the item as being reachable through a macro defined in the given module. Returns true if the level has changed.

pub(crate) fn update_macro_reachable_def( &mut self, def_id: LocalDefId, def_kind: DefKind, vis: Visibility, module: LocalModDefId, macro_ev: EffectiveVisibility, )

impl<'tcx> EmbargoVisitor<'tcx>

pub(crate) fn check_def_id(&mut self, owner_id: OwnerId)

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 104 bytes