Interface StaticAnalysis

src/analysis/analyzer/analysis_trait.rs:11–22

General trait for static analysis Developers may reuse this trait to implement their own analysis

/// General trait for static analysis
/// Developers may reuse this trait to implement their own analysis
pub trait StaticAnalysis<'tcx, 'a, 'compiler> {
    fn new(context: &'a mut GlobalContext<'tcx, 'compiler>) -> Self;
    fn run(&mut self) -> Result<AnalysisInfo>;
    fn analyze_function<DomainType>(
        &mut self,
        def_id: DefId,
        abstract_domain: AbstractDomain<DomainType>,
    ) where
        DomainType: NumericalDomainType,
        IntervalAbstractDomain<DomainType>: GetDomainType;
    fn emit_diagnostics(&mut self);
}