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.*;
import org.checkerframework.dataflow.qual.Pure;
class FlowExpressionsTest {
class MyClass {
public Object field;
}
private final @GuardedBy({"<self>"}) MyClass m = new MyClass();
// private @GuardedBy({"nonexistentfield"}) MyClass m2;
@Pure
private @GuardedBy({"<self>"}) MyClass getm() {
return m;
}
public void method() {
// :: error: (lock.not.held)
getm().field = new Object();
// :: error: (lock.not.held)
m.field = new Object();
// TODO: fix the Lock Checker code so that a flowexpr.parse.error is issued (due to the
// guard of "nonexistentfield" on m2)
// m2.field = new Object();
synchronized (m) {
m.field = new Object();
}
synchronized (getm()) {
getm().field = new Object();
}
}
}
|
