PolyNull.java

import checkers.nullness.quals.*;

/**
 * @skip-test
 * This test requires a bit more work with arrays
 */
class Test {
   @PolyNull String identity(@PolyNull String str) { return str; }
   void test1() { identity(null); }
   void test2() { identity((@Nullable String) null); }

   public static @PolyNull String[] typeArray(@PolyNull Object[] seq) {
    @PolyNull String[] retval = new @PolyNull String[seq.length];
    for (int i = 0 ; i < seq.length ; i++) {
      if (seq[i] == null) {
        retval[i] = null;
      } else {
        retval[i] = seq[i].getClass().toString();
      }
    }
    return retval;
  }

}