mirrors/etherpad-lite
1
0
Fork 0
mirror of https://github.com/ether/etherpad-lite.git synced 2025-04-21 16:06:16 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 26

skiplist: Move propagateWidthChange() to Node class

Browse source
This commit is contained in:
Richard Hansen 2021-04-12 00:24:39 -04:00
parent fc103e7f2a
commit 9e2ef6ad5b
1 changed files with 17 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

34
src/static/js/skiplist.js
View file

@ -34,6 +34,22 @@ class Node {
this.downSkips = Array(levels).fill(downSkips); this.downSkips = Array(levels).fill(downSkips);
this.downSkipWidths = Array(levels).fill(downSkipWidths); this.downSkipWidths = Array(levels).fill(downSkipWidths);
} }
propagateWidthChange() {
const oldWidth = this.downSkipWidths[0];
const newWidth = _entryWidth(this.entry);
const widthChange = newWidth - oldWidth;
let n = this;
let lvl = 0;
while (lvl < n.levels) {
n.downSkipWidths[lvl] += widthChange;
lvl++;
while (lvl >= n.levels && n.upPtrs[lvl - 1]) {
n = n.upPtrs[lvl - 1];
}
}
return widthChange;
}
} }
// A "point" object at index x allows modifications immediately after the first x elements of the // A "point" object at index x allows modifications immediately after the first x elements of the
@ -193,22 +209,6 @@ class SkipList {
return n; return n;
} }
_propagateWidthChange(node) {
const oldWidth = node.downSkipWidths[0];
const newWidth = _entryWidth(node.entry);
const widthChange = newWidth - oldWidth;
let n = node;
let lvl = 0;
while (lvl < n.levels) {
n.downSkipWidths[lvl] += widthChange;
lvl++;
while (lvl >= n.levels && n.upPtrs[lvl - 1]) {
n = n.upPtrs[lvl - 1];
}
}
this._totalWidth += widthChange;
}
_getNodeIndex(node, byWidth) { _getNodeIndex(node, byWidth) {
let dist = (byWidth ? 0 : -1); let dist = (byWidth ? 0 : -1);
let n = node; let n = node;
@ -313,7 +313,7 @@ class SkipList {
offsetOfEntry(entry) { return this.offsetOfKey(entry.key); } offsetOfEntry(entry) { return this.offsetOfKey(entry.key); }
setEntryWidth(entry, width) { setEntryWidth(entry, width) {
entry.width = width; entry.width = width;
this._propagateWidthChange(this._getNodeByKey(entry.key)); this._totalWidth += this._keyToNodeMap.get(entry.key).propagateWidthChange();
} }
totalWidth() { return this._totalWidth; } totalWidth() { return this._totalWidth; }
offsetOfIndex(i) { offsetOfIndex(i) {