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
|
/*
* @test
* @summary Test for Issue 347: concurrent semantics has desired behavior
*
* @compile -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker -Alint Issue347.java
* @compile/fail/ref=Issue347-con.out -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker -Alint Issue347.java -AconcurrentSemantics
*/
import org.checkerframework.checker.nullness.qual.MonotonicNonNull;
import org.checkerframework.checker.nullness.qual.Nullable;
class Issue347 {
@MonotonicNonNull String mono;
@Nullable String nble;
void testMono() {
if (mono == null) {
return;
}
// The object referenced by mono might change, but
// it can't become null again, even in concurrent
// semantics.
mono.toString();
}
void testNble() {
if (nble == null) {
return;
}
// error expected in concurrent semantics only
nble.toString();
}
}
|
