Fight bad variable names in replacer

This commit is contained in:
Armin Ronacher 2021-01-17 22:59:50 +01:00
parent e1c6cb8a42
commit fa11404bcb
2 changed files with 111 additions and 75 deletions

View file

@ -3,49 +3,59 @@
pub trait DiffHook: Sized { pub trait DiffHook: Sized {
type Error; type Error;
/// Called when lines with indices `old` (in the old version) and /// Called when lines with indices `old_index` (in the old version) and
/// `new` (in the new version) start an section equal in both /// `new_index` (in the new version) start an section equal in both
/// versions, of length `len`. /// versions, of length `len`.
fn equal(&mut self, old: usize, new: usize, len: usize) -> Result<(), Self::Error> { fn equal(&mut self, old_index: usize, new_index: usize, len: usize) -> Result<(), Self::Error> {
let _old = old; let _ = old_index;
let _new = new; let _ = new_index;
let _len = len; let _ = len;
Ok(()) Ok(())
} }
/// Called when a section of length `len`, starting at `old`, /// Called when a section of length `old_len`, starting at `old_index`,
/// needs to be deleted from the old version. /// needs to be deleted from the old version.
fn delete(&mut self, old: usize, old_len: usize, new: usize) -> Result<(), Self::Error> { fn delete(
let _old = old; &mut self,
let _old_len = old_len; old_index: usize,
let _new = new; old_len: usize,
new_index: usize,
) -> Result<(), Self::Error> {
let _ = old_index;
let _ = old_len;
let _ = new_index;
Ok(()) Ok(())
} }
/// Called when a section of the new version, of length `new_len` /// Called when a section of the new version, of length `new_len`
/// and starting at `new`, needs to be inserted at position `old'. /// and starting at `new_index`, needs to be inserted at position `old_index'.
fn insert(&mut self, old: usize, new: usize, new_len: usize) -> Result<(), Self::Error> { fn insert(
let _old = old; &mut self,
let _new = new; old_index: usize,
let _new_len = new_len; new_index: usize,
new_len: usize,
) -> Result<(), Self::Error> {
let _ = old_index;
let _ = new_index;
let _ = new_len;
Ok(()) Ok(())
} }
/// Called when a section of the old version, starting at index /// Called when a section of the old version, starting at index
/// `old` and of length `old_len`, needs to be replaced with a /// `old_index` and of length `old_len`, needs to be replaced with a
/// section of length `new_len`, starting at `new`, of the new /// section of length `new_len`, starting at `new_index`, of the new
/// version. /// version.
/// ///
/// The default implementations invokes `delete` and `insert`. /// The default implementations invokes `delete` and `insert`.
fn replace( fn replace(
&mut self, &mut self,
old: usize, old_index: usize,
old_len: usize, old_len: usize,
new: usize, new_index: usize,
new_len: usize, new_len: usize,
) -> Result<(), Self::Error> { ) -> Result<(), Self::Error> {
self.delete(old, old_len, new)?; self.delete(old_index, old_len, new_index)?;
self.insert(old, new, new_len) self.insert(old_index, new_index, new_len)
} }
/// Always called at the end of the algorithm. /// Always called at the end of the algorithm.
@ -57,16 +67,26 @@ pub trait DiffHook: Sized {
impl<'a, D: DiffHook + 'a> DiffHook for &'a mut D { impl<'a, D: DiffHook + 'a> DiffHook for &'a mut D {
type Error = D::Error; type Error = D::Error;
fn equal(&mut self, old: usize, new: usize, len: usize) -> Result<(), Self::Error> { fn equal(&mut self, old_index: usize, new_index: usize, len: usize) -> Result<(), Self::Error> {
(*self).equal(old, new, len) (*self).equal(old_index, new_index, len)
} }
fn delete(&mut self, old: usize, len: usize, new: usize) -> Result<(), Self::Error> { fn delete(
(*self).delete(old, len, new) &mut self,
old_index: usize,
old_len: usize,
new_index: usize,
) -> Result<(), Self::Error> {
(*self).delete(old_index, old_len, new_index)
} }
fn insert(&mut self, old: usize, new: usize, new_len: usize) -> Result<(), Self::Error> { fn insert(
(*self).insert(old, new, new_len) &mut self,
old_index: usize,
new_index: usize,
new_len: usize,
) -> Result<(), Self::Error> {
(*self).insert(old_index, new_index, new_len)
} }
fn replace( fn replace(

View file

@ -10,6 +10,7 @@ pub struct Replace<D: DiffHook> {
} }
impl<D: DiffHook> Replace<D> { impl<D: DiffHook> Replace<D> {
/// Creates a new replace hook wrapping another hook.
pub fn new(d: D) -> Self { pub fn new(d: D) -> Self {
Replace { Replace {
d, d,
@ -18,9 +19,32 @@ impl<D: DiffHook> Replace<D> {
eq: None, eq: None,
} }
} }
/// Extracts the inner hook.
pub fn into_inner(self) -> D { pub fn into_inner(self) -> D {
self.d self.d
} }
fn flush_eq(&mut self) -> Result<(), D::Error> {
if let Some((eq_old_index, eq_new_index, eq_len)) = self.eq.take() {
self.d.equal(eq_old_index, eq_new_index, eq_len)?
}
Ok(())
}
fn flush_del_ins(&mut self) -> Result<(), D::Error> {
if let Some((del_old_index, del_old_len, del_new_index)) = self.del.take() {
if let Some((_, ins_new_index, ins_new_len)) = self.ins.take() {
self.d
.replace(del_old_index, del_old_len, ins_new_index, ins_new_len)?;
} else {
self.d.delete(del_old_index, del_old_len, del_new_index)?;
}
} else if let Some((ins_old_index, ins_new_index, ins_new_len)) = self.ins.take() {
self.d.insert(ins_old_index, ins_new_index, ins_new_len)?;
}
Ok(())
}
} }
impl<D: DiffHook> AsRef<D> for Replace<D> { impl<D: DiffHook> AsRef<D> for Replace<D> {
@ -37,76 +61,68 @@ impl<D: DiffHook> AsMut<D> for Replace<D> {
impl<D: DiffHook> DiffHook for Replace<D> { impl<D: DiffHook> DiffHook for Replace<D> {
type Error = D::Error; type Error = D::Error;
fn equal(&mut self, old: usize, new: usize, len: usize) -> Result<(), D::Error> {
if let Some((old0, len0, new0)) = self.del.take() {
if let Some((_, new1, new_len1)) = self.ins.take() {
self.d.replace(old0, len0, new1, new_len1)?
} else {
self.d.delete(old0, len0, new0)?
}
} else if let Some((old0, new0, new_len0)) = self.ins.take() {
self.d.insert(old0, new0, new_len0)?
}
if let Some((a, b, c)) = self.eq.take() { fn equal(&mut self, old_index: usize, new_index: usize, len: usize) -> Result<(), D::Error> {
self.eq = Some((a, b, c + len)) self.flush_del_ins()?;
self.eq = if let Some((eq_old_index, eq_new_index, eq_len)) = self.eq.take() {
Some((eq_old_index, eq_new_index, eq_len + len))
} else { } else {
self.eq = Some((old, new, len)) Some((old_index, new_index, len))
} };
Ok(()) Ok(())
} }
fn delete(&mut self, old: usize, len: usize, new: usize) -> Result<(), D::Error> {
fn delete(
&mut self,
old_index: usize,
old_len: usize,
new_index: usize,
) -> Result<(), D::Error> {
if let Some((a, b, c)) = self.eq.take() { if let Some((a, b, c)) = self.eq.take() {
self.d.equal(a, b, c)? self.d.equal(a, b, c)?;
} }
if let Some((old0, len0, new0)) = self.del.take() { if let Some((del_old_index, del_old_len, del_new_index)) = self.del.take() {
assert_eq!(old, old0 + len0); assert_eq!(old_index, del_old_index + del_old_len);
self.del = Some((old0, len0 + len, new0)) self.del = Some((del_old_index, del_old_len + old_len, del_new_index));
} else { } else {
self.del = Some((old, len, new)) self.del = Some((old_index, old_len, new_index));
} }
Ok(()) Ok(())
} }
fn insert(&mut self, old: usize, new: usize, new_len: usize) -> Result<(), D::Error> { fn insert(
if let Some((a, b, c)) = self.eq.take() { &mut self,
self.d.equal(a, b, c)? old_index: usize,
} new_index: usize,
if let Some((old1, new1, new_len1)) = self.ins.take() { new_len: usize,
assert_eq!(new1 + new_len1, new); ) -> Result<(), D::Error> {
self.ins = Some((old1, new1, new_len + new_len1)) self.flush_eq()?;
self.ins = if let Some((ins_old_index, ins_new_index, ins_new_len)) = self.ins.take() {
debug_assert_eq!(ins_new_index + ins_new_len, new_index);
Some((ins_old_index, ins_new_index, new_len + ins_new_len))
} else { } else {
self.ins = Some((old, new, new_len)) Some((old_index, new_index, new_len))
} };
Ok(()) Ok(())
} }
fn replace( fn replace(
&mut self, &mut self,
old: usize, old_index: usize,
old_len: usize, old_len: usize,
new: usize, new_index: usize,
new_len: usize, new_len: usize,
) -> Result<(), D::Error> { ) -> Result<(), D::Error> {
if let Some((a, b, c)) = self.eq.take() { self.flush_eq()?;
self.d.equal(a, b, c)? self.d.replace(old_index, old_len, new_index, new_len)
}
self.d.replace(old, old_len, new, new_len)
} }
fn finish(&mut self) -> Result<(), D::Error> { fn finish(&mut self) -> Result<(), D::Error> {
if let Some((a, b, c)) = self.eq.take() { self.flush_eq()?;
self.d.equal(a, b, c)? self.flush_del_ins()?;
}
if let Some((old0, len0, new0)) = self.del.take() {
if let Some((_, new1, new_len1)) = self.ins.take() {
self.d.replace(old0, len0, new1, new_len1)?
} else {
self.d.delete(old0, len0, new0)?
}
} else if let Some((old0, new0, new_len0)) = self.ins.take() {
self.d.insert(old0, new0, new_len0)?
}
self.d.finish() self.d.finish()
} }
} }