nu_protocol/errors/
cli_error.rs

1//! This module manages the step of turning error types into printed error messages
2//!
3//! Relies on the `miette` crate for pretty layout
4use std::hash::{DefaultHasher, Hash, Hasher};
5
6use crate::{
7    CompileError, ErrorStyle, ParseError, ParseWarning, ShellError,
8    engine::{EngineState, StateWorkingSet},
9};
10use miette::{
11    LabeledSpan, MietteHandlerOpts, NarratableReportHandler, ReportHandler, RgbColors, Severity,
12    SourceCode,
13};
14use serde::{Deserialize, Serialize};
15use thiserror::Error;
16
17/// This error exists so that we can defer SourceCode handling. It simply
18/// forwards most methods, except for `.source_code()`, which we provide.
19#[derive(Error)]
20#[error("{0}")]
21struct CliError<'src>(
22    pub &'src dyn miette::Diagnostic,
23    pub &'src StateWorkingSet<'src>,
24);
25
26#[derive(Default)]
27pub struct ReportLog {
28    // A bloom-filter like structure to store the hashes of `ParseWarning`s,
29    // without actually permanently storing the entire warning in memory.
30    // May rarely result in warnings incorrectly being unreported upon hash collision.
31    parse_warnings: Vec<u64>,
32}
33
34/// How a warning/error should be reported
35#[derive(Debug, Clone, Copy, Serialize, Deserialize)]
36pub enum ReportMode {
37    FirstUse,
38    EveryUse,
39}
40
41/// Returns true if this warning should be reported
42fn should_show_warning(engine_state: &EngineState, warning: &ParseWarning) -> bool {
43    match warning.report_mode() {
44        ReportMode::EveryUse => true,
45        ReportMode::FirstUse => {
46            let mut hasher = DefaultHasher::new();
47            warning.hash(&mut hasher);
48            let hash = hasher.finish();
49
50            let mut report_log = engine_state
51                .report_log
52                .lock()
53                .expect("report log lock is poisioned");
54
55            match report_log.parse_warnings.contains(&hash) {
56                true => false,
57                false => {
58                    report_log.parse_warnings.push(hash);
59                    true
60                }
61            }
62        }
63    }
64}
65
66pub fn format_shell_error(working_set: &StateWorkingSet, error: &ShellError) -> String {
67    format!("Error: {:?}", CliError(error, working_set))
68}
69
70pub fn report_shell_error(engine_state: &EngineState, error: &ShellError) {
71    if engine_state.config.display_errors.should_show(error) {
72        report_error(&StateWorkingSet::new(engine_state), error)
73    }
74}
75
76pub fn report_shell_warning(engine_state: &EngineState, warning: &ShellError) {
77    if engine_state.config.display_errors.should_show(warning) {
78        report_warning(&StateWorkingSet::new(engine_state), warning)
79    }
80}
81
82pub fn report_parse_error(working_set: &StateWorkingSet, error: &ParseError) {
83    report_error(working_set, error);
84}
85
86pub fn report_parse_warning(working_set: &StateWorkingSet, warning: &ParseWarning) {
87    if should_show_warning(working_set.permanent(), warning) {
88        report_warning(working_set, warning);
89    }
90}
91
92pub fn report_compile_error(working_set: &StateWorkingSet, error: &CompileError) {
93    report_error(working_set, error);
94}
95
96fn report_error(working_set: &StateWorkingSet, error: &dyn miette::Diagnostic) {
97    eprintln!("Error: {:?}", CliError(error, working_set));
98    // reset vt processing, aka ansi because illbehaved externals can break it
99    #[cfg(windows)]
100    {
101        let _ = nu_utils::enable_vt_processing();
102    }
103}
104
105fn report_warning(working_set: &StateWorkingSet, warning: &dyn miette::Diagnostic) {
106    eprintln!("Warning: {:?}", CliError(warning, working_set));
107    // reset vt processing, aka ansi because illbehaved externals can break it
108    #[cfg(windows)]
109    {
110        let _ = nu_utils::enable_vt_processing();
111    }
112}
113
114impl std::fmt::Debug for CliError<'_> {
115    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
116        let config = self.1.get_config();
117
118        let ansi_support = config.use_ansi_coloring.get(self.1.permanent());
119
120        let error_style = &config.error_style;
121
122        let miette_handler: Box<dyn ReportHandler> = match error_style {
123            ErrorStyle::Plain => Box::new(NarratableReportHandler::new()),
124            ErrorStyle::Fancy => Box::new(
125                MietteHandlerOpts::new()
126                    // For better support of terminal themes use the ANSI coloring
127                    .rgb_colors(RgbColors::Never)
128                    // If ansi support is disabled in the config disable the eye-candy
129                    .color(ansi_support)
130                    .unicode(ansi_support)
131                    .terminal_links(ansi_support)
132                    .build(),
133            ),
134        };
135
136        // Ignore error to prevent format! panics. This can happen if span points at some
137        // inaccessible location, for example by calling `report_error()` with wrong working set.
138        let _ = miette_handler.debug(self, f);
139
140        Ok(())
141    }
142}
143
144impl miette::Diagnostic for CliError<'_> {
145    fn code<'a>(&'a self) -> Option<Box<dyn std::fmt::Display + 'a>> {
146        self.0.code()
147    }
148
149    fn severity(&self) -> Option<Severity> {
150        self.0.severity()
151    }
152
153    fn help<'a>(&'a self) -> Option<Box<dyn std::fmt::Display + 'a>> {
154        self.0.help()
155    }
156
157    fn url<'a>(&'a self) -> Option<Box<dyn std::fmt::Display + 'a>> {
158        self.0.url()
159    }
160
161    fn labels<'a>(&'a self) -> Option<Box<dyn Iterator<Item = LabeledSpan> + 'a>> {
162        self.0.labels()
163    }
164
165    // Finally, we redirect the source_code method to our own source.
166    fn source_code(&self) -> Option<&dyn SourceCode> {
167        if let Some(source_code) = self.0.source_code() {
168            Some(source_code)
169        } else {
170            Some(&self.1)
171        }
172    }
173
174    fn related<'a>(&'a self) -> Option<Box<dyn Iterator<Item = &'a dyn miette::Diagnostic> + 'a>> {
175        self.0.related()
176    }
177
178    fn diagnostic_source(&self) -> Option<&dyn miette::Diagnostic> {
179        self.0.diagnostic_source()
180    }
181}