Struct MemoPdgConstructor

pub struct MemoPdgConstructor<'tcx> {
    pub(crate) tcx: TyCtxt<'tcx>,
    pub(crate) call_change_callback: Option<Rc<dyn CallChangeCallback<'tcx> + 'tcx>>,
    pub(crate) dump_mir: bool,
    pub(crate) async_info: Rc<AsyncInfo>,
    pub pdg_cache: Rc<Cache<Instance<'tcx>, PartialGraph<'tcx>>>,
    pub(crate) body_cache: Rc<BodyCache<'tcx>>,
}

A memoizing constructor of PDGs.

Each (LocalDefId, GenericArgs) pair is guaranteed to be constructed only once.

Fields

tcx: TyCtxt<'tcx>

call_change_callback: Option<Rc<dyn CallChangeCallback<'tcx> + 'tcx>>

dump_mir: bool

async_info: Rc<AsyncInfo>

pdg_cache: Rc<Cache<Instance<'tcx>, PartialGraph<'tcx>>>

body_cache: Rc<BodyCache<'tcx>>

Implementations

impl<'tcx> MemoPdgConstructor<'tcx>

pub fn new(tcx: TyCtxt<'tcx>) -> Self

Initialize the constructor.

pub fn new_with_cache( tcx: TyCtxt<'tcx>, body_cache: Rc<BodyCache<'tcx>>, ) -> Self

Initialize the constructor.

pub fn with_dump_mir(&mut self, dump_mir: bool) -> &mut Self

Dump the MIR of any function that is visited.

pub fn with_call_change_callback( &mut self, callback: impl CallChangeCallback<'tcx> + 'tcx, ) -> &mut Self

Register a callback to determine how to deal with function calls seen. Overwrites any previously registered callback with no warning.

pub fn construct_root<'a>( &'a self, function: LocalDefId, ) -> &'a PartialGraph<'tcx>

Construct the intermediate PDG for this function. Instantiates any generic arguments as dyn <constraints>.

pub(crate) fn construct_for<'a>( &'a self, resolution: Instance<'tcx>, ) -> Option<&'a PartialGraph<'tcx>>

Construct a graph for this instance of return it from the cache.

Returns None if this is a recursive call trying to construct the graph again.

pub fn is_in_cache(&self, resolution: Instance<'tcx>) -> bool

Has a PDG been constructed for this instance before?

pub fn construct_graph(&self, function: LocalDefId) -> DepGraph<'tcx>

Construct a final PDG for this function. Same as Self::construct_root this instantiates all generics as dyn.

Additionally if this is an async fn or #[async_trait] it will inline the closure as though the function were called with poll.

pub fn body_for_def_id(&self, key: DefId) -> &'tcx CachedBody<'tcx>

Try to retrieve or load a body for this id.

Returns None if the loading policy forbids loading from this crate.

pub fn body_cache(&self) -> &Rc<BodyCache<'tcx>>

Access to the underlying body cache.

pub fn take_call_changes_policy( &mut self, ) -> Option<Rc<dyn CallChangeCallback<'tcx> + 'tcx>>

Used for testing.