rust/crates/ra_editor/src/edit.rs

84 lines
2.4 KiB
Rust
Raw Normal View History

2018-10-15 19:05:26 +02:00
use crate::{TextRange, TextUnit};
use ra_syntax::{text_utils::contains_offset_nonstrict, AtomEdit};
2018-08-12 17:50:16 +02:00
2018-08-13 01:38:34 +02:00
#[derive(Debug, Clone)]
2018-08-12 17:50:16 +02:00
pub struct Edit {
2018-08-13 01:38:34 +02:00
atoms: Vec<AtomEdit>,
2018-08-12 17:50:16 +02:00
}
#[derive(Debug)]
pub struct EditBuilder {
atoms: Vec<AtomEdit>,
2018-08-12 17:50:16 +02:00
}
impl EditBuilder {
pub fn new() -> EditBuilder {
EditBuilder { atoms: Vec::new() }
}
2018-08-25 11:44:26 +02:00
pub fn replace(&mut self, range: TextRange, replace_with: String) {
self.atoms.push(AtomEdit::replace(range, replace_with))
2018-08-12 17:50:16 +02:00
}
pub fn delete(&mut self, range: TextRange) {
2018-08-25 11:44:26 +02:00
self.atoms.push(AtomEdit::delete(range))
2018-08-12 17:50:16 +02:00
}
pub fn insert(&mut self, offset: TextUnit, text: String) {
2018-08-25 11:44:26 +02:00
self.atoms.push(AtomEdit::insert(offset, text))
2018-08-12 17:50:16 +02:00
}
pub fn finish(self) -> Edit {
2018-08-13 01:38:34 +02:00
let mut atoms = self.atoms;
atoms.sort_by_key(|a| a.delete.start());
for (a1, a2) in atoms.iter().zip(atoms.iter().skip(1)) {
2018-08-25 11:44:26 +02:00
assert!(a1.delete.end() <= a2.delete.start())
2018-08-12 17:50:16 +02:00
}
2018-08-13 01:38:34 +02:00
Edit { atoms }
2018-08-12 17:50:16 +02:00
}
2018-08-29 17:35:28 +02:00
pub fn invalidates_offset(&self, offset: TextUnit) -> bool {
self.atoms
.iter()
.any(|atom| contains_offset_nonstrict(atom.delete, offset))
2018-08-29 17:35:28 +02:00
}
2018-08-12 17:50:16 +02:00
}
impl Edit {
2018-08-13 01:38:34 +02:00
pub fn into_atoms(self) -> Vec<AtomEdit> {
self.atoms
}
2018-08-12 17:50:16 +02:00
pub fn apply(&self, text: &str) -> String {
2018-08-13 01:38:34 +02:00
let mut total_len = text.len();
2018-08-12 17:50:16 +02:00
for atom in self.atoms.iter() {
2018-08-13 01:38:34 +02:00
total_len += atom.insert.len();
2018-08-25 11:44:26 +02:00
total_len -= u32::from(atom.delete.end() - atom.delete.start()) as usize;
2018-08-12 17:50:16 +02:00
}
2018-08-13 01:38:34 +02:00
let mut buf = String::with_capacity(total_len);
let mut prev = 0;
for atom in self.atoms.iter() {
2018-08-25 11:44:26 +02:00
let start = u32::from(atom.delete.start()) as usize;
let end = u32::from(atom.delete.end()) as usize;
if start > prev {
buf.push_str(&text[prev..start]);
2018-08-13 01:38:34 +02:00
}
buf.push_str(&atom.insert);
2018-08-25 11:44:26 +02:00
prev = end;
2018-08-13 01:38:34 +02:00
}
buf.push_str(&text[prev..text.len()]);
assert_eq!(buf.len(), total_len);
buf
2018-08-12 17:50:16 +02:00
}
2018-08-15 22:24:20 +02:00
pub fn apply_to_offset(&self, offset: TextUnit) -> Option<TextUnit> {
let mut res = offset;
for atom in self.atoms.iter() {
if atom.delete.start() >= offset {
break;
}
if offset < atom.delete.end() {
return None;
2018-08-15 22:24:20 +02:00
}
res += TextUnit::of_str(&atom.insert);
res -= atom.delete.len();
}
Some(res)
}
2018-08-12 17:50:16 +02:00
}