framework/tests/flowexpression/Private.java

package flowexpression;

import java.util.Collection;
import java.util.LinkedHashMap;
import java.util.Map;
import org.checkerframework.framework.testchecker.flowexpression.qual.FlowExp;

public class Private {
  private final Map<String, Object> nameToPpt = new LinkedHashMap<>();

  public Collection<@FlowExp("nameToPpt") String> nameStringSet() {
    throw new RuntimeException();
  }
}