checker/tests/index/BinarySearchTest.java

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 "";
  }
}