mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-06 10:42:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

Remove inline assertions about RopeBuilder invariants

Browse source
This commit is contained in:
Max Brunsfeld 2021-05-14 14:07:25 -07:00
parent 79c91de2f4
commit fc2533555c
1 changed files with 0 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
zed/src/editor/buffer/mod.rs
View file

@ -1252,7 +1252,6 @@ impl Buffer {
new_fragments = new_fragments =
fragments_cursor.slice(&FragmentIdRef::new(first_split_id), SeekBias::Left, &()); fragments_cursor.slice(&FragmentIdRef::new(first_split_id), SeekBias::Left, &());
new_ropes.keep(new_fragments.summary().text); new_ropes.keep(new_fragments.summary().text);
assert_eq!(new_ropes.summary(), new_fragments.summary().text);
loop { loop {
let mut fragment = fragments_cursor.item().unwrap().clone(); let mut fragment = fragments_cursor.item().unwrap().clone();
@ -1269,7 +1268,6 @@ impl Buffer {
} }
new_fragments.push(fragment.clone(), &()); new_fragments.push(fragment.clone(), &());
assert_eq!(new_ropes.summary(), new_fragments.summary().text,);
fragments_cursor.next(); fragments_cursor.next();
if let Some(split_id) = insertion_splits.next() { if let Some(split_id) = insertion_splits.next() {
@ -1288,7 +1286,6 @@ impl Buffer {
&(), &(),
); );
new_ropes.keep(new_fragments.summary().text); new_ropes.keep(new_fragments.summary().text);
assert_eq!(new_ropes.summary(), new_fragments.summary().text);
while let Some(fragment) = fragments_cursor.item() { while let Some(fragment) = fragments_cursor.item() {
if fragment.id > end_fragment_id { if fragment.id > end_fragment_id {
@ -1314,8 +1311,6 @@ impl Buffer {
} }
new_fragments.push(fragment, &()); new_fragments.push(fragment, &());
assert_eq!(new_ropes.summary(), new_fragments.summary().text);
fragments_cursor.next(); fragments_cursor.next();
} }
} }
@ -1422,7 +1417,6 @@ impl Buffer {
let mut new_ropes = let mut new_ropes =
RopeBuilder::new(old_visible_text.cursor(0), old_deleted_text.cursor(0)); RopeBuilder::new(old_visible_text.cursor(0), old_deleted_text.cursor(0));
new_ropes.keep(new_fragments.summary().text); new_ropes.keep(new_fragments.summary().text);
assert_eq!(new_ropes.summary(), new_fragments.summary().text);
let mut start_id = None; let mut start_id = None;
let mut start_offset = None; let mut start_offset = None;
@ -1463,8 +1457,6 @@ impl Buffer {
new_ropes.keep(prefix.summary().text); new_ropes.keep(prefix.summary().text);
new_fragments.push(prefix.clone(), &()); new_fragments.push(prefix.clone(), &());
assert_eq!(new_ropes.summary(), new_fragments.summary().text);
new_split_tree.push( new_split_tree.push(
InsertionSplit { InsertionSplit {
extent: prefix.range_in_insertion.end - prefix.range_in_insertion.start, extent: prefix.range_in_insertion.end - prefix.range_in_insertion.start,
@ -1498,7 +1490,6 @@ impl Buffer {
new_ropes.insert(&new_text); new_ropes.insert(&new_text);
new_fragments.push(new_fragment, &()); new_fragments.push(new_fragment, &());
assert_eq!(new_ropes.summary(), new_fragments.summary().text);
} }
} }
@ -1519,8 +1510,6 @@ impl Buffer {
} }
fragment.range_in_insertion.start = prefix.range_in_insertion.end; fragment.range_in_insertion.start = prefix.range_in_insertion.end;
new_fragments.push(prefix.clone(), &()); new_fragments.push(prefix.clone(), &());
assert_eq!(new_ropes.summary(), new_fragments.summary().text);
new_split_tree.push( new_split_tree.push(
InsertionSplit { InsertionSplit {
extent: prefix.range_in_insertion.end extent: prefix.range_in_insertion.end
@ -1593,7 +1582,6 @@ impl Buffer {
new_ropes.keep(fragment.summary().text); new_ropes.keep(fragment.summary().text);
} }
new_fragments.push(fragment, &()); new_fragments.push(fragment, &());
assert_eq!(new_ropes.summary(), new_fragments.summary().text);
// Scan forward until we find a fragment that is not fully contained by the current splice. // Scan forward until we find a fragment that is not fully contained by the current splice.
fragments_cursor.next(); fragments_cursor.next();