2019-01-08 22:33:36 +03:00
|
|
|
use hir::{
|
2019-01-16 21:39:01 +08:00
|
|
|
self, Problem, source_binder
|
2019-01-08 22:33:36 +03:00
|
|
|
};
|
2019-02-04 00:27:36 +08:00
|
|
|
use ra_ide_api_light::{self, LocalEdit, Severity};
|
2019-02-08 14:06:26 +03:00
|
|
|
use ra_syntax::ast;
|
2019-02-08 11:52:18 +03:00
|
|
|
use ra_db::SourceDatabase;
|
2019-01-08 22:33:36 +03:00
|
|
|
|
|
|
|
use crate::{
|
2019-02-08 13:50:18 +03:00
|
|
|
db, Diagnostic, FileId, FilePosition, FileSystemEdit,
|
2019-02-08 11:52:18 +03:00
|
|
|
Query, SourceChange, SourceFileEdit,
|
|
|
|
symbol_index::FileSymbol,
|
2019-01-08 22:33:36 +03:00
|
|
|
};
|
|
|
|
|
|
|
|
impl db::RootDatabase {
|
2019-01-15 21:17:10 +03:00
|
|
|
pub(crate) fn diagnostics(&self, file_id: FileId) -> Vec<Diagnostic> {
|
2019-01-26 11:51:36 +03:00
|
|
|
let syntax = self.parse(file_id);
|
2019-01-08 22:33:36 +03:00
|
|
|
|
|
|
|
let mut res = ra_ide_api_light::diagnostics(&syntax)
|
|
|
|
.into_iter()
|
|
|
|
.map(|d| Diagnostic {
|
|
|
|
range: d.range,
|
|
|
|
message: d.msg,
|
|
|
|
severity: d.severity,
|
|
|
|
fix: d.fix.map(|fix| SourceChange::from_local_edit(file_id, fix)),
|
|
|
|
})
|
|
|
|
.collect::<Vec<_>>();
|
2019-01-15 18:13:11 +03:00
|
|
|
if let Some(m) = source_binder::module_from_file_id(self, file_id) {
|
2019-01-15 20:56:06 +03:00
|
|
|
for (name_node, problem) in m.problems(self) {
|
2019-01-08 22:33:36 +03:00
|
|
|
let source_root = self.file_source_root(file_id);
|
|
|
|
let diag = match problem {
|
|
|
|
Problem::UnresolvedModule { candidate } => {
|
|
|
|
let create_file = FileSystemEdit::CreateFile {
|
|
|
|
source_root,
|
|
|
|
path: candidate.clone(),
|
|
|
|
};
|
|
|
|
let fix = SourceChange {
|
|
|
|
label: "create module".to_string(),
|
|
|
|
source_file_edits: Vec::new(),
|
|
|
|
file_system_edits: vec![create_file],
|
|
|
|
cursor_position: None,
|
|
|
|
};
|
|
|
|
Diagnostic {
|
|
|
|
range: name_node.range(),
|
|
|
|
message: "unresolved module".to_string(),
|
|
|
|
severity: Severity::Error,
|
|
|
|
fix: Some(fix),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
Problem::NotDirOwner { move_to, candidate } => {
|
|
|
|
let move_file = FileSystemEdit::MoveFile {
|
|
|
|
src: file_id,
|
|
|
|
dst_source_root: source_root,
|
|
|
|
dst_path: move_to.clone(),
|
|
|
|
};
|
|
|
|
let create_file = FileSystemEdit::CreateFile {
|
|
|
|
source_root,
|
|
|
|
path: move_to.join(candidate),
|
|
|
|
};
|
|
|
|
let fix = SourceChange {
|
|
|
|
label: "move file and create module".to_string(),
|
|
|
|
source_file_edits: Vec::new(),
|
|
|
|
file_system_edits: vec![move_file, create_file],
|
|
|
|
cursor_position: None,
|
|
|
|
};
|
|
|
|
Diagnostic {
|
|
|
|
range: name_node.range(),
|
|
|
|
message: "can't declare module at this location".to_string(),
|
|
|
|
severity: Severity::Error,
|
|
|
|
fix: Some(fix),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
res.push(diag)
|
|
|
|
}
|
|
|
|
};
|
2019-01-15 21:17:10 +03:00
|
|
|
res
|
2019-01-08 22:33:36 +03:00
|
|
|
}
|
|
|
|
|
2019-01-16 21:39:01 +08:00
|
|
|
pub(crate) fn index_resolve(&self, name_ref: &ast::NameRef) -> Vec<FileSymbol> {
|
2019-01-08 22:33:36 +03:00
|
|
|
let name = name_ref.text();
|
|
|
|
let mut query = Query::new(name.to_string());
|
|
|
|
query.exact();
|
|
|
|
query.limit(4);
|
|
|
|
crate::symbol_index::world_symbols(self, query)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl SourceChange {
|
|
|
|
pub(crate) fn from_local_edit(file_id: FileId, edit: LocalEdit) -> SourceChange {
|
|
|
|
let file_edit = SourceFileEdit {
|
|
|
|
file_id,
|
|
|
|
edit: edit.edit,
|
|
|
|
};
|
|
|
|
SourceChange {
|
|
|
|
label: edit.label,
|
|
|
|
source_file_edits: vec![file_edit],
|
|
|
|
file_system_edits: vec![],
|
|
|
|
cursor_position: edit
|
|
|
|
.cursor_position
|
|
|
|
.map(|offset| FilePosition { offset, file_id }),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|