Struct VisitDriver

pub struct VisitDriver<'tcx, 'c, K> {
    memo: &'c MemoPdgConstructor<'tcx, K>,
    call_string_stack: Vec<GlobalLocation>,
    current_function: Instance<'tcx>,
    k: K,
}

Fields

memo: &'c MemoPdgConstructor<'tcx, K>

call_string_stack: Vec<GlobalLocation>

current_function: Instance<'tcx>

k: K

Implementations

impl<'tcx, 'c, K> VisitDriver<'tcx, 'c, K>

pub fn new( memo: &'c MemoPdgConstructor<'tcx, K>, start: Instance<'tcx>, k: K, ) -> Self

pub fn with_pushed_stack<F, R>(&mut self, location: GlobalLocation, f: F) -> R

where F: FnOnce(&mut Self) -> R,

pub fn call_stack(&self) -> &[GlobalLocation]

pub fn current_function(&self) -> Instance<'tcx>

impl<'tcx, K: Clone + Hash + Eq> VisitDriver<'tcx, '_, K>

pub fn visit_partial_graph<V: Visitor<'tcx, K> + ?Sized>( &mut self, vis: &mut V, graph: &PartialGraph<'tcx, K>, )

pub fn visit_inlined_call<V: Visitor<'tcx, K> + ?Sized>( &mut self, vis: &mut V, loc: Location, inst: Instance<'tcx>, k: &K, )

pub fn start<V: Visitor<'tcx, K> + ?Sized>(&mut self, vis: &mut V)