use std::{iter, ops::RangeInclusive}; use arrayvec::ArrayVec; use ra_text_edit::TextEditBuilder; use ra_syntax::{AstNode, TreeArc, ast, SyntaxKind::*, SyntaxElement, SourceFile, InsertPosition, Direction}; use ra_fmt::leading_indent; use hir::Name; pub struct AstEditor { original_ast: TreeArc, ast: TreeArc, } impl AstEditor { pub fn new(node: &N) -> AstEditor { AstEditor { original_ast: node.to_owned(), ast: node.to_owned() } } pub fn into_text_edit(self, builder: &mut TextEditBuilder) { // FIXME: compute a more fine-grained diff here. // If *you* know a nice algorithm to compute diff between two syntax // tree, tell me about it! builder.replace(self.original_ast.syntax().range(), self.ast().syntax().text().to_string()); } pub fn ast(&self) -> &N { &*self.ast } #[must_use] fn insert_children<'a>( &self, position: InsertPosition>, to_insert: impl Iterator>, ) -> TreeArc { let new_syntax = self.ast().syntax().insert_children(position, to_insert); N::cast(&new_syntax).unwrap().to_owned() } #[must_use] fn replace_children<'a>( &self, to_delete: RangeInclusive>, to_insert: impl Iterator>, ) -> TreeArc { let new_syntax = self.ast().syntax().replace_children(to_delete, to_insert); N::cast(&new_syntax).unwrap().to_owned() } fn do_make_multiline(&mut self) { let l_curly = match self.ast().syntax().children_with_tokens().find(|it| it.kind() == L_CURLY) { Some(it) => it, None => return, }; let sibling = match l_curly.next_sibling_or_token() { Some(it) => it, None => return, }; let existing_ws = match sibling.as_token() { None => None, Some(tok) if tok.kind() != WHITESPACE => None, Some(ws) => { if ws.text().contains('\n') { return; } Some(ws) } }; let indent = leading_indent(self.ast().syntax()).unwrap_or(""); let ws = tokens::WsBuilder::new(&format!("\n{}", indent)); let to_insert = iter::once(ws.ws().into()); self.ast = match existing_ws { None => self.insert_children(InsertPosition::After(l_curly), to_insert), Some(ws) => self.replace_children(RangeInclusive::new(ws.into(), ws.into()), to_insert), }; } } impl AstEditor { pub fn append_field(&mut self, field: &ast::NamedField) { self.insert_field(InsertPosition::Last, field) } pub fn make_multiline(&mut self) { self.do_make_multiline() } pub fn insert_field( &mut self, position: InsertPosition<&'_ ast::NamedField>, field: &ast::NamedField, ) { let is_multiline = self.ast().syntax().text().contains('\n'); let ws; let space = if is_multiline { ws = tokens::WsBuilder::new(&format!( "\n{} ", leading_indent(self.ast().syntax()).unwrap_or("") )); ws.ws() } else { tokens::single_space() }; let mut to_insert: ArrayVec<[SyntaxElement; 4]> = ArrayVec::new(); to_insert.push(space.into()); to_insert.push(field.syntax().into()); to_insert.push(tokens::comma().into()); macro_rules! after_l_curly { () => {{ let anchor = match self.l_curly() { Some(it) => it, None => return, }; InsertPosition::After(anchor) }}; } macro_rules! after_field { ($anchor:expr) => { if let Some(comma) = $anchor .syntax() .siblings_with_tokens(Direction::Next) .find(|it| it.kind() == COMMA) { InsertPosition::After(comma) } else { to_insert.insert(0, tokens::comma().into()); InsertPosition::After($anchor.syntax().into()) } }; }; let position = match position { InsertPosition::First => after_l_curly!(), InsertPosition::Last => { if !is_multiline { // don't insert comma before curly to_insert.pop(); } match self.ast().fields().last() { Some(it) => after_field!(it), None => after_l_curly!(), } } InsertPosition::Before(anchor) => InsertPosition::Before(anchor.syntax().into()), InsertPosition::After(anchor) => after_field!(anchor), }; self.ast = self.insert_children(position, to_insert.iter().cloned()); } fn l_curly(&self) -> Option { self.ast().syntax().children_with_tokens().find(|it| it.kind() == L_CURLY) } } impl AstEditor { pub fn make_multiline(&mut self) { self.do_make_multiline() } pub fn append_functions<'a>(&mut self, fns: impl Iterator) { fns.for_each(|it| self.append_function(it)) } pub fn append_function(&mut self, fn_def: &ast::FnDef) { let (indent, position) = match self.ast().impl_items().last() { Some(it) => ( leading_indent(it.syntax()).unwrap_or("").to_string(), InsertPosition::After(it.syntax().into()), ), None => match self.l_curly() { Some(it) => ( " ".to_string() + leading_indent(self.ast().syntax()).unwrap_or(""), InsertPosition::After(it), ), None => return, }, }; let ws = tokens::WsBuilder::new(&format!("\n{}", indent)); let to_insert: ArrayVec<[SyntaxElement; 2]> = [ws.ws().into(), fn_def.syntax().into()].into(); self.ast = self.insert_children(position, to_insert.into_iter()); } fn l_curly(&self) -> Option { self.ast().syntax().children_with_tokens().find(|it| it.kind() == L_CURLY) } } impl AstEditor { pub fn set_body(&mut self, body: &ast::Block) { let mut to_insert: ArrayVec<[SyntaxElement; 2]> = ArrayVec::new(); let old_body_or_semi: SyntaxElement = if let Some(old_body) = self.ast().body() { old_body.syntax().into() } else if let Some(semi) = self.ast().semicolon_token() { to_insert.push(tokens::single_space().into()); semi.into() } else { to_insert.push(tokens::single_space().into()); to_insert.push(body.syntax().into()); self.ast = self.insert_children(InsertPosition::Last, to_insert.into_iter()); return; }; to_insert.push(body.syntax().into()); let replace_range = RangeInclusive::new(old_body_or_semi, old_body_or_semi); self.ast = self.replace_children(replace_range, to_insert.into_iter()) } pub fn strip_attrs_and_docs(&mut self) { loop { if let Some(start) = self .ast() .syntax() .children_with_tokens() .find(|it| it.kind() == ATTR || it.kind() == COMMENT) { let end = match start.next_sibling_or_token() { Some(el) if el.kind() == WHITESPACE => el, Some(_) | None => start, }; self.ast = self.replace_children(RangeInclusive::new(start, end), iter::empty()); } else { break; } } } } pub struct AstBuilder { _phantom: std::marker::PhantomData, } impl AstBuilder { pub fn from_name(name: &Name) -> TreeArc { ast_node_from_file_text(&format!("fn f() {{ S {{ {}: (), }} }}", name)) } fn from_text(text: &str) -> TreeArc { ast_node_from_file_text(&format!("fn f() {{ S {{ {}, }} }}", text)) } pub fn from_pieces(name: &ast::NameRef, expr: Option<&ast::Expr>) -> TreeArc { match expr { Some(expr) => Self::from_text(&format!("{}: {}", name.syntax(), expr.syntax())), None => Self::from_text(&name.syntax().to_string()), } } } impl AstBuilder { fn from_text(text: &str) -> TreeArc { ast_node_from_file_text(&format!("fn f() {}", text)) } pub fn single_expr(e: &ast::Expr) -> TreeArc { Self::from_text(&format!("{{ {} }}", e.syntax())) } } impl AstBuilder { fn from_text(text: &str) -> TreeArc { ast_node_from_file_text(&format!("fn f() {{ {}; }}", text)) } pub fn unit() -> TreeArc { Self::from_text("()") } pub fn unimplemented() -> TreeArc { Self::from_text("unimplemented!()") } } impl AstBuilder { pub fn new(text: &str) -> TreeArc { ast_node_from_file_text(&format!("fn f() {{ {}; }}", text)) } } fn ast_node_from_file_text(text: &str) -> TreeArc { let file = SourceFile::parse(text); let res = file.syntax().descendants().find_map(N::cast).unwrap().to_owned(); res } mod tokens { use lazy_static::lazy_static; use ra_syntax::{AstNode, SourceFile, TreeArc, SyntaxToken, SyntaxKind::*}; lazy_static! { static ref SOURCE_FILE: TreeArc = SourceFile::parse(",\n; ;"); } pub(crate) fn comma() -> SyntaxToken<'static> { SOURCE_FILE .syntax() .descendants_with_tokens() .filter_map(|it| it.as_token()) .find(|it| it.kind() == COMMA) .unwrap() } pub(crate) fn single_space() -> SyntaxToken<'static> { SOURCE_FILE .syntax() .descendants_with_tokens() .filter_map(|it| it.as_token()) .find(|it| it.kind() == WHITESPACE && it.text().as_str() == " ") .unwrap() } #[allow(unused)] pub(crate) fn single_newline() -> SyntaxToken<'static> { SOURCE_FILE .syntax() .descendants_with_tokens() .filter_map(|it| it.as_token()) .find(|it| it.kind() == WHITESPACE && it.text().as_str() == "\n") .unwrap() } pub(crate) struct WsBuilder(TreeArc); impl WsBuilder { pub(crate) fn new(text: &str) -> WsBuilder { WsBuilder(SourceFile::parse(text)) } pub(crate) fn ws(&self) -> SyntaxToken<'_> { self.0.syntax().first_child_or_token().unwrap().as_token().unwrap() } } }