1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
// Test case for Issue 328:
// https://github.com/typetools/checker-framework/issues/328
import java.util.Map;
import org.checkerframework.checker.nullness.qual.*;
class KeyForIssue328 {
public static void m(Map<Object, Object> a, Map<Object, Object> b, Object ka, Object kb) {
if (a.containsKey(ka)) {
@NonNull Object i = a.get(ka); // OK
}
if (b.containsKey(kb)) {
@NonNull Object i = b.get(kb); // OK
}
if (a.containsKey(ka) && b.containsKey(kb)) {
@NonNull Object i = a.get(ka); // OK
@NonNull Object j = b.get(kb); // OK
}
}
}
|
