Trait clarity_repl::clarity::analysis::types::AnalysisPass

pub trait AnalysisPass {
    fn run_pass(
        contract_analysis: &mut ContractAnalysis,
        analysis_db: &mut AnalysisDatabase<'_>
    ) -> CheckResult<()>;
}

Required Methods

fn run_pass(
    contract_analysis: &mut ContractAnalysis,
    analysis_db: &mut AnalysisDatabase<'_>
) -> CheckResult<()>

Implementors

impl AnalysisPass for TraitChecker

impl AnalysisPass for TypeChecker<'_, '_>

impl<'a, 'b> AnalysisPass for ReadOnlyChecker<'a, 'b>