use rustc_hash::FxHashSet; use ra_syntax::TextUnit; use crate::{ Cancelable, completion::{CompletionItem, CompletionItemKind, Completions, CompletionKind, CompletionContext}, }; pub(super) fn complete_scope(acc: &mut Completions, ctx: &CompletionContext) -> Cancelable<()> { if !ctx.is_trivial_path { return Ok(()); } let module = match &ctx.module { Some(it) => it, None => return Ok(()), }; if let Some(function) = &ctx.function { let scopes = function.scopes(ctx.db)?; complete_fn(acc, &scopes, ctx.offset); } let module_scope = module.scope(ctx.db)?; let (file_id, _) = module.defenition_source(ctx.db)?; module_scope .entries() .filter(|(_name, res)| { // Don't expose this item // FIXME: this penetrates through all kinds of abstractions, // we need to figura out the way to do it less ugly. match res.import { None => true, Some(import) => { let range = import.range(ctx.db, file_id); !range.is_subrange(&ctx.leaf.range()) } } }) .for_each(|(name, res)| { CompletionItem::new(CompletionKind::Reference, name.to_string()) .from_resolution(ctx, res) .add_to(acc) }); Ok(()) } fn complete_fn(acc: &mut Completions, scopes: &hir::ScopesWithSyntaxMapping, offset: TextUnit) { let mut shadowed = FxHashSet::default(); scopes .scope_chain_for_offset(offset) .flat_map(|scope| scopes.scopes.entries(scope).iter()) .filter(|entry| shadowed.insert(entry.name())) .for_each(|entry| { CompletionItem::new(CompletionKind::Reference, entry.name().to_string()) .kind(CompletionItemKind::Binding) .add_to(acc) }); } #[cfg(test)] mod tests { use crate::completion::{CompletionKind, check_completion}; fn check_reference_completion(code: &str, expected_completions: &str) { check_completion(code, expected_completions, CompletionKind::Reference); } #[test] fn completes_bindings_from_let() { check_reference_completion( r" fn quux(x: i32) { let y = 92; 1 + <|>; let z = (); } ", r#"y;x;quux "quux($0)""#, ); } #[test] fn completes_bindings_from_if_let() { check_reference_completion( r" fn quux() { if let Some(x) = foo() { let y = 92; }; if let Some(a) = bar() { let b = 62; 1 + <|> } } ", r#"b;a;quux "quux()$0""#, ); } #[test] fn completes_bindings_from_for() { check_reference_completion( r" fn quux() { for x in &[1, 2, 3] { <|> } } ", r#"x;quux "quux()$0""#, ); } #[test] fn completes_module_items() { check_reference_completion( r" struct Foo; enum Baz {} fn quux() { <|> } ", r#"quux "quux()$0";Foo;Baz"#, ); } #[test] fn completes_module_items_in_nested_modules() { check_reference_completion( r" struct Foo; mod m { struct Bar; fn quux() { <|> } } ", r#"quux "quux()$0";Bar"#, ); } #[test] fn completes_return_type() { check_reference_completion( r" struct Foo; fn x() -> <|> ", r#"Foo;x "x()$0""#, ) } #[test] fn dont_show_both_completions_for_shadowing() { check_reference_completion( r" fn foo() -> { let bar = 92; { let bar = 62; <|> } } ", r#"bar;foo "foo()$0""#, ) } #[test] fn completes_self_in_methods() { check_reference_completion(r"impl S { fn foo(&self) { <|> } }", "self") } #[test] fn inserts_parens_for_function_calls() { check_reference_completion( r" fn no_args() {} fn main() { no_<|> } ", r#"no_args "no_args()$0" main "main()$0""#, ); check_reference_completion( r" fn with_args(x: i32, y: String) {} fn main() { with_<|> } ", r#"main "main()$0" with_args "with_args($0)""#, ); } }