2020-02-10 08:55:20 -06:00
|
|
|
use ra_ide_db::{imports_locator::ImportsLocator, RootDatabase};
|
2020-02-09 07:30:27 -06:00
|
|
|
use ra_syntax::ast::{self, AstNode};
|
2019-12-23 18:19:09 -06:00
|
|
|
|
|
|
|
use crate::{
|
2020-02-09 07:30:27 -06:00
|
|
|
assist_ctx::{Assist, AssistCtx},
|
2020-02-07 15:35:34 -06:00
|
|
|
insert_use_statement, AssistId,
|
2019-12-23 18:19:09 -06:00
|
|
|
};
|
2020-02-10 08:55:20 -06:00
|
|
|
use hir::{db::HirDatabase, Adt, ModPath, Module, ModuleDef, PathResolution, SourceAnalyzer};
|
2020-02-07 08:12:51 -06:00
|
|
|
use std::collections::BTreeSet;
|
2019-12-23 18:19:09 -06:00
|
|
|
|
|
|
|
// Assist: auto_import
|
|
|
|
//
|
|
|
|
// If the name is unresolved, provides all possible imports for it.
|
|
|
|
//
|
|
|
|
// ```
|
|
|
|
// fn main() {
|
|
|
|
// let map = HashMap<|>::new();
|
|
|
|
// }
|
2020-02-06 11:10:25 -06:00
|
|
|
// # pub mod std { pub mod collections { pub struct HashMap { } } }
|
2019-12-23 18:19:09 -06:00
|
|
|
// ```
|
|
|
|
// ->
|
|
|
|
// ```
|
|
|
|
// use std::collections::HashMap;
|
|
|
|
//
|
|
|
|
// fn main() {
|
2020-02-06 11:10:25 -06:00
|
|
|
// let map = HashMap::new();
|
2019-12-23 18:19:09 -06:00
|
|
|
// }
|
2020-02-06 11:10:25 -06:00
|
|
|
// # pub mod std { pub mod collections { pub struct HashMap { } } }
|
2019-12-23 18:19:09 -06:00
|
|
|
// ```
|
2020-02-06 10:17:51 -06:00
|
|
|
pub(crate) fn auto_import(ctx: AssistCtx) -> Option<Assist> {
|
2020-02-08 17:56:17 -06:00
|
|
|
let path_under_caret: ast::Path = ctx.find_node_at_offset()?;
|
|
|
|
if path_under_caret.syntax().ancestors().find_map(ast::UseItem::cast).is_some() {
|
2020-01-29 06:57:44 -06:00
|
|
|
return None;
|
|
|
|
}
|
|
|
|
|
2020-02-08 17:56:17 -06:00
|
|
|
let module = path_under_caret.syntax().ancestors().find_map(ast::Module::cast);
|
2019-12-23 18:19:09 -06:00
|
|
|
let position = match module.and_then(|it| it.item_list()) {
|
|
|
|
Some(item_list) => item_list.syntax().clone(),
|
|
|
|
None => {
|
2020-02-08 17:56:17 -06:00
|
|
|
let current_file =
|
|
|
|
path_under_caret.syntax().ancestors().find_map(ast::SourceFile::cast)?;
|
2019-12-23 18:19:09 -06:00
|
|
|
current_file.syntax().clone()
|
|
|
|
}
|
|
|
|
};
|
2020-01-24 01:33:18 -06:00
|
|
|
let source_analyzer = ctx.source_analyzer(&position, None);
|
|
|
|
let module_with_name_to_import = source_analyzer.module()?;
|
2020-02-08 17:56:17 -06:00
|
|
|
|
2020-02-10 08:55:20 -06:00
|
|
|
let import_candidate = ImportCandidate::new(&path_under_caret, &source_analyzer, ctx.db)?;
|
|
|
|
let proposed_imports = import_candidate.search_for_imports(ctx.db, module_with_name_to_import);
|
2019-12-23 18:19:09 -06:00
|
|
|
if proposed_imports.is_empty() {
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
|
2020-02-10 08:55:20 -06:00
|
|
|
let mut group = ctx.add_assist_group(format!("Import {}", import_candidate.get_search_query()));
|
2020-02-09 07:30:27 -06:00
|
|
|
for import in proposed_imports {
|
|
|
|
group.add_assist(AssistId("auto_import"), format!("Import `{}`", &import), |edit| {
|
2020-02-09 09:25:05 -06:00
|
|
|
edit.target(path_under_caret.syntax().text_range());
|
2020-02-09 07:30:27 -06:00
|
|
|
insert_use_statement(
|
|
|
|
&position,
|
2020-02-09 09:25:05 -06:00
|
|
|
path_under_caret.syntax(),
|
2020-02-09 07:30:27 -06:00
|
|
|
&import,
|
|
|
|
edit.text_edit_builder(),
|
|
|
|
);
|
|
|
|
});
|
|
|
|
}
|
|
|
|
group.finish()
|
2019-12-23 18:19:09 -06:00
|
|
|
}
|
|
|
|
|
2020-02-10 08:55:20 -06:00
|
|
|
#[derive(Debug)]
|
|
|
|
// TODO kb rustdocs
|
|
|
|
enum ImportCandidate {
|
|
|
|
UnqualifiedName(ast::NameRef),
|
|
|
|
QualifierStart(ast::NameRef),
|
|
|
|
TraitFunction(Adt, ast::PathSegment),
|
|
|
|
}
|
|
|
|
|
|
|
|
impl ImportCandidate {
|
|
|
|
// TODO kb refactor this mess
|
|
|
|
fn new(
|
|
|
|
path_under_caret: &ast::Path,
|
|
|
|
source_analyzer: &SourceAnalyzer,
|
|
|
|
db: &impl HirDatabase,
|
|
|
|
) -> Option<Self> {
|
|
|
|
if source_analyzer.resolve_path(db, path_under_caret).is_some() {
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
|
|
|
|
let segment = path_under_caret.segment()?;
|
|
|
|
if let Some(qualifier) = path_under_caret.qualifier() {
|
|
|
|
let qualifier_start = qualifier.syntax().descendants().find_map(ast::NameRef::cast)?;
|
|
|
|
let qualifier_start_path =
|
|
|
|
qualifier_start.syntax().ancestors().find_map(ast::Path::cast)?;
|
|
|
|
if let Some(qualifier_start_resolution) =
|
|
|
|
source_analyzer.resolve_path(db, &qualifier_start_path)
|
|
|
|
{
|
|
|
|
let qualifier_resolution = if &qualifier_start_path == path_under_caret {
|
|
|
|
qualifier_start_resolution
|
|
|
|
} else {
|
|
|
|
source_analyzer.resolve_path(db, &qualifier)?
|
|
|
|
};
|
|
|
|
if let PathResolution::Def(ModuleDef::Adt(function_callee)) = qualifier_resolution {
|
|
|
|
Some(ImportCandidate::TraitFunction(function_callee, segment))
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
Some(ImportCandidate::QualifierStart(qualifier_start))
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
if source_analyzer.resolve_path(db, path_under_caret).is_none() {
|
|
|
|
Some(ImportCandidate::UnqualifiedName(
|
|
|
|
segment.syntax().descendants().find_map(ast::NameRef::cast)?,
|
|
|
|
))
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn get_search_query(&self) -> String {
|
|
|
|
match self {
|
|
|
|
ImportCandidate::UnqualifiedName(name_ref)
|
|
|
|
| ImportCandidate::QualifierStart(name_ref) => name_ref.syntax().to_string(),
|
|
|
|
ImportCandidate::TraitFunction(_, trait_function) => {
|
|
|
|
trait_function.syntax().to_string()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn search_for_imports(
|
|
|
|
&self,
|
|
|
|
db: &RootDatabase,
|
|
|
|
module_with_name_to_import: Module,
|
|
|
|
) -> BTreeSet<ModPath> {
|
|
|
|
ImportsLocator::new(db)
|
|
|
|
.find_imports(&self.get_search_query())
|
|
|
|
.into_iter()
|
|
|
|
.filter_map(|module_def| match self {
|
|
|
|
ImportCandidate::TraitFunction(function_callee, _) => {
|
|
|
|
if let ModuleDef::Function(function) = module_def {
|
|
|
|
dbg!(function);
|
|
|
|
todo!()
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
_ => module_with_name_to_import.find_use_path(db, module_def),
|
|
|
|
})
|
|
|
|
.filter(|use_path| !use_path.segments.is_empty())
|
|
|
|
.take(20)
|
|
|
|
.collect::<BTreeSet<_>>()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-12-23 18:19:09 -06:00
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
2020-02-09 09:13:29 -06:00
|
|
|
use crate::helpers::{check_assist, check_assist_not_applicable, check_assist_target};
|
2019-12-23 18:19:09 -06:00
|
|
|
|
2020-02-07 08:12:51 -06:00
|
|
|
use super::*;
|
|
|
|
|
2020-01-26 16:16:18 -06:00
|
|
|
#[test]
|
|
|
|
fn applicable_when_found_an_import() {
|
2020-02-06 10:17:51 -06:00
|
|
|
check_assist(
|
2020-01-26 16:16:18 -06:00
|
|
|
auto_import,
|
|
|
|
r"
|
2020-01-29 06:57:44 -06:00
|
|
|
<|>PubStruct
|
2019-12-23 18:19:09 -06:00
|
|
|
|
2020-01-26 16:16:18 -06:00
|
|
|
pub mod PubMod {
|
|
|
|
pub struct PubStruct;
|
|
|
|
}
|
|
|
|
",
|
|
|
|
r"
|
2020-01-29 06:57:44 -06:00
|
|
|
<|>use PubMod::PubStruct;
|
2019-12-23 18:19:09 -06:00
|
|
|
|
2020-01-29 06:57:44 -06:00
|
|
|
PubStruct
|
2020-01-26 16:16:18 -06:00
|
|
|
|
|
|
|
pub mod PubMod {
|
|
|
|
pub struct PubStruct;
|
2019-12-23 18:19:09 -06:00
|
|
|
}
|
2020-01-26 16:16:18 -06:00
|
|
|
",
|
|
|
|
);
|
2019-12-23 18:19:09 -06:00
|
|
|
}
|
|
|
|
|
2020-02-02 02:28:16 -06:00
|
|
|
#[test]
|
|
|
|
fn auto_imports_are_merged() {
|
2020-02-06 10:17:51 -06:00
|
|
|
check_assist(
|
2020-02-02 02:28:16 -06:00
|
|
|
auto_import,
|
|
|
|
r"
|
|
|
|
use PubMod::PubStruct1;
|
|
|
|
|
2020-02-02 15:24:43 -06:00
|
|
|
struct Test {
|
|
|
|
test: Pub<|>Struct2<u8>,
|
|
|
|
}
|
2020-02-02 02:28:16 -06:00
|
|
|
|
|
|
|
pub mod PubMod {
|
|
|
|
pub struct PubStruct1;
|
2020-02-02 15:24:43 -06:00
|
|
|
pub struct PubStruct2<T> {
|
|
|
|
_t: T,
|
|
|
|
}
|
2020-02-02 02:28:16 -06:00
|
|
|
}
|
|
|
|
",
|
|
|
|
r"
|
|
|
|
use PubMod::{PubStruct2, PubStruct1};
|
|
|
|
|
2020-02-02 15:24:43 -06:00
|
|
|
struct Test {
|
|
|
|
test: Pub<|>Struct2<u8>,
|
|
|
|
}
|
2020-02-02 02:28:16 -06:00
|
|
|
|
|
|
|
pub mod PubMod {
|
|
|
|
pub struct PubStruct1;
|
2020-02-02 15:24:43 -06:00
|
|
|
pub struct PubStruct2<T> {
|
|
|
|
_t: T,
|
|
|
|
}
|
2020-02-02 02:28:16 -06:00
|
|
|
}
|
|
|
|
",
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
2019-12-23 18:19:09 -06:00
|
|
|
#[test]
|
2020-01-26 16:16:18 -06:00
|
|
|
fn applicable_when_found_multiple_imports() {
|
2020-02-06 10:17:51 -06:00
|
|
|
check_assist(
|
2019-12-23 18:19:09 -06:00
|
|
|
auto_import,
|
2020-01-26 16:16:18 -06:00
|
|
|
r"
|
2020-01-29 06:57:44 -06:00
|
|
|
PubSt<|>ruct
|
2020-01-26 16:16:18 -06:00
|
|
|
|
|
|
|
pub mod PubMod1 {
|
|
|
|
pub struct PubStruct;
|
|
|
|
}
|
|
|
|
pub mod PubMod2 {
|
|
|
|
pub struct PubStruct;
|
|
|
|
}
|
|
|
|
pub mod PubMod3 {
|
|
|
|
pub struct PubStruct;
|
|
|
|
}
|
|
|
|
",
|
|
|
|
r"
|
|
|
|
use PubMod1::PubStruct;
|
|
|
|
|
2020-01-29 06:57:44 -06:00
|
|
|
PubSt<|>ruct
|
2020-01-26 16:16:18 -06:00
|
|
|
|
|
|
|
pub mod PubMod1 {
|
|
|
|
pub struct PubStruct;
|
|
|
|
}
|
|
|
|
pub mod PubMod2 {
|
|
|
|
pub struct PubStruct;
|
2019-12-23 18:19:09 -06:00
|
|
|
}
|
2020-01-26 16:16:18 -06:00
|
|
|
pub mod PubMod3 {
|
|
|
|
pub struct PubStruct;
|
|
|
|
}
|
|
|
|
",
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn not_applicable_for_already_imported_types() {
|
2020-02-06 10:17:51 -06:00
|
|
|
check_assist_not_applicable(
|
2020-01-26 16:16:18 -06:00
|
|
|
auto_import,
|
|
|
|
r"
|
|
|
|
use PubMod::PubStruct;
|
|
|
|
|
|
|
|
PubStruct<|>
|
2019-12-23 18:19:09 -06:00
|
|
|
|
2020-01-26 16:16:18 -06:00
|
|
|
pub mod PubMod {
|
|
|
|
pub struct PubStruct;
|
|
|
|
}
|
|
|
|
",
|
2019-12-23 18:19:09 -06:00
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2020-01-26 16:16:18 -06:00
|
|
|
fn not_applicable_for_types_with_private_paths() {
|
2020-02-06 10:17:51 -06:00
|
|
|
check_assist_not_applicable(
|
2019-12-23 18:19:09 -06:00
|
|
|
auto_import,
|
2020-01-26 16:16:18 -06:00
|
|
|
r"
|
|
|
|
PrivateStruct<|>
|
|
|
|
|
|
|
|
pub mod PubMod {
|
|
|
|
struct PrivateStruct;
|
2019-12-23 18:19:09 -06:00
|
|
|
}
|
2020-01-26 16:16:18 -06:00
|
|
|
",
|
|
|
|
);
|
|
|
|
}
|
2019-12-23 18:19:09 -06:00
|
|
|
|
2020-01-26 16:16:18 -06:00
|
|
|
#[test]
|
|
|
|
fn not_applicable_when_no_imports_found() {
|
2020-02-06 10:17:51 -06:00
|
|
|
check_assist_not_applicable(
|
2020-01-26 16:16:18 -06:00
|
|
|
auto_import,
|
|
|
|
"
|
|
|
|
PubStruct<|>",
|
2019-12-23 18:19:09 -06:00
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn not_applicable_in_import_statements() {
|
2020-02-06 10:17:51 -06:00
|
|
|
check_assist_not_applicable(
|
2019-12-23 18:19:09 -06:00
|
|
|
auto_import,
|
2020-01-26 16:16:18 -06:00
|
|
|
r"
|
|
|
|
use PubStruct<|>;
|
|
|
|
|
|
|
|
pub mod PubMod {
|
|
|
|
pub struct PubStruct;
|
|
|
|
}",
|
2019-12-23 18:19:09 -06:00
|
|
|
);
|
|
|
|
}
|
2020-02-01 14:13:02 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn function_import() {
|
2020-02-06 10:17:51 -06:00
|
|
|
check_assist(
|
2020-02-01 14:13:02 -06:00
|
|
|
auto_import,
|
|
|
|
r"
|
|
|
|
test_function<|>
|
|
|
|
|
|
|
|
pub mod PubMod {
|
|
|
|
pub fn test_function() {};
|
|
|
|
}
|
|
|
|
",
|
|
|
|
r"
|
|
|
|
use PubMod::test_function;
|
|
|
|
|
|
|
|
test_function<|>
|
|
|
|
|
|
|
|
pub mod PubMod {
|
|
|
|
pub fn test_function() {};
|
|
|
|
}
|
|
|
|
",
|
|
|
|
);
|
|
|
|
}
|
2020-02-09 09:13:29 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn auto_import_target() {
|
|
|
|
check_assist_target(
|
|
|
|
auto_import,
|
|
|
|
r"
|
|
|
|
struct AssistInfo {
|
|
|
|
group_label: Option<<|>GroupLabel>,
|
|
|
|
}
|
|
|
|
|
|
|
|
mod m { pub struct GroupLabel; }
|
|
|
|
",
|
|
|
|
"GroupLabel",
|
|
|
|
)
|
|
|
|
}
|
2020-02-08 17:56:17 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn not_applicable_when_path_start_is_imported() {
|
|
|
|
check_assist_not_applicable(
|
|
|
|
auto_import,
|
|
|
|
r"
|
|
|
|
pub mod mod1 {
|
|
|
|
pub mod mod2 {
|
|
|
|
pub mod mod3 {
|
|
|
|
pub struct TestStruct;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
use mod1::mod2;
|
|
|
|
fn main() {
|
|
|
|
mod2::mod3::TestStruct<|>
|
|
|
|
}
|
|
|
|
",
|
|
|
|
);
|
|
|
|
}
|
2020-02-09 16:22:12 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn not_applicable_for_imported_function() {
|
|
|
|
check_assist_not_applicable(
|
|
|
|
auto_import,
|
|
|
|
r"
|
|
|
|
pub mod test_mod {
|
|
|
|
pub fn test_function() {}
|
|
|
|
}
|
|
|
|
|
|
|
|
use test_mod::test_function;
|
|
|
|
fn main() {
|
|
|
|
test_function<|>
|
|
|
|
}
|
|
|
|
",
|
|
|
|
);
|
|
|
|
}
|
2020-02-09 16:30:00 -06:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn associated_struct_function() {
|
|
|
|
check_assist(
|
|
|
|
auto_import,
|
|
|
|
r"
|
|
|
|
mod test_mod {
|
|
|
|
pub struct TestStruct {}
|
|
|
|
impl TestStruct {
|
|
|
|
pub fn test_function() {}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
TestStruct::test_function<|>
|
|
|
|
}
|
|
|
|
",
|
|
|
|
r"
|
|
|
|
use test_mod::TestStruct;
|
|
|
|
|
|
|
|
mod test_mod {
|
|
|
|
pub struct TestStruct {}
|
|
|
|
impl TestStruct {
|
|
|
|
pub fn test_function() {}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
TestStruct::test_function<|>
|
|
|
|
}
|
|
|
|
",
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn associated_trait_function() {
|
|
|
|
check_assist(
|
|
|
|
auto_import,
|
|
|
|
r"
|
|
|
|
mod test_mod {
|
|
|
|
pub trait TestTrait {
|
|
|
|
fn test_function();
|
|
|
|
}
|
|
|
|
pub struct TestStruct {}
|
|
|
|
impl TestTrait for TestStruct {
|
|
|
|
fn test_function() {}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
test_mod::TestStruct::test_function<|>
|
|
|
|
}
|
|
|
|
",
|
|
|
|
r"
|
|
|
|
use test_mod::TestTrait;
|
|
|
|
|
|
|
|
mod test_mod {
|
|
|
|
pub trait TestTrait {
|
|
|
|
fn test_function();
|
|
|
|
}
|
|
|
|
pub struct TestStruct {}
|
|
|
|
impl TestTrait for TestStruct {
|
|
|
|
fn test_function() {}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
test_mod::TestStruct::test_function<|>
|
|
|
|
}
|
|
|
|
",
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2020-02-10 08:55:20 -06:00
|
|
|
#[ignore] // TODO kb
|
2020-02-09 16:30:00 -06:00
|
|
|
fn trait_method() {
|
|
|
|
check_assist(
|
|
|
|
auto_import,
|
|
|
|
r"
|
|
|
|
mod test_mod {
|
|
|
|
pub trait TestTrait {
|
|
|
|
fn test_method(&self);
|
|
|
|
}
|
|
|
|
pub struct TestStruct {}
|
|
|
|
impl TestTrait for TestStruct {
|
|
|
|
fn test_method(&self) {}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
let test_struct = test_mod::TestStruct {};
|
|
|
|
test_struct.test_method<|>
|
|
|
|
}
|
|
|
|
",
|
|
|
|
r"
|
|
|
|
use test_mod::TestTrait;
|
|
|
|
|
|
|
|
mod test_mod {
|
|
|
|
pub trait TestTrait {
|
|
|
|
fn test_method(&self);
|
|
|
|
}
|
|
|
|
pub struct TestStruct {}
|
|
|
|
impl TestTrait for TestStruct {
|
|
|
|
fn test_method(&self) {}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
let test_struct = test_mod::TestStruct {};
|
|
|
|
test_struct.test_method<|>
|
|
|
|
}
|
|
|
|
",
|
|
|
|
);
|
|
|
|
}
|
2019-12-23 18:19:09 -06:00
|
|
|
}
|