]> git.lizzy.rs Git - rust.git/blob - crates/hir_def/src/lang_item.rs
Merge #7361
[rust.git] / crates / hir_def / src / lang_item.rs
1 //! Collects lang items: items marked with `#[lang = "..."]` attribute.
2 //!
3 //! This attribute to tell the compiler about semi built-in std library
4 //! features, such as Fn family of traits.
5 use std::sync::Arc;
6
7 use rustc_hash::FxHashMap;
8 use syntax::SmolStr;
9
10 use crate::{
11     db::DefDatabase, AdtId, AttrDefId, CrateId, EnumId, FunctionId, ImplId, ModuleDefId, StaticId,
12     StructId, TraitId,
13 };
14
15 #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
16 pub enum LangItemTarget {
17     EnumId(EnumId),
18     FunctionId(FunctionId),
19     ImplDefId(ImplId),
20     StaticId(StaticId),
21     StructId(StructId),
22     TraitId(TraitId),
23 }
24
25 impl LangItemTarget {
26     pub fn as_enum(self) -> Option<EnumId> {
27         match self {
28             LangItemTarget::EnumId(id) => Some(id),
29             _ => None,
30         }
31     }
32
33     pub fn as_function(self) -> Option<FunctionId> {
34         match self {
35             LangItemTarget::FunctionId(id) => Some(id),
36             _ => None,
37         }
38     }
39
40     pub fn as_impl_def(self) -> Option<ImplId> {
41         match self {
42             LangItemTarget::ImplDefId(id) => Some(id),
43             _ => None,
44         }
45     }
46
47     pub fn as_static(self) -> Option<StaticId> {
48         match self {
49             LangItemTarget::StaticId(id) => Some(id),
50             _ => None,
51         }
52     }
53
54     pub fn as_struct(self) -> Option<StructId> {
55         match self {
56             LangItemTarget::StructId(id) => Some(id),
57             _ => None,
58         }
59     }
60
61     pub fn as_trait(self) -> Option<TraitId> {
62         match self {
63             LangItemTarget::TraitId(id) => Some(id),
64             _ => None,
65         }
66     }
67 }
68
69 #[derive(Default, Debug, Clone, PartialEq, Eq)]
70 pub struct LangItems {
71     items: FxHashMap<SmolStr, LangItemTarget>,
72 }
73
74 impl LangItems {
75     pub fn target(&self, item: &str) -> Option<LangItemTarget> {
76         self.items.get(item).copied()
77     }
78
79     /// Salsa query. This will look for lang items in a specific crate.
80     pub(crate) fn crate_lang_items_query(db: &dyn DefDatabase, krate: CrateId) -> Arc<LangItems> {
81         let _p = profile::span("crate_lang_items_query");
82
83         let mut lang_items = LangItems::default();
84
85         let crate_def_map = db.crate_def_map(krate);
86
87         for (_, module_data) in crate_def_map.modules() {
88             for impl_def in module_data.scope.impls() {
89                 lang_items.collect_lang_item(db, impl_def, LangItemTarget::ImplDefId)
90             }
91
92             for def in module_data.scope.declarations() {
93                 match def {
94                     ModuleDefId::TraitId(trait_) => {
95                         lang_items.collect_lang_item(db, trait_, LangItemTarget::TraitId)
96                     }
97                     ModuleDefId::AdtId(AdtId::EnumId(e)) => {
98                         lang_items.collect_lang_item(db, e, LangItemTarget::EnumId)
99                     }
100                     ModuleDefId::AdtId(AdtId::StructId(s)) => {
101                         lang_items.collect_lang_item(db, s, LangItemTarget::StructId)
102                     }
103                     ModuleDefId::FunctionId(f) => {
104                         lang_items.collect_lang_item(db, f, LangItemTarget::FunctionId)
105                     }
106                     ModuleDefId::StaticId(s) => {
107                         lang_items.collect_lang_item(db, s, LangItemTarget::StaticId)
108                     }
109                     _ => {}
110                 }
111             }
112         }
113
114         Arc::new(lang_items)
115     }
116
117     /// Salsa query. Look for a lang item, starting from the specified crate and recursively
118     /// traversing its dependencies.
119     pub(crate) fn lang_item_query(
120         db: &dyn DefDatabase,
121         start_crate: CrateId,
122         item: SmolStr,
123     ) -> Option<LangItemTarget> {
124         let _p = profile::span("lang_item_query");
125         let lang_items = db.crate_lang_items(start_crate);
126         let start_crate_target = lang_items.items.get(&item);
127         if let Some(target) = start_crate_target {
128             return Some(*target);
129         }
130         db.crate_graph()[start_crate]
131             .dependencies
132             .iter()
133             .find_map(|dep| db.lang_item(dep.crate_id, item.clone()))
134     }
135
136     fn collect_lang_item<T>(
137         &mut self,
138         db: &dyn DefDatabase,
139         item: T,
140         constructor: fn(T) -> LangItemTarget,
141     ) where
142         T: Into<AttrDefId> + Copy,
143     {
144         if let Some(lang_item_name) = lang_attr(db, item) {
145             self.items.entry(lang_item_name).or_insert_with(|| constructor(item));
146         }
147     }
148 }
149
150 pub fn lang_attr(db: &dyn DefDatabase, item: impl Into<AttrDefId> + Copy) -> Option<SmolStr> {
151     let attrs = db.attrs(item.into());
152     attrs.by_key("lang").string_value().cloned()
153 }