mirror of https://github.com/zkat/miette.git
405 lines
11 KiB
Rust
405 lines
11 KiB
Rust
use miette::{
|
||
DefaultReportPrinter, Diagnostic, DiagnosticReport, MietteError, MietteTheme, SourceSpan,
|
||
};
|
||
use thiserror::Error;
|
||
|
||
fn fmt_report(diag: DiagnosticReport) -> String {
|
||
// Mostly for dev purposes.
|
||
let theme = if std::env::var("STYLE").is_ok() {
|
||
MietteTheme::unicode()
|
||
} else if std::env::var("BASIC").is_ok() {
|
||
MietteTheme::none()
|
||
} else {
|
||
MietteTheme::unicode_nocolor()
|
||
};
|
||
let printer = DefaultReportPrinter::new_themed(theme);
|
||
let mut out = String::new();
|
||
printer.render_report(&mut out, diag.inner()).unwrap();
|
||
out
|
||
}
|
||
|
||
#[test]
|
||
fn single_line_highlight() -> Result<(), MietteError> {
|
||
#[derive(Debug, Diagnostic, Error)]
|
||
#[error("oops!")]
|
||
#[diagnostic(code(oops::my::bad), help("try doing it better next time?"))]
|
||
struct MyBad {
|
||
src: String,
|
||
#[snippet(src, "This is the part that broke")]
|
||
ctx: SourceSpan,
|
||
#[highlight(ctx)]
|
||
highlight: SourceSpan,
|
||
}
|
||
|
||
let src = "source\n text\n here".to_string();
|
||
let len = src.len();
|
||
let err = MyBad {
|
||
src,
|
||
ctx: ("bad_file.rs", 0, len).into(),
|
||
highlight: ("this bit here", 9, 4).into(),
|
||
};
|
||
let out = fmt_report(err.into());
|
||
println!("{}", out);
|
||
let expected = r#"
|
||
────[oops::my::bad]────────────────────
|
||
|
||
× oops!
|
||
|
||
╭───[bad_file.rs:1:1] This is the part that broke:
|
||
1 │ source
|
||
2 │ text
|
||
· ──┬─
|
||
· ╰── this bit here
|
||
3 │ here
|
||
|
||
‽ try doing it better next time?
|
||
"#
|
||
.trim_start()
|
||
.to_string();
|
||
assert_eq!(expected, out);
|
||
Ok(())
|
||
}
|
||
|
||
#[test]
|
||
fn single_line_highlight_no_label() -> Result<(), MietteError> {
|
||
#[derive(Debug, Diagnostic, Error)]
|
||
#[error("oops!")]
|
||
#[diagnostic(code(oops::my::bad), help("try doing it better next time?"))]
|
||
struct MyBad {
|
||
src: String,
|
||
#[snippet(src, "This is the part that broke")]
|
||
ctx: SourceSpan,
|
||
#[highlight(ctx)]
|
||
highlight: SourceSpan,
|
||
}
|
||
|
||
let src = "source\n text\n here".to_string();
|
||
let len = src.len();
|
||
let err = MyBad {
|
||
src,
|
||
ctx: ("bad_file.rs", 0, len).into(),
|
||
highlight: (9, 4).into(),
|
||
};
|
||
let out = fmt_report(err.into());
|
||
println!("{}", out);
|
||
let expected = r#"
|
||
────[oops::my::bad]────────────────────
|
||
|
||
× oops!
|
||
|
||
╭───[bad_file.rs:1:1] This is the part that broke:
|
||
1 │ source
|
||
2 │ text
|
||
· ────
|
||
3 │ here
|
||
|
||
‽ try doing it better next time?
|
||
"#
|
||
.trim_start()
|
||
.to_string();
|
||
assert_eq!(expected, out);
|
||
Ok(())
|
||
}
|
||
|
||
#[test]
|
||
fn multiple_same_line_highlights() -> Result<(), MietteError> {
|
||
#[derive(Debug, Diagnostic, Error)]
|
||
#[error("oops!")]
|
||
#[diagnostic(code(oops::my::bad), help("try doing it better next time?"))]
|
||
struct MyBad {
|
||
src: String,
|
||
#[snippet(src, "This is the part that broke")]
|
||
ctx: SourceSpan,
|
||
#[highlight(ctx)]
|
||
highlight1: SourceSpan,
|
||
#[highlight(ctx)]
|
||
highlight2: SourceSpan,
|
||
}
|
||
|
||
let src = "source\n text text text text text\n here".to_string();
|
||
let len = src.len();
|
||
let err = MyBad {
|
||
src,
|
||
ctx: ("bad_file.rs", 0, len).into(),
|
||
highlight1: ("this bit here", 9, 4).into(),
|
||
highlight2: ("also this bit", 14, 4).into(),
|
||
};
|
||
let out = fmt_report(err.into());
|
||
println!("{}", out);
|
||
let expected = r#"
|
||
────[oops::my::bad]────────────────────
|
||
|
||
× oops!
|
||
|
||
╭───[bad_file.rs:1:1] This is the part that broke:
|
||
1 │ source
|
||
2 │ text text text text text
|
||
· ──┬─ ──┬─
|
||
· ╰── this bit here
|
||
· ╰── also this bit
|
||
3 │ here
|
||
|
||
‽ try doing it better next time?
|
||
"#
|
||
.trim_start()
|
||
.to_string();
|
||
assert_eq!(expected, out);
|
||
Ok(())
|
||
}
|
||
|
||
#[test]
|
||
fn multiline_highlight_adjacent() -> Result<(), MietteError> {
|
||
#[derive(Debug, Diagnostic, Error)]
|
||
#[error("oops!")]
|
||
#[diagnostic(code(oops::my::bad), help("try doing it better next time?"))]
|
||
struct MyBad {
|
||
src: String,
|
||
#[snippet(src, "This is the part that broke")]
|
||
ctx: SourceSpan,
|
||
#[highlight(ctx)]
|
||
highlight: SourceSpan,
|
||
}
|
||
|
||
let src = "source\n text\n here".to_string();
|
||
let len = src.len();
|
||
let err = MyBad {
|
||
src,
|
||
ctx: ("bad_file.rs", 0, len).into(),
|
||
highlight: ("these two lines", 9, 11).into(),
|
||
};
|
||
let out = fmt_report(err.into());
|
||
println!("{}", out);
|
||
let expected = r#"
|
||
────[oops::my::bad]────────────────────
|
||
|
||
× oops!
|
||
|
||
╭───[bad_file.rs:1:1] This is the part that broke:
|
||
1 │ source
|
||
2 │ ╭─▶ text
|
||
3 │ ├─▶ here
|
||
· ╰──── these two lines
|
||
|
||
‽ try doing it better next time?
|
||
"#
|
||
.trim_start()
|
||
.to_string();
|
||
assert_eq!(expected, out);
|
||
Ok(())
|
||
}
|
||
|
||
#[test]
|
||
fn multiline_highlight_flyby() -> Result<(), MietteError> {
|
||
#[derive(Debug, Diagnostic, Error)]
|
||
#[error("oops!")]
|
||
#[diagnostic(code(oops::my::bad), help("try doing it better next time?"))]
|
||
struct MyBad {
|
||
src: String,
|
||
#[snippet(src, "This is the part that broke")]
|
||
ctx: SourceSpan,
|
||
#[highlight(ctx)]
|
||
highlight1: SourceSpan,
|
||
#[highlight(ctx)]
|
||
highlight2: SourceSpan,
|
||
}
|
||
|
||
let src = r#"line1
|
||
line2
|
||
line3
|
||
line4
|
||
line5
|
||
"#
|
||
.to_string();
|
||
let len = src.len();
|
||
let err = MyBad {
|
||
src,
|
||
ctx: ("bad_file.rs", 0, len).into(),
|
||
highlight1: ("block 1", 0, len).into(),
|
||
highlight2: ("block 2", 10, 9).into(),
|
||
};
|
||
let out = fmt_report(err.into());
|
||
println!("{}", out);
|
||
let expected = r#"
|
||
────[oops::my::bad]────────────────────
|
||
|
||
× oops!
|
||
|
||
╭───[bad_file.rs:1:1] This is the part that broke:
|
||
1 │ ╭──▶ line1
|
||
2 │ │╭─▶ line2
|
||
3 │ ││ line3
|
||
4 │ │├─▶ line4
|
||
· │╰──── block 2
|
||
6 │ ├──▶ line5
|
||
· ╰───── block 1
|
||
|
||
‽ try doing it better next time?
|
||
"#
|
||
.trim_start()
|
||
.to_string();
|
||
assert_eq!(expected, out);
|
||
Ok(())
|
||
}
|
||
|
||
#[test]
|
||
fn multiline_highlight_no_label() -> Result<(), MietteError> {
|
||
#[derive(Debug, Diagnostic, Error)]
|
||
#[error("oops!")]
|
||
#[diagnostic(code(oops::my::bad), help("try doing it better next time?"))]
|
||
struct MyBad {
|
||
src: String,
|
||
#[snippet(src, "This is the part that broke")]
|
||
ctx: SourceSpan,
|
||
#[highlight(ctx)]
|
||
highlight1: SourceSpan,
|
||
#[highlight(ctx)]
|
||
highlight2: SourceSpan,
|
||
}
|
||
|
||
let src = r#"line1
|
||
line2
|
||
line3
|
||
line4
|
||
line5
|
||
"#
|
||
.to_string();
|
||
let len = src.len();
|
||
let err = MyBad {
|
||
src,
|
||
ctx: ("bad_file.rs", 0, len).into(),
|
||
highlight1: ("block 1", 0, len).into(),
|
||
highlight2: (10, 9).into(),
|
||
};
|
||
let out = fmt_report(err.into());
|
||
println!("{}", out);
|
||
let expected = r#"
|
||
────[oops::my::bad]────────────────────
|
||
|
||
× oops!
|
||
|
||
╭───[bad_file.rs:1:1] This is the part that broke:
|
||
1 │ ╭──▶ line1
|
||
2 │ │╭─▶ line2
|
||
3 │ ││ line3
|
||
4 │ │╰─▶ line4
|
||
6 │ ├──▶ line5
|
||
· ╰───── block 1
|
||
|
||
‽ try doing it better next time?
|
||
"#
|
||
.trim_start()
|
||
.to_string();
|
||
assert_eq!(expected, out);
|
||
Ok(())
|
||
}
|
||
|
||
#[test]
|
||
fn multiple_multiline_highlights_adjacent() -> Result<(), MietteError> {
|
||
#[derive(Debug, Diagnostic, Error)]
|
||
#[error("oops!")]
|
||
#[diagnostic(code(oops::my::bad), help("try doing it better next time?"))]
|
||
struct MyBad {
|
||
src: String,
|
||
#[snippet(src, "This is the part that broke")]
|
||
ctx: SourceSpan,
|
||
#[highlight(ctx)]
|
||
highlight1: SourceSpan,
|
||
#[highlight(ctx)]
|
||
highlight2: SourceSpan,
|
||
}
|
||
|
||
let src = "source\n text\n here\nmore here".to_string();
|
||
let len = src.len();
|
||
let err = MyBad {
|
||
src,
|
||
ctx: ("bad_file.rs", 0, len).into(),
|
||
highlight1: ("this bit here", 0, 10).into(),
|
||
highlight2: ("also this bit", 20, 6).into(),
|
||
};
|
||
let out = fmt_report(err.into());
|
||
println!("{}", out);
|
||
let expected = r#"
|
||
────[oops::my::bad]────────────────────
|
||
|
||
× oops!
|
||
|
||
╭───[bad_file.rs:1:1] This is the part that broke:
|
||
1 │ ╭─▶ source
|
||
2 │ ├─▶ text
|
||
· ╰──── this bit here
|
||
3 │ ╭─▶ here
|
||
4 │ ├─▶ more here
|
||
· ╰──── also this bit
|
||
|
||
‽ try doing it better next time?
|
||
"#
|
||
.trim_start()
|
||
.to_string();
|
||
assert_eq!(expected, out);
|
||
Ok(())
|
||
}
|
||
|
||
#[test]
|
||
// TODO: This breaks because those highlights aren't "truly" overlapping (in absolute byte offset), but they ARE overlapping in lines. Need to detect the latter case better
|
||
#[ignore]
|
||
/// Lines are overlapping, but the offsets themselves aren't, so they _look_
|
||
/// disjunct if you only look at offsets.
|
||
fn multiple_multiline_highlights_overlapping_lines() -> Result<(), MietteError> {
|
||
#[derive(Debug, Diagnostic, Error)]
|
||
#[error("oops!")]
|
||
#[diagnostic(code(oops::my::bad), help("try doing it better next time?"))]
|
||
struct MyBad {
|
||
src: String,
|
||
#[snippet(src, "This is the part that broke")]
|
||
ctx: SourceSpan,
|
||
#[highlight(ctx)]
|
||
highlight1: SourceSpan,
|
||
#[highlight(ctx)]
|
||
highlight2: SourceSpan,
|
||
}
|
||
|
||
let src = "source\n text\n here".to_string();
|
||
let len = src.len();
|
||
let err = MyBad {
|
||
src,
|
||
ctx: ("bad_file.rs", 0, len).into(),
|
||
highlight1: ("this bit here", 0, 8).into(),
|
||
highlight2: ("also this bit", 9, 10).into(),
|
||
};
|
||
let out = fmt_report(err.into());
|
||
println!("{}", out);
|
||
assert_eq!("Error [oops::my::bad]: oops!\n\n[bad_file.rs] This is the part that broke:\n\n 1 │ source\n 2 │ text\n · ──┬─\n · ╰── this bit here\n 3 │ here\n\n﹦ try doing it better next time?\n".to_string(), out);
|
||
Ok(())
|
||
}
|
||
|
||
#[test]
|
||
/// Offsets themselves are overlapping, regardless of lines.
|
||
#[ignore]
|
||
fn multiple_multiline_highlights_overlapping_offsets() -> Result<(), MietteError> {
|
||
#[derive(Debug, Diagnostic, Error)]
|
||
#[error("oops!")]
|
||
#[diagnostic(code(oops::my::bad), help("try doing it better next time?"))]
|
||
struct MyBad {
|
||
src: String,
|
||
#[snippet(src, "This is the part that broke")]
|
||
ctx: SourceSpan,
|
||
#[highlight(ctx)]
|
||
highlight1: SourceSpan,
|
||
#[highlight(ctx)]
|
||
highlight2: SourceSpan,
|
||
}
|
||
|
||
let src = "source\n text\n here".to_string();
|
||
let len = src.len();
|
||
let err = MyBad {
|
||
src,
|
||
ctx: ("bad_file.rs", 0, len).into(),
|
||
highlight1: ("this bit here", 0, 8).into(),
|
||
highlight2: ("also this bit", 10, 10).into(),
|
||
};
|
||
let out = fmt_report(err.into());
|
||
println!("{}", out);
|
||
assert_eq!("Error [oops::my::bad]: oops!\n\n[bad_file.rs] This is the part that broke:\n\n 1 │ source\n 2 │ text\n · ──┬─\n · ╰── this bit here\n 3 │ here\n\n﹦ try doing it better next time?\n".to_string(), out);
|
||
Ok(())
|
||
}
|