2019-10-14 06:59:02 -05:00
|
|
|
//! FIXME: write short doc here
|
|
|
|
|
2019-10-12 10:47:17 -05:00
|
|
|
use hir::ModuleSource;
|
2019-11-03 16:14:17 -06:00
|
|
|
use ra_db::{RelativePath, RelativePathBuf, SourceDatabase, SourceDatabaseExt};
|
2019-11-29 09:06:20 -06:00
|
|
|
use ra_syntax::{algo::find_node_at_offset, ast, tokenize, AstNode, SyntaxKind, SyntaxNode};
|
2019-10-26 12:07:24 -05:00
|
|
|
use ra_text_edit::TextEdit;
|
2019-10-12 10:47:17 -05:00
|
|
|
|
|
|
|
use crate::{
|
|
|
|
db::RootDatabase, FileId, FilePosition, FileSystemEdit, RangeInfo, SourceChange,
|
|
|
|
SourceFileEdit, TextRange,
|
|
|
|
};
|
|
|
|
|
|
|
|
use super::find_all_refs;
|
|
|
|
|
|
|
|
pub(crate) fn rename(
|
|
|
|
db: &RootDatabase,
|
|
|
|
position: FilePosition,
|
|
|
|
new_name: &str,
|
|
|
|
) -> Option<RangeInfo<SourceChange>> {
|
2019-11-29 09:06:20 -06:00
|
|
|
let tokens = tokenize(new_name);
|
|
|
|
if tokens.len() != 1
|
|
|
|
|| (tokens[0].kind != SyntaxKind::IDENT && tokens[0].kind != SyntaxKind::UNDERSCORE)
|
|
|
|
{
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
|
2019-10-12 10:47:17 -05:00
|
|
|
let parse = db.parse(position.file_id);
|
|
|
|
if let Some((ast_name, ast_module)) =
|
|
|
|
find_name_and_module_at_offset(parse.tree().syntax(), position)
|
|
|
|
{
|
|
|
|
let range = ast_name.syntax().text_range();
|
|
|
|
rename_mod(db, &ast_name, &ast_module, position, new_name)
|
|
|
|
.map(|info| RangeInfo::new(range, info))
|
|
|
|
} else {
|
|
|
|
rename_reference(db, position, new_name)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn find_name_and_module_at_offset(
|
|
|
|
syntax: &SyntaxNode,
|
|
|
|
position: FilePosition,
|
|
|
|
) -> Option<(ast::Name, ast::Module)> {
|
|
|
|
let ast_name = find_node_at_offset::<ast::Name>(syntax, position.offset)?;
|
|
|
|
let ast_module = ast::Module::cast(ast_name.syntax().parent()?)?;
|
|
|
|
Some((ast_name, ast_module))
|
|
|
|
}
|
|
|
|
|
|
|
|
fn source_edit_from_file_id_range(
|
|
|
|
file_id: FileId,
|
|
|
|
range: TextRange,
|
|
|
|
new_name: &str,
|
|
|
|
) -> SourceFileEdit {
|
2019-10-26 12:07:24 -05:00
|
|
|
SourceFileEdit { file_id, edit: TextEdit::replace(range, new_name.into()) }
|
2019-10-12 10:47:17 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn rename_mod(
|
|
|
|
db: &RootDatabase,
|
|
|
|
ast_name: &ast::Name,
|
|
|
|
ast_module: &ast::Module,
|
|
|
|
position: FilePosition,
|
|
|
|
new_name: &str,
|
|
|
|
) -> Option<SourceChange> {
|
|
|
|
let mut source_file_edits = Vec::new();
|
|
|
|
let mut file_system_edits = Vec::new();
|
2019-11-28 03:50:26 -06:00
|
|
|
let module_src = hir::InFile { file_id: position.file_id.into(), value: ast_module.clone() };
|
2019-10-12 10:47:17 -05:00
|
|
|
if let Some(module) = hir::Module::from_declaration(db, module_src) {
|
|
|
|
let src = module.definition_source(db);
|
|
|
|
let file_id = src.file_id.original_file(db);
|
2019-11-20 00:40:36 -06:00
|
|
|
match src.value {
|
2019-10-12 10:47:17 -05:00
|
|
|
ModuleSource::SourceFile(..) => {
|
|
|
|
let mod_path: RelativePathBuf = db.file_relative_path(file_id);
|
|
|
|
// mod is defined in path/to/dir/mod.rs
|
|
|
|
let dst_path = if mod_path.file_stem() == Some("mod") {
|
|
|
|
mod_path
|
|
|
|
.parent()
|
|
|
|
.and_then(|p| p.parent())
|
|
|
|
.or_else(|| Some(RelativePath::new("")))
|
|
|
|
.map(|p| p.join(new_name).join("mod.rs"))
|
|
|
|
} else {
|
|
|
|
Some(mod_path.with_file_name(new_name).with_extension("rs"))
|
|
|
|
};
|
|
|
|
if let Some(path) = dst_path {
|
|
|
|
let move_file = FileSystemEdit::MoveFile {
|
|
|
|
src: file_id,
|
|
|
|
dst_source_root: db.file_source_root(position.file_id),
|
|
|
|
dst_path: path,
|
|
|
|
};
|
|
|
|
file_system_edits.push(move_file);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
ModuleSource::Module(..) => {}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let edit = SourceFileEdit {
|
|
|
|
file_id: position.file_id,
|
2019-10-26 12:07:24 -05:00
|
|
|
edit: TextEdit::replace(ast_name.syntax().text_range(), new_name.into()),
|
2019-10-12 10:47:17 -05:00
|
|
|
};
|
|
|
|
source_file_edits.push(edit);
|
|
|
|
|
|
|
|
Some(SourceChange::from_edits("rename", source_file_edits, file_system_edits))
|
|
|
|
}
|
|
|
|
|
|
|
|
fn rename_reference(
|
|
|
|
db: &RootDatabase,
|
|
|
|
position: FilePosition,
|
|
|
|
new_name: &str,
|
|
|
|
) -> Option<RangeInfo<SourceChange>> {
|
2019-10-24 06:01:02 -05:00
|
|
|
let RangeInfo { range, info: refs } = find_all_refs(db, position, None)?;
|
2019-10-12 10:47:17 -05:00
|
|
|
|
|
|
|
let edit = refs
|
|
|
|
.into_iter()
|
2020-01-03 09:30:45 -06:00
|
|
|
.map(|reference| {
|
|
|
|
source_edit_from_file_id_range(
|
|
|
|
reference.file_range.file_id,
|
|
|
|
reference.file_range.range,
|
|
|
|
new_name,
|
|
|
|
)
|
|
|
|
})
|
2019-10-12 10:47:17 -05:00
|
|
|
.collect::<Vec<_>>();
|
|
|
|
|
|
|
|
if edit.is_empty() {
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
|
|
|
|
Some(RangeInfo::new(range, SourceChange::source_file_edits("rename", edit)))
|
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
2019-10-26 12:07:24 -05:00
|
|
|
use insta::assert_debug_snapshot;
|
|
|
|
use ra_text_edit::TextEditBuilder;
|
|
|
|
use test_utils::assert_eq_text;
|
|
|
|
|
2019-10-12 10:47:17 -05:00
|
|
|
use crate::{
|
|
|
|
mock_analysis::analysis_and_position, mock_analysis::single_file_with_position, FileId,
|
|
|
|
};
|
|
|
|
|
2019-11-29 09:03:39 -06:00
|
|
|
#[test]
|
|
|
|
fn test_rename_to_underscore() {
|
|
|
|
test_rename(
|
|
|
|
r#"
|
|
|
|
fn main() {
|
|
|
|
let i<|> = 1;
|
|
|
|
}"#,
|
|
|
|
"_",
|
|
|
|
r#"
|
|
|
|
fn main() {
|
|
|
|
let _ = 1;
|
|
|
|
}"#,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_rename_to_raw_identifier() {
|
|
|
|
test_rename(
|
|
|
|
r#"
|
|
|
|
fn main() {
|
|
|
|
let i<|> = 1;
|
|
|
|
}"#,
|
|
|
|
"r#fn",
|
|
|
|
r#"
|
|
|
|
fn main() {
|
|
|
|
let r#fn = 1;
|
|
|
|
}"#,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_rename_to_invalid_identifier() {
|
|
|
|
let (analysis, position) = single_file_with_position(
|
|
|
|
"
|
|
|
|
fn main() {
|
|
|
|
let i<|> = 1;
|
|
|
|
}",
|
|
|
|
);
|
|
|
|
let new_name = "invalid!";
|
|
|
|
let source_change = analysis.rename(position, new_name).unwrap();
|
|
|
|
assert!(source_change.is_none());
|
|
|
|
}
|
|
|
|
|
2019-10-12 10:47:17 -05:00
|
|
|
#[test]
|
|
|
|
fn test_rename_for_local() {
|
|
|
|
test_rename(
|
|
|
|
r#"
|
|
|
|
fn main() {
|
|
|
|
let mut i = 1;
|
|
|
|
let j = 1;
|
|
|
|
i = i<|> + j;
|
|
|
|
|
|
|
|
{
|
|
|
|
i = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
i = 5;
|
|
|
|
}"#,
|
|
|
|
"k",
|
|
|
|
r#"
|
|
|
|
fn main() {
|
|
|
|
let mut k = 1;
|
|
|
|
let j = 1;
|
|
|
|
k = k + j;
|
|
|
|
|
|
|
|
{
|
|
|
|
k = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
k = 5;
|
|
|
|
}"#,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_rename_for_param_inside() {
|
|
|
|
test_rename(
|
|
|
|
r#"
|
|
|
|
fn foo(i : u32) -> u32 {
|
|
|
|
i<|>
|
|
|
|
}"#,
|
|
|
|
"j",
|
|
|
|
r#"
|
|
|
|
fn foo(j : u32) -> u32 {
|
|
|
|
j
|
|
|
|
}"#,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_rename_refs_for_fn_param() {
|
|
|
|
test_rename(
|
|
|
|
r#"
|
|
|
|
fn foo(i<|> : u32) -> u32 {
|
|
|
|
i
|
|
|
|
}"#,
|
|
|
|
"new_name",
|
|
|
|
r#"
|
|
|
|
fn foo(new_name : u32) -> u32 {
|
|
|
|
new_name
|
|
|
|
}"#,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_rename_for_mut_param() {
|
|
|
|
test_rename(
|
|
|
|
r#"
|
|
|
|
fn foo(mut i<|> : u32) -> u32 {
|
|
|
|
i
|
|
|
|
}"#,
|
|
|
|
"new_name",
|
|
|
|
r#"
|
|
|
|
fn foo(mut new_name : u32) -> u32 {
|
|
|
|
new_name
|
|
|
|
}"#,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_rename_mod() {
|
|
|
|
let (analysis, position) = analysis_and_position(
|
|
|
|
"
|
|
|
|
//- /lib.rs
|
|
|
|
mod bar;
|
|
|
|
|
|
|
|
//- /bar.rs
|
|
|
|
mod foo<|>;
|
|
|
|
|
|
|
|
//- /bar/foo.rs
|
|
|
|
// emtpy
|
|
|
|
",
|
|
|
|
);
|
|
|
|
let new_name = "foo2";
|
|
|
|
let source_change = analysis.rename(position, new_name).unwrap();
|
|
|
|
assert_debug_snapshot!(&source_change,
|
|
|
|
@r###"
|
|
|
|
Some(
|
|
|
|
RangeInfo {
|
|
|
|
range: [4; 7),
|
|
|
|
info: SourceChange {
|
|
|
|
label: "rename",
|
|
|
|
source_file_edits: [
|
|
|
|
SourceFileEdit {
|
|
|
|
file_id: FileId(
|
|
|
|
2,
|
|
|
|
),
|
|
|
|
edit: TextEdit {
|
|
|
|
atoms: [
|
|
|
|
AtomTextEdit {
|
|
|
|
delete: [4; 7),
|
|
|
|
insert: "foo2",
|
|
|
|
},
|
|
|
|
],
|
|
|
|
},
|
|
|
|
},
|
|
|
|
],
|
|
|
|
file_system_edits: [
|
|
|
|
MoveFile {
|
|
|
|
src: FileId(
|
|
|
|
3,
|
|
|
|
),
|
|
|
|
dst_source_root: SourceRootId(
|
|
|
|
0,
|
|
|
|
),
|
|
|
|
dst_path: "bar/foo2.rs",
|
|
|
|
},
|
|
|
|
],
|
|
|
|
cursor_position: None,
|
|
|
|
},
|
|
|
|
},
|
|
|
|
)
|
|
|
|
"###);
|
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_rename_mod_in_dir() {
|
|
|
|
let (analysis, position) = analysis_and_position(
|
|
|
|
"
|
|
|
|
//- /lib.rs
|
|
|
|
mod fo<|>o;
|
|
|
|
//- /foo/mod.rs
|
|
|
|
// emtpy
|
|
|
|
",
|
|
|
|
);
|
|
|
|
let new_name = "foo2";
|
|
|
|
let source_change = analysis.rename(position, new_name).unwrap();
|
|
|
|
assert_debug_snapshot!(&source_change,
|
|
|
|
@r###"
|
|
|
|
Some(
|
|
|
|
RangeInfo {
|
|
|
|
range: [4; 7),
|
|
|
|
info: SourceChange {
|
|
|
|
label: "rename",
|
|
|
|
source_file_edits: [
|
|
|
|
SourceFileEdit {
|
|
|
|
file_id: FileId(
|
|
|
|
1,
|
|
|
|
),
|
|
|
|
edit: TextEdit {
|
|
|
|
atoms: [
|
|
|
|
AtomTextEdit {
|
|
|
|
delete: [4; 7),
|
|
|
|
insert: "foo2",
|
|
|
|
},
|
|
|
|
],
|
|
|
|
},
|
|
|
|
},
|
|
|
|
],
|
|
|
|
file_system_edits: [
|
|
|
|
MoveFile {
|
|
|
|
src: FileId(
|
|
|
|
2,
|
|
|
|
),
|
|
|
|
dst_source_root: SourceRootId(
|
|
|
|
0,
|
|
|
|
),
|
|
|
|
dst_path: "foo2/mod.rs",
|
|
|
|
},
|
|
|
|
],
|
|
|
|
cursor_position: None,
|
|
|
|
},
|
|
|
|
},
|
|
|
|
)
|
|
|
|
"###
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn test_rename(text: &str, new_name: &str, expected: &str) {
|
|
|
|
let (analysis, position) = single_file_with_position(text);
|
|
|
|
let source_change = analysis.rename(position, new_name).unwrap();
|
2019-10-26 12:07:24 -05:00
|
|
|
let mut text_edit_builder = TextEditBuilder::default();
|
2019-10-12 10:47:17 -05:00
|
|
|
let mut file_id: Option<FileId> = None;
|
|
|
|
if let Some(change) = source_change {
|
|
|
|
for edit in change.info.source_file_edits {
|
|
|
|
file_id = Some(edit.file_id);
|
|
|
|
for atom in edit.edit.as_atoms() {
|
|
|
|
text_edit_builder.replace(atom.delete, atom.insert.clone());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
let result =
|
|
|
|
text_edit_builder.finish().apply(&*analysis.file_text(file_id.unwrap()).unwrap());
|
|
|
|
assert_eq_text!(expected, &*result);
|
|
|
|
}
|
|
|
|
}
|