1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
#![allow(clippy::unit_arg)]
use owo_colors::Style;
use serde::Serialize;
use std::io;
#[derive(Copy, Clone, Debug, Eq, PartialEq)]
#[cfg_attr(test, derive(proptest_derive::Arbitrary))]
#[non_exhaustive]
pub enum OutputFormat {
Human {
verbose: bool,
},
Serializable(SerializableFormat),
}
#[derive(Copy, Clone, Debug, Eq, PartialEq)]
#[cfg_attr(test, derive(proptest_derive::Arbitrary))]
#[non_exhaustive]
pub enum SerializableFormat {
Json,
JsonPretty,
}
impl SerializableFormat {
pub fn to_writer(
self,
value: &impl Serialize,
writer: impl io::Write,
) -> serde_json::Result<()> {
match self {
SerializableFormat::Json => serde_json::to_writer(writer, value),
SerializableFormat::JsonPretty => serde_json::to_writer_pretty(writer, value),
}
}
}
#[derive(Clone, Debug, Default)]
pub(crate) struct Styles {
pub(crate) binary_id: Style,
pub(crate) test_name: Style,
pub(crate) module_path: Style,
pub(crate) field: Style,
}
impl Styles {
pub(crate) fn colorize(&mut self) {
self.binary_id = Style::new().magenta().bold();
self.test_name = Style::new().blue().bold();
self.field = Style::new().yellow().bold();
self.module_path = Style::new().cyan();
}
}