1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
import org.checkerframework.checker.nullness.qual.*;
public class Aliasing {
@NonNull Object nno = new Object();
@Nullable Object no = null;
public static void main(String[] args) {
Aliasing a = new Aliasing();
Aliasing b = new Aliasing();
m(a, b);
}
static void m(@NonNull Aliasing a, @NonNull Aliasing b) {
a.no = b.nno;
// Changing a.no to nonnull does not mean that b.no is also nonnull
// :: error: (assignment.type.incompatible)
b.nno = b.no;
System.out.println("@NonNull field b.nno is: " + b.nno);
}
}
|
