rust/crates/libeditor/src/edit.rs

81 lines
1.9 KiB
Rust
Raw Normal View History

2018-08-12 17:50:16 +02:00
use {TextRange, TextUnit};
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
}
2018-08-13 01:38:34 +02:00
#[derive(Debug, Clone)]
2018-08-12 17:50:16 +02:00
pub struct AtomEdit {
pub delete: TextRange,
pub insert: String,
}
#[derive(Debug)]
pub struct EditBuilder {
atoms: Vec<AtomEdit>
}
impl EditBuilder {
pub fn new() -> EditBuilder {
EditBuilder { atoms: Vec::new() }
}
pub fn replace(&mut self, range: TextRange, replacement: String) {
self.atoms.push(AtomEdit { delete: range, insert: replacement })
}
pub fn delete(&mut self, range: TextRange) {
self.replace(range, String::new());
}
pub fn insert(&mut self, offset: TextUnit, text: String) {
self.replace(TextRange::offset_len(offset, 0.into()), text)
}
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)) {
assert!(a1.end() <= a2.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
}
}
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();
total_len -= atom.end() - atom.start();
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() {
if atom.start() > prev {
buf.push_str(&text[prev..atom.start()]);
}
buf.push_str(&atom.insert);
prev = atom.end();
}
buf.push_str(&text[prev..text.len()]);
assert_eq!(buf.len(), total_len);
buf
2018-08-12 17:50:16 +02:00
}
}
impl AtomEdit {
2018-08-13 01:38:34 +02:00
fn start(&self) -> usize {
u32::from(self.delete.start()) as usize
2018-08-12 17:50:16 +02:00
}
2018-08-13 01:38:34 +02:00
fn end(&self) -> usize {
u32::from(self.delete.end()) as usize
2018-08-12 17:50:16 +02:00
}
}