Struct rtlola_reporting::Diagnostic

pub struct Diagnostic<'a> { /* fields omitted */ }

A Diagnostic is more flexible way to build and output errors and warnings.

Implementations

impl<'a> Diagnostic<'a>

pub fn warning(handler: &'a Handler, message: &str) -> Self

Creates a new warning with the message message

pub fn error(handler: &'a Handler, message: &str) -> Self

Creates a new error with the message message

pub fn emit(self)

Emits the diagnostic using the given Handler

pub fn add_span_with_label(
    self,
    span: Span,
    label: Option<&str>,
    primary: bool
) -> Self

Adds a code span to the diagnostic. The label is printed next to the code fragment the span refers to. If primary is set to true the span is treated as the primary code fragment.

pub fn maybe_add_span_with_label(
    self,
    span: Option<Span>,
    label: Option<&str>,
    primary: bool
) -> Self

Adds a code span to the diagnostic if the span is available. The label is printed next to the code fragment the span refers to. If primary is set to true the span is treated as the primary code fragment.

pub fn add_note(self, note: &str) -> Self

Adds a note to the bottom of the diagnostic.

Trait Implementations

impl<'a> Clone for Diagnostic<'a>

fn clone(&self) -> Diagnostic<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Diagnostic<'a>

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

Formats the value using the given formatter.