blob: 04d64f16f4585fb6de2dbb6b1e16cf2a302b1335 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
//version 8:
import java.util.List;
public class WithByNullAnnos {
final List<String> test;
@java.lang.SuppressWarnings("all")
public WithByNullAnnos(final List<String> test) {
this.test = test;
}
@org.checkerframework.checker.nullness.qual.NonNull
@java.lang.SuppressWarnings("all")
public WithByNullAnnos withTestBy(final java.util.function.@org.checkerframework.checker.nullness.qual.NonNull Function<? super List<String>, ? extends List<String>> transformer) {
return new WithByNullAnnos(transformer.apply(this.test));
}
}
|
