Spaces:
Sleeping
Sleeping
import { RangeCov } from "./types"; | |
export class RangeTree { | |
start: number; | |
end: number; | |
delta: number; | |
children: RangeTree[]; | |
constructor( | |
start: number, | |
end: number, | |
delta: number, | |
children: RangeTree[], | |
) { | |
this.start = start; | |
this.end = end; | |
this.delta = delta; | |
this.children = children; | |
} | |
/** | |
* @precodition `ranges` are well-formed and pre-order sorted | |
*/ | |
static fromSortedRanges(ranges: ReadonlyArray<RangeCov>): RangeTree | undefined { | |
let root: RangeTree | undefined; | |
// Stack of parent trees and parent counts. | |
const stack: [RangeTree, number][] = []; | |
for (const range of ranges) { | |
const node: RangeTree = new RangeTree(range.startOffset, range.endOffset, range.count, []); | |
if (root === undefined) { | |
root = node; | |
stack.push([node, range.count]); | |
continue; | |
} | |
let parent: RangeTree; | |
let parentCount: number; | |
while (true) { | |
[parent, parentCount] = stack[stack.length - 1]; | |
// assert: `top !== undefined` (the ranges are sorted) | |
if (range.startOffset < parent.end) { | |
break; | |
} else { | |
stack.pop(); | |
} | |
} | |
node.delta -= parentCount; | |
parent.children.push(node); | |
stack.push([node, range.count]); | |
} | |
return root; | |
} | |
normalize(): void { | |
const children: RangeTree[] = []; | |
let curEnd: number; | |
let head: RangeTree | undefined; | |
const tail: RangeTree[] = []; | |
for (const child of this.children) { | |
if (head === undefined) { | |
head = child; | |
} else if (child.delta === head.delta && child.start === curEnd!) { | |
tail.push(child); | |
} else { | |
endChain(); | |
head = child; | |
} | |
curEnd = child.end; | |
} | |
if (head !== undefined) { | |
endChain(); | |
} | |
if (children.length === 1) { | |
const child: RangeTree = children[0]; | |
if (child.start === this.start && child.end === this.end) { | |
this.delta += child.delta; | |
this.children = child.children; | |
// `.lazyCount` is zero for both (both are after normalization) | |
return; | |
} | |
} | |
this.children = children; | |
function endChain(): void { | |
if (tail.length !== 0) { | |
head!.end = tail[tail.length - 1].end; | |
for (const tailTree of tail) { | |
for (const subChild of tailTree.children) { | |
subChild.delta += tailTree.delta - head!.delta; | |
head!.children.push(subChild); | |
} | |
} | |
tail.length = 0; | |
} | |
head!.normalize(); | |
children.push(head!); | |
} | |
} | |
/** | |
* @precondition `tree.start < value && value < tree.end` | |
* @return RangeTree Right part | |
*/ | |
split(value: number): RangeTree { | |
let leftChildLen: number = this.children.length; | |
let mid: RangeTree | undefined; | |
// TODO(perf): Binary search (check overhead) | |
for (let i: number = 0; i < this.children.length; i++) { | |
const child: RangeTree = this.children[i]; | |
if (child.start < value && value < child.end) { | |
mid = child.split(value); | |
leftChildLen = i + 1; | |
break; | |
} else if (child.start >= value) { | |
leftChildLen = i; | |
break; | |
} | |
} | |
const rightLen: number = this.children.length - leftChildLen; | |
const rightChildren: RangeTree[] = this.children.splice(leftChildLen, rightLen); | |
if (mid !== undefined) { | |
rightChildren.unshift(mid); | |
} | |
const result: RangeTree = new RangeTree( | |
value, | |
this.end, | |
this.delta, | |
rightChildren, | |
); | |
this.end = value; | |
return result; | |
} | |
/** | |
* Get the range coverages corresponding to the tree. | |
* | |
* The ranges are pre-order sorted. | |
*/ | |
toRanges(): RangeCov[] { | |
const ranges: RangeCov[] = []; | |
// Stack of parent trees and counts. | |
const stack: [RangeTree, number][] = [[this, 0]]; | |
while (stack.length > 0) { | |
const [cur, parentCount]: [RangeTree, number] = stack.pop()!; | |
const count: number = parentCount + cur.delta; | |
ranges.push({startOffset: cur.start, endOffset: cur.end, count}); | |
for (let i: number = cur.children.length - 1; i >= 0; i--) { | |
stack.push([cur.children[i], count]); | |
} | |
} | |
return ranges; | |
} | |
} | |