blob: d80e243b19555a57bcef9c2b8506dd41c7c85748 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// version 14:
import lombok.NonNull;
public record NonNullOnRecord(String a, String b) {
/* Implicit */ private final String a;
/* Implicit */ private final String b;
public @java.lang.SuppressWarnings("all") NonNullOnRecord(@NonNull String a, @NonNull String b) {
super();
if ((a == null))
{
throw new java.lang.NullPointerException("a is marked non-null but is null");
}
if ((b == null))
{
throw new java.lang.NullPointerException("b is marked non-null but is null");
}
this.a = a;
this.b = b;
}
}
|
