Trait Analysis

pub trait Analysis {
    // Required methods
    fn name(&self) -> &'static str;
    fn run(&mut self);
    fn reset(&mut self);
}

Required Methods

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 result.

Implementors

impl<'tcx> Analysis for DefaultAlias<'tcx>

impl<'tcx> Analysis for MopAlias<'tcx>

impl<'tcx, T> Analysis for DefaultRange<'tcx, T>

where T: IntervalArithmetic + ConstConvert + Debug,