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
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
|
import org.checkerframework.checker.signedness.qual.*;
// Test Java 8 unsigned utils
public class UtilsJava8 {
public void annotatedJDKTests(
@Unsigned long ulong,
@Signed long slong,
@Unsigned int uint,
@Signed int sint,
char[] buf,
String s) {
String resString;
int resInt;
long resLong;
// :: error: (argument.type.incompatible)
resString = Long.toUnsignedString(slong, sint);
resString = Long.toUnsignedString(ulong, sint);
// :: error: (argument.type.incompatible)
resString = Long.toUnsignedString(slong);
resString = Long.toUnsignedString(ulong);
// :: error: (assignment.type.incompatible)
slong = Long.parseUnsignedLong(s, sint);
ulong = Long.parseUnsignedLong(s, sint);
// :: error: (assignment.type.incompatible)
slong = Long.parseUnsignedLong(s);
ulong = Long.parseUnsignedLong(s);
// :: error: (argument.type.incompatible)
resInt = Long.compareUnsigned(slong, slong);
// :: error: (argument.type.incompatible)
resInt = Long.compareUnsigned(slong, ulong);
// :: error: (argument.type.incompatible)
resInt = Long.compareUnsigned(ulong, slong);
resInt = Long.compareUnsigned(ulong, ulong);
// :: error: (argument.type.incompatible)
ulong = Long.divideUnsigned(slong, slong);
// :: error: (argument.type.incompatible)
ulong = Long.divideUnsigned(slong, ulong);
// :: error: (argument.type.incompatible)
ulong = Long.divideUnsigned(ulong, slong);
// :: error: (assignment.type.incompatible)
slong = Long.divideUnsigned(ulong, ulong);
ulong = Long.divideUnsigned(ulong, ulong);
// :: error: (argument.type.incompatible)
ulong = Long.remainderUnsigned(slong, slong);
// :: error: (argument.type.incompatible)
ulong = Long.remainderUnsigned(slong, ulong);
// :: error: (argument.type.incompatible)
ulong = Long.remainderUnsigned(ulong, slong);
// :: error: (assignment.type.incompatible)
slong = Long.remainderUnsigned(ulong, ulong);
ulong = Long.remainderUnsigned(ulong, ulong);
// :: error: (argument.type.incompatible)
resString = Integer.toUnsignedString(sint, sint);
resString = Integer.toUnsignedString(uint, sint);
// :: error: (argument.type.incompatible)
resString = Integer.toUnsignedString(sint);
resString = Integer.toUnsignedString(uint);
// :: error: (assignment.type.incompatible)
sint = Integer.parseUnsignedInt(s, sint);
uint = Integer.parseUnsignedInt(s, sint);
// :: error: (assignment.type.incompatible)
sint = Integer.parseUnsignedInt(s);
uint = Integer.parseUnsignedInt(s);
// :: error: (argument.type.incompatible)
resInt = Integer.compareUnsigned(sint, sint);
// :: error: (argument.type.incompatible)
resInt = Integer.compareUnsigned(sint, uint);
// :: error: (argument.type.incompatible)
resInt = Integer.compareUnsigned(uint, sint);
resInt = Integer.compareUnsigned(uint, uint);
resLong = Integer.toUnsignedLong(sint);
// :: error: (argument.type.incompatible)
ulong = Integer.toUnsignedLong(uint);
// :: error: (argument.type.incompatible)
uint = Integer.divideUnsigned(sint, sint);
// :: error: (argument.type.incompatible)
uint = Integer.divideUnsigned(sint, uint);
// :: error: (argument.type.incompatible)
uint = Integer.divideUnsigned(uint, sint);
// :: error: (assignment.type.incompatible)
sint = Integer.divideUnsigned(uint, uint);
uint = Integer.divideUnsigned(uint, uint);
// :: error: (argument.type.incompatible)
uint = Integer.remainderUnsigned(sint, sint);
// :: error: (argument.type.incompatible)
uint = Integer.remainderUnsigned(sint, uint);
// :: error: (argument.type.incompatible)
uint = Integer.remainderUnsigned(uint, sint);
// :: error: (assignment.type.incompatible)
sint = Integer.remainderUnsigned(uint, uint);
uint = Integer.remainderUnsigned(uint, uint);
}
}
|
