2 use crate::DiagnosticId;
3 use crate::DiagnosticStyledString;
4 use crate::Applicability;
8 use std::fmt::{self, Debug};
9 use std::ops::{Deref, DerefMut};
10 use std::thread::panicking;
11 use syntax_pos::{MultiSpan, Span};
14 /// Used for emitting structured error messages and other diagnostic information.
16 /// If there is some state in a downstream crate you would like to
17 /// access in the methods of `DiagnosticBuilder` here, consider
18 /// extending `HandlerFlags`, accessed via `self.handler.flags`.
21 pub struct DiagnosticBuilder<'a> {
22 pub handler: &'a Handler,
23 diagnostic: Diagnostic,
24 allow_suggestions: bool,
27 /// In general, the `DiagnosticBuilder` uses deref to allow access to
28 /// the fields and methods of the embedded `diagnostic` in a
29 /// transparent way. *However,* many of the methods are intended to
30 /// be used in a chained way, and hence ought to return `self`. In
31 /// that case, we can't just naively forward to the method on the
32 /// `diagnostic`, because the return type would be a `&Diagnostic`
33 /// instead of a `&DiagnosticBuilder<'a>`. This `forward!` macro makes
34 /// it easy to declare such methods on the builder.
35 macro_rules! forward {
36 // Forward pattern for &self -> &Self
39 pub fn $n:ident(&self, $($name:ident: $ty:ty),* $(,)?) -> &Self
42 pub fn $n(&self, $($name: $ty),*) -> &Self {
43 self.diagnostic.$n($($name),*);
48 // Forward pattern for &mut self -> &mut Self
51 pub fn $n:ident(&mut self, $($name:ident: $ty:ty),* $(,)?) -> &mut Self
54 pub fn $n(&mut self, $($name: $ty),*) -> &mut Self {
55 self.diagnostic.$n($($name),*);
60 // Forward pattern for &mut self -> &mut Self, with S: Into<MultiSpan>
61 // type parameter. No obvious way to make this more generic.
64 pub fn $n:ident<S: Into<MultiSpan>>(
66 $($name:ident: $ty:ty),*
71 pub fn $n<S: Into<MultiSpan>>(&mut self, $($name: $ty),*) -> &mut Self {
72 self.diagnostic.$n($($name),*);
78 impl<'a> Deref for DiagnosticBuilder<'a> {
79 type Target = Diagnostic;
81 fn deref(&self) -> &Diagnostic {
86 impl<'a> DerefMut for DiagnosticBuilder<'a> {
87 fn deref_mut(&mut self) -> &mut Diagnostic {
92 impl<'a> DiagnosticBuilder<'a> {
93 /// Emit the diagnostic.
94 pub fn emit(&mut self) {
99 self.handler.emit_db(&self);
103 /// Emit the diagnostic unless `delay` is true,
104 /// in which case the emission will be delayed as a bug.
106 /// See `emit` and `delay_as_bug` for details.
107 pub fn emit_unless(&mut self, delay: bool) {
115 /// Buffers the diagnostic for later emission, unless handler
116 /// has disabled such buffering.
117 pub fn buffer(mut self, buffered_diagnostics: &mut Vec<Diagnostic>) {
118 if self.handler.flags.dont_buffer_diagnostics ||
119 self.handler.flags.treat_err_as_bug.is_some()
125 // We need to use `ptr::read` because `DiagnosticBuilder`
126 // implements `Drop`.
129 diagnostic = std::ptr::read(&self.diagnostic);
130 std::mem::forget(self);
132 // Logging here is useful to help track down where in logs an error was
134 debug!("buffer: diagnostic={:?}", diagnostic);
135 buffered_diagnostics.push(diagnostic);
138 /// Convenience function for internal use, clients should use one of the
139 /// span_* methods instead.
140 pub fn sub<S: Into<MultiSpan>>(
146 let span = span.map(|s| s.into()).unwrap_or_else(|| MultiSpan::new());
147 self.diagnostic.sub(level, message, span, None);
151 /// Delay emission of this diagnostic as a bug.
153 /// This can be useful in contexts where an error indicates a bug but
154 /// typically this only happens when other compilation errors have already
155 /// happened. In those cases this can be used to defer emission of this
156 /// diagnostic as a bug in the compiler only if no other errors have been
159 /// In the meantime, though, callsites are required to deal with the "bug"
160 /// locally in whichever way makes the most sense.
161 pub fn delay_as_bug(&mut self) {
162 self.level = Level::Bug;
163 self.handler.delay_as_bug(self.diagnostic.clone());
167 /// Adds a span/label to be included in the resulting snippet.
168 /// This is pushed onto the `MultiSpan` that was created when the
169 /// diagnostic was first built. If you don't call this function at
170 /// all, and you just supplied a `Span` to create the diagnostic,
171 /// then the snippet will just include that `Span`, which is
172 /// called the primary span.
173 pub fn span_label<T: Into<String>>(&mut self, span: Span, label: T) -> &mut Self {
174 self.diagnostic.span_label(span, label);
178 forward!(pub fn note_expected_found(&mut self,
179 label: &dyn fmt::Display,
180 expected: DiagnosticStyledString,
181 found: DiagnosticStyledString,
184 forward!(pub fn note_expected_found_extra(&mut self,
185 label: &dyn fmt::Display,
186 expected: DiagnosticStyledString,
187 found: DiagnosticStyledString,
188 expected_extra: &dyn fmt::Display,
189 found_extra: &dyn fmt::Display,
192 forward!(pub fn note(&mut self, msg: &str) -> &mut Self);
193 forward!(pub fn span_note<S: Into<MultiSpan>>(&mut self,
197 forward!(pub fn warn(&mut self, msg: &str) -> &mut Self);
198 forward!(pub fn span_warn<S: Into<MultiSpan>>(&mut self, sp: S, msg: &str) -> &mut Self);
199 forward!(pub fn help(&mut self, msg: &str) -> &mut Self);
200 forward!(pub fn span_help<S: Into<MultiSpan>>(&mut self,
205 pub fn multipart_suggestion(
208 suggestion: Vec<(Span, String)>,
209 applicability: Applicability,
211 if !self.allow_suggestions {
214 self.diagnostic.multipart_suggestion(
222 pub fn tool_only_multipart_suggestion(
225 suggestion: Vec<(Span, String)>,
226 applicability: Applicability,
228 if !self.allow_suggestions {
231 self.diagnostic.tool_only_multipart_suggestion(
240 pub fn span_suggestion(
245 applicability: Applicability,
247 if !self.allow_suggestions {
250 self.diagnostic.span_suggestion(
259 pub fn span_suggestions(
263 suggestions: impl Iterator<Item = String>,
264 applicability: Applicability,
266 if !self.allow_suggestions {
269 self.diagnostic.span_suggestions(
278 pub fn span_suggestion_short(
283 applicability: Applicability,
285 if !self.allow_suggestions {
288 self.diagnostic.span_suggestion_short(
297 pub fn span_suggestion_hidden(
302 applicability: Applicability,
304 if !self.allow_suggestions {
307 self.diagnostic.span_suggestion_hidden(
316 pub fn tool_only_span_suggestion(
321 applicability: Applicability,
323 if !self.allow_suggestions {
326 self.diagnostic.tool_only_span_suggestion(
335 forward!(pub fn set_span<S: Into<MultiSpan>>(&mut self, sp: S) -> &mut Self);
336 forward!(pub fn code(&mut self, s: DiagnosticId) -> &mut Self);
338 pub fn allow_suggestions(&mut self, allow: bool) -> &mut Self {
339 self.allow_suggestions = allow;
343 /// Convenience function for internal use, clients should use one of the
344 /// struct_* methods on Handler.
345 pub fn new(handler: &'a Handler, level: Level, message: &str) -> DiagnosticBuilder<'a> {
346 DiagnosticBuilder::new_with_code(handler, level, None, message)
349 /// Convenience function for internal use, clients should use one of the
350 /// struct_* methods on Handler.
351 crate fn new_with_code(handler: &'a Handler,
353 code: Option<DiagnosticId>,
355 -> DiagnosticBuilder<'a> {
356 let diagnostic = Diagnostic::new_with_code(level, code, message);
357 DiagnosticBuilder::new_diagnostic(handler, diagnostic)
360 /// Creates a new `DiagnosticBuilder` with an already constructed
362 pub fn new_diagnostic(handler: &'a Handler, diagnostic: Diagnostic)
363 -> DiagnosticBuilder<'a> {
367 allow_suggestions: true,
372 impl<'a> Debug for DiagnosticBuilder<'a> {
373 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
374 self.diagnostic.fmt(f)
378 /// Destructor bomb - a `DiagnosticBuilder` must be either emitted or canceled
379 /// or we emit a bug.
380 impl<'a> Drop for DiagnosticBuilder<'a> {
382 if !panicking() && !self.cancelled() {
383 let mut db = DiagnosticBuilder::new(self.handler,
385 "Error constructed but not emitted");