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
44
|
import org.checkerframework.framework.test.*;
import testlib.util.*;
class Equal {
String f1, f2, f3;
// annotation inference for equality
void t1(@Odd String p1, String p2) {
// :: error: (assignment.type.incompatible)
@Odd String l1 = f1;
if (f1 == p1) {
@Odd String l2 = f1;
} else {
// :: error: (assignment.type.incompatible)
@Odd String l3 = f1;
}
}
// annotation inference for equality
void t2(@Odd String p1, String p2) {
// :: error: (assignment.type.incompatible)
@Odd String l1 = f1;
if (f1 != p1) {
// :: error: (assignment.type.incompatible)
@Odd String l2 = f1;
} else {
@Odd String l3 = f1;
}
}
void t3(@Odd Long p1) {
// :: error: (assignment.type.incompatible)
@Odd Long l1 = Long.valueOf(2L);
if (Long.valueOf(2L) == p1) {
// The result of valueOf is not deterministic, so it can't be refined.
// :: error: (assignment.type.incompatible)
@Odd Long l2 = Long.valueOf(2L);
} else {
// :: error: (assignment.type.incompatible)
@Odd Long l3 = Long.valueOf(2L);
}
}
}
|
