pub trait Diagnostic {
    fn title(&self) -> String;
    fn range(&self) -> TextRange;
    fn primary_annotation(&self) -> Option<SourceAnnotation>;

    fn secondary_annotations(&self) -> Vec<SecondaryAnnotation> { ... }
    fn footer(&self) -> Vec<String> { ... }
}
Expand description

The base trait for all diagnostics in this crate.

Required Methods§

Returns the primary message of the diagnostic.

Returns the location of this diagnostic.

Returns a source annotation that acts as the primary annotation for this Diagnostic.

Provided Methods§

Returns secondary source annotation that are shown as additional references.

Optional footer text

Implementors§