rust/crates/ra_text_edit/src/text_edit.rs

85 lines
2.5 KiB
Rust
Raw Normal View History

use crate::AtomTextEdit;
use crate::text_utils::contains_offset_nonstrict;
use text_unit::{TextRange, TextUnit};
2018-08-12 17:50:16 +02:00
2018-08-13 01:38:34 +02:00
#[derive(Debug, Clone)]
pub struct TextEdit {
atoms: Vec<AtomTextEdit>,
2018-08-12 17:50:16 +02:00
}
#[derive(Debug)]
pub struct TextEditBuilder {
atoms: Vec<AtomTextEdit>,
2018-08-12 17:50:16 +02:00
}
impl TextEditBuilder {
pub fn new() -> TextEditBuilder {
TextEditBuilder { atoms: Vec::new() }
2018-08-12 17:50:16 +02:00
}
2018-08-25 11:44:26 +02:00
pub fn replace(&mut self, range: TextRange, replace_with: String) {
self.atoms.push(AtomTextEdit::replace(range, replace_with))
2018-08-12 17:50:16 +02:00
}
pub fn delete(&mut self, range: TextRange) {
self.atoms.push(AtomTextEdit::delete(range))
2018-08-12 17:50:16 +02:00
}
pub fn insert(&mut self, offset: TextUnit, text: String) {
self.atoms.push(AtomTextEdit::insert(offset, text))
2018-08-12 17:50:16 +02:00
}
pub fn finish(self) -> TextEdit {
2018-08-13 01:38:34 +02:00
let mut atoms = self.atoms;
atoms.sort_by_key(|a| (a.delete.start(), a.delete.end()));
2018-08-13 01:38:34 +02:00
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
}
TextEdit { 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 TextEdit {
2018-12-21 09:24:16 +01:00
pub fn as_atoms(&self) -> &[AtomTextEdit] {
&self.atoms
2018-08-13 01:38:34 +02:00
}
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
}