rust/crates/ra_hir_def/src/data.rs

369 lines
12 KiB
Rust
Raw Normal View History

2019-11-22 08:33:53 -06:00
//! Contains basic data about various HIR declarations.
2019-11-22 08:32:10 -06:00
use std::sync::Arc;
use hir_expand::{
hygiene::Hygiene,
2019-12-13 15:01:06 -06:00
name::{name, AsName, Name},
2019-12-20 13:37:03 -06:00
AstId, InFile,
2019-11-22 08:32:10 -06:00
};
2020-03-05 07:21:47 -06:00
use ra_prof::profile;
use ra_syntax::ast::{
self, AstNode, ImplItem, ModuleItemOwner, NameOwner, TypeAscriptionOwner, VisibilityOwner,
};
2019-11-22 08:32:10 -06:00
use crate::{
attr::Attrs,
2019-11-23 05:44:43 -06:00
db::DefDatabase,
2019-12-24 05:45:28 -06:00
path::{path, GenericArgs, Path},
src::HasSource,
2019-12-24 05:45:28 -06:00
type_ref::{Mutability, TypeBound, TypeRef},
visibility::RawVisibility,
2019-12-20 13:37:03 -06:00
AssocContainerId, AssocItemId, ConstId, ConstLoc, Expander, FunctionId, FunctionLoc, HasModule,
2020-04-11 10:09:50 -05:00
ImplId, Intern, Lookup, StaticId, TraitId, TypeAliasId, TypeAliasLoc,
2019-11-22 08:32:10 -06:00
};
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct FunctionData {
pub name: Name,
pub params: Vec<TypeRef>,
pub ret_type: TypeRef,
pub attrs: Attrs,
2019-11-22 08:32:10 -06:00
/// True if the first param is `self`. This is relevant to decide whether this
/// can be called as a method.
pub has_self_param: bool,
pub visibility: RawVisibility,
2019-11-22 08:32:10 -06:00
}
impl FunctionData {
2019-11-23 05:44:43 -06:00
pub(crate) fn fn_data_query(db: &impl DefDatabase, func: FunctionId) -> Arc<FunctionData> {
let loc = func.lookup(db);
let src = loc.source(db);
2019-11-22 08:32:10 -06:00
let name = src.value.name().map(|n| n.as_name()).unwrap_or_else(Name::missing);
let mut params = Vec::new();
let mut has_self_param = false;
if let Some(param_list) = src.value.param_list() {
if let Some(self_param) = param_list.self_param() {
let self_type = if let Some(type_ref) = self_param.ascribed_type() {
TypeRef::from_ast(type_ref)
} else {
2019-12-13 15:01:06 -06:00
let self_type = TypeRef::Path(name![Self].into());
2019-11-22 08:32:10 -06:00
match self_param.kind() {
ast::SelfParamKind::Owned => self_type,
ast::SelfParamKind::Ref => {
TypeRef::Reference(Box::new(self_type), Mutability::Shared)
}
ast::SelfParamKind::MutRef => {
TypeRef::Reference(Box::new(self_type), Mutability::Mut)
}
}
};
params.push(self_type);
has_self_param = true;
}
for param in param_list.params() {
let type_ref = TypeRef::from_ast_opt(param.ascribed_type());
params.push(type_ref);
}
}
let attrs = Attrs::new(&src.value, &Hygiene::new(db.upcast(), src.file_id));
2019-11-22 08:32:10 -06:00
let ret_type = if let Some(type_ref) = src.value.ret_type().and_then(|rt| rt.type_ref()) {
TypeRef::from_ast(type_ref)
} else {
TypeRef::unit()
};
2020-04-09 16:35:05 -05:00
let ret_type = if src.value.async_token().is_some() {
2019-12-24 05:45:28 -06:00
let future_impl = desugar_future_path(ret_type);
let ty_bound = TypeBound::Path(future_impl);
TypeRef::ImplTrait(vec![ty_bound])
} else {
ret_type
};
let vis_default = RawVisibility::default_for_container(loc.container);
let visibility =
RawVisibility::from_ast_with_default(db, vis_default, src.map(|s| s.visibility()));
let sig = FunctionData { name, params, ret_type, has_self_param, visibility, attrs };
2019-11-22 08:32:10 -06:00
Arc::new(sig)
}
}
2019-12-24 05:45:28 -06:00
fn desugar_future_path(orig: TypeRef) -> Path {
let path = path![std::future::Future];
let mut generic_args: Vec<_> = std::iter::repeat(None).take(path.segments.len() - 1).collect();
let mut last = GenericArgs::empty();
last.bindings.push((name![Output], orig));
generic_args.push(Some(Arc::new(last)));
Path::from_known_path(path, generic_args)
}
2019-11-22 08:32:10 -06:00
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct TypeAliasData {
pub name: Name,
pub type_ref: Option<TypeRef>,
pub visibility: RawVisibility,
2019-11-22 08:32:10 -06:00
}
impl TypeAliasData {
pub(crate) fn type_alias_data_query(
db: &dyn DefDatabase,
2019-11-22 08:32:10 -06:00
typ: TypeAliasId,
) -> Arc<TypeAliasData> {
let loc = typ.lookup(db);
let node = loc.source(db);
let name = node.value.name().map_or_else(Name::missing, |n| n.as_name());
let type_ref = node.value.type_ref().map(TypeRef::from_ast);
let vis_default = RawVisibility::default_for_container(loc.container);
let visibility =
RawVisibility::from_ast_with_default(db, vis_default, node.map(|n| n.visibility()));
Arc::new(TypeAliasData { name, type_ref, visibility })
2019-11-22 08:32:10 -06:00
}
}
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct TraitData {
2019-11-27 14:22:20 -06:00
pub name: Name,
2019-11-26 08:12:16 -06:00
pub items: Vec<(Name, AssocItemId)>,
2019-11-22 08:32:10 -06:00
pub auto: bool,
}
impl TraitData {
pub(crate) fn trait_data_query(db: &dyn DefDatabase, tr: TraitId) -> Arc<TraitData> {
2019-12-12 07:34:03 -06:00
let src = tr.lookup(db).source(db);
2019-11-27 14:22:20 -06:00
let name = src.value.name().map_or_else(Name::missing, |n| n.as_name());
2020-04-09 16:35:05 -05:00
let auto = src.value.auto_token().is_some();
2019-11-22 08:32:10 -06:00
let ast_id_map = db.ast_id_map(src.file_id);
2019-11-26 08:12:16 -06:00
2019-12-20 04:59:50 -06:00
let container = AssocContainerId::TraitId(tr);
2019-11-22 08:32:10 -06:00
let items = if let Some(item_list) = src.value.item_list() {
item_list
.impl_items()
.map(|item_node| match item_node {
2019-11-26 08:12:16 -06:00
ast::ImplItem::FnDef(it) => {
2019-11-27 14:22:20 -06:00
let name = it.name().map_or_else(Name::missing, |it| it.as_name());
2019-11-26 08:12:16 -06:00
let def = FunctionLoc {
container,
ast_id: AstId::new(src.file_id, ast_id_map.ast_id(&it)),
}
.intern(db)
.into();
(name, def)
2019-11-22 08:32:10 -06:00
}
2019-11-26 08:12:16 -06:00
ast::ImplItem::ConstDef(it) => {
2019-11-27 14:22:20 -06:00
let name = it.name().map_or_else(Name::missing, |it| it.as_name());
2019-11-26 08:12:16 -06:00
let def = ConstLoc {
container,
ast_id: AstId::new(src.file_id, ast_id_map.ast_id(&it)),
}
.intern(db)
.into();
(name, def)
2019-11-22 08:32:10 -06:00
}
2019-11-26 08:12:16 -06:00
ast::ImplItem::TypeAliasDef(it) => {
2019-11-27 14:22:20 -06:00
let name = it.name().map_or_else(Name::missing, |it| it.as_name());
2019-11-26 08:12:16 -06:00
let def = TypeAliasLoc {
container,
ast_id: AstId::new(src.file_id, ast_id_map.ast_id(&it)),
}
.intern(db)
.into();
(name, def)
2019-11-22 08:32:10 -06:00
}
})
.collect()
} else {
Vec::new()
};
Arc::new(TraitData { name, items, auto })
}
pub fn associated_types(&self) -> impl Iterator<Item = TypeAliasId> + '_ {
2019-11-26 08:12:16 -06:00
self.items.iter().filter_map(|(_name, item)| match item {
2019-11-22 08:32:10 -06:00
AssocItemId::TypeAliasId(t) => Some(*t),
_ => None,
})
}
2019-11-26 08:12:16 -06:00
pub fn associated_type_by_name(&self, name: &Name) -> Option<TypeAliasId> {
self.items.iter().find_map(|(item_name, item)| match item {
AssocItemId::TypeAliasId(t) if item_name == name => Some(*t),
_ => None,
})
}
2019-11-22 08:32:10 -06:00
}
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct ImplData {
2019-11-22 08:33:53 -06:00
pub target_trait: Option<TypeRef>,
pub target_type: TypeRef,
pub items: Vec<AssocItemId>,
pub is_negative: bool,
2019-11-22 08:32:10 -06:00
}
impl ImplData {
pub(crate) fn impl_data_query(db: &dyn DefDatabase, id: ImplId) -> Arc<ImplData> {
2020-03-05 07:21:47 -06:00
let _p = profile("impl_data_query");
2019-12-20 13:37:03 -06:00
let impl_loc = id.lookup(db);
let src = impl_loc.source(db);
2019-11-22 08:32:10 -06:00
let target_trait = src.value.target_trait().map(TypeRef::from_ast);
let target_type = TypeRef::from_ast_opt(src.value.target_type());
2020-04-09 11:40:43 -05:00
let is_negative = src.value.excl_token().is_some();
2019-12-20 13:37:03 -06:00
let module_id = impl_loc.container.module(db);
2019-11-22 08:32:10 -06:00
2019-12-20 13:37:03 -06:00
let mut items = Vec::new();
2019-12-20 13:37:03 -06:00
if let Some(item_list) = src.value.item_list() {
2020-04-11 10:09:50 -05:00
let mut expander = Expander::new(db, impl_loc.ast_id.file_id, module_id);
2020-04-11 10:12:17 -05:00
items.extend(collect_impl_items(
db,
&mut expander,
item_list.impl_items(),
src.file_id,
id,
));
2019-12-20 13:37:03 -06:00
items.extend(collect_impl_items_in_macros(
db,
2020-04-11 10:09:50 -05:00
&mut expander,
2019-12-20 13:37:03 -06:00
&src.with_value(item_list),
id,
));
}
2019-11-22 08:32:10 -06:00
2019-11-22 08:33:53 -06:00
let res = ImplData { target_trait, target_type, items, is_negative };
2019-11-22 08:32:10 -06:00
Arc::new(res)
}
}
2019-11-22 09:46:39 -06:00
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct ConstData {
2019-11-27 14:22:20 -06:00
/// const _: () = ();
2019-11-22 09:46:39 -06:00
pub name: Option<Name>,
pub type_ref: TypeRef,
pub visibility: RawVisibility,
2019-11-22 09:46:39 -06:00
}
impl ConstData {
pub(crate) fn const_data_query(db: &dyn DefDatabase, konst: ConstId) -> Arc<ConstData> {
let loc = konst.lookup(db);
let node = loc.source(db);
let vis_default = RawVisibility::default_for_container(loc.container);
Arc::new(ConstData::new(db, vis_default, node))
2019-11-22 09:46:39 -06:00
}
pub(crate) fn static_data_query(db: &dyn DefDatabase, konst: StaticId) -> Arc<ConstData> {
let node = konst.lookup(db).source(db);
Arc::new(ConstData::new(db, RawVisibility::private(), node))
2019-11-22 09:46:39 -06:00
}
fn new<N: NameOwner + TypeAscriptionOwner + VisibilityOwner>(
db: &dyn DefDatabase,
vis_default: RawVisibility,
node: InFile<N>,
) -> ConstData {
let name = node.value.name().map(|n| n.as_name());
let type_ref = TypeRef::from_ast_opt(node.value.ascribed_type());
let visibility =
RawVisibility::from_ast_with_default(db, vis_default, node.map(|n| n.visibility()));
ConstData { name, type_ref, visibility }
2019-11-24 08:34:36 -06:00
}
2019-11-22 09:46:39 -06:00
}
2019-12-20 13:37:03 -06:00
fn collect_impl_items_in_macros(
db: &dyn DefDatabase,
2020-04-11 10:09:50 -05:00
expander: &mut Expander,
2020-02-29 14:24:40 -06:00
impl_def: &InFile<ast::ItemList>,
2019-12-20 13:37:03 -06:00
id: ImplId,
) -> Vec<AssocItemId> {
let mut res = Vec::new();
// We set a limit to protect against infinite recursion
let limit = 100;
2020-02-29 14:24:40 -06:00
for m in impl_def.value.syntax().children().filter_map(ast::MacroCall::cast) {
2020-04-11 10:09:50 -05:00
res.extend(collect_impl_items_in_macro(db, expander, m, id, limit))
2019-12-20 13:37:03 -06:00
}
res
}
2019-12-20 15:02:31 -06:00
fn collect_impl_items_in_macro(
db: &dyn DefDatabase,
2019-12-20 15:02:31 -06:00
expander: &mut Expander,
m: ast::MacroCall,
id: ImplId,
limit: usize,
2019-12-20 15:02:31 -06:00
) -> Vec<AssocItemId> {
if limit == 0 {
return Vec::new();
}
2020-03-14 01:25:30 -05:00
if let Some((mark, items)) = expander.enter_expand(db, None, m) {
2019-12-20 15:02:31 -06:00
let items: InFile<ast::MacroItems> = expander.to_source(items);
let mut res = collect_impl_items(
db,
2020-04-11 10:12:17 -05:00
expander,
2019-12-20 15:02:31 -06:00
items.value.items().filter_map(|it| ImplItem::cast(it.syntax().clone())),
items.file_id,
id,
);
// Recursive collect macros
// Note that ast::ModuleItem do not include ast::MacroCall
// We cannot use ModuleItemOwner::items here
for it in items.value.syntax().children().filter_map(ast::MacroCall::cast) {
res.extend(collect_impl_items_in_macro(db, expander, it, id, limit - 1))
2019-12-20 15:02:31 -06:00
}
expander.exit(db, mark);
res
} else {
Vec::new()
}
}
2019-12-20 13:37:03 -06:00
fn collect_impl_items(
db: &dyn DefDatabase,
2020-04-11 10:12:17 -05:00
expander: &mut Expander,
2019-12-20 13:37:03 -06:00
impl_items: impl Iterator<Item = ImplItem>,
file_id: crate::HirFileId,
id: ImplId,
) -> Vec<AssocItemId> {
let items = db.ast_id_map(file_id);
impl_items
.filter_map(|item_node| match item_node {
2019-12-20 13:37:03 -06:00
ast::ImplItem::FnDef(it) => {
2020-04-11 10:12:17 -05:00
let attrs = expander.parse_attrs(&it);
2020-04-11 10:20:26 -05:00
if !expander.is_cfg_enabled(&attrs) {
2020-04-11 10:12:17 -05:00
return None;
}
2019-12-20 13:37:03 -06:00
let def = FunctionLoc {
container: AssocContainerId::ImplId(id),
ast_id: AstId::new(file_id, items.ast_id(&it)),
}
.intern(db);
2020-04-11 10:12:17 -05:00
Some(def.into())
2019-12-20 13:37:03 -06:00
}
ast::ImplItem::ConstDef(it) => {
let def = ConstLoc {
container: AssocContainerId::ImplId(id),
ast_id: AstId::new(file_id, items.ast_id(&it)),
}
.intern(db);
Some(def.into())
2019-12-20 13:37:03 -06:00
}
ast::ImplItem::TypeAliasDef(it) => {
let def = TypeAliasLoc {
container: AssocContainerId::ImplId(id),
ast_id: AstId::new(file_id, items.ast_id(&it)),
}
.intern(db);
Some(def.into())
2019-12-20 13:37:03 -06:00
}
})
.collect()
}