Struct Diagnostic

pub struct Diagnostic { /* private fields */ }

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

Implementations

impl Diagnostic

pub fn warning(message: &str) -> Self

Creates a new warning with the message message

pub fn error(message: &str) -> Self

Creates a new error with the message message

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 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<'de> Deserialize<'de> for Diagnostic

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<Diagnostic> for Diagnostic<()>

fn from(diag: Diagnostic) -> Self

Converts to this type from the input type.

impl From<Diagnostic> for RtLolaError

fn from(diag: Diagnostic) -> Self

Converts to this type from the input type.

impl FromIterator<Diagnostic> for RtLolaError

fn from_iter<T: IntoIterator<Item = Diagnostic>>(iter: T) -> Self

Creates a value from an iterator.

impl Serialize for Diagnostic

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.