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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
|
Demo.java:6: error: [assignment.type.incompatible] incompatible types in assignment.
public static final @Fenum("A") int ACONST1 = 1;
^
found : @FenumUnqualified int
required: @Fenum("A") int
Demo.java:7: error: [assignment.type.incompatible] incompatible types in assignment.
public static final @Fenum("A") int ACONST2 = 2;
^
found : @FenumUnqualified int
required: @Fenum("A") int
Demo.java:9: error: [assignment.type.incompatible] incompatible types in assignment.
public static final @Fenum("B") int BCONST1 = 4;
^
found : @FenumUnqualified int
required: @Fenum("B") int
Demo.java:10: error: [assignment.type.incompatible] incompatible types in assignment.
public static final @Fenum("B") int BCONST2 = 5;
^
found : @FenumUnqualified int
required: @Fenum("B") int
Demo.java:12: error: [assignment.type.incompatible] incompatible types in assignment.
public static final @MyFenum int CCONST1 = 5;
^
found : @FenumUnqualified int
required: @MyFenum int
Demo.java:13: error: [assignment.type.incompatible] incompatible types in assignment.
public static final @MyFenum int CCONST2 = 6;
^
found : @FenumUnqualified int
required: @MyFenum int
Demo.java:19: error: [assignment.type.incompatible] incompatible types in assignment.
@Fenum("B") int state2 = TestStatic.ACONST1; // Incompatible fenums forbidden!
^
found : @Fenum("A") int
required: @Fenum("B") int
Demo.java:28: error: [assignment.type.incompatible] incompatible types in assignment.
state1 = 4; // Direct use of value forbidden!
^
found : @FenumUnqualified int
required: @Fenum("A") int
Demo.java:29: error: [assignment.type.incompatible] incompatible types in assignment.
state1 = TestStatic.BCONST1; // Incompatible fenums forbidden!
^
found : @Fenum("B") int
required: @Fenum("A") int
Demo.java:32: error: [argument.type.incompatible] incompatible types in argument.
fenumArg(5); // Direct use of value forbidden!
^
found : @FenumUnqualified int
required: @Fenum("A") int
Demo.java:33: error: [argument.type.incompatible] incompatible types in argument.
fenumArg(TestStatic.BCONST1); // Incompatible fenums forbidden!
^
found : @Fenum("B") int
required: @Fenum("A") int
Demo.java:36: error: [assignment.type.incompatible] incompatible types in assignment.
state3 = 8;
^
found : @FenumUnqualified int
required: @MyFenum int
Demo.java:37: error: [assignment.type.incompatible] incompatible types in assignment.
state3 = TestStatic.ACONST2; // Incompatible fenums forbidden!
^
found : @Fenum("A") int
required: @MyFenum int
Demo.java:40: error: [argument.type.incompatible] incompatible types in argument.
myFenumArg(8); // Direct use of value forbidden!
^
found : @FenumUnqualified int
required: @MyFenum int
Demo.java:41: error: [argument.type.incompatible] incompatible types in argument.
myFenumArg(TestStatic.BCONST2); // Incompatible fenums forbidden!
^
found : @Fenum("B") int
required: @MyFenum int
Demo.java:54: error: [binary.type.incompatible] binary operation between incompatible fenums: @Fenum("A") int and @Fenum("B") int
if (TestStatic.ACONST1 < TestStatic.BCONST2) {}
^
Demo.java:56: error: [binary.type.incompatible] binary operation between incompatible fenums: @Fenum("A") int and @Fenum("B") int
if (TestStatic.ACONST1 == TestStatic.BCONST2) {}
^
Demo.java:58: error: [binary.type.incompatible] binary operation between incompatible fenums: @Fenum("A") int and @MyFenum int
if (TestStatic.ACONST1 >= TestStatic.CCONST2) {}
^
Demo.java:61: error: [binary.type.incompatible] binary operation between incompatible fenums: @Fenum("A") int and @FenumUnqualified int
if (TestStatic.ACONST1 < 5) {}
^
Demo.java:63: error: [binary.type.incompatible] binary operation between incompatible fenums: @Fenum("B") int and @FenumUnqualified int
if (TestStatic.BCONST1 > 5) {}
^
Demo.java:65: error: [binary.type.incompatible] binary operation between incompatible fenums: @MyFenum int and @FenumUnqualified int
if (TestStatic.CCONST1 == 5) {}
^
21 errors
|
