checker/tests/nullness/NNOEMoreTests.java

import org.checkerframework.checker.nullness.qual.*;
import org.checkerframework.checker.nullness.qual.RequiresNonNull;

public class NNOEMoreTests {
  class NNOEMain {
    protected @Nullable String nullable = null;
    @Nullable String otherNullable = null;

    @RequiresNonNull("nullable")
    void test1() {
      nullable.toString();
    }

    @RequiresNonNull("xxx")
    // :: error: (flowexpr.parse.error)
    void test2() {
      // :: error: (dereference.of.nullable)
      nullable.toString();
    }
  }

  class NNOESeparate {
    void call1(NNOEMain p) {
      // :: error: (contracts.precondition)
      p.test1();

      Object xxx = new Object();
      // :: error: (flowexpr.parse.error)
      p.test2();
    }

    void call2(NNOEMain p) {
      p.nullable = "";
      p.test1();
    }
  }

  @Nullable Object field1;

  @RequiresNonNull("field1")
  void methWithIf1() {
    if (5 < 99) {
    } else {
      field1.hashCode();
    }
  }
}