This commit is contained in:
Brooks Rady 2024-11-26 09:12:03 -08:00 committed by GitHub
commit 9193d4489e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
9 changed files with 117 additions and 17 deletions

View File

@ -1,6 +1,6 @@
use std::fmt;
use crate::{protocol::Diagnostic, ReportHandler};
use crate::{protocol::Diagnostic, AsDiagnostic, ReportHandler};
/**
[`ReportHandler`] that renders plain text and avoids extraneous graphics.
@ -31,8 +31,9 @@ impl DebugReportHandler {
pub fn render_report(
&self,
f: &mut fmt::Formatter<'_>,
diagnostic: &(dyn Diagnostic),
diagnostic: impl AsDiagnostic,
) -> fmt::Result {
let diagnostic = diagnostic.as_dyn();
let mut diag = f.debug_struct("Diagnostic");
diag.field("message", &format!("{}", diagnostic));
if let Some(code) = diagnostic.code() {

View File

@ -7,7 +7,7 @@ use crate::diagnostic_chain::{DiagnosticChain, ErrorKind};
use crate::handlers::theme::*;
use crate::highlighters::{Highlighter, MietteHighlighter};
use crate::protocol::{Diagnostic, Severity};
use crate::{LabeledSpan, ReportHandler, SourceCode, SourceSpan, SpanContents};
use crate::{AsDiagnostic, LabeledSpan, ReportHandler, SourceCode, SourceSpan, SpanContents};
/**
A [`ReportHandler`] that displays a given [`Report`](crate::Report) in a
@ -216,8 +216,9 @@ impl GraphicalReportHandler {
pub fn render_report(
&self,
f: &mut impl fmt::Write,
diagnostic: &(dyn Diagnostic),
diagnostic: impl AsDiagnostic,
) -> fmt::Result {
let diagnostic = diagnostic.as_dyn();
self.render_header(f, diagnostic)?;
self.render_causes(f, diagnostic)?;
let src = diagnostic.source_code();

View File

@ -1,7 +1,8 @@
use std::fmt::{self, Write};
use crate::{
diagnostic_chain::DiagnosticChain, protocol::Diagnostic, ReportHandler, Severity, SourceCode,
diagnostic_chain::DiagnosticChain, protocol::Diagnostic, AsDiagnostic, ReportHandler, Severity,
SourceCode,
};
/**
@ -60,8 +61,9 @@ impl JSONReportHandler {
pub fn render_report(
&self,
f: &mut impl fmt::Write,
diagnostic: &(dyn Diagnostic),
diagnostic: impl AsDiagnostic,
) -> fmt::Result {
let diagnostic = diagnostic.as_dyn();
self._render_report(f, diagnostic, None)
}

View File

@ -4,7 +4,9 @@ use unicode_width::{UnicodeWidthChar, UnicodeWidthStr};
use crate::diagnostic_chain::DiagnosticChain;
use crate::protocol::{Diagnostic, Severity};
use crate::{LabeledSpan, MietteError, ReportHandler, SourceCode, SourceSpan, SpanContents};
use crate::{
AsDiagnostic, LabeledSpan, MietteError, ReportHandler, SourceCode, SourceSpan, SpanContents,
};
/**
[`ReportHandler`] that renders plain text and avoids extraneous graphics.
@ -69,8 +71,9 @@ impl NarratableReportHandler {
pub fn render_report(
&self,
f: &mut impl fmt::Write,
diagnostic: &(dyn Diagnostic),
diagnostic: impl AsDiagnostic,
) -> fmt::Result {
let diagnostic = diagnostic.as_dyn();
self.render_header(f, diagnostic)?;
if self.with_cause_chain {
self.render_causes(f, diagnostic)?;

View File

@ -12,7 +12,7 @@ use std::{
#[cfg(feature = "serde")]
use serde::{Deserialize, Serialize};
use crate::MietteError;
use crate::{MietteError, Report};
/// Adds rich metadata to your Error that can be used by
/// [`Report`](crate::Report) to print really nice and human-friendly error
@ -69,6 +69,48 @@ pub trait Diagnostic: std::error::Error {
}
}
macro_rules! blanket_ref_impls {
($($ref_type:ty),+ $(,)?) => {
$(
impl<T: Diagnostic> Diagnostic for $ref_type {
fn code<'a>(&'a self) -> Option<Box<dyn Display + 'a>> {
(**self).code()
}
fn severity(&self) -> Option<Severity> {
(**self).severity()
}
fn help<'a>(&'a self) -> Option<Box<dyn Display + 'a>> {
(**self).help()
}
fn url<'a>(&'a self) -> Option<Box<dyn Display + 'a>> {
(**self).url()
}
fn source_code(&self) -> Option<&dyn SourceCode> {
(**self).source_code()
}
fn labels(&self) -> Option<Box<dyn Iterator<Item = LabeledSpan> + '_>> {
(**self).labels()
}
fn related<'a>(&'a self) -> Option<Box<dyn Iterator<Item = &'a dyn Diagnostic> + 'a>> {
(**self).related()
}
fn diagnostic_source(&self) -> Option<&dyn Diagnostic> {
(**self).diagnostic_source()
}
}
)+
};
}
blanket_ref_impls!(&T, Box<T>);
macro_rules! box_error_impls {
($($box_type:ty),*) => {
$(
@ -189,6 +231,44 @@ impl From<Box<dyn std::error::Error + Send + Sync>> for Box<dyn Diagnostic + Sen
}
}
/// WOOF
pub trait AsDiagnostic {
/// BARK
fn as_dyn(&self) -> &dyn Diagnostic;
}
impl AsDiagnostic for &dyn Diagnostic {
fn as_dyn(&self) -> &dyn Diagnostic {
*self
}
}
impl AsDiagnostic for Report {
fn as_dyn(&self) -> &dyn Diagnostic {
self.as_ref()
}
}
macro_rules! blanket_ref_impls {
($($ref_type:ty),+ $(,)?) => {
$(
impl AsDiagnostic for $ref_type {
fn as_dyn(&self) -> &dyn Diagnostic {
(**self).as_dyn()
}
}
)+
};
}
blanket_ref_impls!(&Report, &mut Report, Box<Report>);
impl<T: Diagnostic> AsDiagnostic for T {
fn as_dyn(&self) -> &dyn Diagnostic {
self
}
}
/**
[`Diagnostic`] severity. Intended to be used by
[`ReportHandler`](crate::ReportHandler)s to change the way different

View File

@ -13,24 +13,24 @@ fn fmt_report(diag: Report) -> String {
GraphicalReportHandler::new_themed(GraphicalTheme::unicode())
.with_width(80)
.with_footer("this is a footer".into())
.render_report(&mut out, diag.as_ref())
.render_report(&mut out, &diag)
.unwrap();
} else if std::env::var("NARRATED").is_ok() {
NarratableReportHandler::new()
.render_report(&mut out, diag.as_ref())
.render_report(&mut out, diag)
.unwrap();
} else if let Ok(w) = std::env::var("REPLACE_TABS") {
GraphicalReportHandler::new_themed(GraphicalTheme::unicode_nocolor())
.without_syntax_highlighting()
.with_width(80)
.tab_width(w.parse().expect("Invalid tab width."))
.render_report(&mut out, diag.as_ref())
.render_report(&mut out, &diag)
.unwrap();
} else {
GraphicalReportHandler::new_themed(GraphicalTheme::unicode_nocolor())
.without_syntax_highlighting()
.with_width(80)
.render_report(&mut out, diag.as_ref())
.render_report(&mut out, &diag)
.unwrap();
};
out
@ -46,7 +46,7 @@ fn fmt_report_with_settings(
GraphicalTheme::unicode_nocolor(),
));
handler.render_report(&mut out, diag.as_ref()).unwrap();
handler.render_report(&mut out, diag).unwrap();
println!("Error:\n```\n{}\n```", out);

View File

@ -12,11 +12,11 @@ fn fmt_report(diag: Report) -> String {
if cfg!(feature = "fancy-no-backtrace") && std::env::var("STYLE").is_ok() {
#[cfg(feature = "fancy-no-backtrace")]
GraphicalReportHandler::new_themed(GraphicalTheme::unicode())
.render_report(&mut out, diag.as_ref())
.render_report(&mut out, diag)
.unwrap();
} else {
NarratableReportHandler::new()
.render_report(&mut out, diag.as_ref())
.render_report(&mut out, diag)
.unwrap();
};
out

13
tests/test_blanket.rs Normal file
View File

@ -0,0 +1,13 @@
use miette::{Diagnostic, MietteDiagnostic};
fn assert_diagnostic<T: Diagnostic>() {}
#[test]
fn test_ref() {
assert_diagnostic::<&MietteDiagnostic>()
}
#[test]
fn test_box() {
assert_diagnostic::<Box<MietteDiagnostic>>()
}

View File

@ -8,7 +8,7 @@ mod json_report_handler {
fn fmt_report(diag: Report) -> String {
let mut out = String::new();
JSONReportHandler::new()
.render_report(&mut out, diag.as_ref())
.render_report(&mut out, diag)
.unwrap();
out
}