Skip to main content

Rule

safe_migrate::rules

Trait Rule 

Source 
pub trait Rule {
    // Required methods
    fn id(&self) -> &'static str;
    fn default_tier(&self) -> ViolationTier;
    fn recipe(&self) -> &'static str;
    fn evaluate(
        &self,
        mutation: &Mutation,
        result: &MutationResult,
        pre_state: &PreState,
        state: &AnalysisState,
        config: &Config,
        cascade_closure: Option<&CascadeResult>,
    ) -> Vec<Violation>;
}

Required Methods§

Source

fn id(&self) -> &'static str

Source

fn default_tier(&self) -> ViolationTier

Source

fn recipe(&self) -> &'static str

Source

fn evaluate( &self, mutation: &Mutation, result: &MutationResult, pre_state: &PreState, state: &AnalysisState, config: &Config, cascade_closure: Option<&CascadeResult>, ) -> Vec<Violation>

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§