1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
// Test case for Issue 427:
// https://github.com/typetools/checker-framework/issues/427
// We need to add a warning when an @AssumeAssertion is missing its @ symbol (as below).
import java.util.Map;
import org.checkerframework.checker.nullness.qual.*;
public class Issue427 {
public static void assumeAssertionKeyFor1(String var, Map<String, Integer> m) {
assert m.containsKey(var)
: "@AssumeAssertion(keyfor): keys of leaders and timeKilled are the same";
boolean b = (m.get(var) >= 22);
}
public static void assumeAssertionKeyFor2(String var, Map<String, Integer> m) {
assert m.containsKey(var)
: "@AssumeAssertion(keyfor): keys of leaders and timeKilled are the same";
int x = m.get(var);
}
}
|
