1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
import java.util.ArrayList;
import java.util.Collection;
import java.util.Collections;
import java.util.Map;
import org.checkerframework.checker.nullness.qual.*;
public final class MissingBoundAnnotations {
public static <K extends Comparable<? super K>, V> Collection<@KeyFor("#1") K> sortedKeySet(
Map<K, V> m) {
ArrayList<@KeyFor("m") K> theKeys = new ArrayList<>(m.keySet());
Collections.sort(theKeys);
return theKeys;
}
public static <K extends Comparable<? super K>, V>
Collection<@KeyFor("#1") K> sortedKeySetSimpler(ArrayList<@KeyFor("#1") K> theKeys) {
Collections.sort(theKeys);
return theKeys;
}
}
|
