Trait stacks_rpc_client::clarity::vm::analysis::AnalysisPass

pub trait AnalysisPass {
    // Required method
    fn run_pass(
        epoch: &StacksEpochId,
        contract_analysis: &mut ContractAnalysis,
        analysis_db: &mut AnalysisDatabase<'_>
    ) -> Result<(), CheckError>;
}

Required Methods

fn run_pass( epoch: &StacksEpochId, contract_analysis: &mut ContractAnalysis, analysis_db: &mut AnalysisDatabase<'_> ) -> Result<(), CheckError>

Object Safety

This trait is not object safe.

Implementors

impl AnalysisPass for TraitChecker

impl AnalysisPass for stacks_rpc_client::clarity::vm::analysis::type_checker::v2_1::TypeChecker<'_, '_>

impl AnalysisPass for stacks_rpc_client::clarity::vm::analysis::type_checker::v2_05::TypeChecker<'_, '_>

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