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
|
package testpackage;
import org.checkerframework.checker.lock.qual.Holding;
class ClassLiterals {
@Holding("ClassLiterals.class")
static Object method1() {
return new Object();
}
// a class literal may not terminate a flow expression string
@Holding("ClassLiterals")
// :: error: (flowexpr.parse.error)
static void method2() {}
@Holding("ClassLiterals.method1()")
static void method3() {}
@Holding("testpackage.ClassLiterals.class")
static void method4() {}
// a class literal may not terminate a flow expression string
@Holding("testpackage.ClassLiterals")
// :: error: (flowexpr.parse.error)
static void method5() {}
@Holding("testpackage.ClassLiterals.method1()")
static void method6() {}
@Holding("java.lang.Comparable.class")
static void method7() {}
}
|
