2021-03-20 15:54:04 -05:00
|
|
|
//! This module has the functionality to search the project and its dependencies for a certain item,
|
|
|
|
//! by its name and a few criteria.
|
|
|
|
//! The main reason for this module to exist is the fact that project's items and dependencies' items
|
|
|
|
//! are located in different caches, with different APIs.
|
2021-03-02 17:26:53 -06:00
|
|
|
use either::Either;
|
2021-01-05 02:34:03 -06:00
|
|
|
use hir::{
|
|
|
|
import_map::{self, ImportKind},
|
2022-01-12 12:56:47 -06:00
|
|
|
symbols::FileSymbol,
|
2021-07-28 10:39:04 -05:00
|
|
|
AsAssocItem, Crate, ItemInNs, Semantics,
|
2021-01-05 02:34:03 -06:00
|
|
|
};
|
2021-07-10 15:49:17 -05:00
|
|
|
use limit::Limit;
|
2020-08-12 11:26:51 -05:00
|
|
|
use syntax::{ast, AstNode, SyntaxKind::NAME};
|
2019-12-23 18:19:09 -06:00
|
|
|
|
2020-02-06 09:26:43 -06:00
|
|
|
use crate::{
|
2020-10-15 10:27:50 -05:00
|
|
|
defs::{Definition, NameClass},
|
2022-03-06 12:01:30 -06:00
|
|
|
imports::import_assets::NameToImport,
|
2022-01-12 12:56:47 -06:00
|
|
|
symbol_index, RootDatabase,
|
2020-02-06 09:26:43 -06:00
|
|
|
};
|
2020-02-06 05:52:32 -06:00
|
|
|
|
2021-03-20 15:54:04 -05:00
|
|
|
/// A value to use, when uncertain which limit to pick.
|
2021-10-21 05:21:34 -05:00
|
|
|
pub static DEFAULT_QUERY_SEARCH_LIMIT: Limit = Limit::new(40);
|
2021-01-16 11:33:36 -06:00
|
|
|
|
2021-03-20 15:54:04 -05:00
|
|
|
/// Three possible ways to search for the name in associated and/or other items.
|
2021-03-20 08:02:52 -05:00
|
|
|
#[derive(Debug, Clone, Copy)]
|
2021-01-05 02:34:03 -06:00
|
|
|
pub enum AssocItemSearch {
|
2021-03-20 15:54:04 -05:00
|
|
|
/// Search for the name in both associated and other items.
|
2021-01-05 02:34:03 -06:00
|
|
|
Include,
|
2021-03-20 15:54:04 -05:00
|
|
|
/// Search for the name in other items only.
|
2021-01-05 02:34:03 -06:00
|
|
|
Exclude,
|
2021-03-20 15:54:04 -05:00
|
|
|
/// Search for the name in the associated items only.
|
2021-01-05 02:34:03 -06:00
|
|
|
AssocItemsOnly,
|
2020-11-13 11:16:56 -06:00
|
|
|
}
|
|
|
|
|
2021-03-20 15:54:04 -05:00
|
|
|
/// Searches for importable items with the given name in the crate and its dependencies.
|
2021-03-20 17:17:09 -05:00
|
|
|
pub fn items_with_name<'a>(
|
|
|
|
sema: &'a Semantics<'_, RootDatabase>,
|
2020-11-13 11:16:56 -06:00
|
|
|
krate: Crate,
|
2021-03-20 08:02:52 -05:00
|
|
|
name: NameToImport,
|
2021-01-05 02:34:03 -06:00
|
|
|
assoc_item_search: AssocItemSearch,
|
2021-01-16 16:53:15 -06:00
|
|
|
limit: Option<usize>,
|
2021-03-20 17:17:09 -05:00
|
|
|
) -> impl Iterator<Item = ItemInNs> + 'a {
|
2021-03-20 15:54:04 -05:00
|
|
|
let _p = profile::span("items_with_name").detail(|| {
|
2021-03-20 08:02:52 -05:00
|
|
|
format!(
|
2021-03-20 17:50:59 -05:00
|
|
|
"Name: {}, crate: {:?}, assoc items: {:?}, limit: {:?}",
|
2021-03-20 08:02:52 -05:00
|
|
|
name.text(),
|
|
|
|
assoc_item_search,
|
|
|
|
krate.display_name(sema.db).map(|name| name.to_string()),
|
|
|
|
limit,
|
|
|
|
)
|
|
|
|
});
|
|
|
|
|
|
|
|
let (mut local_query, mut external_query) = match name {
|
2021-12-09 12:18:11 -06:00
|
|
|
NameToImport::Exact(exact_name, case_sensitive) => {
|
2021-03-20 08:02:52 -05:00
|
|
|
let mut local_query = symbol_index::Query::new(exact_name.clone());
|
|
|
|
local_query.exact();
|
2020-11-23 18:26:16 -06:00
|
|
|
|
2021-03-20 08:02:52 -05:00
|
|
|
let external_query = import_map::Query::new(exact_name)
|
|
|
|
.name_only()
|
2021-12-09 12:18:11 -06:00
|
|
|
.search_mode(import_map::SearchMode::Equals);
|
2021-01-05 02:34:03 -06:00
|
|
|
|
2021-12-09 12:18:11 -06:00
|
|
|
(
|
|
|
|
local_query,
|
|
|
|
if case_sensitive { external_query.case_sensitive() } else { external_query },
|
|
|
|
)
|
2021-01-05 02:34:03 -06:00
|
|
|
}
|
2021-03-20 08:02:52 -05:00
|
|
|
NameToImport::Fuzzy(fuzzy_search_string) => {
|
2021-03-20 16:55:16 -05:00
|
|
|
let mut local_query = symbol_index::Query::new(fuzzy_search_string.clone());
|
|
|
|
|
2021-03-20 08:02:52 -05:00
|
|
|
let mut external_query = import_map::Query::new(fuzzy_search_string.clone())
|
|
|
|
.search_mode(import_map::SearchMode::Fuzzy)
|
|
|
|
.name_only();
|
|
|
|
match assoc_item_search {
|
|
|
|
AssocItemSearch::Include => {}
|
|
|
|
AssocItemSearch::Exclude => {
|
|
|
|
external_query = external_query.exclude_import_kind(ImportKind::AssociatedItem);
|
|
|
|
}
|
|
|
|
AssocItemSearch::AssocItemsOnly => {
|
|
|
|
external_query = external_query.assoc_items_only();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-03-20 16:55:16 -05:00
|
|
|
if fuzzy_search_string.to_lowercase() != fuzzy_search_string {
|
|
|
|
local_query.case_sensitive();
|
|
|
|
external_query = external_query.case_sensitive();
|
|
|
|
}
|
|
|
|
|
|
|
|
(local_query, external_query)
|
2021-01-05 02:34:03 -06:00
|
|
|
}
|
2021-03-20 08:02:52 -05:00
|
|
|
};
|
2021-01-16 16:53:15 -06:00
|
|
|
|
|
|
|
if let Some(limit) = limit {
|
|
|
|
external_query = external_query.limit(limit);
|
|
|
|
local_query.limit(limit);
|
|
|
|
}
|
2020-12-08 06:38:43 -06:00
|
|
|
|
2021-03-20 08:02:52 -05:00
|
|
|
find_items(sema, krate, assoc_item_search, local_query, external_query)
|
2020-11-13 11:16:56 -06:00
|
|
|
}
|
|
|
|
|
2021-03-20 17:17:09 -05:00
|
|
|
fn find_items<'a>(
|
|
|
|
sema: &'a Semantics<'_, RootDatabase>,
|
2020-11-13 11:16:56 -06:00
|
|
|
krate: Crate,
|
2021-03-20 08:02:52 -05:00
|
|
|
assoc_item_search: AssocItemSearch,
|
2020-11-16 13:24:54 -06:00
|
|
|
local_query: symbol_index::Query,
|
|
|
|
external_query: import_map::Query,
|
2021-03-20 17:17:09 -05:00
|
|
|
) -> impl Iterator<Item = ItemInNs> + 'a {
|
2021-03-20 08:02:52 -05:00
|
|
|
let _p = profile::span("find_items");
|
2020-07-01 03:48:15 -05:00
|
|
|
let db = sema.db;
|
2019-12-23 18:19:09 -06:00
|
|
|
|
2021-03-20 08:02:52 -05:00
|
|
|
let external_importables =
|
|
|
|
krate.query_external_importables(db, external_query).map(|external_importable| {
|
|
|
|
match external_importable {
|
|
|
|
Either::Left(module_def) => ItemInNs::from(module_def),
|
|
|
|
Either::Right(macro_def) => ItemInNs::from(macro_def),
|
|
|
|
}
|
|
|
|
});
|
2019-12-23 18:19:09 -06:00
|
|
|
|
2020-07-01 03:48:15 -05:00
|
|
|
// Query the local crate using the symbol index.
|
2023-04-18 08:57:49 -05:00
|
|
|
let local_results = local_query
|
|
|
|
.search(&symbol_index::crate_symbols(db, krate))
|
2021-03-20 08:02:52 -05:00
|
|
|
.into_iter()
|
2021-03-20 17:17:09 -05:00
|
|
|
.filter_map(move |local_candidate| get_name_definition(sema, &local_candidate))
|
2021-03-20 08:02:52 -05:00
|
|
|
.filter_map(|name_definition_to_import| match name_definition_to_import {
|
|
|
|
Definition::Macro(macro_def) => Some(ItemInNs::from(macro_def)),
|
2021-11-10 15:02:50 -06:00
|
|
|
def => <Option<_>>::from(def),
|
2021-03-20 08:02:52 -05:00
|
|
|
});
|
|
|
|
|
2021-03-20 17:17:09 -05:00
|
|
|
external_importables.chain(local_results).filter(move |&item| match assoc_item_search {
|
|
|
|
AssocItemSearch::Include => true,
|
|
|
|
AssocItemSearch::Exclude => !is_assoc_item(item, sema.db),
|
|
|
|
AssocItemSearch::AssocItemsOnly => is_assoc_item(item, sema.db),
|
|
|
|
})
|
2020-07-01 03:48:15 -05:00
|
|
|
}
|
2020-02-06 09:40:28 -06:00
|
|
|
|
2021-03-02 17:26:53 -06:00
|
|
|
fn get_name_definition(
|
|
|
|
sema: &Semantics<'_, RootDatabase>,
|
2020-07-01 03:48:15 -05:00
|
|
|
import_candidate: &FileSymbol,
|
|
|
|
) -> Option<Definition> {
|
2020-08-12 09:32:36 -05:00
|
|
|
let _p = profile::span("get_name_definition");
|
2020-02-18 11:35:10 -06:00
|
|
|
|
2023-04-16 12:20:48 -05:00
|
|
|
let candidate_node = import_candidate.loc.syntax(sema);
|
2020-07-01 03:48:15 -05:00
|
|
|
let candidate_name_node = if candidate_node.kind() != NAME {
|
|
|
|
candidate_node.children().find(|it| it.kind() == NAME)?
|
|
|
|
} else {
|
|
|
|
candidate_node
|
|
|
|
};
|
|
|
|
let name = ast::Name::cast(candidate_name_node)?;
|
2021-07-11 07:48:49 -05:00
|
|
|
NameClass::classify(sema, &name)?.defined()
|
2019-12-23 18:19:09 -06:00
|
|
|
}
|
2021-03-20 08:02:52 -05:00
|
|
|
|
|
|
|
fn is_assoc_item(item: ItemInNs, db: &RootDatabase) -> bool {
|
2021-07-28 10:39:04 -05:00
|
|
|
item.as_module_def().and_then(|module_def| module_def.as_assoc_item(db)).is_some()
|
2021-03-20 08:02:52 -05:00
|
|
|
}
|