crates/hir_def/src/db.rs

   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]
  31     fn intern_function(&self, loc: FunctionLoc) -> FunctionId;
  32     #[salsa::interned]
  33     fn intern_struct(&self, loc: StructLoc) -> StructId;
  34     #[salsa::interned]
  35     fn intern_union(&self, loc: UnionLoc) -> UnionId;
  36     #[salsa::interned]
  37     fn intern_enum(&self, loc: EnumLoc) -> EnumId;
  38     #[salsa::interned]
  39     fn intern_const(&self, loc: ConstLoc) -> ConstId;
  40     #[salsa::interned]
  41     fn intern_static(&self, loc: StaticLoc) -> StaticId;
  42     #[salsa::interned]
  43     fn intern_trait(&self, loc: TraitLoc) -> TraitId;
  44     #[salsa::interned]
  45     fn intern_type_alias(&self, loc: TypeAliasLoc) -> TypeAliasId;
  46     #[salsa::interned]
  47     fn intern_impl(&self, loc: ImplLoc) -> ImplId;
  48     #[salsa::interned]
  49     fn intern_extern_block(&self, loc: ExternBlockLoc) -> ExternBlockId;
  50     #[salsa::interned]
  51     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]
  57     fn enable_proc_attr_macros(&self) -> bool;
  58
  59     #[salsa::invoke(ItemTree::file_item_tree_query)]
  60     fn file_item_tree(&self, file_id: HirFileId) -> Arc<ItemTree>;
  61
  62     #[salsa::invoke(crate_def_map_wait)]
  63     #[salsa::transparent]
  64     fn crate_def_map(&self, krate: CrateId) -> Arc<DefMap>;
  65
  66     #[salsa::invoke(DefMap::crate_def_map_query)]
  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)]
  85     fn block_def_map(&self, block: BlockId) -> Option<Arc<DefMap>>;
  86
  87     #[salsa::invoke(StructData::struct_data_query)]
  88     fn struct_data(&self, id: StructId) -> Arc<StructData>;
  89     #[salsa::invoke(StructData::union_data_query)]
  90     fn union_data(&self, id: UnionId) -> Arc<StructData>;
  91
  92     #[salsa::invoke(EnumData::enum_data_query)]
  93     fn enum_data(&self, e: EnumId) -> Arc<EnumData>;
  94
  95     #[salsa::invoke(ImplData::impl_data_query)]
  96     fn impl_data(&self, e: ImplId) -> Arc<ImplData>;
  97
  98     #[salsa::invoke(TraitData::trait_data_query)]
  99     fn trait_data(&self, e: TraitId) -> Arc<TraitData>;
 100
 101     #[salsa::invoke(TypeAliasData::type_alias_data_query)]
 102     fn type_alias_data(&self, e: TypeAliasId) -> Arc<TypeAliasData>;
 103
 104     #[salsa::invoke(FunctionData::fn_data_query)]
 105     fn function_data(&self, func: FunctionId) -> Arc<FunctionData>;
 106
 107     #[salsa::invoke(ConstData::const_data_query)]
 108     fn const_data(&self, konst: ConstId) -> Arc<ConstData>;
 109
 110     #[salsa::invoke(StaticData::static_data_query)]
 111     fn static_data(&self, konst: StaticId) -> Arc<StaticData>;
 112
 113     #[salsa::invoke(Body::body_with_source_map_query)]
 114     fn body_with_source_map(&self, def: DefWithBodyId) -> (Arc<Body>, Arc<BodySourceMap>);
 115
 116     #[salsa::invoke(Body::body_query)]
 117     fn body(&self, def: DefWithBodyId) -> Arc<Body>;
 118
 119     #[salsa::invoke(ExprScopes::expr_scopes_query)]
 120     fn expr_scopes(&self, def: DefWithBodyId) -> Arc<ExprScopes>;
 121
 122     #[salsa::invoke(GenericParams::generic_params_query)]
 123     fn generic_params(&self, def: GenericDefId) -> Interned<GenericParams>;
 124
 125     #[salsa::invoke(Attrs::variants_attrs_query)]
 126     fn variants_attrs(&self, def: EnumId) -> Arc<ArenaMap<LocalEnumVariantId, Attrs>>;
 127
 128     #[salsa::invoke(Attrs::fields_attrs_query)]
 129     fn fields_attrs(&self, def: VariantId) -> Arc<ArenaMap<LocalFieldId, Attrs>>;
 130
 131     #[salsa::invoke(crate::attr::variants_attrs_source_map)]
 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)]
 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)]
 144     fn attrs(&self, def: AttrDefId) -> AttrsWithOwner;
 145
 146     #[salsa::invoke(LangItems::crate_lang_items_query)]
 147     fn crate_lang_items(&self, krate: CrateId) -> Arc<LangItems>;
 148
 149     #[salsa::invoke(LangItems::lang_item_query)]
 150     fn lang_item(&self, start_crate: CrateId, item: SmolStr) -> Option<LangItemTarget>;
 151
 152     #[salsa::invoke(ImportMap::import_map_query)]
 153     fn import_map(&self, krate: CrateId) -> Arc<ImportMap>;
 154
 155     #[salsa::invoke(visibility::field_visibilities_query)]
 156     fn field_visibilities(&self, var: VariantId) -> Arc<ArenaMap<LocalFieldId, Visibility>>;
 157
 158     #[salsa::invoke(visibility::function_visibility_query)]
 159     fn function_visibility(&self, def: FunctionId) -> Visibility;
 160 }
 161
 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 }