blob: 46a3fdd479484e01bf759cd7003ed489b7eb6244 (
plain)
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
|
use std::{fmt, any::Any};
use ra_syntax::{SyntaxNodePtr, AstPtr, ast};
use crate::HirFileId;
pub trait Diagnostic: Any + Send + Sync + fmt::Debug + 'static {
fn file(&self) -> HirFileId;
fn syntax_node(&self) -> SyntaxNodePtr;
fn message(&self) -> String;
fn as_any(&self) -> &(Any + Send + 'static);
}
impl dyn Diagnostic {
pub fn downcast_ref<D: Diagnostic>(&self) -> Option<&D> {
self.as_any().downcast_ref()
}
}
#[derive(Debug, Default)]
pub struct Diagnostics {
data: Vec<Box<dyn Diagnostic>>,
}
impl Diagnostics {
pub fn push(&mut self, d: impl Diagnostic) {
self.data.push(Box::new(d))
}
pub fn iter<'a>(&'a self) -> impl Iterator<Item = &'a dyn Diagnostic> + 'a {
self.data.iter().map(|it| it.as_ref())
}
}
#[derive(Debug)]
pub struct NoSuchField {
pub(crate) file: HirFileId,
pub(crate) field: AstPtr<ast::NamedField>,
}
impl NoSuchField {
pub fn field(&self) -> AstPtr<ast::NamedField> {
self.field
}
}
impl Diagnostic for NoSuchField {
fn file(&self) -> HirFileId {
self.file
}
fn syntax_node(&self) -> SyntaxNodePtr {
self.field.into()
}
fn message(&self) -> String {
"no such field".to_string()
}
fn as_any(&self) -> &(Any + Send + 'static) {
self
}
}
|