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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
import java.util.ArrayList;
import java.util.List;
import org.checkerframework.common.reflection.qual.ClassBound;
import org.checkerframework.common.reflection.qual.ClassVal;
public class ClassValInferenceTest {
class Inner {
Inner() {
@ClassBound("ClassValInferenceTest$Inner") Class<?> c1 = this.getClass();
@ClassBound("ClassValInferenceTest") Class<?> c2 = ClassValInferenceTest.this.getClass();
}
}
public void classLiterals() {
@ClassVal("java.lang.Object") Class<?> c1 = Object.class;
@ClassVal("java.lang.Object[]") Class<?> c2 = Object[].class;
@ClassVal("java.lang.Object[][][]") Class<?> c3 = Object[][][].class;
@ClassVal("ClassValInferenceTest$Inner") Class<?> c4 = Inner.class;
@ClassVal("byte") Class<? extends Byte> c5 = byte.class;
}
public void classForName() throws ClassNotFoundException {
@ClassVal("ClassValInferenceTest$Inner") Class<?> c = Class.forName("ClassValInferenceTest$Inner");
@ClassVal("java.lang.Object") Class<?> c1 = Class.forName("java.lang.Object");
}
boolean flag = true;
public void classForNameStringVal() throws ClassNotFoundException {
Class<?> c2;
if (flag) {
c2 = Class.forName("java.lang.Byte");
} else {
c2 = Class.forName("java.lang.Integer");
}
@ClassVal({"java.lang.Byte", "java.lang.Integer"}) Class<?> c3 = c2;
}
public <T extends Number, I extends Number & List<String>> void testGetClass(
T typeVar, I intersect) {
@ClassBound("ClassValInferenceTest") Class<?> c1 = this.getClass();
@ClassBound("ClassValInferenceTest") Class<?> c2 = getClass();
String[] array = {"hello"};
@ClassBound("java.lang.String[]") Class<?> c3 = array.getClass();
String[][][][] arrayMulti = null;
@ClassBound("java.lang.String[][][][]") Class<?> c4 = arrayMulti.getClass();
@ClassBound("java.lang.String") Class<?> c5 = array[0].getClass();
List<String> list = null;
@ClassBound("java.util.List") Class<?> c6 = list.getClass();
@ClassBound("java.lang.Number") Class<?> c7 = typeVar.getClass();
@ClassBound("java.util.ArrayList") Class<?> c8 = new ArrayList<String>().getClass();
List<? super Number> wildCardListLB = null;
List<? extends Number> wildCardListUB = null;
@ClassBound("java.lang.Object") Class<?> c9 = wildCardListLB.get(0).getClass();
@ClassBound("java.lang.Number") Class<?> c10 = wildCardListUB.get(0).getClass();
Integer i = 0;
@ClassBound("java.lang.Integer") Class<?> c11 = i.getClass();
@ClassBound("java.lang.Object") Class<?> c12 = intersect.getClass();
try {
} catch (NullPointerException | ArrayIndexOutOfBoundsException ex) {
@ClassBound("java.lang.RuntimeException") Class<?> c = ex.getClass();
}
}
}
|
