Struct DataflowAnalyzer 

pub struct DataflowAnalyzer<'tcx> {
    pub tcx: TyCtxt<'tcx>,
    pub graphs: HashMap<DefId, DataflowGraph>,
    pub debug: bool,
    pub draw: bool,
}

Fields

tcx: TyCtxt<'tcx>

graphs: HashMap<DefId, DataflowGraph>

debug: bool

draw: bool

Implementations

impl<'tcx> DataflowAnalyzer<'tcx>

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

pub fn with_draw(self, draw: bool) -> Self

pub fn start(&mut self)

pub fn build_graphs(&mut self)

pub fn build_graph(&mut self, def_id: DefId)

pub fn draw_graphs(&self)

Trait Implementations

impl<'tcx> Analysis for DataflowAnalyzer<'tcx>

fn name(&self) -> &'static str

Return the name of the analysis.

fn run(&mut self)

Execute the analysis.

fn reset(&mut self)

Reset the analysis and cleanup the memory.

impl<'tcx> DataflowAnalysis for DataflowAnalyzer<'tcx>

fn get_fn_dataflow(&self, def_id: DefId) -> Option<DataFlowGraph>

fn get_all_dataflow(&self) -> DataFlowGraphMap

fn has_flow_between(&self, def_id: DefId, local1: Local, local2: Local) -> bool

fn collect_equivalent_locals( &self, def_id: DefId, local: Local, ) -> HashSet<Local>

fn get_fn_arg2ret(&self, def_id: DefId) -> Arg2Ret

fn get_all_arg2ret(&self) -> Arg2RetMap