Struct MarkerDatabase

pub struct MarkerDatabase<'tcx> {
    tcx: TyCtxt<'tcx>,
    annotations: FxHashMap<DefId, Vec<Annotation>>,
    external_annotations: HashMap<DefId, Vec<MarkerAnnotation>>,
    reachable_markers: Cache<MaybeMonomorphized<'tcx>, Box<[Identifier]>>,
    config: &'static Args,
    type_markers: Cache<Ty<'tcx>, Box<TypeMarkers>>,
    body_cache: Rc<BodyCache<'tcx>>,
    included_crates: FxHashSet<CrateNum>,
    stubs: FxHashMap<DefId, &'static Stub>,
}

The structure inside of MarkerCtx.

Fields

tcx: TyCtxt<'tcx>

annotations: FxHashMap<DefId, Vec<Annotation>>

Cache for parsed local annotations. They are created with [MarkerCtx::retrieve_local_annotations_for].

external_annotations: HashMap<DefId, Vec<MarkerAnnotation>>

reachable_markers: Cache<MaybeMonomorphized<'tcx>, Box<[Identifier]>>

Cache whether markers are reachable transitively.

config: &'static Args

Configuration options

type_markers: Cache<Ty<'tcx>, Box<TypeMarkers>>

body_cache: Rc<BodyCache<'tcx>>

included_crates: FxHashSet<CrateNum>

stubs: FxHashMap<DefId, &'static Stub>

Implementations

impl<'tcx> MarkerDatabase<'tcx>

pub fn init( tcx: TyCtxt<'tcx>, args: &'static Args, body_cache: Rc<BodyCache<'tcx>>, included_crates: FxHashSet<CrateNum>, ) -> Self

Construct a new database, loading external markers.

Trait Implementations

impl<'tcx> From<MarkerDatabase<'tcx>> for MarkerCtx<'tcx>

fn from(value: MarkerDatabase<'tcx>) -> Self

Converts to this type from the input type.