Trait RangeAnalysis

pub trait RangeAnalysis<'tcx, T: IntervalArithmetic + ConstConvert + Debug>: Analysis {
    // Required methods
    fn get_fn_range(&self, def_id: DefId) -> Option<HashMap<Local, Range<T>>>;
    fn get_all_fn_ranges(&self) -> FxHashMap<DefId, HashMap<Local, Range<T>>>;
    fn get_fn_local_range(
        &self,
        def_id: DefId,
        local: Local,
    ) -> Option<Range<T>>;
}

Required Methods

fn get_fn_range(&self, def_id: DefId) -> Option<HashMap<Local, Range<T>>>

fn get_all_fn_ranges(&self) -> FxHashMap<DefId, HashMap<Local, Range<T>>>

fn get_fn_local_range(&self, def_id: DefId, local: Local) -> Option<Range<T>>

Implementors

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

where T: IntervalArithmetic + ConstConvert + Debug,