blob: 62fa7a427f1697c8ddf80b5c4299b36f7cba0e93 [file] [log] [blame]
// Copyright 2016 The Chromium Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
/**
* @unrestricted
*/
export class Segment {
/**
* @param {number} begin
* @param {number} end
* @param {*} data
*/
constructor(begin, end, data) {
if (begin > end) {
throw new Error('Invalid segment');
}
this.begin = begin;
this.end = end;
this.data = data;
}
/**
* @param {!Segment} that
* @return {boolean}
*/
intersects(that) {
return this.begin < that.end && that.begin < this.end;
}
}
/**
* @unrestricted
*/
export class SegmentedRange {
/**
* @param {(function(!Segment, !Segment): ?Segment)=} mergeCallback
*/
constructor(mergeCallback) {
/** @type {!Array<!Segment>} */
this._segments = [];
this._mergeCallback = mergeCallback;
}
/**
* @param {!Segment} newSegment
*/
append(newSegment) {
// 1. Find the proper insertion point for new segment
let startIndex = this._segments.lowerBound(newSegment, (a, b) => a.begin - b.begin);
let endIndex = startIndex;
let merged = null;
if (startIndex > 0) {
// 2. Try mering the preceding segment
const 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(that) {
that.segments().forEach(segment => this.append(segment));
}
/**
* @return {!Array<!Segment>}
*/
segments() {
return this._segments;
}
/**
* @param {!Segment} first
* @param {!Segment} second
* @return {?Segment}
*/
_tryMerge(first, second) {
const 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;
}
}