1 //! Defines database & queries for name resolution.
4 use base_db::{salsa, CrateId, SourceDatabase, Upcast};
6 use hir_expand::{db::AstDatabase, HirFileId};
7 use la_arena::ArenaMap;
8 use syntax::{ast, AstPtr, SmolStr};
11 adt::{EnumData, StructData},
12 attr::{Attrs, AttrsWithOwner},
13 body::{scope::ExprScopes, Body, BodySourceMap},
15 ConstData, FunctionData, ImplData, Macro2Data, MacroRulesData, ProcMacroData, StaticData,
16 TraitData, TypeAliasData,
18 generics::GenericParams,
19 import_map::ImportMap,
22 lang_item::{LangItemTarget, LangItems},
24 visibility::{self, Visibility},
25 AttrDefId, BlockId, BlockLoc, ConstId, ConstLoc, DefWithBodyId, EnumId, EnumLoc, ExternBlockId,
26 ExternBlockLoc, FunctionId, FunctionLoc, GenericDefId, ImplId, ImplLoc, LocalEnumVariantId,
27 LocalFieldId, Macro2Id, Macro2Loc, MacroRulesId, MacroRulesLoc, ProcMacroId, ProcMacroLoc,
28 StaticId, StaticLoc, StructId, StructLoc, TraitId, TraitLoc, TypeAliasId, TypeAliasLoc,
29 UnionId, UnionLoc, VariantId,
32 #[salsa::query_group(InternDatabaseStorage)]
33 pub trait InternDatabase: SourceDatabase {
35 fn intern_function(&self, loc: FunctionLoc) -> FunctionId;
37 fn intern_struct(&self, loc: StructLoc) -> StructId;
39 fn intern_union(&self, loc: UnionLoc) -> UnionId;
41 fn intern_enum(&self, loc: EnumLoc) -> EnumId;
43 fn intern_const(&self, loc: ConstLoc) -> ConstId;
45 fn intern_static(&self, loc: StaticLoc) -> StaticId;
47 fn intern_trait(&self, loc: TraitLoc) -> TraitId;
49 fn intern_type_alias(&self, loc: TypeAliasLoc) -> TypeAliasId;
51 fn intern_impl(&self, loc: ImplLoc) -> ImplId;
53 fn intern_extern_block(&self, loc: ExternBlockLoc) -> ExternBlockId;
55 fn intern_block(&self, loc: BlockLoc) -> BlockId;
57 fn intern_macro2(&self, loc: Macro2Loc) -> Macro2Id;
59 fn intern_proc_macro(&self, loc: ProcMacroLoc) -> ProcMacroId;
61 fn intern_macro_rules(&self, loc: MacroRulesLoc) -> MacroRulesId;
64 #[salsa::query_group(DefDatabaseStorage)]
65 pub trait DefDatabase: InternDatabase + AstDatabase + Upcast<dyn AstDatabase> {
67 fn enable_proc_attr_macros(&self) -> bool;
69 #[salsa::invoke(ItemTree::file_item_tree_query)]
70 fn file_item_tree(&self, file_id: HirFileId) -> Arc<ItemTree>;
72 #[salsa::invoke(crate_def_map_wait)]
74 fn crate_def_map(&self, krate: CrateId) -> Arc<DefMap>;
76 #[salsa::invoke(DefMap::crate_def_map_query)]
77 fn crate_def_map_query(&self, krate: CrateId) -> Arc<DefMap>;
79 /// Computes the block-level `DefMap`, returning `None` when `block` doesn't contain any inner
92 /// The `block_def_map` for block 0 would return `None`, while `block_def_map` of block 1 would
93 /// return a `DefMap` containing `inner`.
94 #[salsa::invoke(DefMap::block_def_map_query)]
95 fn block_def_map(&self, block: BlockId) -> Option<Arc<DefMap>>;
97 #[salsa::invoke(StructData::struct_data_query)]
98 fn struct_data(&self, id: StructId) -> Arc<StructData>;
100 #[salsa::invoke(StructData::union_data_query)]
101 fn union_data(&self, id: UnionId) -> Arc<StructData>;
103 #[salsa::invoke(EnumData::enum_data_query)]
104 fn enum_data(&self, e: EnumId) -> Arc<EnumData>;
106 #[salsa::invoke(ImplData::impl_data_query)]
107 fn impl_data(&self, e: ImplId) -> Arc<ImplData>;
109 #[salsa::invoke(TraitData::trait_data_query)]
110 fn trait_data(&self, e: TraitId) -> Arc<TraitData>;
112 #[salsa::invoke(TypeAliasData::type_alias_data_query)]
113 fn type_alias_data(&self, e: TypeAliasId) -> Arc<TypeAliasData>;
115 #[salsa::invoke(FunctionData::fn_data_query)]
116 fn function_data(&self, func: FunctionId) -> Arc<FunctionData>;
118 #[salsa::invoke(ConstData::const_data_query)]
119 fn const_data(&self, konst: ConstId) -> Arc<ConstData>;
121 #[salsa::invoke(StaticData::static_data_query)]
122 fn static_data(&self, konst: StaticId) -> Arc<StaticData>;
124 #[salsa::invoke(Macro2Data::macro2_data_query)]
125 fn macro2_data(&self, makro: Macro2Id) -> Arc<Macro2Data>;
127 #[salsa::invoke(MacroRulesData::macro_rules_data_query)]
128 fn macro_rules_data(&self, makro: MacroRulesId) -> Arc<MacroRulesData>;
130 #[salsa::invoke(ProcMacroData::proc_macro_data_query)]
131 fn proc_macro_data(&self, makro: ProcMacroId) -> Arc<ProcMacroData>;
133 #[salsa::invoke(Body::body_with_source_map_query)]
134 fn body_with_source_map(&self, def: DefWithBodyId) -> (Arc<Body>, Arc<BodySourceMap>);
136 #[salsa::invoke(Body::body_query)]
137 fn body(&self, def: DefWithBodyId) -> Arc<Body>;
139 #[salsa::invoke(ExprScopes::expr_scopes_query)]
140 fn expr_scopes(&self, def: DefWithBodyId) -> Arc<ExprScopes>;
142 #[salsa::invoke(GenericParams::generic_params_query)]
143 fn generic_params(&self, def: GenericDefId) -> Interned<GenericParams>;
145 #[salsa::invoke(Attrs::variants_attrs_query)]
146 fn variants_attrs(&self, def: EnumId) -> Arc<ArenaMap<LocalEnumVariantId, Attrs>>;
148 #[salsa::invoke(Attrs::fields_attrs_query)]
149 fn fields_attrs(&self, def: VariantId) -> Arc<ArenaMap<LocalFieldId, Attrs>>;
151 #[salsa::invoke(crate::attr::variants_attrs_source_map)]
152 fn variants_attrs_source_map(
155 ) -> Arc<ArenaMap<LocalEnumVariantId, AstPtr<ast::Variant>>>;
157 #[salsa::invoke(crate::attr::fields_attrs_source_map)]
158 fn fields_attrs_source_map(
161 ) -> Arc<ArenaMap<LocalFieldId, Either<AstPtr<ast::TupleField>, AstPtr<ast::RecordField>>>>;
163 #[salsa::invoke(AttrsWithOwner::attrs_query)]
164 fn attrs(&self, def: AttrDefId) -> AttrsWithOwner;
166 #[salsa::invoke(LangItems::crate_lang_items_query)]
167 fn crate_lang_items(&self, krate: CrateId) -> Arc<LangItems>;
169 #[salsa::invoke(LangItems::lang_item_query)]
170 fn lang_item(&self, start_crate: CrateId, item: SmolStr) -> Option<LangItemTarget>;
172 #[salsa::invoke(ImportMap::import_map_query)]
173 fn import_map(&self, krate: CrateId) -> Arc<ImportMap>;
175 #[salsa::invoke(visibility::field_visibilities_query)]
176 fn field_visibilities(&self, var: VariantId) -> Arc<ArenaMap<LocalFieldId, Visibility>>;
178 // FIXME: unify function_visibility and const_visibility?
179 #[salsa::invoke(visibility::function_visibility_query)]
180 fn function_visibility(&self, def: FunctionId) -> Visibility;
182 #[salsa::invoke(visibility::const_visibility_query)]
183 fn const_visibility(&self, def: ConstId) -> Visibility;
185 #[salsa::transparent]
186 fn crate_limits(&self, crate_id: CrateId) -> CrateLimits;
189 fn crate_def_map_wait(db: &dyn DefDatabase, krate: CrateId) -> Arc<DefMap> {
190 let _p = profile::span("crate_def_map:wait");
191 db.crate_def_map_query(krate)
194 pub struct CrateLimits {
195 /// The maximum depth for potentially infinitely-recursive compile-time operations like macro expansion or auto-dereference.
196 pub recursion_limit: u32,
199 fn crate_limits(db: &dyn DefDatabase, crate_id: CrateId) -> CrateLimits {
200 let def_map = db.crate_def_map(crate_id);
203 // 128 is the default in rustc.
204 recursion_limit: def_map.recursion_limit().unwrap_or(128),