2019-09-30 03:58:53 -05:00
|
|
|
//! FIXME: write short doc here
|
|
|
|
|
2020-03-24 11:03:05 -05:00
|
|
|
use std::{
|
|
|
|
fmt,
|
2020-10-21 07:17:00 -05:00
|
|
|
hash::BuildHasherDefault,
|
2020-03-24 11:03:05 -05:00
|
|
|
ops::{self, RangeInclusive},
|
|
|
|
};
|
2019-07-20 12:04:34 -05:00
|
|
|
|
2020-10-21 07:17:00 -05:00
|
|
|
use indexmap::IndexMap;
|
2019-04-28 08:43:10 -05:00
|
|
|
use itertools::Itertools;
|
2020-04-09 06:56:45 -05:00
|
|
|
use rustc_hash::FxHashMap;
|
2020-08-12 10:03:06 -05:00
|
|
|
use text_edit::TextEditBuilder;
|
2019-04-28 08:43:10 -05:00
|
|
|
|
2019-07-20 12:04:34 -05:00
|
|
|
use crate::{
|
2020-04-20 09:34:01 -05:00
|
|
|
AstNode, Direction, NodeOrToken, SyntaxElement, SyntaxKind, SyntaxNode, SyntaxNodePtr,
|
2020-04-24 16:40:41 -05:00
|
|
|
SyntaxToken, TextRange, TextSize,
|
2019-07-20 12:04:34 -05:00
|
|
|
};
|
2019-01-07 07:15:47 -06:00
|
|
|
|
2019-04-28 08:43:10 -05:00
|
|
|
/// Returns ancestors of the node at the offset, sorted by length. This should
|
|
|
|
/// do the right thing at an edge, e.g. when searching for expressions at `{
|
|
|
|
/// <|>foo }` we will get the name reference instead of the whole block, which
|
|
|
|
/// we would get if we just did `find_token_at_offset(...).flat_map(|t|
|
|
|
|
/// t.parent().ancestors())`.
|
|
|
|
pub fn ancestors_at_offset(
|
|
|
|
node: &SyntaxNode,
|
2020-04-24 16:40:41 -05:00
|
|
|
offset: TextSize,
|
2019-07-18 11:23:05 -05:00
|
|
|
) -> impl Iterator<Item = SyntaxNode> {
|
2019-07-21 05:28:58 -05:00
|
|
|
node.token_at_offset(offset)
|
2019-04-28 08:43:10 -05:00
|
|
|
.map(|token| token.parent().ancestors())
|
2019-07-20 04:58:27 -05:00
|
|
|
.kmerge_by(|node1, node2| node1.text_range().len() < node2.text_range().len())
|
2019-04-28 08:43:10 -05:00
|
|
|
}
|
|
|
|
|
2019-01-08 11:47:37 -06:00
|
|
|
/// Finds a node of specific Ast type at offset. Note that this is slightly
|
2019-01-27 07:49:02 -06:00
|
|
|
/// imprecise: if the cursor is strictly between two nodes of the desired type,
|
2019-01-08 11:47:37 -06:00
|
|
|
/// as in
|
|
|
|
///
|
2020-08-22 14:03:02 -05:00
|
|
|
/// ```no_run
|
2019-01-08 11:47:37 -06:00
|
|
|
/// struct Foo {}|struct Bar;
|
|
|
|
/// ```
|
|
|
|
///
|
2019-04-28 08:43:10 -05:00
|
|
|
/// then the shorter node will be silently preferred.
|
2020-04-24 16:40:41 -05:00
|
|
|
pub fn find_node_at_offset<N: AstNode>(syntax: &SyntaxNode, offset: TextSize) -> Option<N> {
|
2019-04-28 08:43:10 -05:00
|
|
|
ancestors_at_offset(syntax, offset).find_map(N::cast)
|
2019-01-08 11:44:31 -06:00
|
|
|
}
|
|
|
|
|
2020-06-29 10:22:47 -05:00
|
|
|
pub fn find_node_at_range<N: AstNode>(syntax: &SyntaxNode, range: TextRange) -> Option<N> {
|
|
|
|
find_covering_element(syntax, range).ancestors().find_map(N::cast)
|
|
|
|
}
|
|
|
|
|
2020-02-26 10:12:26 -06:00
|
|
|
/// Skip to next non `trivia` token
|
|
|
|
pub fn skip_trivia_token(mut token: SyntaxToken, direction: Direction) -> Option<SyntaxToken> {
|
|
|
|
while token.kind().is_trivia() {
|
|
|
|
token = match direction {
|
|
|
|
Direction::Next => token.next_token()?,
|
|
|
|
Direction::Prev => token.prev_token()?,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
Some(token)
|
|
|
|
}
|
|
|
|
|
2019-02-21 10:49:03 -06:00
|
|
|
/// Finds the first sibling in the given direction which is not `trivia`
|
2019-03-30 05:25:53 -05:00
|
|
|
pub fn non_trivia_sibling(element: SyntaxElement, direction: Direction) -> Option<SyntaxElement> {
|
|
|
|
return match element {
|
2019-07-20 12:04:34 -05:00
|
|
|
NodeOrToken::Node(node) => node.siblings_with_tokens(direction).skip(1).find(not_trivia),
|
|
|
|
NodeOrToken::Token(token) => token.siblings_with_tokens(direction).skip(1).find(not_trivia),
|
2019-03-30 05:25:53 -05:00
|
|
|
};
|
|
|
|
|
|
|
|
fn not_trivia(element: &SyntaxElement) -> bool {
|
|
|
|
match element {
|
2019-07-20 12:04:34 -05:00
|
|
|
NodeOrToken::Node(_) => true,
|
|
|
|
NodeOrToken::Token(token) => !token.kind().is_trivia(),
|
2019-03-30 05:25:53 -05:00
|
|
|
}
|
|
|
|
}
|
2019-02-21 10:49:03 -06:00
|
|
|
}
|
|
|
|
|
2019-03-30 05:25:53 -05:00
|
|
|
pub fn find_covering_element(root: &SyntaxNode, range: TextRange) -> SyntaxElement {
|
2019-07-20 12:04:34 -05:00
|
|
|
root.covering_element(range)
|
|
|
|
}
|
|
|
|
|
2020-02-18 11:35:10 -06:00
|
|
|
pub fn least_common_ancestor(u: &SyntaxNode, v: &SyntaxNode) -> Option<SyntaxNode> {
|
2020-04-09 06:56:45 -05:00
|
|
|
if u == v {
|
|
|
|
return Some(u.clone());
|
|
|
|
}
|
|
|
|
|
|
|
|
let u_depth = u.ancestors().count();
|
|
|
|
let v_depth = v.ancestors().count();
|
|
|
|
let keep = u_depth.min(v_depth);
|
|
|
|
|
|
|
|
let u_candidates = u.ancestors().skip(u_depth - keep);
|
|
|
|
let v_canidates = v.ancestors().skip(v_depth - keep);
|
|
|
|
let (res, _) = u_candidates.zip(v_canidates).find(|(x, y)| x == y)?;
|
|
|
|
Some(res)
|
2020-02-18 11:35:10 -06:00
|
|
|
}
|
|
|
|
|
2020-03-19 05:38:26 -05:00
|
|
|
pub fn neighbor<T: AstNode>(me: &T, direction: Direction) -> Option<T> {
|
|
|
|
me.syntax().siblings(direction).skip(1).find_map(T::cast)
|
|
|
|
}
|
|
|
|
|
2020-04-20 09:34:01 -05:00
|
|
|
pub fn has_errors(node: &SyntaxNode) -> bool {
|
|
|
|
node.children().any(|it| it.kind() == SyntaxKind::ERROR)
|
|
|
|
}
|
|
|
|
|
2019-07-21 05:08:32 -05:00
|
|
|
#[derive(Debug, PartialEq, Eq, Clone, Copy)]
|
|
|
|
pub enum InsertPosition<T> {
|
|
|
|
First,
|
|
|
|
Last,
|
|
|
|
Before(T),
|
|
|
|
After(T),
|
|
|
|
}
|
|
|
|
|
2020-10-21 07:17:00 -05:00
|
|
|
type FxIndexMap<K, V> = IndexMap<K, V, BuildHasherDefault<rustc_hash::FxHasher>>;
|
|
|
|
|
2019-09-30 01:27:26 -05:00
|
|
|
pub struct TreeDiff {
|
|
|
|
replacements: FxHashMap<SyntaxElement, SyntaxElement>,
|
2020-10-21 07:17:00 -05:00
|
|
|
deletions: Vec<SyntaxElement>,
|
|
|
|
// the vec as well as the indexmap are both here to preserve order
|
|
|
|
insertions: FxIndexMap<SyntaxElement, Vec<SyntaxElement>>,
|
2019-09-30 01:27:26 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
impl TreeDiff {
|
|
|
|
pub fn into_text_edit(&self, builder: &mut TextEditBuilder) {
|
2020-10-21 07:17:00 -05:00
|
|
|
for (anchor, to) in self.insertions.iter() {
|
|
|
|
to.iter().for_each(|to| builder.insert(anchor.text_range().end(), to.to_string()));
|
|
|
|
}
|
2019-09-30 01:27:26 -05:00
|
|
|
for (from, to) in self.replacements.iter() {
|
|
|
|
builder.replace(from.text_range(), to.to_string())
|
|
|
|
}
|
2020-10-21 07:17:00 -05:00
|
|
|
for text_range in self.deletions.iter().map(SyntaxElement::text_range) {
|
|
|
|
builder.delete(text_range);
|
|
|
|
}
|
2019-09-30 01:27:26 -05:00
|
|
|
}
|
2020-03-21 09:43:48 -05:00
|
|
|
|
|
|
|
pub fn is_empty(&self) -> bool {
|
2020-10-21 07:17:00 -05:00
|
|
|
self.replacements.is_empty() && self.deletions.is_empty() && self.insertions.is_empty()
|
2020-03-21 09:43:48 -05:00
|
|
|
}
|
2019-09-30 01:27:26 -05:00
|
|
|
}
|
|
|
|
|
2019-09-26 07:56:52 -05:00
|
|
|
/// Finds minimal the diff, which, applied to `from`, will result in `to`.
|
|
|
|
///
|
2020-10-21 07:17:00 -05:00
|
|
|
/// Specifically, returns a structure that consists of a replacements, insertions and deletions
|
|
|
|
/// such that applying this map on `from` will result in `to`.
|
2019-09-26 07:56:52 -05:00
|
|
|
///
|
2020-10-21 07:17:00 -05:00
|
|
|
/// This function tries to find a fine-grained diff.
|
2019-09-30 01:27:26 -05:00
|
|
|
pub fn diff(from: &SyntaxNode, to: &SyntaxNode) -> TreeDiff {
|
2020-10-21 07:17:00 -05:00
|
|
|
let mut diff = TreeDiff {
|
|
|
|
replacements: FxHashMap::default(),
|
|
|
|
insertions: FxIndexMap::default(),
|
|
|
|
deletions: Vec::new(),
|
|
|
|
};
|
|
|
|
let (from, to) = (from.clone().into(), to.clone().into());
|
|
|
|
|
2019-09-26 07:56:52 -05:00
|
|
|
// FIXME: this is both horrible inefficient and gives larger than
|
|
|
|
// necessary diff. I bet there's a cool algorithm to diff trees properly.
|
2020-10-21 07:17:00 -05:00
|
|
|
if !syntax_element_eq(&from, &to) {
|
|
|
|
go(&mut diff, from, to);
|
|
|
|
}
|
|
|
|
return diff;
|
|
|
|
|
|
|
|
fn syntax_element_eq(lhs: &SyntaxElement, rhs: &SyntaxElement) -> bool {
|
|
|
|
lhs.kind() == rhs.kind()
|
2020-02-18 06:53:02 -06:00
|
|
|
&& lhs.text_range().len() == rhs.text_range().len()
|
|
|
|
&& match (&lhs, &rhs) {
|
2019-09-26 07:56:52 -05:00
|
|
|
(NodeOrToken::Node(lhs), NodeOrToken::Node(rhs)) => {
|
|
|
|
lhs.green() == rhs.green() || lhs.text() == rhs.text()
|
|
|
|
}
|
|
|
|
(NodeOrToken::Token(lhs), NodeOrToken::Token(rhs)) => lhs.text() == rhs.text(),
|
|
|
|
_ => false,
|
|
|
|
}
|
2020-10-21 07:17:00 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn go(diff: &mut TreeDiff, lhs: SyntaxElement, rhs: SyntaxElement) {
|
|
|
|
let (lhs, rhs) = match lhs.as_node().zip(rhs.as_node()) {
|
|
|
|
Some((lhs, rhs)) => (lhs, rhs),
|
|
|
|
_ => {
|
|
|
|
diff.replacements.insert(lhs, rhs);
|
2019-09-26 07:56:52 -05:00
|
|
|
return;
|
|
|
|
}
|
2020-10-21 07:17:00 -05:00
|
|
|
};
|
|
|
|
|
|
|
|
let mut rhs_children = rhs.children_with_tokens();
|
|
|
|
let mut lhs_children = lhs.children_with_tokens();
|
|
|
|
let mut last_lhs = None;
|
|
|
|
loop {
|
|
|
|
let lhs_child = lhs_children.next();
|
|
|
|
match (lhs_child.clone(), rhs_children.next()) {
|
|
|
|
(None, None) => break,
|
|
|
|
(None, Some(element)) => match last_lhs.clone() {
|
|
|
|
Some(prev) => {
|
|
|
|
diff.insertions.entry(prev).or_insert_with(Vec::new).push(element);
|
|
|
|
}
|
|
|
|
// first iteration, this means we got no anchor element to insert after
|
|
|
|
// therefor replace the parent node instead
|
|
|
|
None => {
|
|
|
|
diff.replacements.insert(lhs.clone().into(), rhs.clone().into());
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
},
|
|
|
|
(Some(element), None) => {
|
|
|
|
diff.deletions.push(element);
|
|
|
|
}
|
|
|
|
(Some(ref lhs_ele), Some(ref rhs_ele)) if syntax_element_eq(lhs_ele, rhs_ele) => {}
|
|
|
|
(Some(lhs_ele), Some(rhs_ele)) => go(diff, lhs_ele, rhs_ele),
|
|
|
|
}
|
|
|
|
last_lhs = lhs_child.or(last_lhs);
|
2019-09-26 07:56:52 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-07-20 12:04:34 -05:00
|
|
|
/// Adds specified children (tokens or nodes) to the current node at the
|
|
|
|
/// specific position.
|
|
|
|
///
|
|
|
|
/// This is a type-unsafe low-level editing API, if you need to use it,
|
|
|
|
/// prefer to create a type-safe abstraction on top of it instead.
|
|
|
|
pub fn insert_children(
|
2020-02-29 06:49:43 -06:00
|
|
|
parent: &SyntaxNode,
|
|
|
|
position: InsertPosition<SyntaxElement>,
|
|
|
|
to_insert: impl IntoIterator<Item = SyntaxElement>,
|
|
|
|
) -> SyntaxNode {
|
|
|
|
let mut to_insert = to_insert.into_iter();
|
|
|
|
_insert_children(parent, position, &mut to_insert)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn _insert_children(
|
2019-07-20 12:04:34 -05:00
|
|
|
parent: &SyntaxNode,
|
|
|
|
position: InsertPosition<SyntaxElement>,
|
2019-09-25 09:19:16 -05:00
|
|
|
to_insert: &mut dyn Iterator<Item = SyntaxElement>,
|
2019-07-20 12:04:34 -05:00
|
|
|
) -> SyntaxNode {
|
2020-04-24 16:40:41 -05:00
|
|
|
let mut delta = TextSize::default();
|
2019-07-20 12:04:34 -05:00
|
|
|
let to_insert = to_insert.map(|element| {
|
|
|
|
delta += element.text_range().len();
|
|
|
|
to_green_element(element)
|
|
|
|
});
|
|
|
|
|
2019-11-19 12:13:36 -06:00
|
|
|
let mut old_children = parent.green().children().map(|it| match it {
|
|
|
|
NodeOrToken::Token(it) => NodeOrToken::Token(it.clone()),
|
|
|
|
NodeOrToken::Node(it) => NodeOrToken::Node(it.clone()),
|
|
|
|
});
|
2019-07-20 12:04:34 -05:00
|
|
|
|
|
|
|
let new_children = match &position {
|
2019-12-04 10:15:55 -06:00
|
|
|
InsertPosition::First => to_insert.chain(old_children).collect::<Vec<_>>(),
|
|
|
|
InsertPosition::Last => old_children.chain(to_insert).collect::<Vec<_>>(),
|
2019-07-20 12:04:34 -05:00
|
|
|
InsertPosition::Before(anchor) | InsertPosition::After(anchor) => {
|
|
|
|
let take_anchor = if let InsertPosition::After(_) = position { 1 } else { 0 };
|
|
|
|
let split_at = position_of_child(parent, anchor.clone()) + take_anchor;
|
2019-11-19 12:13:36 -06:00
|
|
|
let before = old_children.by_ref().take(split_at).collect::<Vec<_>>();
|
2019-12-04 10:15:55 -06:00
|
|
|
before.into_iter().chain(to_insert).chain(old_children).collect::<Vec<_>>()
|
2019-07-20 12:04:34 -05:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
with_children(parent, new_children)
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Replaces all nodes in `to_delete` with nodes from `to_insert`
|
|
|
|
///
|
|
|
|
/// This is a type-unsafe low-level editing API, if you need to use it,
|
|
|
|
/// prefer to create a type-safe abstraction on top of it instead.
|
|
|
|
pub fn replace_children(
|
2020-02-29 06:49:43 -06:00
|
|
|
parent: &SyntaxNode,
|
|
|
|
to_delete: RangeInclusive<SyntaxElement>,
|
|
|
|
to_insert: impl IntoIterator<Item = SyntaxElement>,
|
|
|
|
) -> SyntaxNode {
|
|
|
|
let mut to_insert = to_insert.into_iter();
|
|
|
|
_replace_children(parent, to_delete, &mut to_insert)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn _replace_children(
|
2019-07-20 12:04:34 -05:00
|
|
|
parent: &SyntaxNode,
|
|
|
|
to_delete: RangeInclusive<SyntaxElement>,
|
2019-09-25 09:19:16 -05:00
|
|
|
to_insert: &mut dyn Iterator<Item = SyntaxElement>,
|
2019-07-20 12:04:34 -05:00
|
|
|
) -> SyntaxNode {
|
|
|
|
let start = position_of_child(parent, to_delete.start().clone());
|
|
|
|
let end = position_of_child(parent, to_delete.end().clone());
|
2019-11-19 12:13:36 -06:00
|
|
|
let mut old_children = parent.green().children().map(|it| match it {
|
|
|
|
NodeOrToken::Token(it) => NodeOrToken::Token(it.clone()),
|
|
|
|
NodeOrToken::Node(it) => NodeOrToken::Node(it.clone()),
|
|
|
|
});
|
2019-07-20 12:04:34 -05:00
|
|
|
|
2019-11-19 12:13:36 -06:00
|
|
|
let before = old_children.by_ref().take(start).collect::<Vec<_>>();
|
|
|
|
let new_children = before
|
|
|
|
.into_iter()
|
2019-07-20 12:04:34 -05:00
|
|
|
.chain(to_insert.map(to_green_element))
|
2019-11-19 12:13:36 -06:00
|
|
|
.chain(old_children.skip(end + 1 - start))
|
2019-12-04 10:15:55 -06:00
|
|
|
.collect::<Vec<_>>();
|
2019-07-20 12:04:34 -05:00
|
|
|
with_children(parent, new_children)
|
|
|
|
}
|
|
|
|
|
2020-03-24 11:03:05 -05:00
|
|
|
#[derive(Default)]
|
|
|
|
pub struct SyntaxRewriter<'a> {
|
|
|
|
f: Option<Box<dyn Fn(&SyntaxElement) -> Option<SyntaxElement> + 'a>>,
|
|
|
|
//FIXME: add debug_assertions that all elements are in fact from the same file.
|
|
|
|
replacements: FxHashMap<SyntaxElement, Replacement>,
|
2020-02-29 06:49:43 -06:00
|
|
|
}
|
|
|
|
|
2020-03-24 11:03:05 -05:00
|
|
|
impl fmt::Debug for SyntaxRewriter<'_> {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
|
|
|
f.debug_struct("SyntaxRewriter").field("replacements", &self.replacements).finish()
|
|
|
|
}
|
|
|
|
}
|
2019-09-25 09:57:12 -05:00
|
|
|
|
2020-03-24 11:03:05 -05:00
|
|
|
impl<'a> SyntaxRewriter<'a> {
|
|
|
|
pub fn from_fn(f: impl Fn(&SyntaxElement) -> Option<SyntaxElement> + 'a) -> SyntaxRewriter<'a> {
|
|
|
|
SyntaxRewriter { f: Some(Box::new(f)), replacements: FxHashMap::default() }
|
|
|
|
}
|
|
|
|
pub fn delete<T: Clone + Into<SyntaxElement>>(&mut self, what: &T) {
|
|
|
|
let what = what.clone().into();
|
|
|
|
let replacement = Replacement::Delete;
|
|
|
|
self.replacements.insert(what, replacement);
|
|
|
|
}
|
|
|
|
pub fn replace<T: Clone + Into<SyntaxElement>>(&mut self, what: &T, with: &T) {
|
|
|
|
let what = what.clone().into();
|
|
|
|
let replacement = Replacement::Single(with.clone().into());
|
|
|
|
self.replacements.insert(what, replacement);
|
|
|
|
}
|
2020-05-19 16:12:01 -05:00
|
|
|
pub fn replace_with_many<T: Clone + Into<SyntaxElement>>(
|
|
|
|
&mut self,
|
|
|
|
what: &T,
|
|
|
|
with: Vec<SyntaxElement>,
|
|
|
|
) {
|
|
|
|
let what = what.clone().into();
|
|
|
|
let replacement = Replacement::Many(with);
|
|
|
|
self.replacements.insert(what, replacement);
|
|
|
|
}
|
2020-03-24 11:03:05 -05:00
|
|
|
pub fn replace_ast<T: AstNode>(&mut self, what: &T, with: &T) {
|
|
|
|
self.replace(what.syntax(), with.syntax())
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn rewrite(&self, node: &SyntaxNode) -> SyntaxNode {
|
|
|
|
if self.f.is_none() && self.replacements.is_empty() {
|
|
|
|
return node.clone();
|
|
|
|
}
|
|
|
|
self.rewrite_children(node)
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn rewrite_ast<N: AstNode>(self, node: &N) -> N {
|
|
|
|
N::cast(self.rewrite(node.syntax())).unwrap()
|
|
|
|
}
|
|
|
|
|
2020-06-13 11:55:10 -05:00
|
|
|
/// Returns a node that encompasses all replacements to be done by this rewriter.
|
|
|
|
///
|
|
|
|
/// Passing the returned node to `rewrite` will apply all replacements queued up in `self`.
|
|
|
|
///
|
|
|
|
/// Returns `None` when there are no replacements.
|
2020-03-24 11:03:05 -05:00
|
|
|
pub fn rewrite_root(&self) -> Option<SyntaxNode> {
|
|
|
|
assert!(self.f.is_none());
|
|
|
|
self.replacements
|
|
|
|
.keys()
|
|
|
|
.map(|element| match element {
|
|
|
|
SyntaxElement::Node(it) => it.clone(),
|
|
|
|
SyntaxElement::Token(it) => it.parent(),
|
|
|
|
})
|
2020-06-13 11:55:10 -05:00
|
|
|
// If we only have one replacement, we must return its parent node, since `rewrite` does
|
|
|
|
// not replace the node passed to it.
|
|
|
|
.map(|it| it.parent().unwrap_or(it))
|
2020-03-24 11:03:05 -05:00
|
|
|
.fold1(|a, b| least_common_ancestor(&a, &b).unwrap())
|
|
|
|
}
|
|
|
|
|
|
|
|
fn replacement(&self, element: &SyntaxElement) -> Option<Replacement> {
|
|
|
|
if let Some(f) = &self.f {
|
|
|
|
assert!(self.replacements.is_empty());
|
|
|
|
return f(element).map(Replacement::Single);
|
|
|
|
}
|
|
|
|
self.replacements.get(element).cloned()
|
|
|
|
}
|
|
|
|
|
|
|
|
fn rewrite_children(&self, node: &SyntaxNode) -> SyntaxNode {
|
|
|
|
// FIXME: this could be made much faster.
|
2020-05-19 16:12:01 -05:00
|
|
|
let mut new_children = Vec::new();
|
|
|
|
for child in node.children_with_tokens() {
|
|
|
|
self.rewrite_self(&mut new_children, &child);
|
|
|
|
}
|
2020-03-24 11:03:05 -05:00
|
|
|
with_children(node, new_children)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn rewrite_self(
|
|
|
|
&self,
|
2020-05-19 16:12:01 -05:00
|
|
|
acc: &mut Vec<NodeOrToken<rowan::GreenNode, rowan::GreenToken>>,
|
2020-03-24 11:03:05 -05:00
|
|
|
element: &SyntaxElement,
|
2020-05-19 16:12:01 -05:00
|
|
|
) {
|
2020-03-24 11:03:05 -05:00
|
|
|
if let Some(replacement) = self.replacement(&element) {
|
2020-05-19 16:12:01 -05:00
|
|
|
match replacement {
|
2020-03-24 11:03:05 -05:00
|
|
|
Replacement::Single(NodeOrToken::Node(it)) => {
|
2020-05-19 16:12:01 -05:00
|
|
|
acc.push(NodeOrToken::Node(it.green().clone()))
|
2020-03-24 11:03:05 -05:00
|
|
|
}
|
|
|
|
Replacement::Single(NodeOrToken::Token(it)) => {
|
2020-05-19 16:12:01 -05:00
|
|
|
acc.push(NodeOrToken::Token(it.green().clone()))
|
2020-03-24 11:03:05 -05:00
|
|
|
}
|
2020-05-19 16:12:01 -05:00
|
|
|
Replacement::Many(replacements) => {
|
|
|
|
acc.extend(replacements.iter().map(|it| match it {
|
|
|
|
NodeOrToken::Node(it) => NodeOrToken::Node(it.green().clone()),
|
|
|
|
NodeOrToken::Token(it) => NodeOrToken::Token(it.green().clone()),
|
|
|
|
}))
|
|
|
|
}
|
|
|
|
Replacement::Delete => (),
|
2019-09-25 09:57:12 -05:00
|
|
|
};
|
2020-05-19 16:12:01 -05:00
|
|
|
return;
|
2019-09-25 09:57:12 -05:00
|
|
|
}
|
2020-03-24 11:03:05 -05:00
|
|
|
let res = match element {
|
2019-09-25 09:57:12 -05:00
|
|
|
NodeOrToken::Token(it) => NodeOrToken::Token(it.green().clone()),
|
2020-03-24 11:03:05 -05:00
|
|
|
NodeOrToken::Node(it) => NodeOrToken::Node(self.rewrite_children(it).green().clone()),
|
|
|
|
};
|
2020-05-19 16:12:01 -05:00
|
|
|
acc.push(res)
|
2020-03-24 11:03:05 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-04-03 14:12:07 -05:00
|
|
|
impl ops::AddAssign for SyntaxRewriter<'_> {
|
2020-03-24 11:03:05 -05:00
|
|
|
fn add_assign(&mut self, rhs: SyntaxRewriter) {
|
|
|
|
assert!(rhs.f.is_none());
|
|
|
|
self.replacements.extend(rhs.replacements)
|
2019-09-25 09:57:12 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-03-24 11:03:05 -05:00
|
|
|
#[derive(Clone, Debug)]
|
|
|
|
enum Replacement {
|
|
|
|
Delete,
|
|
|
|
Single(SyntaxElement),
|
2020-05-19 16:12:01 -05:00
|
|
|
Many(Vec<SyntaxElement>),
|
2020-03-24 11:03:05 -05:00
|
|
|
}
|
|
|
|
|
2019-07-20 12:04:34 -05:00
|
|
|
fn with_children(
|
|
|
|
parent: &SyntaxNode,
|
2019-12-04 10:15:55 -06:00
|
|
|
new_children: Vec<NodeOrToken<rowan::GreenNode, rowan::GreenToken>>,
|
2019-07-20 12:04:34 -05:00
|
|
|
) -> SyntaxNode {
|
2020-04-24 16:40:41 -05:00
|
|
|
let len = new_children.iter().map(|it| it.text_len()).sum::<TextSize>();
|
2020-01-09 09:20:05 -06:00
|
|
|
let new_node = rowan::GreenNode::new(rowan::SyntaxKind(parent.kind() as u16), new_children);
|
2019-07-21 05:28:58 -05:00
|
|
|
let new_root_node = parent.replace_with(new_node);
|
|
|
|
let new_root_node = SyntaxNode::new_root(new_root_node);
|
2019-07-20 12:04:34 -05:00
|
|
|
|
|
|
|
// FIXME: use a more elegant way to re-fetch the node (#1185), make
|
|
|
|
// `range` private afterwards
|
|
|
|
let mut ptr = SyntaxNodePtr::new(parent);
|
2020-04-24 16:40:41 -05:00
|
|
|
ptr.range = TextRange::at(ptr.range.start(), len);
|
2019-07-21 05:28:58 -05:00
|
|
|
ptr.to_node(&new_root_node)
|
2019-07-20 12:04:34 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn position_of_child(parent: &SyntaxNode, child: SyntaxElement) -> usize {
|
|
|
|
parent
|
|
|
|
.children_with_tokens()
|
|
|
|
.position(|it| it == child)
|
|
|
|
.expect("element is not a child of current element")
|
|
|
|
}
|
|
|
|
|
|
|
|
fn to_green_element(element: SyntaxElement) -> NodeOrToken<rowan::GreenNode, rowan::GreenToken> {
|
|
|
|
match element {
|
|
|
|
NodeOrToken::Node(it) => it.green().clone().into(),
|
|
|
|
NodeOrToken::Token(it) => it.green().clone().into(),
|
|
|
|
}
|
2018-08-07 10:28:30 -05:00
|
|
|
}
|