OLD | NEW |
| (Empty) |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | |
2 // for details. All rights reserved. Use of this source code is governed by a | |
3 // BSD-style license that can be found in the LICENSE file. | |
4 | |
5 // Tests of hash map behavior, with focus in iteration and concurrent | |
6 // modification errors. | |
7 | |
8 library hash_map2_test; | |
9 | |
10 import "package:expect/expect.dart"; | |
11 import 'dart:collection'; | |
12 | |
13 testMap(Map newMap(), Map newMapFrom(Map map)) { | |
14 Map gen(int from, int to) { | |
15 Map map = new LinkedHashMap(); | |
16 for (int i = from; i < to; i++) map[i] = i; | |
17 return map; | |
18 } | |
19 | |
20 bool odd(int n) => (n & 1) == 1; | |
21 bool even(int n) => (n & 1) == 0; | |
22 void addAll(Map toMap, Map fromMap) { | |
23 fromMap.forEach((k, v) { | |
24 toMap[k] = v; | |
25 }); | |
26 } | |
27 | |
28 { | |
29 // Test growing to largish capacity. | |
30 Map map = newMap(); | |
31 | |
32 for (int i = 0; i < 256; i++) { | |
33 map[i] = i; | |
34 } | |
35 addAll(map, gen(256, 512)); | |
36 addAll(map, newMapFrom(gen(512, 1000))); | |
37 Expect.equals(1000, map.length); | |
38 | |
39 // Remove half. | |
40 for (int i = 0; i < 1000; i += 2) map.remove(i); | |
41 Expect.equals(500, map.length); | |
42 Expect.isFalse(map.keys.any(even)); | |
43 Expect.isTrue(map.keys.every(odd)); | |
44 | |
45 // Re-add all. | |
46 addAll(map, gen(0, 1000)); | |
47 Expect.equals(1000, map.length); | |
48 } | |
49 | |
50 { | |
51 // Test having many deleted elements. | |
52 Map map = newMap(); | |
53 map[0] = 0; | |
54 for (int i = 0; i < 1000; i++) { | |
55 map[i + 1] = i + 1; | |
56 map.remove(i); | |
57 Expect.equals(1, map.length); | |
58 } | |
59 } | |
60 | |
61 { | |
62 // Test having many elements with same hashCode | |
63 Map map = newMap(); | |
64 for (int i = 0; i < 1000; i++) { | |
65 map[new BadHashCode()] = 0; | |
66 } | |
67 Expect.equals(1000, map.length); | |
68 } | |
69 | |
70 { | |
71 // Check concurrent modification | |
72 Map map = newMap() | |
73 ..[0] = 0 | |
74 ..[1] = 1; | |
75 | |
76 { | |
77 // Test adding before a moveNext. | |
78 Iterator iter = map.keys.iterator; | |
79 iter.moveNext(); | |
80 map[1] = 9; // Updating existing key isn't a modification. | |
81 iter.moveNext(); | |
82 map[2] = 2; | |
83 Expect.throws(iter.moveNext, (e) => e is Error); | |
84 } | |
85 | |
86 { | |
87 // Test adding after last element. | |
88 Iterator iter = map.keys.iterator; | |
89 Expect.equals(3, map.length); | |
90 iter.moveNext(); | |
91 iter.moveNext(); | |
92 iter.moveNext(); | |
93 map[3] = 3; | |
94 Expect.throws(iter.moveNext, (e) => e is Error); | |
95 } | |
96 | |
97 { | |
98 // Test removing during iteration. | |
99 Iterator iter = map.keys.iterator; | |
100 iter.moveNext(); | |
101 map.remove(1000); // Not a modification if it's not there. | |
102 iter.moveNext(); | |
103 int n = iter.current; | |
104 map.remove(n); | |
105 // Removing doesn't change current. | |
106 Expect.equals(n, iter.current); | |
107 Expect.throws(iter.moveNext, (e) => e is Error); | |
108 } | |
109 | |
110 { | |
111 // Test removing after last element. | |
112 Iterator iter = map.keys.iterator; | |
113 Expect.equals(3, map.length); | |
114 iter.moveNext(); | |
115 iter.moveNext(); | |
116 iter.moveNext(); | |
117 int n = iter.current; | |
118 map.remove(n); | |
119 // Removing doesn't change current. | |
120 Expect.equals(n, iter.current); | |
121 Expect.throws(iter.moveNext, (e) => e is Error); | |
122 } | |
123 | |
124 { | |
125 // Test that updating value of existing key doesn't cause concurrent | |
126 // modification error. | |
127 Iterator iter = map.keys.iterator; | |
128 Expect.equals(2, map.length); | |
129 iter.moveNext(); | |
130 int n = iter.current; | |
131 map[n] = n * 2; | |
132 iter.moveNext(); | |
133 Expect.equals(map[iter.current], iter.current); | |
134 } | |
135 | |
136 { | |
137 // Test that modification during putIfAbsent is not an error. | |
138 map.putIfAbsent(4, () { | |
139 map[5] = 5; | |
140 map[4] = -1; | |
141 return 4; | |
142 }); | |
143 Expect.equals(4, map[4]); | |
144 Expect.equals(5, map[5]); | |
145 } | |
146 | |
147 { | |
148 // Check adding many existing keys isn't considered modification. | |
149 Map map2 = newMap(); | |
150 for (var key in map.keys) { | |
151 map2[key] = map[key] + 1; | |
152 } | |
153 Iterator iter = map.keys.iterator; | |
154 addAll(map, map2); | |
155 // Shouldn't throw. | |
156 iter.moveNext(); | |
157 } | |
158 } | |
159 | |
160 { | |
161 // Regression test for bug in putIfAbsent where adding an element | |
162 // that make the table grow, can be lost. | |
163 Map map = newMap(); | |
164 map.putIfAbsent("S", () => 0); | |
165 map.putIfAbsent("T", () => 0); | |
166 map.putIfAbsent("U", () => 0); | |
167 map.putIfAbsent("C", () => 0); | |
168 map.putIfAbsent("a", () => 0); | |
169 map.putIfAbsent("b", () => 0); | |
170 map.putIfAbsent("n", () => 0); | |
171 Expect.isTrue(map.containsKey("n")); | |
172 } | |
173 | |
174 { | |
175 // Check that putIfAbsent works just as well as put. | |
176 Map map = newMap(); | |
177 for (int i = 0; i < 128; i++) { | |
178 map.putIfAbsent(i, () => i); | |
179 Expect.isTrue(map.containsKey(i)); | |
180 map.putIfAbsent(i >> 1, () => -1); // Never triggers. | |
181 } | |
182 for (int i = 0; i < 128; i++) { | |
183 Expect.equals(i, map[i]); | |
184 } | |
185 } | |
186 | |
187 { | |
188 // Check that updating existing elements is not a modification. | |
189 // This must be the case even if the underlying data structure is | |
190 // nearly full. | |
191 for (int i = 1; i < 128; i++) { | |
192 // Create maps of different sizes, some of which should be | |
193 // at a limit of the underlying data structure. | |
194 Map map = newMapFrom(gen(0, i)); | |
195 | |
196 // ForEach-iteration. | |
197 map.forEach((key, v) { | |
198 Expect.equals(key, map[key]); | |
199 map[key] = key + 1; | |
200 map.remove(1000); // Removing something not there. | |
201 map.putIfAbsent(key, () => Expect.fail("SHOULD NOT BE ABSENT")); | |
202 // Doesn't cause ConcurrentModificationError. | |
203 }); | |
204 | |
205 // for-in iteration. | |
206 for (int key in map.keys) { | |
207 Expect.equals(key + 1, map[key]); | |
208 map[key] = map[key] + 1; | |
209 map.remove(1000); // Removing something not there. | |
210 map.putIfAbsent(key, () => Expect.fail("SHOULD NOT BE ABSENT")); | |
211 // Doesn't cause ConcurrentModificationError. | |
212 } | |
213 | |
214 // Raw iterator. | |
215 Iterator iter = map.keys.iterator; | |
216 for (int key = 0; key < i; key++) { | |
217 Expect.equals(key + 2, map[key]); | |
218 map[key] = key + 3; | |
219 map.remove(1000); // Removing something not there. | |
220 map.putIfAbsent(key, () => Expect.fail("SHOULD NOT BE ABSENT")); | |
221 // Doesn't cause ConcurrentModificationError on the moveNext. | |
222 } | |
223 iter.moveNext(); // Should not throw. | |
224 | |
225 // Remove a lot of elements, which can cause a re-tabulation. | |
226 for (int key = 1; key < i; key++) { | |
227 Expect.equals(key + 3, map[key]); | |
228 map.remove(key); | |
229 } | |
230 iter = map.keys.iterator; | |
231 map[0] = 2; | |
232 iter.moveNext(); // Should not throw. | |
233 } | |
234 } | |
235 | |
236 { | |
237 // Check that null can be in the map. | |
238 Map map = newMap(); | |
239 map[null] = 0; | |
240 Expect.equals(1, map.length); | |
241 Expect.isTrue(map.containsKey(null)); | |
242 Expect.isNull(map.keys.first); | |
243 Expect.isNull(map.keys.last); | |
244 map[null] = 1; | |
245 Expect.equals(1, map.length); | |
246 Expect.isTrue(map.containsKey(null)); | |
247 map.remove(null); | |
248 Expect.isTrue(map.isEmpty); | |
249 Expect.isFalse(map.containsKey(null)); | |
250 | |
251 // Created using map.from. | |
252 map = newMapFrom(new Map()..[null] = 0); | |
253 Expect.equals(1, map.length); | |
254 Expect.isTrue(map.containsKey(null)); | |
255 Expect.isNull(map.keys.first); | |
256 Expect.isNull(map.keys.last); | |
257 map[null] = 1; | |
258 Expect.equals(1, map.length); | |
259 Expect.isTrue(map.containsKey(null)); | |
260 map.remove(null); | |
261 Expect.isTrue(map.isEmpty); | |
262 Expect.isFalse(map.containsKey(null)); | |
263 | |
264 Map fromMap = new Map(); | |
265 fromMap[1] = 0; | |
266 fromMap[2] = 0; | |
267 fromMap[3] = 0; | |
268 fromMap[null] = 0; | |
269 fromMap[4] = 0; | |
270 fromMap[5] = 0; | |
271 fromMap[6] = 0; | |
272 Expect.equals(7, fromMap.length); | |
273 | |
274 // map that grows with null in it. | |
275 map = newMapFrom(fromMap); | |
276 Expect.equals(7, map.length); | |
277 for (int i = 7; i < 128; i++) { | |
278 map[i] = 0; | |
279 } | |
280 Expect.equals(128, map.length); | |
281 Expect.isTrue(map.containsKey(null)); | |
282 map[null] = 1; | |
283 Expect.equals(128, map.length); | |
284 Expect.isTrue(map.containsKey(null)); | |
285 map.remove(null); | |
286 Expect.equals(127, map.length); | |
287 Expect.isFalse(map.containsKey(null)); | |
288 } | |
289 } | |
290 | |
291 void main() { | |
292 Expect.isTrue(new HashMap<int, String>() is Map<int, String>); | |
293 Expect.isTrue(new LinkedHashMap<int, String>() is Map<int, String>); | |
294 Expect.isTrue(new HashMap<String, int>.from({}) is Map<String, int>); | |
295 Expect.isTrue(new LinkedHashMap<String, int>.from({}) is Map<String, int>); | |
296 Expect.isTrue(<String, int>{} is Map<String, int>); | |
297 Expect.isTrue(const <String, int>{} is Map<String, int>); | |
298 | |
299 testMap(() => new HashMap(), (m) => new HashMap.from(m)); | |
300 testMap(() => new LinkedHashMap(), (m) => new LinkedHashMap.from(m)); | |
301 } | |
302 | |
303 class BadHashCode { | |
304 static int idCounter = 0; | |
305 final int id; | |
306 BadHashCode() : id = idCounter++; | |
307 int get hashCode => 42; | |
308 } | |
OLD | NEW |