blob: cdaed973988430d84895aff291a690950065c7ae (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
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));
}
}
|