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
|
public class AssertTwice {
private void assertOnce() {
String methodDeclaration = null;
assert methodDeclaration != null;
methodDeclaration = null;
}
private void assertTwice() {
String methodDeclaration = null;
assert methodDeclaration != null;
assert methodDeclaration != null;
methodDeclaration = null;
}
private void assertTwiceWithUse() {
String methodDeclaration = null;
assert methodDeclaration != null : "@AssumeAssertion(nullness)";
methodDeclaration.toString();
// :: warning: (known.nonnull)
assert methodDeclaration != null;
methodDeclaration = null;
}
public static @org.checkerframework.checker.nullness.qual.Nullable Object n = "m";
private void twiceWithChecks() {
assert n != null;
n = null;
}
}
|
