Trait clarity_repl::analysis::AnalysisPass
source · [−]pub trait AnalysisPass {
fn run_pass(
contract_analysis: &mut ContractAnalysis,
analysis_db: &mut AnalysisDatabase<'_>,
annotations: &Vec<Annotation>,
settings: &Settings
) -> AnalysisResult;
}