checker/tests/nullness/InitializedField.java

import java.util.Stack;
import org.checkerframework.checker.initialization.qual.*;
import org.checkerframework.checker.nullness.qual.*;
import org.checkerframework.dataflow.qual.*;

public final class InitializedField {
  private Stack<Object> stack;

  InitializedField() {
    stack = new Stack<Object>();
    iPeek();
  }

  @RequiresNonNull("stack")
  public Object iPeek(@UnknownInitialization InitializedField this) {
    return stack.peek();
  }

  public static void testJavaClass(InitializedField initField) {
    initField.iPeek();
  }
}