Hide ImportId

This commit is contained in:
Aleksey Kladov 2019-11-23 16:39:53 +03:00
parent 3bdb034906
commit e5bcb69e4f
4 changed files with 26 additions and 21 deletions

View file

@ -9,7 +9,7 @@ use hir_def::{
body::scope::ExprScopes,
builtin_type::BuiltinType,
docs::Documentation,
nameres::per_ns::PerNs,
nameres::{per_ns::PerNs, raw::ImportId},
resolver::{HasResolver, TypeNs},
type_ref::TypeRef,
ContainerId, CrateModuleId, HasModule, ImplId, LocalEnumVariantId, LocalStructFieldId, Lookup,
@ -30,7 +30,7 @@ use crate::{
TypeAliasId,
},
ty::{InferenceResult, Namespace, TraitRef},
Either, HasSource, ImportId, Name, Source, Ty,
Either, HasSource, Name, Source, Ty,
};
/// hir::Crate describes a single crate. It's the main interface with which
@ -129,17 +129,6 @@ impl Module {
})
}
/// Returns the syntax of the last path segment corresponding to this import
pub fn import_source(
self,
db: &impl HirDatabase,
import: ImportId,
) -> Either<ast::UseTree, ast::ExternCrateItem> {
let src = self.definition_source(db);
let (_, source_map) = db.raw_items_with_source_map(src.file_id);
source_map.get(&src.value, import)
}
/// Returns the crate this module is part of.
pub fn krate(self) -> Crate {
Crate { crate_id: self.id.krate }
@ -189,11 +178,13 @@ impl Module {
}
/// Returns a `ModuleScope`: a set of items, visible in this module.
pub fn scope(self, db: &impl HirDatabase) -> Vec<(Name, ScopeDef, Option<ImportId>)> {
pub fn scope(self, db: &impl HirDatabase) -> Vec<(Name, ScopeDef, Option<Import>)> {
db.crate_def_map(self.id.krate)[self.id.module_id]
.scope
.entries()
.map(|(name, res)| (name.clone(), res.def.into(), res.import))
.map(|(name, res)| {
(name.clone(), res.def.into(), res.import.map(|id| Import { parent: self, id }))
})
.collect()
}
@ -236,6 +227,11 @@ impl Module {
}
}
pub struct Import {
pub(crate) parent: Module,
pub(crate) id: ImportId,
}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct StructField {
pub(crate) parent: VariantDef,

View file

@ -8,7 +8,7 @@ use crate::{
db::{AstDatabase, DefDatabase, HirDatabase},
ids::AstItemDef,
Const, Enum, EnumVariant, FieldSource, Function, HasBody, MacroDef, Module, ModuleSource,
Static, Struct, StructField, Trait, TypeAlias, Union,
Static, Struct, StructField, Trait, TypeAlias, Union, Import
};
pub use hir_expand::Source;
@ -113,6 +113,16 @@ impl HasSource for MacroDef {
Source { file_id: self.id.ast_id.file_id(), value: self.id.ast_id.to_node(db) }
}
}
impl HasSource for Import {
type Ast = Either<ast::UseTree, ast::ExternCrateItem>;
/// Returns the syntax of the last path segment corresponding to this import
fn source(self, db: &(impl DefDatabase + AstDatabase)) -> Source<Self::Ast> {
let src = self.parent.definition_source(db);
let (_, source_map) = db.raw_items_with_source_map(src.file_id);
src.with_value(source_map.get(&src.value, self.id))
}
}
pub trait HasBodySource: HasBody + HasSource
where

View file

@ -53,8 +53,8 @@ pub use crate::{
src::{HasBodySource, HasSource},
Adt, AssocItem, AttrDef, Const, Container, Crate, CrateDependency, DefWithBody, Docs, Enum,
EnumVariant, FieldSource, Function, GenericDef, GenericParam, HasAttrs, HasBody, ImplBlock,
Local, MacroDef, Module, ModuleDef, ModuleSource, ScopeDef, Static, Struct, StructField,
Trait, TypeAlias, Union, VariantDef,
Import, Local, MacroDef, Module, ModuleDef, ModuleSource, ScopeDef, Static, Struct,
StructField, Trait, TypeAlias, Union, VariantDef,
},
expr::ExprScopes,
from_source::FromSource,
@ -70,7 +70,6 @@ pub use crate::{
pub use hir_def::{
builtin_type::BuiltinType,
docs::Documentation,
nameres::raw::ImportId,
path::{Path, PathKind},
type_ref::Mutability,
};