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
|
import org.checkerframework.framework.test.*;
import testlib.util.*;
class NonMethodCode {
@Odd String f1 = null;
String g1 = "def";
static @Odd String sf1 = null;
static String sg1 = "def";
// test flow for field initializer
@Odd String f2 = g1 == f1 ? g1 : f1;
// test flow for initializer blocks
{
String l1 = f1;
@Odd String l2 = l1;
if (g1 == f1) {
@Odd String l3 = g1;
}
// :: error: (assignment.type.incompatible)
@Odd String l4 = g1;
}
// test flow for static initializer blocks
static {
String l1 = sf1;
@Odd String l2 = l1;
if (sg1 == sf1) {
@Odd String l3 = sg1;
}
// :: error: (assignment.type.incompatible)
@Odd String l4 = sg1;
}
}
|
