Unnamed repository; edit this file 'description' to name the repository.
-rw-r--r--crates/hir/src/symbols.rs72
-rw-r--r--crates/ide-db/src/symbol_index.rs664
2 files changed, 724 insertions, 12 deletions
diff --git a/crates/hir/src/symbols.rs b/crates/hir/src/symbols.rs
index 073142670d..544c759ed3 100644
--- a/crates/hir/src/symbols.rs
+++ b/crates/hir/src/symbols.rs
@@ -9,6 +9,7 @@ use hir_def::{
ModuleDefId, ModuleId, TraitId,
db::DefDatabase,
item_scope::{ImportId, ImportOrExternCrate, ImportOrGlob},
+ nameres::crate_def_map,
per_ns::Item,
src::{HasChildSource, HasSource},
visibility::{Visibility, VisibilityExplicitness},
@@ -20,9 +21,12 @@ use hir_ty::{
};
use intern::Symbol;
use rustc_hash::FxHashMap;
-use syntax::{AstNode, AstPtr, SyntaxNode, SyntaxNodePtr, ToSmolStr, ast::HasName};
+use syntax::{
+ AstNode, AstPtr, SyntaxNode, SyntaxNodePtr, ToSmolStr,
+ ast::{HasModuleItem, HasName},
+};
-use crate::{HasCrate, Module, ModuleDef, Semantics};
+use crate::{Crate, HasCrate, Module, ModuleDef, Semantics};
/// The actual data that is stored in the index. It should be as compact as
/// possible.
@@ -57,6 +61,70 @@ impl DeclarationLocation {
}
}
+impl<'db> FileSymbol<'db> {
+ /// Create a `FileSymbol` representing a crate's root module.
+ /// This is used for crate search queries like `::` or `::foo`.
+ pub fn for_crate_root(db: &'db dyn HirDatabase, krate: Crate) -> Option<FileSymbol<'db>> {
+ let display_name = krate.display_name(db)?;
+ let crate_name = display_name.crate_name();
+ let root_module = krate.root_module(db);
+ let def_map = crate_def_map(db, krate.into());
+ let module_data = &def_map[root_module.into()];
+
+ // Get the definition source (the source file for crate roots)
+ let definition = module_data.origin.definition_source(db);
+ let hir_file_id = definition.file_id;
+
+ // For a crate root, the "declaration" is the source file itself
+ // We use the entire file's syntax node as the location
+ let syntax_node = definition.value.node();
+ let ptr = SyntaxNodePtr::new(&syntax_node);
+
+ // For the name, we need to create a synthetic name pointer.
+ // We'll use the first token of the file as a placeholder since crate roots
+ // don't have an explicit name in the source.
+ // We create a name_ptr pointing to the start of the file.
+ let name_ptr = match &definition.value {
+ crate::ModuleSource::SourceFile(sf) => {
+ // Try to find the first item with a name as a reasonable location for focus
+ // This is a bit of a hack but works for navigation purposes
+ let first_item: Option<syntax::ast::Item> = sf.items().next();
+ if let Some(item) = first_item {
+ if let Some(name) = item.syntax().children().find_map(syntax::ast::Name::cast) {
+ AstPtr::new(&name).wrap_left()
+ } else {
+ // No name found, try to use a NameRef instead
+ if let Some(name_ref) =
+ item.syntax().descendants().find_map(syntax::ast::NameRef::cast)
+ {
+ AstPtr::new(&name_ref).wrap_right()
+ } else {
+ return None;
+ }
+ }
+ } else {
+ return None;
+ }
+ }
+ _ => return None,
+ };
+
+ let loc = DeclarationLocation { hir_file_id, ptr, name_ptr };
+
+ Some(FileSymbol {
+ name: Symbol::intern(crate_name.as_str()),
+ def: ModuleDef::Module(root_module),
+ loc,
+ container_name: None,
+ is_alias: false,
+ is_assoc: false,
+ is_import: false,
+ do_not_complete: Complete::Yes,
+ _marker: PhantomData,
+ })
+ }
+}
+
/// Represents an outstanding module that the symbol collector must collect symbols from.
#[derive(Debug)]
struct SymbolCollectorWork {
diff --git a/crates/ide-db/src/symbol_index.rs b/crates/ide-db/src/symbol_index.rs
index 06e1f6bb45..ca0d5ec1e5 100644
--- a/crates/ide-db/src/symbol_index.rs
+++ b/crates/ide-db/src/symbol_index.rs
@@ -55,12 +55,17 @@ use crate::RootDatabase;
/// ```
#[derive(Debug, Clone)]
pub struct Query {
- /// The original search query string as provided by the user.
- /// Used for the final matching check via [`SearchMode::check`].
+ /// The item name to search for (last segment of the path, or full query if no path).
+ /// When empty with a non-empty `path_filter`, returns all items in that module.
query: String,
/// Lowercase version of [`Self::query`], pre-computed for efficiency.
/// Used to build FST automata for case-insensitive index lookups.
lowercased: String,
+ /// Path segments to filter by (all segments except the last).
+ /// Empty if no `::` in the original query.
+ path_filter: Vec<String>,
+ /// If true, the first path segment must be a crate name (query started with `::`).
+ anchor_to_crate: bool,
/// The search strategy to use when matching symbols.
/// - [`SearchMode::Exact`]: Symbol name must exactly match the query.
/// - [`SearchMode::Fuzzy`]: Symbol name must contain all query characters in order (subsequence match).
@@ -100,10 +105,13 @@ pub struct Query {
impl Query {
pub fn new(query: String) -> Query {
- let lowercased = query.to_lowercase();
+ let (path_filter, item_query, anchor_to_crate) = Self::parse_path_query(&query);
+ let lowercased = item_query.to_lowercase();
Query {
- query,
+ query: item_query,
lowercased,
+ path_filter,
+ anchor_to_crate,
only_types: false,
libs: false,
mode: SearchMode::Fuzzy,
@@ -113,6 +121,74 @@ impl Query {
}
}
+ /// Parse a query string that may contain path segments.
+ ///
+ /// Returns (path_filter, item_query, anchor_to_crate) where:
+ /// - `path_filter`: Path segments to match (all but the last segment)
+ /// - `item_query`: The item name to search for (last segment)
+ /// - `anchor_to_crate`: Whether the first segment must be a crate name
+ fn parse_path_query(query: &str) -> (Vec<String>, String, bool) {
+ // Check for leading :: (absolute path / crate search)
+ let anchor_to_crate = query.starts_with("::");
+ let query = if anchor_to_crate { &query[2..] } else { query };
+
+ // Handle sole "::" - return all crates
+ if query.is_empty() && anchor_to_crate {
+ return (vec![], String::new(), true);
+ }
+
+ // Check for trailing :: (module browsing - returns all items in module)
+ let return_all_in_module = query.ends_with("::");
+ let query = if return_all_in_module { query.trim_end_matches("::") } else { query };
+
+ if !query.contains("::") {
+ // No path separator - single segment
+ if anchor_to_crate && !return_all_in_module {
+ // "::foo" - fuzzy search crate names only
+ return (vec![], query.to_string(), true);
+ }
+ if return_all_in_module {
+ // "foo::" - browse all items in module "foo"
+ // path_filter = ["foo"], query = "", anchor_to_crate = false/true
+ return (vec![query.to_string()], String::new(), anchor_to_crate);
+ }
+ // Plain "foo" - normal fuzzy search
+ return (vec![], query.to_string(), false);
+ }
+
+ // Filter out empty segments (e.g., "foo::::bar" -> "foo::bar")
+ let segments: Vec<&str> = query.split("::").filter(|s| !s.is_empty()).collect();
+
+ if segments.is_empty() {
+ return (vec![], String::new(), anchor_to_crate);
+ }
+
+ let path: Vec<String> =
+ segments[..segments.len() - 1].iter().map(|s| s.to_string()).collect();
+ let item = if return_all_in_module {
+ // All segments go to path, item is empty
+ let mut path = path;
+ path.push(segments.last().unwrap().to_string());
+ return (path, String::new(), anchor_to_crate);
+ } else {
+ segments.last().unwrap_or(&"").to_string()
+ };
+
+ (path, item, anchor_to_crate)
+ }
+
+ /// Returns true if this query should return all items in a module
+ /// (i.e., the original query ended with `::`)
+ fn is_module_browsing(&self) -> bool {
+ self.query.is_empty() && !self.path_filter.is_empty()
+ }
+
+ /// Returns true if this query is searching for crates
+ /// (i.e., the query was "::" alone or "::foo" for fuzzy crate search)
+ fn is_crate_search(&self) -> bool {
+ self.anchor_to_crate && self.path_filter.is_empty()
+ }
+
pub fn only_types(&mut self) {
self.only_types = true;
}
@@ -181,7 +257,28 @@ pub fn crate_symbols(db: &dyn HirDatabase, krate: Crate) -> Box<[&SymbolIndex<'_
pub fn world_symbols(db: &RootDatabase, query: Query) -> Vec<FileSymbol<'_>> {
let _p = tracing::info_span!("world_symbols", query = ?query.query).entered();
- let indices: Vec<_> = if query.libs {
+ // Handle special case: "::" alone or "::foo" for crate search
+ if query.is_crate_search() {
+ return search_crates(db, &query);
+ }
+
+ // If we have a path filter, resolve it to target modules first
+ let indices: Vec<_> = if !query.path_filter.is_empty() {
+ let target_modules = resolve_path_to_modules(
+ db,
+ &query.path_filter,
+ query.anchor_to_crate,
+ query.case_sensitive,
+ );
+
+ if target_modules.is_empty() {
+ return vec![]; // Path doesn't resolve to any module
+ }
+
+ // Get symbol indices only for the resolved modules
+ target_modules.iter().map(|&module| SymbolIndex::module_symbols(db, module)).collect()
+ } else if query.libs {
+ // Original behavior for non-path queries searching libs
LibraryRoots::get(db)
.roots(db)
.par_iter()
@@ -192,6 +289,7 @@ pub fn world_symbols(db: &RootDatabase, query: Query) -> Vec<FileSymbol<'_>> {
.map(|&root| SymbolIndex::library_symbols(db, root))
.collect()
} else {
+ // Original behavior for non-path queries searching local crates
let mut crates = Vec::new();
for &root in LocalRoots::get(db).roots(db).iter() {
@@ -204,13 +302,131 @@ pub fn world_symbols(db: &RootDatabase, query: Query) -> Vec<FileSymbol<'_>> {
};
let mut res = vec![];
- query.search::<()>(&indices, |f| {
- res.push(f.clone());
- ControlFlow::Continue(())
- });
+
+ // For module browsing (empty query, non-empty path_filter), return all symbols
+ if query.is_module_browsing() {
+ for index in &indices {
+ for symbol in index.symbols.iter() {
+ // Apply existing filters (only_types, assoc_mode, exclude_imports, etc.)
+ if query.matches_symbol_filters(symbol) {
+ res.push(symbol.clone());
+ }
+ }
+ }
+ } else {
+ // Normal search: use FST to match item name
+ query.search::<()>(&indices, |f| {
+ res.push(f.clone());
+ ControlFlow::Continue(())
+ });
+ }
+
res
}
+/// Search for crates by name (handles "::" and "::foo" queries)
+fn search_crates<'db>(db: &'db RootDatabase, query: &Query) -> Vec<FileSymbol<'db>> {
+ let mut res = vec![];
+
+ for krate in Crate::all(db) {
+ let Some(display_name) = krate.display_name(db) else { continue };
+ let crate_name = display_name.crate_name().as_str();
+
+ // If query is empty (sole "::"), return all crates
+ // Otherwise, fuzzy match the crate name
+ let matches = if query.query.is_empty() {
+ true
+ } else {
+ query.mode.check(&query.query, query.case_sensitive, crate_name)
+ };
+
+ if matches {
+ // Create a FileSymbol for the crate's root module
+ if let Some(symbol) = hir::symbols::FileSymbol::for_crate_root(db, krate) {
+ res.push(symbol);
+ }
+ }
+ }
+
+ res
+}
+
+/// Resolve a path filter to the target module(s) it points to.
+/// Returns the modules whose symbol indices should be searched.
+///
+/// The path_filter contains segments like ["std", "vec"] for a query like "std::vec::Vec".
+/// We resolve this by:
+/// 1. Finding crates matching the first segment
+/// 2. Walking down the module tree following subsequent segments
+fn resolve_path_to_modules(
+ db: &dyn HirDatabase,
+ path_filter: &[String],
+ anchor_to_crate: bool,
+ case_sensitive: bool,
+) -> Vec<Module> {
+ let [first_segment, rest_segments @ ..] = path_filter else {
+ return vec![];
+ };
+
+ // Helper for name comparison
+ let names_match = |actual: &str, expected: &str| -> bool {
+ if case_sensitive { actual == expected } else { actual.eq_ignore_ascii_case(expected) }
+ };
+
+ // Find crates matching the first segment
+ let matching_crates: Vec<Crate> = Crate::all(db)
+ .into_iter()
+ .filter(|krate| {
+ krate
+ .display_name(db)
+ .is_some_and(|name| names_match(name.crate_name().as_str(), first_segment))
+ })
+ .collect();
+
+ // If anchor_to_crate is true, first segment MUST be a crate name
+ // If anchor_to_crate is false, first segment could be a crate OR a module in local crates
+ let mut candidate_modules: Vec<Module> = vec![];
+
+ // Add crate root modules for matching crates
+ for krate in matching_crates {
+ candidate_modules.push(krate.root_module(db));
+ }
+
+ // If not anchored to crate, also search for modules matching first segment in local crates
+ if !anchor_to_crate {
+ for &root in LocalRoots::get(db).roots(db).iter() {
+ for &krate in db.source_root_crates(root).iter() {
+ let root_module = Crate::from(krate).root_module(db);
+ for child in root_module.children(db) {
+ if let Some(name) = child.name(db) {
+ if names_match(name.as_str(), first_segment) {
+ candidate_modules.push(child);
+ }
+ }
+ }
+ }
+ }
+ }
+
+ // Walk down the module tree for remaining path segments
+ for segment in rest_segments {
+ candidate_modules = candidate_modules
+ .into_iter()
+ .flat_map(|module| {
+ module.children(db).filter(|child| {
+ child.name(db).is_some_and(|name| names_match(name.as_str(), segment))
+ })
+ })
+ .collect();
+
+ if candidate_modules.is_empty() {
+ break;
+ }
+ }
+
+ candidate_modules
+}
+
#[derive(Default)]
pub struct SymbolIndex<'db> {
symbols: Box<[FileSymbol<'db>]>,
@@ -382,12 +598,14 @@ impl<'db> SymbolIndex<'db> {
}
impl Query {
+ /// Search symbols in the given indices.
pub(crate) fn search<'db, T>(
- self,
+ &self,
indices: &[&'db SymbolIndex<'db>],
cb: impl FnMut(&'db FileSymbol<'db>) -> ControlFlow<T>,
) -> Option<T> {
let _p = tracing::info_span!("symbol_index::Query::search").entered();
+
let mut op = fst::map::OpBuilder::new();
match self.mode {
SearchMode::Exact => {
@@ -466,6 +684,41 @@ impl Query {
(true, AssocSearchMode::Exclude) | (false, AssocSearchMode::AssocItemsOnly)
)
}
+
+ /// Check if a symbol passes all filters except name matching.
+ /// Used for module browsing where we want all items in a module.
+ fn matches_symbol_filters(&self, symbol: &FileSymbol<'_>) -> bool {
+ // Check only_types filter
+ if self.only_types
+ && !matches!(
+ symbol.def,
+ hir::ModuleDef::Adt(..)
+ | hir::ModuleDef::TypeAlias(..)
+ | hir::ModuleDef::BuiltinType(..)
+ | hir::ModuleDef::Trait(..)
+ )
+ {
+ return false;
+ }
+
+ // Check assoc_mode filter
+ if !self.matches_assoc_mode(symbol.is_assoc) {
+ return false;
+ }
+
+ // Check exclude_imports filter
+ if self.exclude_imports && symbol.is_import {
+ return false;
+ }
+
+ // Check underscore prefix
+ let ignore_underscore_prefixed = !self.query.starts_with("__");
+ if ignore_underscore_prefixed && symbol.name.as_str().starts_with("__") {
+ return false;
+ }
+
+ true
+ }
}
#[cfg(test)]
@@ -622,4 +875,395 @@ pub struct Foo;
let symbols = world_symbols(&db, query);
expect_file!["./test_data/test_symbols_exclude_imports.txt"].assert_debug_eq(&symbols);
}
+
+ #[test]
+ fn test_parse_path_query() {
+ // Plain query - no path
+ let (path, item, anchor) = Query::parse_path_query("Item");
+ assert_eq!(path, Vec::<String>::new());
+ assert_eq!(item, "Item");
+ assert!(!anchor);
+
+ // Path with item
+ let (path, item, anchor) = Query::parse_path_query("foo::Item");
+ assert_eq!(path, vec!["foo"]);
+ assert_eq!(item, "Item");
+ assert!(!anchor);
+
+ // Multi-segment path
+ let (path, item, anchor) = Query::parse_path_query("foo::bar::Item");
+ assert_eq!(path, vec!["foo", "bar"]);
+ assert_eq!(item, "Item");
+ assert!(!anchor);
+
+ // Leading :: (anchor to crate)
+ let (path, item, anchor) = Query::parse_path_query("::std::vec::Vec");
+ assert_eq!(path, vec!["std", "vec"]);
+ assert_eq!(item, "Vec");
+ assert!(anchor);
+
+ // Just "::" - return all crates
+ let (path, item, anchor) = Query::parse_path_query("::");
+ assert_eq!(path, Vec::<String>::new());
+ assert_eq!(item, "");
+ assert!(anchor);
+
+ // "::foo" - fuzzy search crate names
+ let (path, item, anchor) = Query::parse_path_query("::foo");
+ assert_eq!(path, Vec::<String>::new());
+ assert_eq!(item, "foo");
+ assert!(anchor);
+
+ // Trailing :: (module browsing)
+ let (path, item, anchor) = Query::parse_path_query("foo::");
+ assert_eq!(path, vec!["foo"]);
+ assert_eq!(item, "");
+ assert!(!anchor);
+
+ // Full path with trailing ::
+ let (path, item, anchor) = Query::parse_path_query("foo::bar::");
+ assert_eq!(path, vec!["foo", "bar"]);
+ assert_eq!(item, "");
+ assert!(!anchor);
+
+ // Absolute path with trailing ::
+ let (path, item, anchor) = Query::parse_path_query("::std::vec::");
+ assert_eq!(path, vec!["std", "vec"]);
+ assert_eq!(item, "");
+ assert!(anchor);
+
+ // Empty segments should be filtered
+ let (path, item, anchor) = Query::parse_path_query("foo::::bar");
+ assert_eq!(path, vec!["foo"]);
+ assert_eq!(item, "bar");
+ assert!(!anchor);
+ }
+
+ #[test]
+ fn test_query_modes() {
+ // Test is_module_browsing
+ let query = Query::new("foo::".to_owned());
+ assert!(query.is_module_browsing());
+ assert!(!query.is_crate_search());
+
+ // Test is_crate_search with sole ::
+ let query = Query::new("::".to_owned());
+ assert!(!query.is_module_browsing());
+ assert!(query.is_crate_search());
+
+ // Test is_crate_search with ::foo
+ let query = Query::new("::foo".to_owned());
+ assert!(!query.is_module_browsing());
+ assert!(query.is_crate_search());
+
+ // Normal query should be neither
+ let query = Query::new("foo".to_owned());
+ assert!(!query.is_module_browsing());
+ assert!(!query.is_crate_search());
+
+ // Path query should be neither
+ let query = Query::new("foo::bar".to_owned());
+ assert!(!query.is_module_browsing());
+ assert!(!query.is_crate_search());
+ }
+
+ #[test]
+ fn test_path_search() {
+ let (mut db, _) = RootDatabase::with_many_files(
+ r#"
+//- /lib.rs crate:main
+mod inner;
+pub struct RootStruct;
+
+//- /inner.rs
+pub struct InnerStruct;
+pub mod nested {
+ pub struct NestedStruct;
+}
+"#,
+ );
+
+ let mut local_roots = FxHashSet::default();
+ local_roots.insert(WORKSPACE);
+ LocalRoots::get(&db).set_roots(&mut db).to(local_roots);
+
+ // Search for item in specific module
+ let query = Query::new("inner::InnerStruct".to_owned());
+ let symbols = world_symbols(&db, query);
+ let names: Vec<_> = symbols.iter().map(|s| s.name.as_str()).collect();
+ assert!(names.contains(&"InnerStruct"), "Expected InnerStruct in {:?}", names);
+
+ // Search for item in nested module
+ let query = Query::new("inner::nested::NestedStruct".to_owned());
+ let symbols = world_symbols(&db, query);
+ let names: Vec<_> = symbols.iter().map(|s| s.name.as_str()).collect();
+ assert!(names.contains(&"NestedStruct"), "Expected NestedStruct in {:?}", names);
+
+ // Search with crate prefix
+ let query = Query::new("main::inner::InnerStruct".to_owned());
+ let symbols = world_symbols(&db, query);
+ let names: Vec<_> = symbols.iter().map(|s| s.name.as_str()).collect();
+ assert!(names.contains(&"InnerStruct"), "Expected InnerStruct in {:?}", names);
+
+ // Wrong path should return empty
+ let query = Query::new("wrong::InnerStruct".to_owned());
+ let symbols = world_symbols(&db, query);
+ assert!(symbols.is_empty(), "Expected empty results for wrong path");
+ }
+
+ #[test]
+ fn test_module_browsing() {
+ let (mut db, _) = RootDatabase::with_many_files(
+ r#"
+//- /lib.rs crate:main
+mod mymod;
+
+//- /mymod.rs
+pub struct MyStruct;
+pub fn my_func() {}
+pub const MY_CONST: u32 = 1;
+"#,
+ );
+
+ let mut local_roots = FxHashSet::default();
+ local_roots.insert(WORKSPACE);
+ LocalRoots::get(&db).set_roots(&mut db).to(local_roots);
+
+ // Browse all items in module
+ let query = Query::new("main::mymod::".to_owned());
+ let symbols = world_symbols(&db, query);
+ let names: Vec<_> = symbols.iter().map(|s| s.name.as_str()).collect();
+
+ assert!(names.contains(&"MyStruct"), "Expected MyStruct in {:?}", names);
+ assert!(names.contains(&"my_func"), "Expected my_func in {:?}", names);
+ assert!(names.contains(&"MY_CONST"), "Expected MY_CONST in {:?}", names);
+ }
+
+ #[test]
+ fn test_fuzzy_item_with_path() {
+ let (mut db, _) = RootDatabase::with_many_files(
+ r#"
+//- /lib.rs crate:main
+mod mymod;
+
+//- /mymod.rs
+pub struct MyLongStructName;
+"#,
+ );
+
+ let mut local_roots = FxHashSet::default();
+ local_roots.insert(WORKSPACE);
+ LocalRoots::get(&db).set_roots(&mut db).to(local_roots);
+
+ // Fuzzy match on item name with exact path
+ let query = Query::new("main::mymod::MyLong".to_owned());
+ let symbols = world_symbols(&db, query);
+ let names: Vec<_> = symbols.iter().map(|s| s.name.as_str()).collect();
+ assert!(
+ names.contains(&"MyLongStructName"),
+ "Expected fuzzy match for MyLongStructName in {:?}",
+ names
+ );
+ }
+
+ #[test]
+ fn test_case_insensitive_path() {
+ let (mut db, _) = RootDatabase::with_many_files(
+ r#"
+//- /lib.rs crate:main
+mod MyMod;
+
+//- /MyMod.rs
+pub struct MyStruct;
+"#,
+ );
+
+ let mut local_roots = FxHashSet::default();
+ local_roots.insert(WORKSPACE);
+ LocalRoots::get(&db).set_roots(&mut db).to(local_roots);
+
+ // Case insensitive path matching (default)
+ let query = Query::new("main::mymod::MyStruct".to_owned());
+ let symbols = world_symbols(&db, query);
+ let names: Vec<_> = symbols.iter().map(|s| s.name.as_str()).collect();
+ assert!(names.contains(&"MyStruct"), "Expected case-insensitive match in {:?}", names);
+ }
+
+ #[test]
+ fn test_absolute_path_search() {
+ let (mut db, _) = RootDatabase::with_many_files(
+ r#"
+//- /lib.rs crate:mycrate
+mod inner;
+pub struct CrateRoot;
+
+//- /inner.rs
+pub struct InnerItem;
+"#,
+ );
+
+ let mut local_roots = FxHashSet::default();
+ local_roots.insert(WORKSPACE);
+ LocalRoots::get(&db).set_roots(&mut db).to(local_roots);
+
+ // Absolute path with leading ::
+ let query = Query::new("::mycrate::inner::InnerItem".to_owned());
+ let symbols = world_symbols(&db, query);
+ let names: Vec<_> = symbols.iter().map(|s| s.name.as_str()).collect();
+ assert!(
+ names.contains(&"InnerItem"),
+ "Expected InnerItem with absolute path in {:?}",
+ names
+ );
+
+ // Absolute path should NOT match if crate name is wrong
+ let query = Query::new("::wrongcrate::inner::InnerItem".to_owned());
+ let symbols = world_symbols(&db, query);
+ assert!(symbols.is_empty(), "Expected empty results for wrong crate name");
+ }
+
+ #[test]
+ fn test_wrong_path_returns_empty() {
+ let (mut db, _) = RootDatabase::with_many_files(
+ r#"
+//- /lib.rs crate:main
+mod existing;
+
+//- /existing.rs
+pub struct MyStruct;
+"#,
+ );
+
+ let mut local_roots = FxHashSet::default();
+ local_roots.insert(WORKSPACE);
+ LocalRoots::get(&db).set_roots(&mut db).to(local_roots);
+
+ // Non-existent module path
+ let query = Query::new("nonexistent::MyStruct".to_owned());
+ let symbols = world_symbols(&db, query);
+ assert!(symbols.is_empty(), "Expected empty results for non-existent path");
+
+ // Correct item, wrong module
+ let query = Query::new("wrongmod::MyStruct".to_owned());
+ let symbols = world_symbols(&db, query);
+ assert!(symbols.is_empty(), "Expected empty results for wrong module");
+ }
+
+ #[test]
+ fn test_root_module_items() {
+ let (mut db, _) = RootDatabase::with_many_files(
+ r#"
+//- /lib.rs crate:mylib
+pub struct RootItem;
+pub fn root_fn() {}
+"#,
+ );
+
+ let mut local_roots = FxHashSet::default();
+ local_roots.insert(WORKSPACE);
+ LocalRoots::get(&db).set_roots(&mut db).to(local_roots);
+
+ // Items at crate root - path is just the crate name
+ let query = Query::new("mylib::RootItem".to_owned());
+ let symbols = world_symbols(&db, query);
+ let names: Vec<_> = symbols.iter().map(|s| s.name.as_str()).collect();
+ assert!(names.contains(&"RootItem"), "Expected RootItem at crate root in {:?}", names);
+
+ // Browse crate root
+ let query = Query::new("mylib::".to_owned());
+ let symbols = world_symbols(&db, query);
+ let names: Vec<_> = symbols.iter().map(|s| s.name.as_str()).collect();
+ assert!(
+ names.contains(&"RootItem"),
+ "Expected RootItem when browsing crate root in {:?}",
+ names
+ );
+ assert!(
+ names.contains(&"root_fn"),
+ "Expected root_fn when browsing crate root in {:?}",
+ names
+ );
+ }
+
+ #[test]
+ fn test_crate_search_all() {
+ // Test that sole "::" returns all crates
+ let (mut db, _) = RootDatabase::with_many_files(
+ r#"
+//- /lib.rs crate:alpha
+pub struct AlphaStruct;
+
+//- /beta.rs crate:beta
+pub struct BetaStruct;
+
+//- /gamma.rs crate:gamma
+pub struct GammaStruct;
+"#,
+ );
+
+ let mut local_roots = FxHashSet::default();
+ local_roots.insert(WORKSPACE);
+ LocalRoots::get(&db).set_roots(&mut db).to(local_roots);
+
+ // Sole "::" should return all crates (as module symbols)
+ let query = Query::new("::".to_owned());
+ let symbols = world_symbols(&db, query);
+ let names: Vec<_> = symbols.iter().map(|s| s.name.as_str()).collect();
+
+ assert!(names.contains(&"alpha"), "Expected alpha crate in {:?}", names);
+ assert!(names.contains(&"beta"), "Expected beta crate in {:?}", names);
+ assert!(names.contains(&"gamma"), "Expected gamma crate in {:?}", names);
+ assert_eq!(symbols.len(), 3, "Expected exactly 3 crates, got {:?}", names);
+ }
+
+ #[test]
+ fn test_crate_search_fuzzy() {
+ // Test that "::foo" fuzzy-matches crate names
+ let (mut db, _) = RootDatabase::with_many_files(
+ r#"
+//- /lib.rs crate:my_awesome_lib
+pub struct AwesomeStruct;
+
+//- /other.rs crate:another_lib
+pub struct OtherStruct;
+
+//- /foo.rs crate:foobar
+pub struct FooStruct;
+"#,
+ );
+
+ let mut local_roots = FxHashSet::default();
+ local_roots.insert(WORKSPACE);
+ LocalRoots::get(&db).set_roots(&mut db).to(local_roots);
+
+ // "::foo" should fuzzy-match crate names containing "foo"
+ let query = Query::new("::foo".to_owned());
+ let symbols = world_symbols(&db, query);
+ let names: Vec<_> = symbols.iter().map(|s| s.name.as_str()).collect();
+
+ assert!(names.contains(&"foobar"), "Expected foobar crate in {:?}", names);
+ assert_eq!(symbols.len(), 1, "Expected only foobar crate, got {:?}", names);
+
+ // "::awesome" should match my_awesome_lib
+ let query = Query::new("::awesome".to_owned());
+ let symbols = world_symbols(&db, query);
+ let names: Vec<_> = symbols.iter().map(|s| s.name.as_str()).collect();
+
+ assert!(names.contains(&"my_awesome_lib"), "Expected my_awesome_lib crate in {:?}", names);
+ assert_eq!(symbols.len(), 1, "Expected only my_awesome_lib crate, got {:?}", names);
+
+ // "::lib" should match multiple crates
+ let query = Query::new("::lib".to_owned());
+ let symbols = world_symbols(&db, query);
+ let names: Vec<_> = symbols.iter().map(|s| s.name.as_str()).collect();
+
+ assert!(names.contains(&"my_awesome_lib"), "Expected my_awesome_lib in {:?}", names);
+ assert!(names.contains(&"another_lib"), "Expected another_lib in {:?}", names);
+ assert_eq!(symbols.len(), 2, "Expected 2 crates matching 'lib', got {:?}", names);
+
+ // "::nonexistent" should return empty
+ let query = Query::new("::nonexistent".to_owned());
+ let symbols = world_symbols(&db, query);
+ assert!(symbols.is_empty(), "Expected empty results for non-matching crate pattern");
+ }
}