1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
package p;
import static org.eclipse.jdt.annotation.DefaultLocation.*;
import java.util.HashMap;
import java.util.Map;
import org.eclipse.jdt.annotation.NonNullByDefault;
@NonNullByDefault({ PARAMETER, RETURN_TYPE, FIELD, TYPE_BOUND, TYPE_ARGUMENT, ARRAY_CONTENTS })
class NoRedundantNonNull1 {
String string = "A";
Integer integer = 2;
Map<String, ? extends Number> map = new HashMap<>();
Object[][] array = { {}, {} };
NoRedundantNonNull1(String s1, Integer h1, Map<String, ? extends Number> map1, Object[][] array1) {
string = s1;
integer = h1;
map = map1;
array = array1;
}
}
|
