1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
import java.util.Arrays;
import org.checkerframework.checker.index.qual.*;
public class BinarySearchTest {
private final long @SameLen("iNameKeys") [] iTransitions;
private final String @SameLen("iTransitions") [] iNameKeys;
private BinarySearchTest(
long @SameLen("iNameKeys") [] transitions,
String @SameLen("iTransitions") [] nameKeys) {
iTransitions = transitions;
iNameKeys = nameKeys;
}
public String getNameKey(long instant) {
long[] transitions = iTransitions;
int i = Arrays.binarySearch(transitions, instant);
if (i >= 0) {
return iNameKeys[i];
}
i = ~i;
if (i > 0) {
return iNameKeys[i - 1];
}
return "";
}
public String getNameKey2(long instant) {
long[] transitions = iTransitions;
int i = Arrays.binarySearch(transitions, instant);
if (i >= 0) {
return iNameKeys[i];
}
i = ~i;
if (i < iNameKeys.length) {
return iNameKeys[i];
}
return "";
}
}
|
