Struct Diagnostic 

pub struct Diagnostic {
    pub kind: DiagnosticKind,
    pub message: String,
    pub span: Span,
    pub position: Option<LineCol>,
    pub expected: Vec<String>,
    pub notes: Vec<String>,
}

Structured user-facing diagnostic.

Fields

kind: DiagnosticKind

Error phase.

message: String

Primary message.

span: Span

Primary source span.

position: Option<LineCol>

One-based line/column for the primary span when a source is available.

expected: Vec<String>

Expected syntax or semantic items.

notes: Vec<String>

Additional context notes.

Implementations

impl Diagnostic

pub fn new( kind: DiagnosticKind, message: impl Into<String>, span: Span, ) -> Diagnostic

Creates a diagnostic with no expected items or notes.

pub const fn with_position(self, position: LineCol) -> Diagnostic

Sets a one-based line/column position for the primary span.

pub fn with_expected(self, expected: impl Into<String>) -> Diagnostic

Adds one expected syntax or semantic item.

pub fn with_note(self, note: impl Into<String>) -> Diagnostic

Adds one explanatory note.

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<(), Error>

Formats the value using the given formatter.

impl Display for Diagnostic

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

Formats the value using the given formatter.

impl Eq for Diagnostic

impl PartialEq for Diagnostic

fn eq(&self, other: &Diagnostic) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Diagnostic