Trait clarity_repl::analysis::AnalysisPass

pub trait AnalysisPass {
    fn run_pass(
        contract_analysis: &mut ContractAnalysis,
        analysis_db: &mut AnalysisDatabase<'_>,
        annotations: &Vec<Annotation>,
        settings: &Settings
    ) -> AnalysisResult;
}

Required Methods

fn run_pass(
    contract_analysis: &mut ContractAnalysis,
    analysis_db: &mut AnalysisDatabase<'_>,
    annotations: &Vec<Annotation>,
    settings: &Settings
) -> AnalysisResult

Implementors

impl AnalysisPass for CallChecker<'_>

impl AnalysisPass for CheckChecker<'_, '_>