Cleanup Definition::search_scope

This commit is contained in:
Lukas Wirth 2021-03-22 17:11:33 +01:00
parent 7c4eb66c1a
commit 395183e0b7

View File

@ -7,7 +7,7 @@
use std::{convert::TryInto, mem}; use std::{convert::TryInto, mem};
use base_db::{FileId, FileRange, SourceDatabase, SourceDatabaseExt}; use base_db::{FileId, FileRange, SourceDatabase, SourceDatabaseExt};
use hir::{DefWithBody, HasAttrs, HasSource, Module, ModuleSource, Semantics, Visibility}; use hir::{DefWithBody, HasAttrs, HasSource, InFile, ModuleSource, Semantics, Visibility};
use once_cell::unsync::Lazy; use once_cell::unsync::Lazy;
use rustc_hash::FxHashMap; use rustc_hash::FxHashMap;
use syntax::{ast, match_ast, AstNode, TextRange, TextSize}; use syntax::{ast, match_ast, AstNode, TextRange, TextSize};
@ -78,6 +78,76 @@ fn new(entries: FxHashMap<FileId, Option<TextRange>>) -> SearchScope {
SearchScope { entries } SearchScope { entries }
} }
fn crate_graph(db: &RootDatabase) -> SearchScope {
let mut entries = FxHashMap::default();
let graph = db.crate_graph();
for krate in graph.iter() {
let root_file = graph[krate].root_file_id;
let source_root_id = db.file_source_root(root_file);
let source_root = db.source_root(source_root_id);
entries.extend(source_root.iter().map(|id| (id, None)));
}
SearchScope { entries }
}
fn reverse_dependencies(db: &RootDatabase, of: hir::Crate) -> SearchScope {
let mut entries = FxHashMap::default();
for rev_dep in of.transitive_reverse_dependencies(db) {
let root_file = rev_dep.root_file(db);
let source_root_id = db.file_source_root(root_file);
let source_root = db.source_root(source_root_id);
entries.extend(source_root.iter().map(|id| (id, None)));
}
SearchScope { entries }
}
fn krate(db: &RootDatabase, of: hir::Crate) -> SearchScope {
let root_file = of.root_file(db);
let source_root_id = db.file_source_root(root_file);
let source_root = db.source_root(source_root_id);
SearchScope {
entries: source_root.iter().map(|id| (id, None)).collect::<FxHashMap<_, _>>(),
}
}
fn module(db: &RootDatabase, module: hir::Module) -> SearchScope {
let mut entries = FxHashMap::default();
let mut to_visit = vec![module];
let mut is_first = true;
while let Some(module) = to_visit.pop() {
let src = module.definition_source(db);
let file_id = src.file_id.original_file(db);
match src.value {
ModuleSource::Module(m) => {
if is_first {
let range = Some(m.syntax().text_range());
entries.insert(file_id, range);
} else {
// We have already added the enclosing file to the search scope,
// so do nothing.
}
}
ModuleSource::BlockExpr(b) => {
if is_first {
let range = Some(b.syntax().text_range());
entries.insert(file_id, range);
} else {
// We have already added the enclosing file to the search scope,
// so do nothing.
}
}
ModuleSource::SourceFile(_) => {
entries.insert(file_id, None);
}
};
is_first = false;
to_visit.extend(module.children(db));
}
SearchScope { entries }
}
pub fn empty() -> SearchScope { pub fn empty() -> SearchScope {
SearchScope::new(FxHashMap::default()) SearchScope::new(FxHashMap::default())
} }
@ -140,24 +210,15 @@ fn search_scope(&self, db: &RootDatabase) -> SearchScope {
let _p = profile::span("search_scope"); let _p = profile::span("search_scope");
if let Definition::ModuleDef(hir::ModuleDef::BuiltinType(_)) = self { if let Definition::ModuleDef(hir::ModuleDef::BuiltinType(_)) = self {
let mut res = FxHashMap::default(); return SearchScope::crate_graph(db);
let graph = db.crate_graph();
for krate in graph.iter() {
let root_file = graph[krate].root_file_id;
let source_root_id = db.file_source_root(root_file);
let source_root = db.source_root(source_root_id);
res.extend(source_root.iter().map(|id| (id, None)));
}
return SearchScope::new(res);
} }
let module = match self.module(db) { let module = match self.module(db) {
Some(it) => it, Some(it) => it,
None => return SearchScope::empty(), None => return SearchScope::empty(),
}; };
let module_src = module.definition_source(db); let InFile { file_id, value: module_source } = module.definition_source(db);
let file_id = module_src.file_id.original_file(db); let file_id = file_id.original_file(db);
if let Definition::Local(var) = self { if let Definition::Local(var) = self {
let range = match var.parent(db) { let range = match var.parent(db) {
@ -165,9 +226,10 @@ fn search_scope(&self, db: &RootDatabase) -> SearchScope {
DefWithBody::Const(c) => c.source(db).map(|src| src.value.syntax().text_range()), DefWithBody::Const(c) => c.source(db).map(|src| src.value.syntax().text_range()),
DefWithBody::Static(s) => s.source(db).map(|src| src.value.syntax().text_range()), DefWithBody::Static(s) => s.source(db).map(|src| src.value.syntax().text_range()),
}; };
let mut res = FxHashMap::default(); return match range {
res.insert(file_id, range); Some(range) => SearchScope::file_range(FileRange { file_id, range }),
return SearchScope::new(res); None => SearchScope::single_file(file_id),
};
} }
if let Definition::GenericParam(hir::GenericParam::LifetimeParam(param)) = self { if let Definition::GenericParam(hir::GenericParam::LifetimeParam(param)) = self {
@ -198,90 +260,39 @@ fn search_scope(&self, db: &RootDatabase) -> SearchScope {
it.source(db).map(|src| src.value.syntax().text_range()) it.source(db).map(|src| src.value.syntax().text_range())
} }
}; };
let mut res = FxHashMap::default(); return match range {
res.insert(file_id, range); Some(range) => SearchScope::file_range(FileRange { file_id, range }),
return SearchScope::new(res); None => SearchScope::single_file(file_id),
};
} }
let vis = self.visibility(db);
if let Some(Visibility::Module(module)) = vis.and_then(|it| it.into()) {
let module: Module = module.into();
let mut res = FxHashMap::default();
let mut to_visit = vec![module];
let mut is_first = true;
while let Some(module) = to_visit.pop() {
let src = module.definition_source(db);
let file_id = src.file_id.original_file(db);
match src.value {
ModuleSource::Module(m) => {
if is_first {
let range = Some(m.syntax().text_range());
res.insert(file_id, range);
} else {
// We have already added the enclosing file to the search scope,
// so do nothing.
}
}
ModuleSource::BlockExpr(b) => {
if is_first {
let range = Some(b.syntax().text_range());
res.insert(file_id, range);
} else {
// We have already added the enclosing file to the search scope,
// so do nothing.
}
}
ModuleSource::SourceFile(_) => {
res.insert(file_id, None);
}
};
is_first = false;
to_visit.extend(module.children(db));
}
return SearchScope::new(res);
}
let rev_dep_scope = || {
let mut res = FxHashMap::default();
let krate = module.krate();
for rev_dep in krate.transitive_reverse_dependencies(db) {
let root_file = rev_dep.root_file(db);
let source_root_id = db.file_source_root(root_file);
let source_root = db.source_root(source_root_id);
res.extend(source_root.iter().map(|id| (id, None)));
}
SearchScope::new(res)
};
if let Definition::Macro(macro_def) = self { if let Definition::Macro(macro_def) = self {
if macro_def.kind() == hir::MacroKind::Declarative { if macro_def.kind() == hir::MacroKind::Declarative {
return if macro_def.attrs(db).by_key("macro_export").exists() { return if macro_def.attrs(db).by_key("macro_export").exists() {
rev_dep_scope() SearchScope::reverse_dependencies(db, module.krate())
} else { } else {
let source_root_id = db.file_source_root(file_id); SearchScope::krate(db, module.krate())
let source_root = db.source_root(source_root_id);
SearchScope::new(
source_root.iter().map(|id| (id, None)).collect::<FxHashMap<_, _>>(),
)
}; };
} }
} }
let vis = self.visibility(db);
if let Some(Visibility::Public) = vis { if let Some(Visibility::Public) = vis {
return rev_dep_scope(); return SearchScope::reverse_dependencies(db, module.krate());
}
if let Some(Visibility::Module(module)) = vis {
return SearchScope::module(db, module.into());
} }
let mut res = FxHashMap::default(); let range = match module_source {
let range = match module_src.value {
ModuleSource::Module(m) => Some(m.syntax().text_range()), ModuleSource::Module(m) => Some(m.syntax().text_range()),
ModuleSource::BlockExpr(b) => Some(b.syntax().text_range()), ModuleSource::BlockExpr(b) => Some(b.syntax().text_range()),
ModuleSource::SourceFile(_) => None, ModuleSource::SourceFile(_) => None,
}; };
res.insert(file_id, range); match range {
SearchScope::new(res) Some(range) => SearchScope::file_range(FileRange { file_id, range }),
None => SearchScope::single_file(file_id),
}
} }
pub fn usages<'a>(&'a self, sema: &'a Semantics<RootDatabase>) -> FindUsages<'a> { pub fn usages<'a>(&'a self, sema: &'a Semantics<RootDatabase>) -> FindUsages<'a> {