Struct Diagnostic 

pub struct Diagnostic {
    pub severity: Severity,
    pub code: String,
    pub message: String,
    pub primary: Option<Span>,
    pub labels: Vec<Label>,
    pub rule: Option<String>,
    pub help: Option<String>,
}

A compiler or runtime message about a specific place in source.

Fields

severity: Severity

code: String

Stable identifier such as cove::parse::unexpected_token.

message: String

primary: Option<Span>

labels: Vec<Label>

rule: Option<String>

The Cove rule this diagnostic enforces, in one sentence.

help: Option<String>

An unambiguous textual correction, when one exists.

Implementations

impl Diagnostic

pub fn error(code: impl Into<String>, message: impl Into<String>) -> Self

pub fn warning(code: impl Into<String>, message: impl Into<String>) -> Self

pub fn note(code: impl Into<String>, message: impl Into<String>) -> Self

Something the toolchain deliberately did not check, said out loud.

A note is not a complaint. It reports a place where a rule of the language, or a promise a schema made, leaves the compiler nothing to prove, so that a run which succeeds still says which of its silences were chosen ones.

pub fn at(self, span: Span) -> Self

pub fn label(self, span: Span, message: impl Into<String>) -> Self

pub fn rule(self, rule: impl Into<String>) -> Self

pub fn help(self, help: impl Into<String>) -> Self

Trait Implementations

impl Clone for Diagnostic

fn clone(&self) -> Diagnostic

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Diagnostic

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.