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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
|
// Test case for Issue 1948:
// https://github.com/typetools/checker-framework/issues/1948
import java.util.Collection;
import java.util.Map;
import java.util.Set;
import java.util.concurrent.ConcurrentMap;
import java.util.function.BiConsumer;
import java.util.function.BiFunction;
import java.util.function.Function;
@SuppressWarnings("") // ensure no crash
class Issue1948<K, V, E extends Issue1948.MyEntry<K, V, E>, S extends Issue1948.MyClass<K, V, E, S>>
implements ConcurrentMap<K, V> {
private Issue1948(MapMaker builder, InternalEntryHelper<K, V, E, S> entryHelper) {}
/** Returns a fresh {@link Issue1948} as specified by the given {@code builder}. */
static <K, V> Issue1948<K, V, ? extends MyEntry<K, V, ?>, ?> create(MapMaker builder) {
return new Issue1948<>(builder, Helper.<K, V>instance());
}
interface MyEntry<K, V, E extends MyEntry<K, V, E>> {}
abstract static class MyClass<
K, V, E extends MyEntry<K, V, E>, S extends MyClass<K, V, E, S>> {}
static final class MapMaker {}
static final class Helper<K, V>
implements InternalEntryHelper<
K, V, StrongKeyStrongValueEntry<K, V>, StrongKeyStrongValueMyClass<K, V>> {
static <K, V> Helper<K, V> instance() {
return null;
}
}
interface InternalEntryHelper<K, V, E extends MyEntry<K, V, E>, S> {}
abstract static class StrongKeyStrongValueEntry<K, V>
extends AbstractStrongKeyEntry<K, V, StrongKeyStrongValueEntry<K, V>>
implements StrongValueEntry<K, V, StrongKeyStrongValueEntry<K, V>> {}
abstract static class AbstractStrongKeyEntry<K, V, E extends MyEntry<K, V, E>>
implements MyEntry<K, V, E> {}
interface StrongValueEntry<K, V, E extends MyEntry<K, V, E>> extends MyEntry<K, V, E> {}
abstract static class StrongKeyStrongValueMyClass<K, V>
extends MyClass<
K, V, StrongKeyStrongValueEntry<K, V>, StrongKeyStrongValueMyClass<K, V>> {}
@Override
public int size() {
return 0;
}
@Override
public boolean isEmpty() {
return false;
}
@Override
public boolean containsKey(Object key) {
return false;
}
@Override
public boolean containsValue(Object value) {
return false;
}
@Override
public V get(Object key) {
return null;
}
@Override
public V put(K key, V value) {
return null;
}
@Override
public V remove(Object key) {
return null;
}
@Override
public void putAll(Map<? extends K, ? extends V> m) {}
@Override
public void clear() {}
@Override
public Set<K> keySet() {
return null;
}
@Override
public Collection<V> values() {
return null;
}
@Override
public Set<Entry<K, V>> entrySet() {
return null;
}
@Override
public V getOrDefault(Object key, V defaultValue) {
return null;
}
@Override
public void forEach(BiConsumer<? super K, ? super V> action) {}
@Override
public V putIfAbsent(K key, V value) {
return null;
}
@Override
public boolean remove(Object key, Object value) {
return false;
}
@Override
public boolean replace(K key, V oldValue, V newValue) {
return false;
}
@Override
public V replace(K key, V value) {
return null;
}
@Override
public void replaceAll(BiFunction<? super K, ? super V, ? extends V> function) {}
@Override
public V computeIfAbsent(K key, Function<? super K, ? extends V> mappingFunction) {
return null;
}
@Override
public V computeIfPresent(
K key, BiFunction<? super K, ? super V, ? extends V> remappingFunction) {
return null;
}
@Override
public V compute(K key, BiFunction<? super K, ? super V, ? extends V> remappingFunction) {
return null;
}
@Override
public V merge(
K key, V value, BiFunction<? super V, ? super V, ? extends V> remappingFunction) {
return null;
}
}
|
