miette

Struct MietteDiagnostic

Source
pub struct MietteDiagnostic {
    pub message: String,
    pub code: Option<String>,
    pub severity: Option<Severity>,
    pub help: Option<String>,
    pub url: Option<String>,
    pub labels: Option<Vec<LabeledSpan>>,
}
Expand description

Diagnostic that can be created at runtime.

Fields§

§message: String

Displayed diagnostic message

§code: Option<String>

Unique diagnostic code to look up more information about this Diagnostic. Ideally also globally unique, and documented in the toplevel crate’s documentation for easy searching. Rust path format (foo::bar::baz) is recommended, but more classic codes like E0123 will work just fine

§severity: Option<Severity>

Diagnostic severity. Intended to be used by ReportHandlers to change the way different Diagnostics are displayed. Defaults to Severity::Error

§help: Option<String>

Additional help text related to this Diagnostic

§url: Option<String>

URL to visit for a more detailed explanation/help about this Diagnostic.

§labels: Option<Vec<LabeledSpan>>

Labels to apply to this Diagnostic’s Diagnostic::source_code

Implementations§

Source§

impl MietteDiagnostic

Source

pub fn new(message: impl Into<String>) -> Self

Create a new dynamic diagnostic with the given message.

§Examples
use miette::{Diagnostic, MietteDiagnostic, Severity};

let diag = MietteDiagnostic::new("Oops, something went wrong!");
assert_eq!(diag.to_string(), "Oops, something went wrong!");
assert_eq!(diag.message, "Oops, something went wrong!");
Source

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

Return new diagnostic with the given code.

§Examples
use miette::{Diagnostic, MietteDiagnostic};

let diag = MietteDiagnostic::new("Oops, something went wrong!").with_code("foo::bar::baz");
assert_eq!(diag.message, "Oops, something went wrong!");
assert_eq!(diag.code, Some("foo::bar::baz".to_string()));
Source

pub fn with_severity(self, severity: Severity) -> Self

Return new diagnostic with the given severity.

§Examples
use miette::{Diagnostic, MietteDiagnostic, Severity};

let diag = MietteDiagnostic::new("I warn you to stop!").with_severity(Severity::Warning);
assert_eq!(diag.message, "I warn you to stop!");
assert_eq!(diag.severity, Some(Severity::Warning));
Source

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

Return new diagnostic with the given help message.

§Examples
use miette::{Diagnostic, MietteDiagnostic};

let diag = MietteDiagnostic::new("PC is not working").with_help("Try to reboot it again");
assert_eq!(diag.message, "PC is not working");
assert_eq!(diag.help, Some("Try to reboot it again".to_string()));
Source

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

Return new diagnostic with the given URL.

§Examples
use miette::{Diagnostic, MietteDiagnostic};

let diag = MietteDiagnostic::new("PC is not working")
    .with_url("https://letmegooglethat.com/?q=Why+my+pc+doesn%27t+work");
assert_eq!(diag.message, "PC is not working");
assert_eq!(
    diag.url,
    Some("https://letmegooglethat.com/?q=Why+my+pc+doesn%27t+work".to_string())
);
Source

pub fn with_label(self, label: impl Into<LabeledSpan>) -> Self

Return new diagnostic with the given label.

Discards previous labels

§Examples
use miette::{Diagnostic, LabeledSpan, MietteDiagnostic};

let source = "cpp is the best language";

let label = LabeledSpan::at(0..3, "This should be Rust");
let diag = MietteDiagnostic::new("Wrong best language").with_label(label.clone());
assert_eq!(diag.message, "Wrong best language");
assert_eq!(diag.labels, Some(vec![label]));
Source

pub fn with_labels(self, labels: impl IntoIterator<Item = LabeledSpan>) -> Self

Return new diagnostic with the given labels.

Discards previous labels

§Examples
use miette::{Diagnostic, LabeledSpan, MietteDiagnostic};

let source = "helo wrld";

let labels = vec![
    LabeledSpan::at_offset(3, "add 'l'"),
    LabeledSpan::at_offset(6, "add 'r'"),
];
let diag = MietteDiagnostic::new("Typos in 'hello world'").with_labels(labels.clone());
assert_eq!(diag.message, "Typos in 'hello world'");
assert_eq!(diag.labels, Some(labels));
Source

pub fn and_label(self, label: impl Into<LabeledSpan>) -> Self

Return new diagnostic with new label added to the existing ones.

§Examples
use miette::{Diagnostic, LabeledSpan, MietteDiagnostic};

let source = "helo wrld";

let label1 = LabeledSpan::at_offset(3, "add 'l'");
let label2 = LabeledSpan::at_offset(6, "add 'r'");
let diag = MietteDiagnostic::new("Typos in 'hello world'")
    .and_label(label1.clone())
    .and_label(label2.clone());
assert_eq!(diag.message, "Typos in 'hello world'");
assert_eq!(diag.labels, Some(vec![label1, label2]));
Source

pub fn and_labels(self, labels: impl IntoIterator<Item = LabeledSpan>) -> Self

Return new diagnostic with new labels added to the existing ones.

§Examples
use miette::{Diagnostic, LabeledSpan, MietteDiagnostic};

let source = "helo wrld";

let label1 = LabeledSpan::at_offset(3, "add 'l'");
let label2 = LabeledSpan::at_offset(6, "add 'r'");
let label3 = LabeledSpan::at_offset(9, "add '!'");
let diag = MietteDiagnostic::new("Typos in 'hello world!'")
    .and_label(label1.clone())
    .and_labels([label2.clone(), label3.clone()]);
assert_eq!(diag.message, "Typos in 'hello world!'");
assert_eq!(diag.labels, Some(vec![label1, label2, label3]));

Trait Implementations§

Source§

impl Clone for MietteDiagnostic

Source§

fn clone(&self) -> MietteDiagnostic

Returns a copy of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for MietteDiagnostic

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Diagnostic for MietteDiagnostic

Source§

fn code<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

Unique diagnostic code that can be used to look up more information about this Diagnostic. Ideally also globally unique, and documented in the toplevel crate’s documentation for easy searching. Rust path format (foo::bar::baz) is recommended, but more classic codes like E0123 or enums will work just fine.
Source§

fn severity(&self) -> Option<Severity>

Diagnostic severity. This may be used by ReportHandlers to change the display format of this diagnostic. Read more
Source§

fn help<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

Additional help text related to this Diagnostic. Do you have any advice for the poor soul who’s just run into this issue?
Source§

fn url<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

URL to visit for a more detailed explanation/help about this Diagnostic.
Source§

fn labels(&self) -> Option<Box<dyn Iterator<Item = LabeledSpan> + '_>>

Labels to apply to this Diagnostic’s Diagnostic::source_code
Source§

fn source_code(&self) -> Option<&dyn SourceCode>

Source code to apply this Diagnostic’s Diagnostic::labels to.
Source§

fn related<'a>( &'a self, ) -> Option<Box<dyn Iterator<Item = &'a dyn Diagnostic> + 'a>>

Additional related Diagnostics.
Source§

fn diagnostic_source(&self) -> Option<&dyn Diagnostic>

The cause of the error.
Source§

impl Display for MietteDiagnostic

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Error for MietteDiagnostic

1.30.0 · Source§

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()
1.0.0 · Source§

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting
Source§

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)
Provides type-based access to context intended for error reports. Read more
Source§

impl PartialEq for MietteDiagnostic

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Eq for MietteDiagnostic

Source§

impl StructuralPartialEq for MietteDiagnostic

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dst: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T> ToString for T
where T: Display + ?Sized,

Source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.