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
|
import org.checkerframework.common.value.qual.ArrayLen;
import org.checkerframework.common.value.qual.ArrayLenRange;
import org.checkerframework.common.value.qual.StringVal;
class StringLenMethods {
void toString(boolean b, char c, byte y, short s, int i, long l) {
@StringVal({"true", "false"}) String bs = Boolean.toString(b);
@ArrayLen(1) String cs = Character.toString(c);
@ArrayLen({1, 2, 3, 4}) String ys = Byte.toString(y);
@ArrayLen({1, 2, 3, 4, 5, 6}) String ss = Short.toString(s);
@ArrayLenRange(from = 1, to = 11) String is = Integer.toString(i);
@ArrayLenRange(from = 1, to = 20) String ls = Long.toString(l);
@StringVal({"true", "false"}) String bbs = Boolean.valueOf(b).toString();
@ArrayLen(1) String bcs = Character.valueOf(c).toString();
@ArrayLen({1, 2, 3, 4}) String bys = Byte.valueOf(y).toString();
@ArrayLen({1, 2, 3, 4, 5, 6}) String bss = Short.valueOf(s).toString();
@ArrayLenRange(from = 1, to = 11) String bis = Integer.valueOf(i).toString();
@ArrayLenRange(from = 1, to = 20) String bls = Long.valueOf(l).toString();
// Added in 1.8
// @ArrayLenRange(from = 1, to = 10) String iu = Integer.toUnsignedString(i);
// @ArrayLenRange(from = 1, to = 19) String lu = Long.toUnsignedString(l);
@StringVal({"true", "false"}) String sbs = String.valueOf(b);
@ArrayLen(1) String scs = String.valueOf(c);
@ArrayLenRange(from = 1, to = 11) String sis = String.valueOf(i);
@ArrayLenRange(from = 1, to = 20) String sls = String.valueOf(l);
}
void toStringRadix(int i, long l, int radix) {
@ArrayLenRange(from = 1) String is = Integer.toString(i, radix);
@ArrayLenRange(from = 1) String ls = Long.toString(l, radix);
// Added in 1.8
// @ArrayLenRange(from = 1) String iu = Integer.toUnsignedString(i, radix);
// @ArrayLenRange(from = 1) String lu = Long.toUnsignedString(l, radix);
@ArrayLenRange(from = 1, to = 32) String ib = Integer.toBinaryString(i);
@ArrayLenRange(from = 1, to = 64) String lb = Long.toBinaryString(l);
@ArrayLenRange(from = 1, to = 8) String ix = Integer.toHexString(i);
@ArrayLenRange(from = 1, to = 16) String lx = Long.toHexString(l);
@ArrayLenRange(from = 1, to = 11) String io = Integer.toOctalString(i);
@ArrayLenRange(from = 1, to = 22) String lo = Long.toOctalString(l);
}
}
|
