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.rs | 152 |
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); } } } |