1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
import org.checkerframework.checker.index.qual.LTLengthOf;
import org.checkerframework.checker.index.qual.LessThan;
class Issue2613 {
private static final String STRING_CONSTANT = "Hello";
void integerConstant() {
require_lt(0, Integer.MAX_VALUE);
}
void StringConstant() {
require_lt(0, STRING_CONSTANT);
}
void require_lt(@LessThan("#2") int a, int b) {}
void require_lt(@LTLengthOf("#2") int a, String b) {}
void method(@LessThan("Integer.MAX_VALUE") long x, @LessThan("Integer.MAX_VALUE") long y) {
x = y;
@LessThan("2147483647") long z = y;
}
}
|
