1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
import java.util.List;
import org.checkerframework.checker.nullness.qual.*;
public class KeyForSubst {
/*
static class MyClass<T> {
public T next() { return null; }
}
*/
@KeyFor("#1") String getMain(Object m) {
throw new RuntimeException();
}
List<@KeyFor("#1") String> getDeep(Object m) {
throw new RuntimeException();
}
@KeyFor("#1") List<@KeyFor("#2") String> getBoth(Object l, Object m) {
throw new RuntimeException();
}
// OK, I think the annotation on the index is overdoing it, but it works.
@KeyFor("#1") String @KeyFor("#2") [] getArray(Object l, Object m) {
throw new RuntimeException();
}
public void testAssignMain(Object lastMap) {
@KeyFor("lastMap") String key = getMain(lastMap);
}
public void testAssignDeep(Object lastMap) {
List<@KeyFor("lastMap") String> key = getDeep(lastMap);
}
public void testAssignBoth(Object lastMap, Object newMap) {
@KeyFor("lastMap") List<@KeyFor("newMap") String> key = getBoth(lastMap, newMap);
}
public void testAssignArray(Object lastMap, Object newMap) {
@KeyFor("lastMap") String @KeyFor("newMap") [] key = getArray(lastMap, newMap);
}
}
|
