1 //! Defines database & queries for name resolution.
2 use std::sync::Arc;
3
4 use base_db::{salsa, CrateId, SourceDatabase, Upcast};
5 use either::Either;
6 use hir_expand::{db::AstDatabase, HirFileId};
7 use la_arena::ArenaMap;
8 use syntax::{ast, AstPtr, SmolStr};
9
10 use crate::{
11 adt::{EnumData, StructData},
12 attr::{Attrs, AttrsWithOwner},
13 body::{scope::ExprScopes, Body, BodySourceMap},
14 data::{ConstData, FunctionData, ImplData, StaticData, TraitData, TypeAliasData},
15 generics::GenericParams,
16 import_map::ImportMap,
17 intern::Interned,
18 item_tree::ItemTree,
19 lang_item::{LangItemTarget, LangItems},
20 nameres::DefMap,
21 visibility::{self, Visibility},
22 AttrDefId, BlockId, BlockLoc, ConstId, ConstLoc, DefWithBodyId, EnumId, EnumLoc, ExternBlockId,
23 ExternBlockLoc, FunctionId, FunctionLoc, GenericDefId, ImplId, ImplLoc, LocalEnumVariantId,
24 LocalFieldId, StaticId, StaticLoc, StructId, StructLoc, TraitId, TraitLoc, TypeAliasId,
25 TypeAliasLoc, UnionId, UnionLoc, VariantId,
26 };
27
28 #[salsa::query_group(InternDatabaseStorage)]
29 pub trait InternDatabase: SourceDatabase {
30 #[salsa::interned]
intern_function(&self, loc: FunctionLoc) -> FunctionId31 fn intern_function(&self, loc: FunctionLoc) -> FunctionId;
32 #[salsa::interned]
intern_struct(&self, loc: StructLoc) -> StructId33 fn intern_struct(&self, loc: StructLoc) -> StructId;
34 #[salsa::interned]
intern_union(&self, loc: UnionLoc) -> UnionId35 fn intern_union(&self, loc: UnionLoc) -> UnionId;
36 #[salsa::interned]
intern_enum(&self, loc: EnumLoc) -> EnumId37 fn intern_enum(&self, loc: EnumLoc) -> EnumId;
38 #[salsa::interned]
intern_const(&self, loc: ConstLoc) -> ConstId39 fn intern_const(&self, loc: ConstLoc) -> ConstId;
40 #[salsa::interned]
intern_static(&self, loc: StaticLoc) -> StaticId41 fn intern_static(&self, loc: StaticLoc) -> StaticId;
42 #[salsa::interned]
intern_trait(&self, loc: TraitLoc) -> TraitId43 fn intern_trait(&self, loc: TraitLoc) -> TraitId;
44 #[salsa::interned]
intern_type_alias(&self, loc: TypeAliasLoc) -> TypeAliasId45 fn intern_type_alias(&self, loc: TypeAliasLoc) -> TypeAliasId;
46 #[salsa::interned]
intern_impl(&self, loc: ImplLoc) -> ImplId47 fn intern_impl(&self, loc: ImplLoc) -> ImplId;
48 #[salsa::interned]
intern_extern_block(&self, loc: ExternBlockLoc) -> ExternBlockId49 fn intern_extern_block(&self, loc: ExternBlockLoc) -> ExternBlockId;
50 #[salsa::interned]
intern_block(&self, loc: BlockLoc) -> BlockId51 fn intern_block(&self, loc: BlockLoc) -> BlockId;
52 }
53
54 #[salsa::query_group(DefDatabaseStorage)]
55 pub trait DefDatabase: InternDatabase + AstDatabase + Upcast<dyn AstDatabase> {
56 #[salsa::input]
enable_proc_attr_macros(&self) -> bool57 fn enable_proc_attr_macros(&self) -> bool;
58
59 #[salsa::invoke(ItemTree::file_item_tree_query)]
file_item_tree(&self, file_id: HirFileId) -> Arc<ItemTree>60 fn file_item_tree(&self, file_id: HirFileId) -> Arc<ItemTree>;
61
62 #[salsa::invoke(crate_def_map_wait)]
63 #[salsa::transparent]
crate_def_map(&self, krate: CrateId) -> Arc<DefMap>64 fn crate_def_map(&self, krate: CrateId) -> Arc<DefMap>;
65
66 #[salsa::invoke(DefMap::crate_def_map_query)]
crate_def_map_query(&self, krate: CrateId) -> Arc<DefMap>67 fn crate_def_map_query(&self, krate: CrateId) -> Arc<DefMap>;
68
69 /// Computes the block-level `DefMap`, returning `None` when `block` doesn't contain any inner
70 /// items directly.
71 ///
72 /// For example:
73 ///
74 /// ```
75 /// fn f() { // (0)
76 /// { // (1)
77 /// fn inner() {}
78 /// }
79 /// }
80 /// ```
81 ///
82 /// The `block_def_map` for block 0 would return `None`, while `block_def_map` of block 1 would
83 /// return a `DefMap` containing `inner`.
84 #[salsa::invoke(DefMap::block_def_map_query)]
block_def_map(&self, block: BlockId) -> Option<Arc<DefMap>>85 fn block_def_map(&self, block: BlockId) -> Option<Arc<DefMap>>;
86
87 #[salsa::invoke(StructData::struct_data_query)]
struct_data(&self, id: StructId) -> Arc<StructData>88 fn struct_data(&self, id: StructId) -> Arc<StructData>;
89 #[salsa::invoke(StructData::union_data_query)]
union_data(&self, id: UnionId) -> Arc<StructData>90 fn union_data(&self, id: UnionId) -> Arc<StructData>;
91
92 #[salsa::invoke(EnumData::enum_data_query)]
enum_data(&self, e: EnumId) -> Arc<EnumData>93 fn enum_data(&self, e: EnumId) -> Arc<EnumData>;
94
95 #[salsa::invoke(ImplData::impl_data_query)]
impl_data(&self, e: ImplId) -> Arc<ImplData>96 fn impl_data(&self, e: ImplId) -> Arc<ImplData>;
97
98 #[salsa::invoke(TraitData::trait_data_query)]
trait_data(&self, e: TraitId) -> Arc<TraitData>99 fn trait_data(&self, e: TraitId) -> Arc<TraitData>;
100
101 #[salsa::invoke(TypeAliasData::type_alias_data_query)]
type_alias_data(&self, e: TypeAliasId) -> Arc<TypeAliasData>102 fn type_alias_data(&self, e: TypeAliasId) -> Arc<TypeAliasData>;
103
104 #[salsa::invoke(FunctionData::fn_data_query)]
function_data(&self, func: FunctionId) -> Arc<FunctionData>105 fn function_data(&self, func: FunctionId) -> Arc<FunctionData>;
106
107 #[salsa::invoke(ConstData::const_data_query)]
const_data(&self, konst: ConstId) -> Arc<ConstData>108 fn const_data(&self, konst: ConstId) -> Arc<ConstData>;
109
110 #[salsa::invoke(StaticData::static_data_query)]
static_data(&self, konst: StaticId) -> Arc<StaticData>111 fn static_data(&self, konst: StaticId) -> Arc<StaticData>;
112
113 #[salsa::invoke(Body::body_with_source_map_query)]
body_with_source_map(&self, def: DefWithBodyId) -> (Arc<Body>, Arc<BodySourceMap>)114 fn body_with_source_map(&self, def: DefWithBodyId) -> (Arc<Body>, Arc<BodySourceMap>);
115
116 #[salsa::invoke(Body::body_query)]
body(&self, def: DefWithBodyId) -> Arc<Body>117 fn body(&self, def: DefWithBodyId) -> Arc<Body>;
118
119 #[salsa::invoke(ExprScopes::expr_scopes_query)]
expr_scopes(&self, def: DefWithBodyId) -> Arc<ExprScopes>120 fn expr_scopes(&self, def: DefWithBodyId) -> Arc<ExprScopes>;
121
122 #[salsa::invoke(GenericParams::generic_params_query)]
generic_params(&self, def: GenericDefId) -> Interned<GenericParams>123 fn generic_params(&self, def: GenericDefId) -> Interned<GenericParams>;
124
125 #[salsa::invoke(Attrs::variants_attrs_query)]
variants_attrs(&self, def: EnumId) -> Arc<ArenaMap<LocalEnumVariantId, Attrs>>126 fn variants_attrs(&self, def: EnumId) -> Arc<ArenaMap<LocalEnumVariantId, Attrs>>;
127
128 #[salsa::invoke(Attrs::fields_attrs_query)]
fields_attrs(&self, def: VariantId) -> Arc<ArenaMap<LocalFieldId, Attrs>>129 fn fields_attrs(&self, def: VariantId) -> Arc<ArenaMap<LocalFieldId, Attrs>>;
130
131 #[salsa::invoke(crate::attr::variants_attrs_source_map)]
variants_attrs_source_map( &self, def: EnumId, ) -> Arc<ArenaMap<LocalEnumVariantId, AstPtr<ast::Variant>>>132 fn variants_attrs_source_map(
133 &self,
134 def: EnumId,
135 ) -> Arc<ArenaMap<LocalEnumVariantId, AstPtr<ast::Variant>>>;
136
137 #[salsa::invoke(crate::attr::fields_attrs_source_map)]
fields_attrs_source_map( &self, def: VariantId, ) -> Arc<ArenaMap<LocalFieldId, Either<AstPtr<ast::TupleField>, AstPtr<ast::RecordField>>>>138 fn fields_attrs_source_map(
139 &self,
140 def: VariantId,
141 ) -> Arc<ArenaMap<LocalFieldId, Either<AstPtr<ast::TupleField>, AstPtr<ast::RecordField>>>>;
142
143 #[salsa::invoke(AttrsWithOwner::attrs_query)]
attrs(&self, def: AttrDefId) -> AttrsWithOwner144 fn attrs(&self, def: AttrDefId) -> AttrsWithOwner;
145
146 #[salsa::invoke(LangItems::crate_lang_items_query)]
crate_lang_items(&self, krate: CrateId) -> Arc<LangItems>147 fn crate_lang_items(&self, krate: CrateId) -> Arc<LangItems>;
148
149 #[salsa::invoke(LangItems::lang_item_query)]
lang_item(&self, start_crate: CrateId, item: SmolStr) -> Option<LangItemTarget>150 fn lang_item(&self, start_crate: CrateId, item: SmolStr) -> Option<LangItemTarget>;
151
152 #[salsa::invoke(ImportMap::import_map_query)]
import_map(&self, krate: CrateId) -> Arc<ImportMap>153 fn import_map(&self, krate: CrateId) -> Arc<ImportMap>;
154
155 #[salsa::invoke(visibility::field_visibilities_query)]
field_visibilities(&self, var: VariantId) -> Arc<ArenaMap<LocalFieldId, Visibility>>156 fn field_visibilities(&self, var: VariantId) -> Arc<ArenaMap<LocalFieldId, Visibility>>;
157
158 #[salsa::invoke(visibility::function_visibility_query)]
function_visibility(&self, def: FunctionId) -> Visibility159 fn function_visibility(&self, def: FunctionId) -> Visibility;
160 }
161
crate_def_map_wait(db: &dyn DefDatabase, krate: CrateId) -> Arc<DefMap>162 fn crate_def_map_wait(db: &dyn DefDatabase, krate: CrateId) -> Arc<DefMap> {
163 let _p = profile::span("crate_def_map:wait");
164 db.crate_def_map_query(krate)
165 }
166