1234567891011121314151617181920212223242526272829303132333435363738394041 |
- export function compareScriptCovs(a, b) {
- if (a.url === b.url) {
- return 0;
- }
- else if (a.url < b.url) {
- return -1;
- }
- else {
- return 1;
- }
- }
- export function compareFunctionCovs(a, b) {
- return compareRangeCovs(a.ranges[0], b.ranges[0]);
- }
- export function compareRangeCovs(a, b) {
- if (a.startOffset !== b.startOffset) {
- return a.startOffset - b.startOffset;
- }
- else {
- return b.endOffset - a.endOffset;
- }
- }
|