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
|
import java.util.List;
import org.checkerframework.checker.index.qual.GTENegativeOne;
import org.checkerframework.checker.index.qual.NonNegative;
import org.checkerframework.checker.index.qual.Positive;
import org.checkerframework.common.value.qual.IntRange;
public class GenericAssignment {
public void assignNonNegativeList(List<@NonNegative Integer> l) {
List<@NonNegative Integer> i = l; // line 10
}
public void assignPositiveList(List<@Positive Integer> l) {
List<@Positive Integer> i = l; // line 13
}
public void assignGTENOList(List<@GTENegativeOne Integer> l) {
List<@GTENegativeOne Integer> i = l; // line 16
}
// Similar examples that work
public void assignNonNegativeArrayOK(@NonNegative Integer[] l) {
@NonNegative Integer[] i = l;
}
public void assignIntRangeListOK(List<@IntRange(from = 0) Integer> l) {
List<@IntRange(from = 0) Integer> i = l;
}
}
|
