Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir_def/src/child_by_source.rs')
-rw-r--r--crates/hir_def/src/child_by_source.rs152
1 files changed, 102 insertions, 50 deletions
diff --git a/crates/hir_def/src/child_by_source.rs b/crates/hir_def/src/child_by_source.rs
index f22383e221..1a2b47cd03 100644
--- a/crates/hir_def/src/child_by_source.rs
+++ b/crates/hir_def/src/child_by_source.rs
@@ -5,6 +5,7 @@
//! node for a *child*, and get its hir.
use either::Either;
+use hir_expand::HirFileId;
use crate::{
db::DefDatabase,
@@ -17,30 +18,39 @@ use crate::{
};
pub trait ChildBySource {
- fn child_by_source(&self, db: &dyn DefDatabase) -> DynMap {
+ fn child_by_source(&self, db: &dyn DefDatabase, file_id: HirFileId) -> DynMap {
let mut res = DynMap::default();
- self.child_by_source_to(db, &mut res);
+ self.child_by_source_to(db, &mut res, file_id);
res
}
- fn child_by_source_to(&self, db: &dyn DefDatabase, map: &mut DynMap);
+ fn child_by_source_to(&self, db: &dyn DefDatabase, map: &mut DynMap, file_id: HirFileId);
}
impl ChildBySource for TraitId {
- fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap) {
+ fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap, file_id: HirFileId) {
let data = db.trait_data(*self);
for (_name, item) in data.items.iter() {
match *item {
AssocItemId::FunctionId(func) => {
- let src = func.lookup(db).source(db);
- res[keys::FUNCTION].insert(src, func)
+ let loc = func.lookup(db);
+ if loc.id.file_id() == file_id {
+ let src = loc.source(db);
+ res[keys::FUNCTION].insert(src, func)
+ }
}
AssocItemId::ConstId(konst) => {
- let src = konst.lookup(db).source(db);
- res[keys::CONST].insert(src, konst)
+ let loc = konst.lookup(db);
+ if loc.id.file_id() == file_id {
+ let src = loc.source(db);
+ res[keys::CONST].insert(src, konst)
+ }
}
AssocItemId::TypeAliasId(ty) => {
- let src = ty.lookup(db).source(db);
- res[keys::TYPE_ALIAS].insert(src, ty)
+ let loc = ty.lookup(db);
+ if loc.id.file_id() == file_id {
+ let src = loc.source(db);
+ res[keys::TYPE_ALIAS].insert(src, ty)
+ }
}
}
}
@@ -48,21 +58,30 @@ impl ChildBySource for TraitId {
}
impl ChildBySource for ImplId {
- fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap) {
+ fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap, file_id: HirFileId) {
let data = db.impl_data(*self);
for &item in data.items.iter() {
match item {
AssocItemId::FunctionId(func) => {
- let src = func.lookup(db).source(db);
- res[keys::FUNCTION].insert(src, func)
+ let loc = func.lookup(db);
+ if loc.id.file_id() == file_id {
+ let src = loc.source(db);
+ res[keys::FUNCTION].insert(src, func)
+ }
}
AssocItemId::ConstId(konst) => {
- let src = konst.lookup(db).source(db);
- res[keys::CONST].insert(src, konst)
+ let loc = konst.lookup(db);
+ if loc.id.file_id() == file_id {
+ let src = loc.source(db);
+ res[keys::CONST].insert(src, konst)
+ }
}
AssocItemId::TypeAliasId(ty) => {
- let src = ty.lookup(db).source(db);
- res[keys::TYPE_ALIAS].insert(src, ty)
+ let loc = ty.lookup(db);
+ if loc.id.file_id() == file_id {
+ let src = loc.source(db);
+ res[keys::TYPE_ALIAS].insert(src, ty)
+ }
}
}
}
@@ -70,84 +89,117 @@ impl ChildBySource for ImplId {
}
impl ChildBySource for ModuleId {
- fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap) {
+ fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap, file_id: HirFileId) {
let def_map = self.def_map(db);
let module_data = &def_map[self.local_id];
- module_data.scope.child_by_source_to(db, res);
+ module_data.scope.child_by_source_to(db, res, file_id);
}
}
impl ChildBySource for ItemScope {
- fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap) {
- self.declarations().for_each(|item| add_module_def(db, res, item));
+ fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap, file_id: HirFileId) {
+ self.declarations().for_each(|item| add_module_def(db, file_id, res, item));
self.unnamed_consts().for_each(|konst| {
let src = konst.lookup(db).source(db);
res[keys::CONST].insert(src, konst);
});
- self.impls().for_each(|imp| add_impl(db, res, imp));
+ self.impls().for_each(|imp| add_impl(db, file_id, res, imp));
self.attr_macro_invocs().for_each(|(ast_id, call_id)| {
let item = ast_id.with_value(ast_id.to_node(db.upcast()));
res[keys::ATTR_MACRO].insert(item, call_id);
});
- fn add_module_def(db: &dyn DefDatabase, map: &mut DynMap, item: ModuleDefId) {
+ fn add_module_def(
+ db: &dyn DefDatabase,
+ file_id: HirFileId,
+ map: &mut DynMap,
+ item: ModuleDefId,
+ ) {
match item {
ModuleDefId::FunctionId(func) => {
- let src = func.lookup(db).source(db);
- map[keys::FUNCTION].insert(src, func)
+ let loc = func.lookup(db);
+ if loc.id.file_id() == file_id {
+ let src = loc.source(db);
+ map[keys::FUNCTION].insert(src, func)
+ }
}
ModuleDefId::ConstId(konst) => {
- let src = konst.lookup(db).source(db);
- map[keys::CONST].insert(src, konst)
+ let loc = konst.lookup(db);
+ if loc.id.file_id() == file_id {
+ let src = loc.source(db);
+ map[keys::CONST].insert(src, konst)
+ }
}
ModuleDefId::StaticId(statik) => {
- let src = statik.lookup(db).source(db);
- map[keys::STATIC].insert(src, statik)
+ let loc = statik.lookup(db);
+ if loc.id.file_id() == file_id {
+ let src = loc.source(db);
+ map[keys::STATIC].insert(src, statik)
+ }
}
ModuleDefId::TypeAliasId(ty) => {
- let src = ty.lookup(db).source(db);
- map[keys::TYPE_ALIAS].insert(src, ty)
+ let loc = ty.lookup(db);
+ if loc.id.file_id() == file_id {
+ let src = loc.source(db);
+ map[keys::TYPE_ALIAS].insert(src, ty)
+ }
}
ModuleDefId::TraitId(trait_) => {
- let src = trait_.lookup(db).source(db);
- map[keys::TRAIT].insert(src, trait_)
+ let loc = trait_.lookup(db);
+ if loc.id.file_id() == file_id {
+ let src = loc.source(db);
+ map[keys::TRAIT].insert(src, trait_)
+ }
}
ModuleDefId::AdtId(adt) => match adt {
AdtId::StructId(strukt) => {
- let src = strukt.lookup(db).source(db);
- map[keys::STRUCT].insert(src, strukt)
+ let loc = strukt.lookup(db);
+ if loc.id.file_id() == file_id {
+ let src = loc.source(db);
+ map[keys::STRUCT].insert(src, strukt)
+ }
}
AdtId::UnionId(union_) => {
- let src = union_.lookup(db).source(db);
- map[keys::UNION].insert(src, union_)
+ let loc = union_.lookup(db);
+ if loc.id.file_id() == file_id {
+ let src = loc.source(db);
+ map[keys::UNION].insert(src, union_)
+ }
}
AdtId::EnumId(enum_) => {
- let src = enum_.lookup(db).source(db);
- map[keys::ENUM].insert(src, enum_)
+ let loc = enum_.lookup(db);
+ if loc.id.file_id() == file_id {
+ let src = loc.source(db);
+ map[keys::ENUM].insert(src, enum_)
+ }
}
},
_ => (),
}
}
- fn add_impl(db: &dyn DefDatabase, map: &mut DynMap, imp: ImplId) {
- let src = imp.lookup(db).source(db);
- map[keys::IMPL].insert(src, imp)
+ fn add_impl(db: &dyn DefDatabase, file_id: HirFileId, map: &mut DynMap, imp: ImplId) {
+ let loc = imp.lookup(db);
+ if loc.id.file_id() == file_id {
+ let src = loc.source(db);
+ map[keys::IMPL].insert(src, imp)
+ }
}
}
}
impl ChildBySource for VariantId {
- fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap) {
+ fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap, _: HirFileId) {
let arena_map = self.child_source(db);
let arena_map = arena_map.as_ref();
+ let parent = *self;
for (local_id, source) in arena_map.value.iter() {
- let id = FieldId { parent: *self, local_id };
- match source {
+ let id = FieldId { parent, local_id };
+ match source.clone() {
Either::Left(source) => {
- res[keys::TUPLE_FIELD].insert(arena_map.with_value(source.clone()), id)
+ res[keys::TUPLE_FIELD].insert(arena_map.with_value(source), id)
}
Either::Right(source) => {
- res[keys::RECORD_FIELD].insert(arena_map.with_value(source.clone()), id)
+ res[keys::RECORD_FIELD].insert(arena_map.with_value(source), id)
}
}
}
@@ -155,7 +207,7 @@ impl ChildBySource for VariantId {
}
impl ChildBySource for EnumId {
- fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap) {
+ fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap, _: HirFileId) {
let arena_map = self.child_source(db);
let arena_map = arena_map.as_ref();
for (local_id, source) in arena_map.value.iter() {
@@ -166,12 +218,12 @@ impl ChildBySource for EnumId {
}
impl ChildBySource for DefWithBodyId {
- fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap) {
+ fn child_by_source_to(&self, db: &dyn DefDatabase, res: &mut DynMap, file_id: HirFileId) {
let body = db.body(*self);
for (_, def_map) in body.blocks(db) {
// All block expressions are merged into the same map, because they logically all add
// inner items to the containing `DefWithBodyId`.
- def_map[def_map.root()].scope.child_by_source_to(db, res);
+ def_map[def_map.root()].scope.child_by_source_to(db, res, file_id);
}
}
}