Trait cairo_lang_semantic::plugin::PluginAuxData

source · 
pub trait PluginAuxData: Debug + Sync + Send + GeneratedFileAuxData + AsDynGeneratedFileAuxData {
    // Required method
    fn map_diag(
        &self,
        db: &(dyn SemanticGroup + 'static),
        diag: &dyn Any
    ) -> Option<PluginMappedDiagnostic>;
}
Expand description

A trait for Plugins auxiliary data.

The auxiliary data can assist in mapping plugin generated diagnostics to more readable diagnostics.

Required Methods§

source

fn map_diag( &self, db: &(dyn SemanticGroup + 'static), diag: &dyn Any ) -> Option<PluginMappedDiagnostic>

Implementors§