1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
// Test case for issue #55:
// https://github.com/kelloggm/checker-framework/issues/55
import org.checkerframework.checker.index.qual.IndexFor;
import org.checkerframework.common.value.qual.MinLen;
public class LiteralString {
private static final String[] finalField = {"This", "is", "an", "array"};
void testLiteralString() {
@MinLen(10) String s = "This string is long enough";
}
void testLiteralArray() {
String @MinLen(2) [] a = new String[] {"This", "array", "is", "long", "enough"};
String @MinLen(2) [] b = finalField;
@IndexFor("finalField") int i = 0;
}
}
|
