rust/crates/libeditor/src/typing.rs

166 lines
4.8 KiB
Rust
Raw Normal View History

2018-08-25 12:42:40 +02:00
use std::mem;
2018-08-23 19:55:23 +02:00
use libsyntax2::{
2018-08-25 12:42:40 +02:00
TextUnit, TextRange, SyntaxNodeRef, File, AstNode,
ast,
2018-08-23 19:55:23 +02:00
algo::{
walk::preorder,
find_covering_node,
},
2018-08-28 10:12:42 +02:00
text_utils::{intersect, contains_offset_nonstrict},
2018-08-23 20:38:25 +02:00
SyntaxKind::*,
2018-08-23 19:55:23 +02:00
};
2018-08-28 10:12:42 +02:00
use {ActionResult, EditBuilder, find_node_at_offset};
2018-08-23 19:55:23 +02:00
2018-08-25 10:44:58 +02:00
pub fn join_lines(file: &File, range: TextRange) -> ActionResult {
2018-08-23 19:55:23 +02:00
let range = if range.is_empty() {
2018-08-28 13:06:30 +02:00
let syntax = file.syntax();
let text = syntax.text().slice(range.start()..);
let pos = match text.find('\n') {
None => return ActionResult {
2018-08-23 19:55:23 +02:00
edit: EditBuilder::new().finish(),
cursor_position: None
2018-08-28 13:06:30 +02:00
},
Some(pos) => pos
};
2018-08-23 19:55:23 +02:00
TextRange::offset_len(
range.start() + pos,
TextUnit::of_char('\n'),
)
} else {
range
};
let node = find_covering_node(file.syntax(), range);
let mut edit = EditBuilder::new();
for node in preorder(node) {
let text = match node.leaf_text() {
Some(text) => text,
None => continue,
};
let range = match intersect(range, node.range()) {
Some(range) => range,
None => continue,
} - node.range().start();
for (pos, _) in text[range].bytes().enumerate().filter(|&(_, b)| b == b'\n') {
let pos: TextUnit = (pos as u32).into();
let off = node.range().start() + range.start() + pos;
remove_newline(&mut edit, node, text.as_str(), off);
}
}
ActionResult {
edit: edit.finish(),
cursor_position: None,
}
}
2018-08-28 10:12:42 +02:00
pub fn on_eq_typed(file: &File, offset: TextUnit) -> Option<ActionResult> {
let let_stmt: ast::LetStmt = find_node_at_offset(file.syntax(), offset)?;
if let_stmt.has_semi() {
return None;
}
if let Some(expr) = let_stmt.initializer() {
let expr_range = expr.syntax().range();
if contains_offset_nonstrict(expr_range, offset) && offset != expr_range.start() {
return None;
}
2018-08-28 10:17:08 +02:00
} else {
return None;
2018-08-28 10:12:42 +02:00
}
let offset = let_stmt.syntax().range().end();
let mut edit = EditBuilder::new();
edit.insert(offset, ";".to_string());
Some(ActionResult {
edit: edit.finish(),
cursor_position: None,
})
}
2018-08-23 19:55:23 +02:00
fn remove_newline(
edit: &mut EditBuilder,
node: SyntaxNodeRef,
node_text: &str,
offset: TextUnit,
) {
2018-08-23 20:38:25 +02:00
if node.kind() == WHITESPACE && node_text.bytes().filter(|&b| b == b'\n').count() == 1 {
2018-08-28 13:21:37 +02:00
if join_single_expr_block(edit, node).is_some() {
2018-08-25 12:42:40 +02:00
return
}
2018-08-23 20:38:25 +02:00
match (node.prev_sibling(), node.next_sibling()) {
(Some(prev), Some(next)) => {
2018-08-23 23:13:16 +02:00
let range = TextRange::from_to(prev.range().start(), node.range().end());
2018-08-23 20:38:25 +02:00
if prev.kind() == COMMA && (next.kind() == R_PAREN || next.kind() == R_BRACK) {
edit.delete(range);
2018-08-23 23:13:16 +02:00
} else if prev.kind() == COMMA && next.kind() == R_CURLY {
edit.replace(range, " ".to_string());
2018-08-23 20:38:25 +02:00
} else {
edit.replace(
node.range(),
compute_ws(prev, next).to_string(),
);
}
return;
}
_ => (),
}
}
2018-08-23 19:55:23 +02:00
let suff = &node_text[TextRange::from_to(
offset - node.range().start() + TextUnit::of_char('\n'),
TextUnit::of_str(node_text),
)];
let spaces = suff.bytes().take_while(|&b| b == b' ').count();
edit.replace(
TextRange::offset_len(offset, ((spaces + 1) as u32).into()),
" ".to_string(),
);
}
2018-08-23 20:38:25 +02:00
2018-08-28 13:21:37 +02:00
fn join_single_expr_block(
2018-08-25 12:42:40 +02:00
edit: &mut EditBuilder,
node: SyntaxNodeRef,
) -> Option<()> {
let block = ast::Block::cast(node.parent()?)?;
let block_expr = ast::BlockExpr::cast(block.syntax().parent()?)?;
let expr = single_expr(block)?;
edit.replace(
block_expr.syntax().range(),
2018-08-28 13:06:30 +02:00
expr.syntax().text().to_string(),
2018-08-25 12:42:40 +02:00
);
Some(())
}
fn single_expr(block: ast::Block) -> Option<ast::Expr> {
let mut res = None;
for child in block.syntax().children() {
if let Some(expr) = ast::Expr::cast(child) {
if expr.syntax().text().contains('\n') {
return None;
}
if mem::replace(&mut res, Some(expr)).is_some() {
return None;
}
} else {
match child.kind() {
WHITESPACE | L_CURLY | R_CURLY => (),
_ => return None,
}
}
}
res
}
2018-08-23 20:38:25 +02:00
fn compute_ws(left: SyntaxNodeRef, right: SyntaxNodeRef) -> &'static str {
match left.kind() {
L_PAREN | L_BRACK => return "",
_ => (),
}
match right.kind() {
R_PAREN | R_BRACK => return "",
_ => (),
}
" "
}