checker/tests/nullness/flow/MapGet.java

// Test case for issue #372:
// https://github.com/typetools/checker-framework/issues/372

// @skip-test until the issue is fixed

import java.util.HashMap;
import java.util.Map;
import org.checkerframework.checker.nullness.qual.EnsuresNonNull;
import org.checkerframework.checker.nullness.qual.NonNull;

public class MapGet {
  private final Map<String, String> labels = new HashMap<>();

  void foo1(String v) {
    labels.put(v, "");
    labels.get(v).toString();
  }

  @NonNull String foo2(String v) {
    labels.put(v, "");
    return labels.get(v);
  }

  @EnsuresNonNull("labels.get(#1)")
  void foo3(String v) {
    labels.put(v, "");
  }
}