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
|
import org.checkerframework.checker.lock.qual.GuardedBy;
public class SimpleLockTest {
final Object lock1 = new Object(), lock2 = new Object();
void testMethodCall(@GuardedBy("lock1") SimpleLockTest this) {
// :: error: (lock.not.held)
synchronized (lock1) {
}
// :: error: (lock.not.held)
synchronized (this.lock1) {
}
// :: error: (lock.not.held)
synchronized (lock2) {
}
// :: error: (lock.not.held)
synchronized (this.lock2) {
}
final @GuardedBy("myClass.field") MyClass myClass = new MyClass();
// :: error: (lock.not.held)
synchronized (myClass.field) {
}
synchronized (myClass) {
}
}
class MyClass {
final Object field = new Object();
}
}
|
