rust/crates/ra_ide_api/src/extend_selection.rs

386 lines
11 KiB
Rust
Raw Normal View History

2019-01-26 02:20:30 -06:00
use ra_db::SourceDatabase;
use ra_syntax::{
2019-07-21 05:28:58 -05:00
algo::find_covering_element,
2019-04-02 02:23:18 -05:00
ast::{self, AstNode, AstToken},
2019-07-20 12:04:34 -05:00
Direction, NodeOrToken,
SyntaxKind::*,
2019-07-21 05:28:58 -05:00
SyntaxNode, SyntaxToken, TextRange, TextUnit, TokenAtOffset, T,
2019-01-08 13:33:36 -06:00
};
use crate::{db::RootDatabase, FileRange};
2019-03-16 11:40:41 -05:00
// FIXME: restore macro support
2019-01-08 13:33:36 -06:00
pub(crate) fn extend_selection(db: &RootDatabase, frange: FileRange) -> TextRange {
let parse = db.parse(frange.file_id);
try_extend_selection(parse.tree().syntax(), frange.range).unwrap_or(frange.range)
}
fn try_extend_selection(root: &SyntaxNode, range: TextRange) -> Option<TextRange> {
let string_kinds = [COMMENT, STRING, RAW_STRING, BYTE_STRING, RAW_BYTE_STRING];
let list_kinds = [
2019-08-23 07:55:21 -05:00
RECORD_FIELD_PAT_LIST,
MATCH_ARM_LIST,
2019-08-23 07:55:21 -05:00
RECORD_FIELD_DEF_LIST,
TUPLE_FIELD_DEF_LIST,
RECORD_FIELD_LIST,
ENUM_VARIANT_LIST,
USE_TREE_LIST,
TYPE_PARAM_LIST,
TYPE_ARG_LIST,
PARAM_LIST,
ARG_LIST,
ARRAY_EXPR,
];
if range.is_empty() {
let offset = range.start();
2019-07-21 05:28:58 -05:00
let mut leaves = root.token_at_offset(offset);
if leaves.clone().all(|it| it.kind() == WHITESPACE) {
return Some(extend_ws(root, leaves.next()?, offset));
}
let leaf_range = match leaves {
2019-03-30 05:25:53 -05:00
TokenAtOffset::None => return None,
TokenAtOffset::Single(l) => {
if string_kinds.contains(&l.kind()) {
2019-07-20 04:58:27 -05:00
extend_single_word_in_comment_or_string(&l, offset)
.unwrap_or_else(|| l.text_range())
} else {
2019-07-20 04:58:27 -05:00
l.text_range()
}
}
2019-07-20 04:58:27 -05:00
TokenAtOffset::Between(l, r) => pick_best(l, r).text_range(),
};
return Some(leaf_range);
};
2019-03-30 05:25:53 -05:00
let node = match find_covering_element(root, range) {
2019-07-20 12:04:34 -05:00
NodeOrToken::Token(token) => {
2019-07-20 04:58:27 -05:00
if token.text_range() != range {
return Some(token.text_range());
2019-03-30 05:25:53 -05:00
}
2019-07-19 04:56:47 -05:00
if let Some(comment) = ast::Comment::cast(token.clone()) {
2019-03-30 05:25:53 -05:00
if let Some(range) = extend_comments(comment) {
return Some(range);
}
}
token.parent()
}
2019-07-20 12:04:34 -05:00
NodeOrToken::Node(node) => node,
2019-03-30 05:25:53 -05:00
};
2019-07-20 04:58:27 -05:00
if node.text_range() != range {
return Some(node.text_range());
2019-03-30 05:25:53 -05:00
}
// Using shallowest node with same range allows us to traverse siblings.
2019-07-20 04:58:27 -05:00
let node = node.ancestors().take_while(|n| n.text_range() == node.text_range()).last().unwrap();
2019-03-30 05:25:53 -05:00
if node.parent().map(|n| list_kinds.contains(&n.kind())) == Some(true) {
2019-07-19 04:56:47 -05:00
if let Some(range) = extend_list_item(&node) {
2019-03-30 05:25:53 -05:00
return Some(range);
}
}
2019-07-20 04:58:27 -05:00
node.parent().map(|it| it.text_range())
}
fn extend_single_word_in_comment_or_string(
2019-07-19 04:56:47 -05:00
leaf: &SyntaxToken,
offset: TextUnit,
) -> Option<TextRange> {
2019-03-30 05:25:53 -05:00
let text: &str = leaf.text();
2019-07-20 04:58:27 -05:00
let cursor_position: u32 = (offset - leaf.text_range().start()).into();
let (before, after) = text.split_at(cursor_position as usize);
fn non_word_char(c: char) -> bool {
!(c.is_alphanumeric() || c == '_')
}
let start_idx = before.rfind(non_word_char)? as u32;
2019-06-03 09:27:51 -05:00
let end_idx = after.find(non_word_char).unwrap_or_else(|| after.len()) as u32;
let from: TextUnit = (start_idx + 1).into();
let to: TextUnit = (cursor_position + end_idx).into();
let range = TextRange::from_to(from, to);
if range.is_empty() {
None
} else {
2019-07-20 04:58:27 -05:00
Some(range + leaf.text_range().start())
}
}
2019-03-30 05:25:53 -05:00
fn extend_ws(root: &SyntaxNode, ws: SyntaxToken, offset: TextUnit) -> TextRange {
let ws_text = ws.text();
2019-07-20 04:58:27 -05:00
let suffix = TextRange::from_to(offset, ws.text_range().end()) - ws.text_range().start();
let prefix = TextRange::from_to(ws.text_range().start(), offset) - ws.text_range().start();
let ws_suffix = &ws_text.as_str()[suffix];
let ws_prefix = &ws_text.as_str()[prefix];
if ws_text.contains('\n') && !ws_suffix.contains('\n') {
2019-03-30 05:25:53 -05:00
if let Some(node) = ws.next_sibling_or_token() {
let start = match ws_prefix.rfind('\n') {
2019-07-20 04:58:27 -05:00
Some(idx) => ws.text_range().start() + TextUnit::from((idx + 1) as u32),
None => node.text_range().start(),
};
2019-07-20 04:58:27 -05:00
let end = if root.text().char_at(node.text_range().end()) == Some('\n') {
node.text_range().end() + TextUnit::of_char('\n')
} else {
2019-07-20 04:58:27 -05:00
node.text_range().end()
};
return TextRange::from_to(start, end);
}
}
2019-07-20 04:58:27 -05:00
ws.text_range()
}
2019-07-19 04:56:47 -05:00
fn pick_best<'a>(l: SyntaxToken, r: SyntaxToken) -> SyntaxToken {
return if priority(&r) > priority(&l) { r } else { l };
fn priority(n: &SyntaxToken) -> usize {
match n.kind() {
WHITESPACE => 0,
2019-05-08 10:35:32 -05:00
IDENT | T![self] | T![super] | T![crate] | LIFETIME => 2,
_ => 1,
}
}
}
/// Extend list item selection to include nearby comma and whitespace.
fn extend_list_item(node: &SyntaxNode) -> Option<TextRange> {
2019-03-30 05:25:53 -05:00
fn is_single_line_ws(node: &SyntaxToken) -> bool {
node.kind() == WHITESPACE && !node.text().contains('\n')
}
2019-03-30 05:25:53 -05:00
fn nearby_comma(node: &SyntaxNode, dir: Direction) -> Option<SyntaxToken> {
node.siblings_with_tokens(dir)
.skip(1)
2019-03-30 05:25:53 -05:00
.skip_while(|node| match node {
2019-07-20 12:04:34 -05:00
NodeOrToken::Node(_) => false,
NodeOrToken::Token(it) => is_single_line_ws(it),
2019-03-30 05:25:53 -05:00
})
.next()
2019-07-19 11:05:34 -05:00
.and_then(|it| it.into_token())
2019-05-15 07:35:47 -05:00
.filter(|node| node.kind() == T![,])
}
if let Some(comma_node) = nearby_comma(node, Direction::Prev) {
2019-07-20 04:58:27 -05:00
return Some(TextRange::from_to(comma_node.text_range().start(), node.text_range().end()));
}
if let Some(comma_node) = nearby_comma(node, Direction::Next) {
// Include any following whitespace when comma if after list item.
let final_node = comma_node
2019-03-30 05:25:53 -05:00
.next_sibling_or_token()
2019-07-19 11:05:34 -05:00
.and_then(|it| it.into_token())
.filter(|node| is_single_line_ws(node))
.unwrap_or(comma_node);
2019-07-20 04:58:27 -05:00
return Some(TextRange::from_to(node.text_range().start(), final_node.text_range().end()));
}
2019-03-30 05:25:53 -05:00
None
}
2019-04-02 02:23:18 -05:00
fn extend_comments(comment: ast::Comment) -> Option<TextRange> {
2019-07-19 04:56:47 -05:00
let prev = adj_comments(&comment, Direction::Prev);
let next = adj_comments(&comment, Direction::Next);
if prev != next {
2019-07-20 04:58:27 -05:00
Some(TextRange::from_to(
prev.syntax().text_range().start(),
next.syntax().text_range().end(),
))
} else {
None
}
}
2019-07-19 04:56:47 -05:00
fn adj_comments(comment: &ast::Comment, dir: Direction) -> ast::Comment {
let mut res = comment.clone();
2019-03-30 05:25:53 -05:00
for element in comment.syntax().siblings_with_tokens(dir) {
let token = match element.as_token() {
None => break,
Some(token) => token,
};
2019-07-19 04:56:47 -05:00
if let Some(c) = ast::Comment::cast(token.clone()) {
2019-03-30 05:25:53 -05:00
res = c
} else if token.kind() != WHITESPACE || token.text().contains("\n\n") {
break;
}
}
res
}
#[cfg(test)]
mod tests {
use ra_syntax::{AstNode, SourceFile};
use test_utils::extract_offset;
use super::*;
fn do_check(before: &str, afters: &[&str]) {
let (cursor, before) = extract_offset(before);
let parse = SourceFile::parse(&before);
let mut range = TextRange::offset_len(cursor, 0.into());
for &after in afters {
range = try_extend_selection(parse.tree().syntax(), range).unwrap();
let actual = &before[range];
assert_eq!(after, actual);
}
}
#[test]
fn test_extend_selection_arith() {
do_check(r#"fn foo() { <|>1 + 1 }"#, &["1", "1 + 1", "{ 1 + 1 }"]);
}
#[test]
fn test_extend_selection_list() {
do_check(r#"fn foo(<|>x: i32) {}"#, &["x", "x: i32"]);
do_check(r#"fn foo(<|>x: i32, y: i32) {}"#, &["x", "x: i32", "x: i32, "]);
do_check(r#"fn foo(<|>x: i32,y: i32) {}"#, &["x", "x: i32", "x: i32,"]);
do_check(r#"fn foo(x: i32, <|>y: i32) {}"#, &["y", "y: i32", ", y: i32"]);
do_check(r#"fn foo(x: i32, <|>y: i32, ) {}"#, &["y", "y: i32", ", y: i32"]);
do_check(r#"fn foo(x: i32,<|>y: i32) {}"#, &["y", "y: i32", ",y: i32"]);
do_check(r#"const FOO: [usize; 2] = [ 22<|> , 33];"#, &["22", "22 , "]);
do_check(r#"const FOO: [usize; 2] = [ 22 , 33<|>];"#, &["33", ", 33"]);
do_check(r#"const FOO: [usize; 2] = [ 22 , 33<|> ,];"#, &["33", ", 33"]);
do_check(
r#"
const FOO: [usize; 2] = [
22,
<|>33,
]"#,
&["33", "33,"],
);
do_check(
r#"
const FOO: [usize; 2] = [
22
, 33<|>,
]"#,
&["33", ", 33"],
);
}
#[test]
fn test_extend_selection_start_of_the_line() {
do_check(
r#"
impl S {
<|> fn foo() {
}
}"#,
&[" fn foo() {\n\n }\n"],
);
}
#[test]
fn test_extend_selection_doc_comments() {
do_check(
r#"
struct A;
/// bla
/// bla
struct B {
<|>
}
"#,
&["\n \n", "{\n \n}", "/// bla\n/// bla\nstruct B {\n \n}"],
)
}
#[test]
fn test_extend_selection_comments() {
do_check(
r#"
fn bar(){}
// fn foo() {
// 1 + <|>1
// }
// fn foo(){}
"#,
&["1", "// 1 + 1", "// fn foo() {\n// 1 + 1\n// }"],
);
do_check(
r#"
// #[derive(Debug, Clone, Copy, PartialEq, Eq)]
// pub enum Direction {
// <|> Next,
// Prev
// }
"#,
&[
"// Next,",
"// #[derive(Debug, Clone, Copy, PartialEq, Eq)]\n// pub enum Direction {\n// Next,\n// Prev\n// }",
],
);
do_check(
r#"
/*
foo
_bar1<|>*/
2019-03-30 05:25:53 -05:00
"#,
&["_bar1", "/*\nfoo\n_bar1*/"],
);
2019-03-30 05:25:53 -05:00
do_check(r#"//!<|>foo_2 bar"#, &["foo_2", "//!foo_2 bar"]);
2019-03-30 05:25:53 -05:00
do_check(r#"/<|>/foo bar"#, &["//foo bar"]);
}
#[test]
fn test_extend_selection_prefer_idents() {
do_check(
r#"
fn main() { foo<|>+bar;}
2019-03-30 05:25:53 -05:00
"#,
&["foo", "foo+bar"],
);
do_check(
r#"
fn main() { foo+<|>bar;}
2019-03-30 05:25:53 -05:00
"#,
&["bar", "foo+bar"],
);
}
#[test]
fn test_extend_selection_prefer_lifetimes() {
do_check(r#"fn foo<<|>'a>() {}"#, &["'a", "<'a>"]);
do_check(r#"fn foo<'a<|>>() {}"#, &["'a", "<'a>"]);
}
#[test]
fn test_extend_selection_select_first_word() {
do_check(r#"// foo bar b<|>az quxx"#, &["baz", "// foo bar baz quxx"]);
do_check(
r#"
impl S {
2019-03-30 05:25:53 -05:00
fn foo() {
// hel<|>lo world
}
2019-03-30 05:25:53 -05:00
}
"#,
&["hello", "// hello world"],
);
}
#[test]
fn test_extend_selection_string() {
do_check(
r#"
fn bar(){}
" fn f<|>oo() {"
2019-03-30 05:25:53 -05:00
"#,
&["foo", "\" fn foo() {\""],
);
}
2019-01-08 13:33:36 -06:00
}