checker/tests/nullness/Conditions.java

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

public class Conditions {

  @Nullable Object f;

  void test1(Conditions c) {
    if (!(c.f != null)) {
      return;
    }
    c.f.hashCode();
  }

  void test2(Conditions c) {
    if (!(c.f != null) || 5 > 9) {
      return;
    }
    c.f.hashCode();
  }

  @EnsuresNonNullIf(expression = "f", result = true)
  public boolean isNN() {
    return (f != null);
  }

  void test1m(Conditions c) {
    if (!(c.isNN())) {
      return;
    }
    c.f.hashCode();
  }

  void test2m(Conditions c) {
    if (!(c.isNN()) || 5 > 9) {
      return;
    }
    c.f.hashCode();
  }
}