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
67
68
69
70
|
package a.b.c;
import org.checkerframework.checker.nullness.qual.*;
public class Issue752 {
Issue752 field = new Issue752();
static Issue752 staticField = new Issue752();
Issue752 method() {
return field;
}
static Issue752 staticMethod() {
return staticField;
}
// A package name without a class name is not a valid flow expression string.
@RequiresNonNull("java.lang")
// :: error: (flowexpr.parse.error)
void method1() {}
@RequiresNonNull("java.lang.String.class")
void method2() {}
// A package name without a class name is not a valid flow expression string.
@RequiresNonNull("a.b.c")
// :: error: (flowexpr.parse.error)
void method3() {}
// notaclass does not exist.
@RequiresNonNull("a.b.c.notaclass")
// :: error: (flowexpr.parse.error)
void method4() {}
@RequiresNonNull("a.b.c.Issue752.class")
void method5() {}
@RequiresNonNull("a.b.c.Issue752.staticField")
void method6() {}
@RequiresNonNull("a.b.c.Issue752.staticField.field")
void method7() {}
// field is an instance field, and Issue752 is a class.
@RequiresNonNull("a.b.c.Issue752.field")
// :: error: (flowexpr.parse.error)
void method8() {}
// field is an instance field, and Issue752 is a class.
@RequiresNonNull("a.b.c.Issue752.field.field")
// :: error: (flowexpr.parse.error)
void method9() {}
@RequiresNonNull("a.b.c.Issue752.staticMethod()")
void method10() {}
@RequiresNonNull("a.b.c.Issue752.staticMethod().field")
void method11() {}
// method() is an instance method, and Issue752 is a class.
@RequiresNonNull("a.b.c.Issue752.method()")
// :: error: (flowexpr.parse.error)
void method12() {}
// method() is an instance method, and Issue752 is a class.
@RequiresNonNull("a.b.c.Issue752.method().field")
// :: error: (flowexpr.parse.error)
void method13() {}
}
|
