checker/tests/nullness-concurrent-semantics/Issue350.java

// Test case for Issue 350:
// https://github.com/typetools/checker-framework/issues/350

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

class Test1 {

  public @Nullable String y;

  public void test2() {
    y = "";
    // Sanity check that -AconcurrentSemantics is set
    // :: error: (dereference.of.nullable)
    y.toString();
  }

  private @MonotonicNonNull String x;

  void test() {
    if (x == null) {
      x = "";
    }
    x.toString();
  }
}

class Test2 {

  private @MonotonicNonNull String x;

  void setX(String x) {
    this.x = x;
  }

  void test() {
    if (x == null) {
      x = "";
    }
    setX(x);
  }
}

class Test3 {

  private @MonotonicNonNull String x;

  @EnsuresNonNull("#1")
  void setX(final String x) {
    this.x = x;
  }
}