Spaces:
Runtime error
Runtime error
| /* -*- Mode: js; js-indent-level: 2; -*- */ | |
| /* | |
| * Copyright 2011 Mozilla Foundation and contributors | |
| * Licensed under the New BSD license. See LICENSE or: | |
| * http://opensource.org/licenses/BSD-3-Clause | |
| */ | |
| exports.GREATEST_LOWER_BOUND = 1; | |
| exports.LEAST_UPPER_BOUND = 2; | |
| /** | |
| * Recursive implementation of binary search. | |
| * | |
| * @param aLow Indices here and lower do not contain the needle. | |
| * @param aHigh Indices here and higher do not contain the needle. | |
| * @param aNeedle The element being searched for. | |
| * @param aHaystack The non-empty array being searched. | |
| * @param aCompare Function which takes two elements and returns -1, 0, or 1. | |
| * @param aBias Either 'binarySearch.GREATEST_LOWER_BOUND' or | |
| * 'binarySearch.LEAST_UPPER_BOUND'. Specifies whether to return the | |
| * closest element that is smaller than or greater than the one we are | |
| * searching for, respectively, if the exact element cannot be found. | |
| */ | |
| function recursiveSearch(aLow, aHigh, aNeedle, aHaystack, aCompare, aBias) { | |
| // This function terminates when one of the following is true: | |
| // | |
| // 1. We find the exact element we are looking for. | |
| // | |
| // 2. We did not find the exact element, but we can return the index of | |
| // the next-closest element. | |
| // | |
| // 3. We did not find the exact element, and there is no next-closest | |
| // element than the one we are searching for, so we return -1. | |
| var mid = Math.floor((aHigh - aLow) / 2) + aLow; | |
| var cmp = aCompare(aNeedle, aHaystack[mid], true); | |
| if (cmp === 0) { | |
| // Found the element we are looking for. | |
| return mid; | |
| } | |
| else if (cmp > 0) { | |
| // Our needle is greater than aHaystack[mid]. | |
| if (aHigh - mid > 1) { | |
| // The element is in the upper half. | |
| return recursiveSearch(mid, aHigh, aNeedle, aHaystack, aCompare, aBias); | |
| } | |
| // The exact needle element was not found in this haystack. Determine if | |
| // we are in termination case (3) or (2) and return the appropriate thing. | |
| if (aBias == exports.LEAST_UPPER_BOUND) { | |
| return aHigh < aHaystack.length ? aHigh : -1; | |
| } else { | |
| return mid; | |
| } | |
| } | |
| else { | |
| // Our needle is less than aHaystack[mid]. | |
| if (mid - aLow > 1) { | |
| // The element is in the lower half. | |
| return recursiveSearch(aLow, mid, aNeedle, aHaystack, aCompare, aBias); | |
| } | |
| // we are in termination case (3) or (2) and return the appropriate thing. | |
| if (aBias == exports.LEAST_UPPER_BOUND) { | |
| return mid; | |
| } else { | |
| return aLow < 0 ? -1 : aLow; | |
| } | |
| } | |
| } | |
| /** | |
| * This is an implementation of binary search which will always try and return | |
| * the index of the closest element if there is no exact hit. This is because | |
| * mappings between original and generated line/col pairs are single points, | |
| * and there is an implicit region between each of them, so a miss just means | |
| * that you aren't on the very start of a region. | |
| * | |
| * @param aNeedle The element you are looking for. | |
| * @param aHaystack The array that is being searched. | |
| * @param aCompare A function which takes the needle and an element in the | |
| * array and returns -1, 0, or 1 depending on whether the needle is less | |
| * than, equal to, or greater than the element, respectively. | |
| * @param aBias Either 'binarySearch.GREATEST_LOWER_BOUND' or | |
| * 'binarySearch.LEAST_UPPER_BOUND'. Specifies whether to return the | |
| * closest element that is smaller than or greater than the one we are | |
| * searching for, respectively, if the exact element cannot be found. | |
| * Defaults to 'binarySearch.GREATEST_LOWER_BOUND'. | |
| */ | |
| exports.search = function search(aNeedle, aHaystack, aCompare, aBias) { | |
| if (aHaystack.length === 0) { | |
| return -1; | |
| } | |
| var index = recursiveSearch(-1, aHaystack.length, aNeedle, aHaystack, | |
| aCompare, aBias || exports.GREATEST_LOWER_BOUND); | |
| if (index < 0) { | |
| return -1; | |
| } | |
| // We have found either the exact element, or the next-closest element than | |
| // the one we are searching for. However, there may be more than one such | |
| // element. Make sure we always return the smallest of these. | |
| while (index - 1 >= 0) { | |
| if (aCompare(aHaystack[index], aHaystack[index - 1], true) !== 0) { | |
| break; | |
| } | |
| --index; | |
| } | |
| return index; | |
| }; | |