| import org.checkerframework.checker.index.qual.LTEqLengthOf; |
| import org.checkerframework.checker.index.qual.LTLengthOf; |
| import org.checkerframework.checker.index.qual.UpperBoundUnknown; |
| |
| public class UBSubtyping { |
| int[] arr = {1}; |
| int[] arr2 = {1}; |
| int[] arr3 = {1}; |
| |
| void test(@LTEqLengthOf({"arr", "arr2", "arr3"}) int test) { |
| // :: error: (assignment) |
| @LTEqLengthOf({"arr"}) int a = 1; |
| // :: error: (assignment) |
| @LTLengthOf({"arr"}) int a1 = 1; |
| |
| // :: error: (assignment) |
| @LTLengthOf({"arr"}) int b = a; |
| @UpperBoundUnknown int d = a; |
| |
| // :: error: (assignment) |
| @LTLengthOf({"arr2"}) int g = a; |
| |
| // :: error: (assignment) |
| @LTEqLengthOf({"arr", "arr2", "arr3"}) int h = 2; |
| |
| @LTEqLengthOf({"arr", "arr2"}) int h2 = test; |
| @LTEqLengthOf({"arr"}) int i = test; |
| @LTEqLengthOf({"arr", "arr3"}) int j = test; |
| } |
| } |