Trait cairo_lang_semantic::plugin::AnalyzerPlugin

source · 
pub trait AnalyzerPlugin: Debug + Sync + Send {
    // Required method
    fn diagnostics(
        &self,
        db: &dyn SemanticGroup,
        module_id: ModuleId
    ) -> Vec<PluginDiagnostic>;
}
Expand description

A trait for an analyzer plugin: external plugin that generates additional diagnostics for modules.

Required Methods§

source

fn diagnostics( &self, db: &dyn SemanticGroup, module_id: ModuleId ) -> Vec<PluginDiagnostic>

Runs the plugin on a module.

Implementors§