checker/tests/nullness/Wildcards.java

// Test case for issue #234.

import java.util.Iterator;
import java.util.List;
import org.checkerframework.checker.nullness.qual.*;

public class Wildcards {

  public static void client1(List<String> strings) {
    join1(strings.iterator());
    join2(strings.iterator());
    join3(strings.iterator());
    join4(strings.iterator());
  }

  public static void client2(Iterator<String> itor) {
    join1(itor);
    join2(itor);
    join3(itor);
    join4(itor);
  }

  public static void client3(Iterator<String> itor) {
    Iterator<?> parts1 = itor;
    Iterator<? extends Object> parts2 = itor;
    Iterator<? extends @Nullable Object> parts3 = itor;
    Iterator<? extends @NonNull Object> parts4 = itor;
  }

  static void join1(Iterator<?> parts) {}

  static void join2(Iterator<? extends Object> parts) {}

  static void join3(Iterator<? extends @Nullable Object> parts) {}

  static void join4(Iterator<? extends @NonNull Object> parts) {}
}