Struct Diagnostic 

#[non_exhaustive]
pub struct Diagnostic {
    pub range: TextRange,
    pub message: String,
    pub severity: Severity,
    pub code: DiagnosticCode,
}

A single structured diagnostic produced during error-tolerant parsing.

Carries a precise source byte TextRange (TR-006), a human-readable message, a Severity, and a stable DiagnosticCode (TR-013). One Diagnostic is emitted per recovery point; diagnostics never change the tree’s byte coverage (INV-3).

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

range: TextRange

Byte range the diagnostic refers to (a sub-range of [0, source_len)).

message: String

Human-readable description of the recovery.

severity: Severity

Fixed severity classification.

code: DiagnosticCode

Stable namespaced RON-Pxxxx code.

Implementations

impl Diagnostic

pub fn new( code: DiagnosticCode, range: TextRange, message: impl Into<String>, ) -> Self

Construct a diagnostic with the DiagnosticCode’s default severity.

pub fn code(&self) -> DiagnosticCode

This diagnostic’s stable DiagnosticCode.

pub fn severity(&self) -> Severity

This diagnostic’s Severity.

pub fn range(&self) -> TextRange

This diagnostic’s source byte TextRange.

pub fn message(&self) -> &str

This diagnostic’s human-readable message.

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.

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