KeyForPolyAll.java

package nullness.generics;

import java.util.HashMap;
import java.util.Map;
import java.util.Set;
import org.checkerframework.checker.nullness.qual.*;
import org.checkerframework.framework.qual.PolyAll;

// test related to issue 429: https://github.com/typetools/checker-framework/issues/429
class KeyForPolyAll {
    Map<@KeyFor("dict") String, String> dict = new HashMap<@KeyFor("dict") String, String>();

    void m() {
        Set<@KeyFor("dict") String> s = nounSubset(dict.keySet());

        for (@KeyFor("dict") String noun : nounSubset(dict.keySet())) {}
    }

    // This method's declaration uses no @KeyFor annotations
    // because in addition to being used by the dictionary feature,
    // it is also used by a spell checker that only stores sets of words
    // and does not use the notions of dictionaries, maps or keys.
    Set<@PolyAll String> nounSubset(Set<@PolyAll String> words) {
        return words;
    }
}