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
|
import org.checkerframework.checker.nullness.qual.*;
import org.checkerframework.dataflow.qual.Pure;
public class AssertIfFalseTest2 {
public static void usePriorityQueue(PriorityQueue1<@NonNull Object> active) {
while (!(active.isEmpty())) {
@NonNull Object queueMinPathNode = active.peek();
}
}
///////////////////////////////////////////////////////////////////////////
/// Classes copied from the annotated JDK
///
public class PriorityQueue1<E extends @NonNull Object> {
@EnsuresNonNullIf(
result = false,
expression = {"peek()"})
@Pure
public boolean isEmpty() {
return true;
}
@Pure
public @Nullable E peek() {
return null;
}
}
}
|
