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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
import org.checkerframework.checker.fenum.qual.Fenum;
import qual.MyFenum;
@SuppressWarnings("fenum:assignmenTestStatic.type.incompatible") // initialization of fake enums
class TestStatic {
public static final @Fenum("A") int ACONST1 = 1;
public static final @Fenum("A") int ACONST2 = 2;
public static final @Fenum("B") int BCONST1 = 4;
public static final @Fenum("B") int BCONST2 = 5;
public static final @MyFenum int CCONST1 = 5;
public static final @MyFenum int CCONST2 = 6;
}
class FenumDemo {
@Fenum("A") int state1 = TestStatic.ACONST1; // ok
@Fenum("B") int state2 = TestStatic.ACONST1; // Incompatible fenums forbidden!
@MyFenum int state3 = TestStatic.CCONST1; // ok
void fenumArg(@Fenum("A") int p) {}
void myFenumArg(@MyFenum int p) {}
void foo() {
state1 = 4; // Direct use of value forbidden!
state1 = TestStatic.BCONST1; // Incompatible fenums forbidden!
state1 = TestStatic.ACONST2; // ok
fenumArg(5); // Direct use of value forbidden!
fenumArg(TestStatic.BCONST1); // Incompatible fenums forbidden!
fenumArg(TestStatic.ACONST1); // ok
state3 = 8;
state3 = TestStatic.ACONST2; // Incompatible fenums forbidden!
state3 = TestStatic.CCONST2; // ok
myFenumArg(8); // Direct use of value forbidden!
myFenumArg(TestStatic.BCONST2); // Incompatible fenums forbidden!
myFenumArg(TestStatic.CCONST1); // ok
}
void comparisons() {
if (TestStatic.ACONST1 < TestStatic.ACONST2) {
// ok
}
if (TestStatic.CCONST1 > TestStatic.CCONST2) {
// ok
}
// :: error: (binary.type.incompatible)
if (TestStatic.ACONST1 < TestStatic.BCONST2) {}
// :: error: (binary.type.incompatible)
if (TestStatic.ACONST1 == TestStatic.BCONST2) {}
// :: error: (binary.type.incompatible)
if (TestStatic.ACONST1 >= TestStatic.CCONST2) {}
// :: error: (binary.type.incompatible)
if (TestStatic.ACONST1 < 5) {}
// :: error: (binary.type.incompatible)
if (TestStatic.BCONST1 > 5) {}
// :: error: (binary.type.incompatible)
if (TestStatic.CCONST1 == 5) {}
}
}
|
