(int low, int high, double value)
| 356 | } |
| 357 | |
| 358 | private int scrollDown(int low, int high, double value) { |
| 359 | do { |
| 360 | if (low < high) { |
| 361 | low++; |
| 362 | } else { |
| 363 | return low; |
| 364 | } |
| 365 | } while (Numbers.compare(data[low], value) == 0); |
| 366 | return low - 1; |
| 367 | } |
| 368 | |
| 369 | private int scrollUp(int high, double value) { |
| 370 | do { |