Trait cairo_lang_diagnostics::DiagnosticEntry

pub trait DiagnosticEntry: Clone + Debug + Eq + Hash {
    type DbType: Upcast<dyn FilesGroup> + ?Sized;

    // Required methods
    fn format(&self, db: &Self::DbType) -> String;
    fn location(&self, db: &Self::DbType) -> DiagnosticLocation;

    // Provided methods
    fn notes(&self, _db: &Self::DbType) -> &[DiagnosticNote] { ... }
    fn severity(&self) -> Severity { ... }
    fn error_code(&self) -> Option<ErrorCode> { ... }
}

A trait for diagnostics (i.e., errors and warnings) across the compiler. Meant to be implemented by each module that may produce diagnostics.

Required Associated Types

type DbType: Upcast<dyn FilesGroup> + ?Sized

Required Methods

fn format(&self, db: &Self::DbType) -> String

fn location(&self, db: &Self::DbType) -> DiagnosticLocation

Provided Methods

fn notes(&self, _db: &Self::DbType) -> &[DiagnosticNote]

fn severity(&self) -> Severity

fn error_code(&self) -> Option<ErrorCode>

Object Safety

This trait is not object safe.

Implementors