Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(880)

Unified Diff: third_party/WebKit/Source/devtools/front_end/platform/utilities.js

Issue 1808063002: Timeline: move SegmentedRange into the WebInspector namespace and a file of its own (Closed) Base URL: https://chromium.googlesource.com/chromium/src.git@master
Patch Set: moved Segment around Created 4 years, 9 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: third_party/WebKit/Source/devtools/front_end/platform/utilities.js
diff --git a/third_party/WebKit/Source/devtools/front_end/platform/utilities.js b/third_party/WebKit/Source/devtools/front_end/platform/utilities.js
index 803caaf1eeae8a5370ced9c636ce15618ecc11cd..5f35c10d0bb1efac5433bc860445f198a03d7dfc 100644
--- a/third_party/WebKit/Source/devtools/front_end/platform/utilities.js
+++ b/third_party/WebKit/Source/devtools/front_end/platform/utilities.js
@@ -1564,112 +1564,3 @@ Promise.prototype.catchException = function(defaultValue) {
return defaultValue;
});
}
-
-/**
- * @constructor
- * @param {(function(!Segment, !Segment): ?Segment)=} mergeCallback
- */
-function SegmentedRange(mergeCallback)
-{
- /** @type {!Array<!Segment>} */
- this._segments = [];
- this._mergeCallback = mergeCallback;
-}
-
-/**
- * @constructor
- * @param {number} begin
- * @param {number} end
- * @param {*} data
- */
-function Segment(begin, end, data)
-{
- if (begin > end)
- console.assert(false, "Invalid segment");
- this.begin = begin;
- this.end = end;
- this.data = data;
-}
-
-Segment.prototype = {
- /**
- * @param {!Segment} that
- * @return {boolean}
- */
- intersects: function(that)
- {
- return this.begin < that.end && that.begin < this.end;
- }
-};
-
-SegmentedRange.prototype = {
- /**
- * @param {!Segment} newSegment
- */
- append: function(newSegment)
- {
- // 1. Find the proper insertion point for new segment
- var startIndex = this._segments.lowerBound(newSegment, (a, b) => a.begin - b.begin);
- var endIndex = startIndex;
- var merged = null;
- if (startIndex > 0) {
- // 2. Try mering the preceding segment
- var precedingSegment = this._segments[startIndex - 1];
- merged = this._tryMerge(precedingSegment, newSegment);
- if (merged) {
- --startIndex;
- newSegment = merged;
- } else if (this._segments[startIndex - 1].end >= newSegment.begin) {
- // 2a. If merge failed and segments overlap, adjust preceding segment.
- // If an old segment entirely contains new one, split it in two.
- if (newSegment.end < precedingSegment.end)
- this._segments.splice(startIndex, 0, new Segment(newSegment.end, precedingSegment.end, precedingSegment.data));
- precedingSegment.end = newSegment.begin;
- }
- }
- // 3. Consume all segments that are entirely covered by the new one.
- while (endIndex < this._segments.length && this._segments[endIndex].end <= newSegment.end)
- ++endIndex;
- // 4. Merge or adjust the succeeding segment if it overlaps.
- if (endIndex < this._segments.length) {
- merged = this._tryMerge(newSegment, this._segments[endIndex]);
- if (merged) {
- endIndex++;
- newSegment = merged;
- } else if (newSegment.intersects(this._segments[endIndex]))
- this._segments[endIndex].begin = newSegment.end;
- }
- this._segments.splice(startIndex, endIndex - startIndex, newSegment);
- },
-
- /**
- * @param {!SegmentedRange} that
- */
- appendRange: function(that)
- {
- that.segments().forEach(segment => this.append(segment));
- },
-
- /**
- * @return {!Array<!Segment>}
- */
- segments: function()
- {
- return this._segments;
- },
-
- /**
- * @param {!Segment} first
- * @param {!Segment} second
- * @return {?Segment}
- */
- _tryMerge: function(first, second)
- {
- var merged = this._mergeCallback && this._mergeCallback(first, second);
- if (!merged)
- return null;
- merged.begin = first.begin;
- merged.end = Math.max(first.end, second.end);
- return merged;
- }
-}

Powered by Google App Engine
This is Rietveld 408576698