121 lines
4.0 KiB
Rust
121 lines
4.0 KiB
Rust
|
//! Collects lang items: items marked with `#[lang = "..."]` attribute.
|
||
|
//!
|
||
|
//! This attribute to tell the compiler about semi built-in std library
|
||
|
//! features, such as Fn family of traits.
|
||
|
use std::sync::Arc;
|
||
|
|
||
|
use ra_syntax::SmolStr;
|
||
|
use rustc_hash::FxHashMap;
|
||
|
|
||
|
use crate::{
|
||
|
db::DefDatabase2, AdtId, AttrDefId, CrateId, EnumId, FunctionId, ImplId, ModuleDefId, ModuleId,
|
||
|
StaticId, StructId, TraitId,
|
||
|
};
|
||
|
|
||
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
||
|
pub enum LangItemTarget {
|
||
|
EnumId(EnumId),
|
||
|
FunctionId(FunctionId),
|
||
|
ImplBlockId(ImplId),
|
||
|
StaticId(StaticId),
|
||
|
StructId(StructId),
|
||
|
TraitId(TraitId),
|
||
|
}
|
||
|
|
||
|
#[derive(Default, Debug, Clone, PartialEq, Eq)]
|
||
|
pub struct LangItems {
|
||
|
items: FxHashMap<SmolStr, LangItemTarget>,
|
||
|
}
|
||
|
|
||
|
impl LangItems {
|
||
|
pub fn target<'a>(&'a self, item: &str) -> Option<&'a LangItemTarget> {
|
||
|
self.items.get(item)
|
||
|
}
|
||
|
|
||
|
/// Salsa query. This will look for lang items in a specific crate.
|
||
|
pub(crate) fn crate_lang_items_query(db: &impl DefDatabase2, krate: CrateId) -> Arc<LangItems> {
|
||
|
let mut lang_items = LangItems::default();
|
||
|
|
||
|
let crate_def_map = db.crate_def_map(krate);
|
||
|
|
||
|
crate_def_map
|
||
|
.modules()
|
||
|
.filter_map(|module_id| db.module_lang_items(ModuleId { krate, module_id }))
|
||
|
.for_each(|it| lang_items.items.extend(it.items.iter().map(|(k, v)| (k.clone(), *v))));
|
||
|
|
||
|
Arc::new(lang_items)
|
||
|
}
|
||
|
|
||
|
pub(crate) fn module_lang_items_query(
|
||
|
db: &impl DefDatabase2,
|
||
|
module: ModuleId,
|
||
|
) -> Option<Arc<LangItems>> {
|
||
|
let mut lang_items = LangItems::default();
|
||
|
lang_items.collect_lang_items(db, module);
|
||
|
if lang_items.items.is_empty() {
|
||
|
None
|
||
|
} else {
|
||
|
Some(Arc::new(lang_items))
|
||
|
}
|
||
|
}
|
||
|
|
||
|
/// Salsa query. Look for a lang item, starting from the specified crate and recursively
|
||
|
/// traversing its dependencies.
|
||
|
pub(crate) fn lang_item_query(
|
||
|
db: &impl DefDatabase2,
|
||
|
start_crate: CrateId,
|
||
|
item: SmolStr,
|
||
|
) -> Option<LangItemTarget> {
|
||
|
let lang_items = db.crate_lang_items(start_crate);
|
||
|
let start_crate_target = lang_items.items.get(&item);
|
||
|
if let Some(target) = start_crate_target {
|
||
|
return Some(*target);
|
||
|
}
|
||
|
db.crate_graph()
|
||
|
.dependencies(start_crate)
|
||
|
.find_map(|dep| db.lang_item(dep.crate_id, item.clone()))
|
||
|
}
|
||
|
|
||
|
fn collect_lang_items(&mut self, db: &impl DefDatabase2, module: ModuleId) {
|
||
|
// Look for impl targets
|
||
|
let def_map = db.crate_def_map(module.krate);
|
||
|
let module_data = &def_map[module.module_id];
|
||
|
for &impl_block in module_data.impls.iter() {
|
||
|
self.collect_lang_item(db, impl_block, LangItemTarget::ImplBlockId)
|
||
|
}
|
||
|
|
||
|
for def in module_data.scope.declarations() {
|
||
|
match def {
|
||
|
ModuleDefId::TraitId(trait_) => {
|
||
|
self.collect_lang_item(db, trait_, LangItemTarget::TraitId)
|
||
|
}
|
||
|
ModuleDefId::AdtId(AdtId::EnumId(e)) => {
|
||
|
self.collect_lang_item(db, e, LangItemTarget::EnumId)
|
||
|
}
|
||
|
ModuleDefId::AdtId(AdtId::StructId(s)) => {
|
||
|
self.collect_lang_item(db, s, LangItemTarget::StructId)
|
||
|
}
|
||
|
ModuleDefId::FunctionId(f) => {
|
||
|
self.collect_lang_item(db, f, LangItemTarget::FunctionId)
|
||
|
}
|
||
|
ModuleDefId::StaticId(s) => self.collect_lang_item(db, s, LangItemTarget::StaticId),
|
||
|
_ => {}
|
||
|
}
|
||
|
}
|
||
|
}
|
||
|
|
||
|
fn collect_lang_item<T>(
|
||
|
&mut self,
|
||
|
db: &impl DefDatabase2,
|
||
|
item: T,
|
||
|
constructor: fn(T) -> LangItemTarget,
|
||
|
) where
|
||
|
T: Into<AttrDefId> + Copy,
|
||
|
{
|
||
|
let attrs = db.attrs(item.into());
|
||
|
if let Some(lang_item_name) = attrs.find_string_value("lang") {
|
||
|
self.items.entry(lang_item_name).or_insert_with(|| constructor(item));
|
||
|
}
|
||
|
}
|
||
|
}
|