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
|
// Test of use of Lock interface
import java.util.Date;
import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;
import org.checkerframework.checker.lock.qual.Holding;
import org.checkerframework.checker.lock.qual.MayReleaseLocks;
import org.checkerframework.checker.lock.qual.ReleasesNoLocks;
class LockInterfaceTest {
static final Lock myStaticLock = new ReentrantLock(true);
private static final Date x = new Date((long) (System.currentTimeMillis() * Math.random()));
@Holding("myStaticLock")
@ReleasesNoLocks
static void method4() {
System.out.println(x);
}
@Holding("LockInterfaceTest.myStaticLock")
@ReleasesNoLocks
static void method5() {
System.out.println(x);
}
@MayReleaseLocks
public static void test1() {
LockInterfaceTest.myStaticLock.lock();
method4();
LockInterfaceTest.myStaticLock.unlock();
}
@MayReleaseLocks
public static void test2() {
LockInterfaceTest.myStaticLock.lock();
method5();
LockInterfaceTest.myStaticLock.unlock();
}
@MayReleaseLocks
public static void test3() {
myStaticLock.lock();
method4();
myStaticLock.unlock();
}
@MayReleaseLocks
public static void test4() {
myStaticLock.lock();
method5();
myStaticLock.unlock();
}
}
|
