diff options
Diffstat (limited to 'crates/hir_expand/src/diagnostics.rs')
-rw-r--r-- | crates/hir_expand/src/diagnostics.rs | 110 |
1 files changed, 0 insertions, 110 deletions
diff --git a/crates/hir_expand/src/diagnostics.rs b/crates/hir_expand/src/diagnostics.rs deleted file mode 100644 index bf0b85ce9..000000000 --- a/crates/hir_expand/src/diagnostics.rs +++ /dev/null | |||
@@ -1,110 +0,0 @@ | |||
1 | //! Semantic errors and warnings. | ||
2 | //! | ||
3 | //! The `Diagnostic` trait defines a trait object which can represent any | ||
4 | //! diagnostic. | ||
5 | //! | ||
6 | //! `DiagnosticSink` struct is used as an emitter for diagnostic. When creating | ||
7 | //! a `DiagnosticSink`, you supply a callback which can react to a `dyn | ||
8 | //! Diagnostic` or to any concrete diagnostic (downcasting is used internally). | ||
9 | //! | ||
10 | //! Because diagnostics store file offsets, it's a bad idea to store them | ||
11 | //! directly in salsa. For this reason, every hir subsytem defines it's own | ||
12 | //! strongly-typed closed set of diagnostics which use hir ids internally, are | ||
13 | //! stored in salsa and do *not* implement the `Diagnostic` trait. Instead, a | ||
14 | //! subsystem provides a separate, non-query-based API which can walk all stored | ||
15 | //! values and transform them into instances of `Diagnostic`. | ||
16 | |||
17 | use std::{any::Any, fmt}; | ||
18 | |||
19 | use syntax::SyntaxNodePtr; | ||
20 | |||
21 | use crate::InFile; | ||
22 | |||
23 | #[derive(Copy, Clone, Debug, PartialEq)] | ||
24 | pub struct DiagnosticCode(pub &'static str); | ||
25 | |||
26 | impl DiagnosticCode { | ||
27 | pub fn as_str(&self) -> &str { | ||
28 | self.0 | ||
29 | } | ||
30 | } | ||
31 | |||
32 | pub trait Diagnostic: Any + Send + Sync + fmt::Debug + 'static { | ||
33 | fn code(&self) -> DiagnosticCode; | ||
34 | fn message(&self) -> String; | ||
35 | /// Source element that triggered the diagnostics. | ||
36 | /// | ||
37 | /// Note that this should reflect "semantics", rather than specific span we | ||
38 | /// want to highlight. When rendering the diagnostics into an error message, | ||
39 | /// the IDE will fetch the `SyntaxNode` and will narrow the span | ||
40 | /// appropriately. | ||
41 | fn display_source(&self) -> InFile<SyntaxNodePtr>; | ||
42 | fn as_any(&self) -> &(dyn Any + Send + 'static); | ||
43 | fn is_experimental(&self) -> bool { | ||
44 | false | ||
45 | } | ||
46 | } | ||
47 | |||
48 | pub struct DiagnosticSink<'a> { | ||
49 | callbacks: Vec<Box<dyn FnMut(&dyn Diagnostic) -> Result<(), ()> + 'a>>, | ||
50 | filters: Vec<Box<dyn FnMut(&dyn Diagnostic) -> bool + 'a>>, | ||
51 | default_callback: Box<dyn FnMut(&dyn Diagnostic) + 'a>, | ||
52 | } | ||
53 | |||
54 | impl<'a> DiagnosticSink<'a> { | ||
55 | pub fn push(&mut self, d: impl Diagnostic) { | ||
56 | let d: &dyn Diagnostic = &d; | ||
57 | self._push(d); | ||
58 | } | ||
59 | |||
60 | fn _push(&mut self, d: &dyn Diagnostic) { | ||
61 | for filter in &mut self.filters { | ||
62 | if !filter(d) { | ||
63 | return; | ||
64 | } | ||
65 | } | ||
66 | for cb in &mut self.callbacks { | ||
67 | match cb(d) { | ||
68 | Ok(()) => return, | ||
69 | Err(()) => (), | ||
70 | } | ||
71 | } | ||
72 | (self.default_callback)(d) | ||
73 | } | ||
74 | } | ||
75 | |||
76 | pub struct DiagnosticSinkBuilder<'a> { | ||
77 | callbacks: Vec<Box<dyn FnMut(&dyn Diagnostic) -> Result<(), ()> + 'a>>, | ||
78 | filters: Vec<Box<dyn FnMut(&dyn Diagnostic) -> bool + 'a>>, | ||
79 | } | ||
80 | |||
81 | impl<'a> DiagnosticSinkBuilder<'a> { | ||
82 | pub fn new() -> Self { | ||
83 | Self { callbacks: Vec::new(), filters: Vec::new() } | ||
84 | } | ||
85 | |||
86 | pub fn filter<F: FnMut(&dyn Diagnostic) -> bool + 'a>(mut self, cb: F) -> Self { | ||
87 | self.filters.push(Box::new(cb)); | ||
88 | self | ||
89 | } | ||
90 | |||
91 | pub fn on<D: Diagnostic, F: FnMut(&D) + 'a>(mut self, mut cb: F) -> Self { | ||
92 | let cb = move |diag: &dyn Diagnostic| match diag.as_any().downcast_ref::<D>() { | ||
93 | Some(d) => { | ||
94 | cb(d); | ||
95 | Ok(()) | ||
96 | } | ||
97 | None => Err(()), | ||
98 | }; | ||
99 | self.callbacks.push(Box::new(cb)); | ||
100 | self | ||
101 | } | ||
102 | |||
103 | pub fn build<F: FnMut(&dyn Diagnostic) + 'a>(self, default_callback: F) -> DiagnosticSink<'a> { | ||
104 | DiagnosticSink { | ||
105 | callbacks: self.callbacks, | ||
106 | filters: self.filters, | ||
107 | default_callback: Box::new(default_callback), | ||
108 | } | ||
109 | } | ||
110 | } | ||