blob: 7d71d9cc9e73f0dfbae9513f613ebc0aa8237c67 (
plain)
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 lombok.NonNull;
record NonNullOnRecord(String a, String b) {
/* Implicit */ private final String a;
/* Implicit */ private final String b;
public NonNullOnRecord(String a, String b) {
super();
.a = a;
.b = b;
}
public void method(@NonNull String param) {
if ((param == null))
{
throw new java.lang.NullPointerException("param is marked non-null but is null");
}
String asd = "a";
}
public @java.lang.SuppressWarnings("all") NonNullOnRecord(final String a, final 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;
}
}
|