import org.checkerframework.common.value.qual.MinLen; | |
@SuppressWarnings("lowerbound") | |
public class ArrayIntro { | |
void test() { | |
int @MinLen(5) [] arr = new int[5]; | |
int a = 9; | |
a += 5; | |
a -= 2; | |
int @MinLen(12) [] arr1 = new int[a]; | |
int @MinLen(3) [] arr2 = {1, 2, 3}; | |
// :: error: (assignment) | |
int @MinLen(4) [] arr3 = {4, 5, 6}; | |
// :: error: (assignment) | |
int @MinLen(7) [] arr4 = new int[4]; | |
// :: error: (assignment) | |
int @MinLen(16) [] arr5 = new int[a]; | |
} | |
} |