Struct FlowAnalysis

pub struct FlowAnalysis<'tcx, 'a> {
    rcx: &'a mut rCanary<'tcx>,
    fn_set: HashSet<DefId>,
}

Fields

rcx: &'a mut rCanary<'tcx>

fn_set: HashSet<DefId>

Implementations

impl<'tcx, 'a> FlowAnalysis<'tcx, 'a>

pub fn inter_run(&mut self)

impl<'tcx, 'a> FlowAnalysis<'tcx, 'a>

pub fn intra_run(&mut self)

impl<'tcx, 'a> FlowAnalysis<'tcx, 'a>

pub fn order(&mut self)

impl<'tcx, 'a> FlowAnalysis<'tcx, 'a>

pub fn new(rcx: &'a mut rCanary<'tcx>) -> Self

pub fn fn_set(&self) -> &HashSet<DefId>

pub fn fn_set_mut(&mut self) -> &mut HashSet<DefId>

pub fn mir_graph(&self) -> &MirGraph

pub fn mir_graph_mut(&mut self) -> &mut MirGraph

pub fn start(&mut self)

Trait Implementations

impl<'tcx, 'o, 'a> RcxMut<'tcx, 'o, 'a> for FlowAnalysis<'tcx, 'a>

fn rcx(&'o self) -> &'o rCanary<'tcx>

fn rcx_mut(&'o mut self) -> &'o mut rCanary<'tcx>

fn tcx(&'o self) -> TyCtxt<'tcx>