2019-03-23 08:28:47 -05:00
|
|
|
use std::{fmt, any::Any};
|
2019-03-21 14:13:11 -05:00
|
|
|
|
2019-03-25 01:40:49 -05:00
|
|
|
use ra_syntax::{SyntaxNodePtr, TreeArc, AstPtr, TextRange, ast, SyntaxNode};
|
2019-03-24 02:21:36 -05:00
|
|
|
use relative_path::RelativePathBuf;
|
2019-03-23 08:28:47 -05:00
|
|
|
|
2019-03-25 01:40:49 -05:00
|
|
|
use crate::{HirFileId, HirDatabase};
|
2019-03-23 08:28:47 -05:00
|
|
|
|
2019-03-23 10:35:14 -05:00
|
|
|
/// Diagnostic defines hir API for errors and warnings.
|
|
|
|
///
|
|
|
|
/// It is used as a `dyn` object, which you can downcast to a concrete
|
2019-03-23 12:41:59 -05:00
|
|
|
/// diagnostic. DiagnosticSink are structured, meaning that they include rich
|
|
|
|
/// information which can be used by IDE to create fixes. DiagnosticSink are
|
2019-03-23 10:35:14 -05:00
|
|
|
/// expressed in terms of macro-expanded syntax tree nodes (so, it's a bad idea
|
|
|
|
/// to diagnostic in a salsa value).
|
|
|
|
///
|
|
|
|
/// Internally, various subsystems of hir produce diagnostics specific to a
|
2019-03-23 12:41:59 -05:00
|
|
|
/// subsystem (typically, an `enum`), which are safe to store in salsa but do not
|
2019-03-23 10:35:14 -05:00
|
|
|
/// include source locations. Such internal diagnostic are transformed into an
|
|
|
|
/// instance of `Diagnostic` on demand.
|
2019-03-23 08:28:47 -05:00
|
|
|
pub trait Diagnostic: Any + Send + Sync + fmt::Debug + 'static {
|
2019-03-23 12:41:59 -05:00
|
|
|
fn message(&self) -> String;
|
2019-03-23 08:28:47 -05:00
|
|
|
fn file(&self) -> HirFileId;
|
2019-03-25 01:40:49 -05:00
|
|
|
fn syntax_node_ptr(&self) -> SyntaxNodePtr;
|
|
|
|
fn highlight_range(&self) -> TextRange {
|
|
|
|
self.syntax_node_ptr().range()
|
|
|
|
}
|
2019-03-24 02:21:36 -05:00
|
|
|
fn as_any(&self) -> &(dyn Any + Send + 'static);
|
2019-03-23 08:28:47 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
impl dyn Diagnostic {
|
2019-03-25 01:40:49 -05:00
|
|
|
pub fn syntax_node(&self, db: &impl HirDatabase) -> TreeArc<SyntaxNode> {
|
|
|
|
let source_file = db.hir_parse(self.file());
|
|
|
|
self.syntax_node_ptr().to_node(&source_file).to_owned()
|
|
|
|
}
|
2019-03-23 08:28:47 -05:00
|
|
|
pub fn downcast_ref<D: Diagnostic>(&self) -> Option<&D> {
|
|
|
|
self.as_any().downcast_ref()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-03-24 02:21:36 -05:00
|
|
|
pub struct DiagnosticSink<'a> {
|
|
|
|
callbacks: Vec<Box<dyn FnMut(&dyn Diagnostic) -> Result<(), ()> + 'a>>,
|
|
|
|
default_callback: Box<dyn FnMut(&dyn Diagnostic) + 'a>,
|
2019-03-23 08:28:47 -05:00
|
|
|
}
|
|
|
|
|
2019-03-24 02:21:36 -05:00
|
|
|
impl<'a> DiagnosticSink<'a> {
|
|
|
|
pub fn new(cb: impl FnMut(&dyn Diagnostic) + 'a) -> DiagnosticSink<'a> {
|
|
|
|
DiagnosticSink { callbacks: Vec::new(), default_callback: Box::new(cb) }
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn on<D: Diagnostic, F: FnMut(&D) + 'a>(mut self, mut cb: F) -> DiagnosticSink<'a> {
|
|
|
|
let cb = move |diag: &dyn Diagnostic| match diag.downcast_ref::<D>() {
|
|
|
|
Some(d) => {
|
|
|
|
cb(d);
|
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
None => Err(()),
|
|
|
|
};
|
|
|
|
self.callbacks.push(Box::new(cb));
|
|
|
|
self
|
2019-03-23 08:28:47 -05:00
|
|
|
}
|
|
|
|
|
2019-03-24 02:21:36 -05:00
|
|
|
pub(crate) fn push(&mut self, d: impl Diagnostic) {
|
|
|
|
let d: &dyn Diagnostic = &d;
|
|
|
|
for cb in self.callbacks.iter_mut() {
|
|
|
|
match cb(d) {
|
|
|
|
Ok(()) => return,
|
|
|
|
Err(()) => (),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
(self.default_callback)(d)
|
2019-03-23 08:28:47 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct NoSuchField {
|
2019-03-23 10:35:14 -05:00
|
|
|
pub file: HirFileId,
|
|
|
|
pub field: AstPtr<ast::NamedField>,
|
2019-03-23 08:28:47 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Diagnostic for NoSuchField {
|
2019-03-23 12:41:59 -05:00
|
|
|
fn message(&self) -> String {
|
|
|
|
"no such field".to_string()
|
|
|
|
}
|
2019-03-23 08:28:47 -05:00
|
|
|
fn file(&self) -> HirFileId {
|
|
|
|
self.file
|
|
|
|
}
|
2019-03-25 01:40:49 -05:00
|
|
|
fn syntax_node_ptr(&self) -> SyntaxNodePtr {
|
2019-03-23 08:28:47 -05:00
|
|
|
self.field.into()
|
|
|
|
}
|
|
|
|
fn as_any(&self) -> &(Any + Send + 'static) {
|
|
|
|
self
|
|
|
|
}
|
2019-03-21 14:13:11 -05:00
|
|
|
}
|
2019-03-23 10:35:14 -05:00
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct UnresolvedModule {
|
|
|
|
pub file: HirFileId,
|
|
|
|
pub decl: AstPtr<ast::Module>,
|
|
|
|
pub candidate: RelativePathBuf,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Diagnostic for UnresolvedModule {
|
2019-03-23 12:41:59 -05:00
|
|
|
fn message(&self) -> String {
|
|
|
|
"unresolved module".to_string()
|
|
|
|
}
|
2019-03-23 10:35:14 -05:00
|
|
|
fn file(&self) -> HirFileId {
|
|
|
|
self.file
|
|
|
|
}
|
2019-03-25 01:40:49 -05:00
|
|
|
fn syntax_node_ptr(&self) -> SyntaxNodePtr {
|
2019-03-23 10:35:14 -05:00
|
|
|
self.decl.into()
|
|
|
|
}
|
|
|
|
fn as_any(&self) -> &(Any + Send + 'static) {
|
|
|
|
self
|
|
|
|
}
|
|
|
|
}
|