ViewVC Help
View File | Revision Log | Show Annotations | Download File | Root Listing
root/jsr166/jsr166/src/test/tck/Collection8Test.java
Revision: 1.52
Committed: Sat May 5 18:29:53 2018 UTC (6 years ago) by jsr166
Branch: MAIN
Changes since 1.51: +19 -0 lines
Log Message:
8202685: Improve ArrayList replaceAll

File Contents

# User Rev Content
1 jsr166 1.1 /*
2     * Written by Doug Lea and Martin Buchholz with assistance from
3     * members of JCP JSR-166 Expert Group and released to the public
4     * domain, as explained at
5     * http://creativecommons.org/publicdomain/zero/1.0/
6     */
7    
8 jsr166 1.16 import static java.util.concurrent.TimeUnit.HOURS;
9 jsr166 1.1 import static java.util.concurrent.TimeUnit.MILLISECONDS;
10    
11 jsr166 1.51 import java.util.ArrayDeque;
12 jsr166 1.1 import java.util.ArrayList;
13 jsr166 1.18 import java.util.Arrays;
14 jsr166 1.1 import java.util.Collection;
15     import java.util.Collections;
16 jsr166 1.42 import java.util.ConcurrentModificationException;
17 jsr166 1.5 import java.util.Deque;
18     import java.util.HashSet;
19     import java.util.Iterator;
20     import java.util.List;
21     import java.util.NoSuchElementException;
22     import java.util.Queue;
23 jsr166 1.48 import java.util.Set;
24 jsr166 1.5 import java.util.Spliterator;
25 jsr166 1.14 import java.util.concurrent.BlockingDeque;
26     import java.util.concurrent.BlockingQueue;
27 jsr166 1.32 import java.util.concurrent.ConcurrentLinkedQueue;
28 jsr166 1.2 import java.util.concurrent.CountDownLatch;
29 jsr166 1.1 import java.util.concurrent.Executors;
30     import java.util.concurrent.ExecutorService;
31     import java.util.concurrent.Future;
32 jsr166 1.26 import java.util.concurrent.Phaser;
33 jsr166 1.5 import java.util.concurrent.ThreadLocalRandom;
34 jsr166 1.1 import java.util.concurrent.atomic.AtomicBoolean;
35     import java.util.concurrent.atomic.AtomicLong;
36 jsr166 1.5 import java.util.concurrent.atomic.AtomicReference;
37 jsr166 1.1 import java.util.function.Consumer;
38 jsr166 1.5 import java.util.function.Predicate;
39 jsr166 1.26 import java.util.stream.Collectors;
40 jsr166 1.1
41     import junit.framework.Test;
42    
43     /**
44     * Contains tests applicable to all jdk8+ Collection implementations.
45     * An extension of CollectionTest.
46     */
47     public class Collection8Test extends JSR166TestCase {
48     final CollectionImplementation impl;
49    
50     /** Tests are parameterized by a Collection implementation. */
51     Collection8Test(CollectionImplementation impl, String methodName) {
52     super(methodName);
53     this.impl = impl;
54     }
55    
56     public static Test testSuite(CollectionImplementation impl) {
57     return parameterizedTestSuite(Collection8Test.class,
58     CollectionImplementation.class,
59     impl);
60     }
61    
62 jsr166 1.10 Object bomb() {
63     return new Object() {
64 jsr166 1.48 @Override public boolean equals(Object x) { throw new AssertionError(); }
65     @Override public int hashCode() { throw new AssertionError(); }
66     @Override public String toString() { throw new AssertionError(); }
67 jsr166 1.47 };
68 jsr166 1.10 }
69    
70 jsr166 1.5 /** Checks properties of empty collections. */
71 jsr166 1.24 public void testEmptyMeansEmpty() throws Throwable {
72 jsr166 1.5 Collection c = impl.emptyCollection();
73 jsr166 1.12 emptyMeansEmpty(c);
74    
75 jsr166 1.24 if (c instanceof java.io.Serializable) {
76     try {
77     emptyMeansEmpty(serialClonePossiblyFailing(c));
78     } catch (java.io.NotSerializableException ex) {
79     // excusable when we have a serializable wrapper around
80     // a non-serializable collection, as can happen with:
81     // Vector.subList() => wrapped AbstractList$RandomAccessSubList
82     if (testImplementationDetails
83     && (! c.getClass().getName().matches(
84     "java.util.Collections.*")))
85     throw ex;
86     }
87     }
88 jsr166 1.12
89     Collection clone = cloneableClone(c);
90     if (clone != null)
91     emptyMeansEmpty(clone);
92     }
93    
94 jsr166 1.14 void emptyMeansEmpty(Collection c) throws InterruptedException {
95 jsr166 1.5 assertTrue(c.isEmpty());
96     assertEquals(0, c.size());
97     assertEquals("[]", c.toString());
98 jsr166 1.48 if (c instanceof List<?>) {
99     List x = (List) c;
100     assertEquals(1, x.hashCode());
101     assertEquals(x, Collections.emptyList());
102     assertEquals(Collections.emptyList(), x);
103     assertEquals(-1, x.indexOf(impl.makeElement(86)));
104     assertEquals(-1, x.lastIndexOf(impl.makeElement(99)));
105 jsr166 1.49 assertThrows(
106     IndexOutOfBoundsException.class,
107     () -> x.get(0),
108     () -> x.set(0, impl.makeElement(42)));
109 jsr166 1.48 }
110     else if (c instanceof Set<?>) {
111     assertEquals(0, c.hashCode());
112     assertEquals(c, Collections.emptySet());
113     assertEquals(Collections.emptySet(), c);
114     }
115 jsr166 1.5 {
116     Object[] a = c.toArray();
117     assertEquals(0, a.length);
118     assertSame(Object[].class, a.getClass());
119     }
120     {
121     Object[] a = new Object[0];
122     assertSame(a, c.toArray(a));
123     }
124     {
125     Integer[] a = new Integer[0];
126     assertSame(a, c.toArray(a));
127     }
128     {
129     Integer[] a = { 1, 2, 3};
130     assertSame(a, c.toArray(a));
131     assertNull(a[0]);
132     assertSame(2, a[1]);
133     assertSame(3, a[2]);
134     }
135     assertIteratorExhausted(c.iterator());
136 jsr166 1.19 Consumer alwaysThrows = e -> { throw new AssertionError(); };
137 jsr166 1.5 c.forEach(alwaysThrows);
138     c.iterator().forEachRemaining(alwaysThrows);
139     c.spliterator().forEachRemaining(alwaysThrows);
140     assertFalse(c.spliterator().tryAdvance(alwaysThrows));
141 jsr166 1.9 if (c.spliterator().hasCharacteristics(Spliterator.SIZED))
142     assertEquals(0, c.spliterator().estimateSize());
143 jsr166 1.10 assertFalse(c.contains(bomb()));
144     assertFalse(c.remove(bomb()));
145 jsr166 1.11 if (c instanceof Queue) {
146 jsr166 1.5 Queue q = (Queue) c;
147     assertNull(q.peek());
148     assertNull(q.poll());
149     }
150 jsr166 1.11 if (c instanceof Deque) {
151 jsr166 1.5 Deque d = (Deque) c;
152     assertNull(d.peekFirst());
153     assertNull(d.peekLast());
154     assertNull(d.pollFirst());
155     assertNull(d.pollLast());
156     assertIteratorExhausted(d.descendingIterator());
157 jsr166 1.9 d.descendingIterator().forEachRemaining(alwaysThrows);
158 jsr166 1.10 assertFalse(d.removeFirstOccurrence(bomb()));
159     assertFalse(d.removeLastOccurrence(bomb()));
160 jsr166 1.5 }
161 jsr166 1.14 if (c instanceof BlockingQueue) {
162     BlockingQueue q = (BlockingQueue) c;
163 jsr166 1.46 assertNull(q.poll(randomExpiredTimeout(), randomTimeUnit()));
164 jsr166 1.14 }
165     if (c instanceof BlockingDeque) {
166     BlockingDeque q = (BlockingDeque) c;
167 jsr166 1.46 assertNull(q.pollFirst(randomExpiredTimeout(), randomTimeUnit()));
168     assertNull(q.pollLast(randomExpiredTimeout(), randomTimeUnit()));
169 jsr166 1.14 }
170 jsr166 1.5 }
171    
172 jsr166 1.14 public void testNullPointerExceptions() throws InterruptedException {
173 jsr166 1.5 Collection c = impl.emptyCollection();
174     assertThrows(
175     NullPointerException.class,
176     () -> c.addAll(null),
177     () -> c.containsAll(null),
178     () -> c.retainAll(null),
179     () -> c.removeAll(null),
180     () -> c.removeIf(null),
181 jsr166 1.6 () -> c.forEach(null),
182     () -> c.iterator().forEachRemaining(null),
183     () -> c.spliterator().forEachRemaining(null),
184     () -> c.spliterator().tryAdvance(null),
185 jsr166 1.5 () -> c.toArray(null));
186    
187     if (!impl.permitsNulls()) {
188     assertThrows(
189     NullPointerException.class,
190     () -> c.add(null));
191     }
192 jsr166 1.14 if (!impl.permitsNulls() && c instanceof Queue) {
193 jsr166 1.5 Queue q = (Queue) c;
194     assertThrows(
195     NullPointerException.class,
196     () -> q.offer(null));
197     }
198 jsr166 1.14 if (!impl.permitsNulls() && c instanceof Deque) {
199 jsr166 1.5 Deque d = (Deque) c;
200     assertThrows(
201     NullPointerException.class,
202     () -> d.addFirst(null),
203     () -> d.addLast(null),
204     () -> d.offerFirst(null),
205     () -> d.offerLast(null),
206 jsr166 1.6 () -> d.push(null),
207     () -> d.descendingIterator().forEachRemaining(null));
208 jsr166 1.5 }
209 jsr166 1.15 if (c instanceof BlockingQueue) {
210 jsr166 1.14 BlockingQueue q = (BlockingQueue) c;
211     assertThrows(
212     NullPointerException.class,
213     () -> {
214 jsr166 1.16 try { q.offer(null, 1L, HOURS); }
215 jsr166 1.14 catch (InterruptedException ex) {
216     throw new AssertionError(ex);
217 jsr166 1.15 }},
218     () -> {
219     try { q.put(null); }
220     catch (InterruptedException ex) {
221     throw new AssertionError(ex);
222 jsr166 1.14 }});
223     }
224 jsr166 1.15 if (c instanceof BlockingDeque) {
225 jsr166 1.14 BlockingDeque q = (BlockingDeque) c;
226     assertThrows(
227     NullPointerException.class,
228     () -> {
229 jsr166 1.16 try { q.offerFirst(null, 1L, HOURS); }
230 jsr166 1.14 catch (InterruptedException ex) {
231     throw new AssertionError(ex);
232     }},
233     () -> {
234 jsr166 1.16 try { q.offerLast(null, 1L, HOURS); }
235 jsr166 1.14 catch (InterruptedException ex) {
236     throw new AssertionError(ex);
237 jsr166 1.15 }},
238     () -> {
239     try { q.putFirst(null); }
240     catch (InterruptedException ex) {
241     throw new AssertionError(ex);
242     }},
243     () -> {
244     try { q.putLast(null); }
245     catch (InterruptedException ex) {
246     throw new AssertionError(ex);
247 jsr166 1.14 }});
248     }
249 jsr166 1.5 }
250    
251     public void testNoSuchElementExceptions() {
252     Collection c = impl.emptyCollection();
253     assertThrows(
254     NoSuchElementException.class,
255     () -> c.iterator().next());
256    
257 jsr166 1.14 if (c instanceof Queue) {
258 jsr166 1.5 Queue q = (Queue) c;
259     assertThrows(
260     NoSuchElementException.class,
261     () -> q.element(),
262     () -> q.remove());
263     }
264 jsr166 1.14 if (c instanceof Deque) {
265 jsr166 1.5 Deque d = (Deque) c;
266     assertThrows(
267     NoSuchElementException.class,
268     () -> d.getFirst(),
269     () -> d.getLast(),
270     () -> d.removeFirst(),
271     () -> d.removeLast(),
272     () -> d.pop(),
273     () -> d.descendingIterator().next());
274     }
275 jsr166 1.48 if (c instanceof List) {
276     List x = (List) c;
277     assertThrows(
278     NoSuchElementException.class,
279     () -> x.iterator().next(),
280     () -> x.listIterator().next(),
281     () -> x.listIterator(0).next(),
282     () -> x.listIterator().previous(),
283     () -> x.listIterator(0).previous());
284     }
285 jsr166 1.5 }
286    
287     public void testRemoveIf() {
288     Collection c = impl.emptyCollection();
289 jsr166 1.22 boolean ordered =
290     c.spliterator().hasCharacteristics(Spliterator.ORDERED);
291 jsr166 1.5 ThreadLocalRandom rnd = ThreadLocalRandom.current();
292     int n = rnd.nextInt(6);
293     for (int i = 0; i < n; i++) c.add(impl.makeElement(i));
294     AtomicReference threwAt = new AtomicReference(null);
295 jsr166 1.18 List orig = rnd.nextBoolean()
296     ? new ArrayList(c)
297     : Arrays.asList(c.toArray());
298    
299     // Merely creating an iterator can change ArrayBlockingQueue behavior
300     Iterator it = rnd.nextBoolean() ? c.iterator() : null;
301    
302     ArrayList survivors = new ArrayList();
303 jsr166 1.5 ArrayList accepts = new ArrayList();
304     ArrayList rejects = new ArrayList();
305 jsr166 1.18
306 jsr166 1.19 Predicate randomPredicate = e -> {
307 jsr166 1.5 assertNull(threwAt.get());
308     switch (rnd.nextInt(3)) {
309     case 0: accepts.add(e); return true;
310     case 1: rejects.add(e); return false;
311     case 2: threwAt.set(e); throw new ArithmeticException();
312     default: throw new AssertionError();
313     }
314     };
315     try {
316 jsr166 1.7 try {
317     boolean modified = c.removeIf(randomPredicate);
318 jsr166 1.18 assertNull(threwAt.get());
319     assertEquals(modified, accepts.size() > 0);
320     assertEquals(modified, rejects.size() != n);
321     assertEquals(accepts.size() + rejects.size(), n);
322 jsr166 1.22 if (ordered) {
323     assertEquals(rejects,
324     Arrays.asList(c.toArray()));
325     } else {
326     assertEquals(new HashSet(rejects),
327     new HashSet(Arrays.asList(c.toArray())));
328     }
329 jsr166 1.18 } catch (ArithmeticException ok) {
330     assertNotNull(threwAt.get());
331     assertTrue(c.contains(threwAt.get()));
332     }
333     if (it != null && impl.isConcurrent())
334     // check for weakly consistent iterator
335     while (it.hasNext()) assertTrue(orig.contains(it.next()));
336     switch (rnd.nextInt(4)) {
337     case 0: survivors.addAll(c); break;
338     case 1: survivors.addAll(Arrays.asList(c.toArray())); break;
339 jsr166 1.28 case 2: c.forEach(survivors::add); break;
340 jsr166 1.18 case 3: for (Object e : c) survivors.add(e); break;
341     }
342     assertTrue(orig.containsAll(accepts));
343     assertTrue(orig.containsAll(rejects));
344     assertTrue(orig.containsAll(survivors));
345     assertTrue(orig.containsAll(c));
346     assertTrue(c.containsAll(rejects));
347 jsr166 1.7 assertTrue(c.containsAll(survivors));
348     assertTrue(survivors.containsAll(rejects));
349 jsr166 1.22 if (threwAt.get() == null) {
350     assertEquals(n - accepts.size(), c.size());
351     for (Object x : accepts) assertFalse(c.contains(x));
352     } else {
353     // Two acceptable behaviors: entire removeIf call is one
354     // transaction, or each element processed is one transaction.
355     assertTrue(n == c.size() || n == c.size() + accepts.size());
356     int k = 0;
357     for (Object x : accepts) if (c.contains(x)) k++;
358     assertTrue(k == accepts.size() || k == 0);
359     }
360 jsr166 1.7 } catch (Throwable ex) {
361 jsr166 1.5 System.err.println(impl.klazz());
362 jsr166 1.23 // c is at risk of corruption if we got here, so be lenient
363     try { System.err.printf("c=%s%n", c); }
364     catch (Throwable t) { t.printStackTrace(); }
365 jsr166 1.7 System.err.printf("n=%d%n", n);
366 jsr166 1.18 System.err.printf("orig=%s%n", orig);
367 jsr166 1.7 System.err.printf("accepts=%s%n", accepts);
368     System.err.printf("rejects=%s%n", rejects);
369 jsr166 1.8 System.err.printf("survivors=%s%n", survivors);
370 jsr166 1.18 System.err.printf("threwAt=%s%n", threwAt.get());
371 jsr166 1.7 throw ex;
372 jsr166 1.5 }
373     }
374    
375     /**
376 jsr166 1.39 * All elements removed in the middle of CONCURRENT traversal.
377     */
378     public void testElementRemovalDuringTraversal() {
379     Collection c = impl.emptyCollection();
380     ThreadLocalRandom rnd = ThreadLocalRandom.current();
381     int n = rnd.nextInt(6);
382     ArrayList copy = new ArrayList();
383     for (int i = 0; i < n; i++) {
384     Object x = impl.makeElement(i);
385     copy.add(x);
386     c.add(x);
387     }
388     ArrayList iterated = new ArrayList();
389     ArrayList spliterated = new ArrayList();
390     Spliterator s = c.spliterator();
391     Iterator it = c.iterator();
392     for (int i = rnd.nextInt(n + 1); --i >= 0; ) {
393     assertTrue(s.tryAdvance(spliterated::add));
394     if (rnd.nextBoolean()) assertTrue(it.hasNext());
395     iterated.add(it.next());
396     }
397     Consumer alwaysThrows = e -> { throw new AssertionError(); };
398     if (s.hasCharacteristics(Spliterator.CONCURRENT)) {
399     c.clear(); // TODO: many more removal methods
400     if (testImplementationDetails
401     && !(c instanceof java.util.concurrent.ArrayBlockingQueue)) {
402     if (rnd.nextBoolean())
403     assertFalse(s.tryAdvance(alwaysThrows));
404     else
405     s.forEachRemaining(alwaysThrows);
406     }
407     if (it.hasNext()) iterated.add(it.next());
408     if (rnd.nextBoolean()) assertIteratorExhausted(it);
409     }
410     assertTrue(copy.containsAll(iterated));
411     assertTrue(copy.containsAll(spliterated));
412     }
413    
414     /**
415     * Some elements randomly disappear in the middle of traversal.
416     */
417     public void testRandomElementRemovalDuringTraversal() {
418     Collection c = impl.emptyCollection();
419     ThreadLocalRandom rnd = ThreadLocalRandom.current();
420     int n = rnd.nextInt(6);
421     ArrayList copy = new ArrayList();
422     for (int i = 0; i < n; i++) {
423     Object x = impl.makeElement(i);
424     copy.add(x);
425     c.add(x);
426     }
427     ArrayList iterated = new ArrayList();
428     ArrayList spliterated = new ArrayList();
429     ArrayList removed = new ArrayList();
430     Spliterator s = c.spliterator();
431     Iterator it = c.iterator();
432     if (! (s.hasCharacteristics(Spliterator.CONCURRENT) ||
433     s.hasCharacteristics(Spliterator.IMMUTABLE)))
434     return;
435     for (int i = rnd.nextInt(n + 1); --i >= 0; ) {
436     assertTrue(s.tryAdvance(e -> {}));
437     if (rnd.nextBoolean()) assertTrue(it.hasNext());
438     it.next();
439     }
440     Consumer alwaysThrows = e -> { throw new AssertionError(); };
441     // TODO: many more removal methods
442     if (rnd.nextBoolean()) {
443     for (Iterator z = c.iterator(); z.hasNext(); ) {
444     Object e = z.next();
445     if (rnd.nextBoolean()) {
446     try {
447     z.remove();
448     } catch (UnsupportedOperationException ok) { return; }
449     removed.add(e);
450     }
451     }
452     } else {
453     Predicate randomlyRemove = e -> {
454     if (rnd.nextBoolean()) { removed.add(e); return true; }
455     else return false;
456     };
457     c.removeIf(randomlyRemove);
458     }
459     s.forEachRemaining(spliterated::add);
460     while (it.hasNext())
461     iterated.add(it.next());
462     assertTrue(copy.containsAll(iterated));
463     assertTrue(copy.containsAll(spliterated));
464     assertTrue(copy.containsAll(removed));
465     if (s.hasCharacteristics(Spliterator.CONCURRENT)) {
466     ArrayList iteratedAndRemoved = new ArrayList(iterated);
467     ArrayList spliteratedAndRemoved = new ArrayList(spliterated);
468     iteratedAndRemoved.retainAll(removed);
469     spliteratedAndRemoved.retainAll(removed);
470     assertTrue(iteratedAndRemoved.size() <= 1);
471     assertTrue(spliteratedAndRemoved.size() <= 1);
472     if (testImplementationDetails
473     && !(c instanceof java.util.concurrent.ArrayBlockingQueue))
474     assertTrue(spliteratedAndRemoved.isEmpty());
475     }
476     }
477    
478     /**
479 jsr166 1.5 * Various ways of traversing a collection yield same elements
480     */
481 jsr166 1.41 public void testTraversalEquivalence() {
482 jsr166 1.5 Collection c = impl.emptyCollection();
483     ThreadLocalRandom rnd = ThreadLocalRandom.current();
484     int n = rnd.nextInt(6);
485     for (int i = 0; i < n; i++) c.add(impl.makeElement(i));
486     ArrayList iterated = new ArrayList();
487     ArrayList iteratedForEachRemaining = new ArrayList();
488 jsr166 1.13 ArrayList tryAdvanced = new ArrayList();
489 jsr166 1.5 ArrayList spliterated = new ArrayList();
490 jsr166 1.33 ArrayList splitonced = new ArrayList();
491 jsr166 1.13 ArrayList forEached = new ArrayList();
492 jsr166 1.32 ArrayList streamForEached = new ArrayList();
493     ConcurrentLinkedQueue parallelStreamForEached = new ConcurrentLinkedQueue();
494 jsr166 1.13 ArrayList removeIfed = new ArrayList();
495 jsr166 1.5 for (Object x : c) iterated.add(x);
496 jsr166 1.28 c.iterator().forEachRemaining(iteratedForEachRemaining::add);
497 jsr166 1.13 for (Spliterator s = c.spliterator();
498 jsr166 1.28 s.tryAdvance(tryAdvanced::add); ) {}
499     c.spliterator().forEachRemaining(spliterated::add);
500 jsr166 1.33 { // trySplit returns "strict prefix"
501     Spliterator s1 = c.spliterator(), s2 = s1.trySplit();
502     if (s2 != null) s2.forEachRemaining(splitonced::add);
503     s1.forEachRemaining(splitonced::add);
504     }
505 jsr166 1.28 c.forEach(forEached::add);
506 jsr166 1.32 c.stream().forEach(streamForEached::add);
507     c.parallelStream().forEach(parallelStreamForEached::add);
508 jsr166 1.13 c.removeIf(e -> { removeIfed.add(e); return false; });
509 jsr166 1.5 boolean ordered =
510     c.spliterator().hasCharacteristics(Spliterator.ORDERED);
511     if (c instanceof List || c instanceof Deque)
512     assertTrue(ordered);
513 jsr166 1.32 HashSet cset = new HashSet(c);
514     assertEquals(cset, new HashSet(parallelStreamForEached));
515 jsr166 1.5 if (ordered) {
516     assertEquals(iterated, iteratedForEachRemaining);
517 jsr166 1.13 assertEquals(iterated, tryAdvanced);
518 jsr166 1.5 assertEquals(iterated, spliterated);
519 jsr166 1.33 assertEquals(iterated, splitonced);
520 jsr166 1.13 assertEquals(iterated, forEached);
521 jsr166 1.32 assertEquals(iterated, streamForEached);
522 jsr166 1.13 assertEquals(iterated, removeIfed);
523 jsr166 1.5 } else {
524     assertEquals(cset, new HashSet(iterated));
525     assertEquals(cset, new HashSet(iteratedForEachRemaining));
526 jsr166 1.13 assertEquals(cset, new HashSet(tryAdvanced));
527 jsr166 1.5 assertEquals(cset, new HashSet(spliterated));
528 jsr166 1.33 assertEquals(cset, new HashSet(splitonced));
529 jsr166 1.13 assertEquals(cset, new HashSet(forEached));
530 jsr166 1.32 assertEquals(cset, new HashSet(streamForEached));
531 jsr166 1.13 assertEquals(cset, new HashSet(removeIfed));
532 jsr166 1.5 }
533     if (c instanceof Deque) {
534     Deque d = (Deque) c;
535     ArrayList descending = new ArrayList();
536     ArrayList descendingForEachRemaining = new ArrayList();
537     for (Iterator it = d.descendingIterator(); it.hasNext(); )
538     descending.add(it.next());
539     d.descendingIterator().forEachRemaining(
540     e -> descendingForEachRemaining.add(e));
541     Collections.reverse(descending);
542     Collections.reverse(descendingForEachRemaining);
543     assertEquals(iterated, descending);
544     assertEquals(iterated, descendingForEachRemaining);
545     }
546     }
547    
548     /**
549 jsr166 1.42 * Iterator.forEachRemaining has same behavior as Iterator's
550     * default implementation.
551     */
552     public void testForEachRemainingConsistentWithDefaultImplementation() {
553     Collection c = impl.emptyCollection();
554     if (!testImplementationDetails
555     || c.getClass() == java.util.LinkedList.class)
556     return;
557     ThreadLocalRandom rnd = ThreadLocalRandom.current();
558     int n = 1 + rnd.nextInt(3);
559     for (int i = 0; i < n; i++) c.add(impl.makeElement(i));
560     ArrayList iterated = new ArrayList();
561     ArrayList iteratedForEachRemaining = new ArrayList();
562     Iterator it1 = c.iterator();
563     Iterator it2 = c.iterator();
564     assertTrue(it1.hasNext());
565     assertTrue(it2.hasNext());
566     c.clear();
567     Object r1, r2;
568     try {
569     while (it1.hasNext()) iterated.add(it1.next());
570     r1 = iterated;
571     } catch (ConcurrentModificationException ex) {
572     r1 = ConcurrentModificationException.class;
573     assertFalse(impl.isConcurrent());
574     }
575     try {
576     it2.forEachRemaining(iteratedForEachRemaining::add);
577     r2 = iteratedForEachRemaining;
578     } catch (ConcurrentModificationException ex) {
579     r2 = ConcurrentModificationException.class;
580 jsr166 1.44 assertFalse(impl.isConcurrent());
581 jsr166 1.42 }
582     assertEquals(r1, r2);
583     }
584    
585     /**
586 jsr166 1.5 * Calling Iterator#remove() after Iterator#forEachRemaining
587 jsr166 1.21 * should (maybe) remove last element
588 jsr166 1.5 */
589     public void testRemoveAfterForEachRemaining() {
590     Collection c = impl.emptyCollection();
591     ThreadLocalRandom rnd = ThreadLocalRandom.current();
592 jsr166 1.25 testCollection: {
593 jsr166 1.5 int n = 3 + rnd.nextInt(2);
594     for (int i = 0; i < n; i++) c.add(impl.makeElement(i));
595     Iterator it = c.iterator();
596     assertTrue(it.hasNext());
597     assertEquals(impl.makeElement(0), it.next());
598     assertTrue(it.hasNext());
599     assertEquals(impl.makeElement(1), it.next());
600 jsr166 1.21 it.forEachRemaining(e -> assertTrue(c.contains(e)));
601     if (testImplementationDetails) {
602     if (c instanceof java.util.concurrent.ArrayBlockingQueue) {
603     assertIteratorExhausted(it);
604     } else {
605 jsr166 1.25 try { it.remove(); }
606     catch (UnsupportedOperationException ok) {
607     break testCollection;
608     }
609 jsr166 1.21 assertEquals(n - 1, c.size());
610     for (int i = 0; i < n - 1; i++)
611     assertTrue(c.contains(impl.makeElement(i)));
612     assertFalse(c.contains(impl.makeElement(n - 1)));
613     }
614     }
615 jsr166 1.5 }
616     if (c instanceof Deque) {
617     Deque d = (Deque) impl.emptyCollection();
618     int n = 3 + rnd.nextInt(2);
619     for (int i = 0; i < n; i++) d.add(impl.makeElement(i));
620     Iterator it = d.descendingIterator();
621     assertTrue(it.hasNext());
622     assertEquals(impl.makeElement(n - 1), it.next());
623     assertTrue(it.hasNext());
624     assertEquals(impl.makeElement(n - 2), it.next());
625 jsr166 1.21 it.forEachRemaining(e -> assertTrue(c.contains(e)));
626     if (testImplementationDetails) {
627     it.remove();
628     assertEquals(n - 1, d.size());
629     for (int i = 1; i < n; i++)
630     assertTrue(d.contains(impl.makeElement(i)));
631     assertFalse(d.contains(impl.makeElement(0)));
632     }
633 jsr166 1.5 }
634     }
635    
636 jsr166 1.1 /**
637     * stream().forEach returns elements in the collection
638     */
639 jsr166 1.3 public void testStreamForEach() throws Throwable {
640 jsr166 1.1 final Collection c = impl.emptyCollection();
641     final AtomicLong count = new AtomicLong(0L);
642     final Object x = impl.makeElement(1);
643     final Object y = impl.makeElement(2);
644     final ArrayList found = new ArrayList();
645 jsr166 1.20 Consumer<Object> spy = o -> found.add(o);
646 jsr166 1.1 c.stream().forEach(spy);
647     assertTrue(found.isEmpty());
648    
649     assertTrue(c.add(x));
650     c.stream().forEach(spy);
651     assertEquals(Collections.singletonList(x), found);
652     found.clear();
653    
654     assertTrue(c.add(y));
655     c.stream().forEach(spy);
656     assertEquals(2, found.size());
657     assertTrue(found.contains(x));
658     assertTrue(found.contains(y));
659     found.clear();
660    
661     c.clear();
662     c.stream().forEach(spy);
663     assertTrue(found.isEmpty());
664     }
665    
666 jsr166 1.3 public void testStreamForEachConcurrentStressTest() throws Throwable {
667     if (!impl.isConcurrent()) return;
668     final Collection c = impl.emptyCollection();
669     final long testDurationMillis = timeoutMillis();
670     final AtomicBoolean done = new AtomicBoolean(false);
671     final Object elt = impl.makeElement(1);
672     final Future<?> f1, f2;
673     final ExecutorService pool = Executors.newCachedThreadPool();
674     try (PoolCleaner cleaner = cleaner(pool, done)) {
675     final CountDownLatch threadsStarted = new CountDownLatch(2);
676     Runnable checkElt = () -> {
677     threadsStarted.countDown();
678     while (!done.get())
679 jsr166 1.20 c.stream().forEach(x -> assertSame(x, elt)); };
680 jsr166 1.3 Runnable addRemove = () -> {
681     threadsStarted.countDown();
682     while (!done.get()) {
683     assertTrue(c.add(elt));
684     assertTrue(c.remove(elt));
685     }};
686     f1 = pool.submit(checkElt);
687     f2 = pool.submit(addRemove);
688     Thread.sleep(testDurationMillis);
689     }
690     assertNull(f1.get(0L, MILLISECONDS));
691     assertNull(f2.get(0L, MILLISECONDS));
692     }
693    
694     /**
695     * collection.forEach returns elements in the collection
696     */
697     public void testForEach() throws Throwable {
698     final Collection c = impl.emptyCollection();
699     final AtomicLong count = new AtomicLong(0L);
700     final Object x = impl.makeElement(1);
701     final Object y = impl.makeElement(2);
702     final ArrayList found = new ArrayList();
703 jsr166 1.20 Consumer<Object> spy = o -> found.add(o);
704 jsr166 1.3 c.forEach(spy);
705     assertTrue(found.isEmpty());
706    
707     assertTrue(c.add(x));
708     c.forEach(spy);
709     assertEquals(Collections.singletonList(x), found);
710     found.clear();
711    
712     assertTrue(c.add(y));
713     c.forEach(spy);
714     assertEquals(2, found.size());
715     assertTrue(found.contains(x));
716     assertTrue(found.contains(y));
717     found.clear();
718    
719     c.clear();
720     c.forEach(spy);
721     assertTrue(found.isEmpty());
722     }
723    
724 jsr166 1.38 /** TODO: promote to a common utility */
725     static <T> T chooseOne(T ... ts) {
726     return ts[ThreadLocalRandom.current().nextInt(ts.length)];
727     }
728    
729     /** TODO: more random adders and removers */
730     static <E> Runnable adderRemover(Collection<E> c, E e) {
731     return chooseOne(
732     () -> {
733     assertTrue(c.add(e));
734     assertTrue(c.contains(e));
735     assertTrue(c.remove(e));
736     assertFalse(c.contains(e));
737     },
738     () -> {
739     assertTrue(c.add(e));
740     assertTrue(c.contains(e));
741     assertTrue(c.removeIf(x -> x == e));
742     assertFalse(c.contains(e));
743     },
744     () -> {
745     assertTrue(c.add(e));
746     assertTrue(c.contains(e));
747     for (Iterator it = c.iterator();; )
748     if (it.next() == e) {
749     try { it.remove(); }
750     catch (UnsupportedOperationException ok) {
751     c.remove(e);
752     }
753     break;
754     }
755     assertFalse(c.contains(e));
756     });
757     }
758    
759 jsr166 1.26 /**
760 jsr166 1.45 * Concurrent Spliterators, once exhausted, stay exhausted.
761     */
762     public void testStickySpliteratorExhaustion() throws Throwable {
763     if (!impl.isConcurrent()) return;
764     if (!testImplementationDetails) return;
765     final ThreadLocalRandom rnd = ThreadLocalRandom.current();
766     final Consumer alwaysThrows = e -> { throw new AssertionError(); };
767     final Collection c = impl.emptyCollection();
768     final Spliterator s = c.spliterator();
769     if (rnd.nextBoolean()) {
770     assertFalse(s.tryAdvance(alwaysThrows));
771     } else {
772     s.forEachRemaining(alwaysThrows);
773     }
774     final Object one = impl.makeElement(1);
775     // Spliterator should not notice added element
776     c.add(one);
777     if (rnd.nextBoolean()) {
778     assertFalse(s.tryAdvance(alwaysThrows));
779     } else {
780     s.forEachRemaining(alwaysThrows);
781     }
782     }
783    
784     /**
785 jsr166 1.26 * Motley crew of threads concurrently randomly hammer the collection.
786     */
787     public void testDetectRaces() throws Throwable {
788 jsr166 1.1 if (!impl.isConcurrent()) return;
789 jsr166 1.26 final ThreadLocalRandom rnd = ThreadLocalRandom.current();
790 jsr166 1.1 final Collection c = impl.emptyCollection();
791 jsr166 1.34 final long testDurationMillis
792     = expensiveTests ? LONG_DELAY_MS : timeoutMillis();
793 jsr166 1.1 final AtomicBoolean done = new AtomicBoolean(false);
794 jsr166 1.26 final Object one = impl.makeElement(1);
795     final Object two = impl.makeElement(2);
796 jsr166 1.35 final Consumer checkSanity = x -> assertTrue(x == one || x == two);
797 jsr166 1.36 final Consumer<Object[]> checkArraySanity = array -> {
798 jsr166 1.37 // assertTrue(array.length <= 2); // duplicates are permitted
799 jsr166 1.36 for (Object x : array) assertTrue(x == one || x == two);
800     };
801 jsr166 1.29 final Object[] emptyArray =
802     (Object[]) java.lang.reflect.Array.newInstance(one.getClass(), 0);
803 jsr166 1.26 final List<Future<?>> futures;
804     final Phaser threadsStarted = new Phaser(1); // register this thread
805 jsr166 1.27 final Runnable[] frobbers = {
806 jsr166 1.32 () -> c.forEach(checkSanity),
807     () -> c.stream().forEach(checkSanity),
808     () -> c.parallelStream().forEach(checkSanity),
809 jsr166 1.26 () -> c.spliterator().trySplit(),
810     () -> {
811     Spliterator s = c.spliterator();
812 jsr166 1.32 s.tryAdvance(checkSanity);
813 jsr166 1.26 s.trySplit();
814     },
815     () -> {
816     Spliterator s = c.spliterator();
817 jsr166 1.32 do {} while (s.tryAdvance(checkSanity));
818 jsr166 1.29 },
819 jsr166 1.32 () -> { for (Object x : c) checkSanity.accept(x); },
820 jsr166 1.36 () -> checkArraySanity.accept(c.toArray()),
821     () -> checkArraySanity.accept(c.toArray(emptyArray)),
822 jsr166 1.29 () -> {
823 jsr166 1.38 Object[] a = new Object[5];
824     Object three = impl.makeElement(3);
825     Arrays.fill(a, 0, a.length, three);
826     Object[] x = c.toArray(a);
827     if (x == a)
828     for (int i = 0; i < a.length && a[i] != null; i++)
829     checkSanity.accept(a[i]);
830     // A careful reading of the spec does not support:
831     // for (i++; i < a.length; i++) assertSame(three, a[i]);
832     else
833     checkArraySanity.accept(x);
834     },
835     adderRemover(c, one),
836     adderRemover(c, two),
837 jsr166 1.27 };
838     final List<Runnable> tasks =
839     Arrays.stream(frobbers)
840 jsr166 1.26 .filter(task -> rnd.nextBoolean()) // random subset
841     .map(task -> (Runnable) () -> {
842     threadsStarted.arriveAndAwaitAdvance();
843     while (!done.get())
844     task.run();
845     })
846     .collect(Collectors.toList());
847 jsr166 1.2 final ExecutorService pool = Executors.newCachedThreadPool();
848     try (PoolCleaner cleaner = cleaner(pool, done)) {
849 jsr166 1.26 threadsStarted.bulkRegister(tasks.size());
850     futures = tasks.stream()
851 jsr166 1.28 .map(pool::submit)
852 jsr166 1.26 .collect(Collectors.toList());
853     threadsStarted.arriveAndDeregister();
854 jsr166 1.2 Thread.sleep(testDurationMillis);
855     }
856 jsr166 1.26 for (Future future : futures)
857     assertNull(future.get(0L, MILLISECONDS));
858 jsr166 1.1 }
859    
860 jsr166 1.30 /**
861     * Spliterators are either IMMUTABLE or truly late-binding or, if
862     * concurrent, use the same "late-binding style" of returning
863     * elements added between creation and first use.
864     */
865     public void testLateBindingStyle() {
866     if (!testImplementationDetails) return;
867 jsr166 1.31 if (impl.klazz() == ArrayList.class) return; // for jdk8
868 jsr166 1.30 // Immutable (snapshot) spliterators are exempt
869     if (impl.emptyCollection().spliterator()
870     .hasCharacteristics(Spliterator.IMMUTABLE))
871     return;
872     final Object one = impl.makeElement(1);
873     {
874     final Collection c = impl.emptyCollection();
875     final Spliterator split = c.spliterator();
876     c.add(one);
877     assertTrue(split.tryAdvance(e -> { assertSame(e, one); }));
878     assertFalse(split.tryAdvance(e -> { throw new AssertionError(); }));
879     assertTrue(c.contains(one));
880     }
881     {
882     final AtomicLong count = new AtomicLong(0);
883     final Collection c = impl.emptyCollection();
884     final Spliterator split = c.spliterator();
885     c.add(one);
886     split.forEachRemaining(
887     e -> { assertSame(e, one); count.getAndIncrement(); });
888     assertEquals(1L, count.get());
889     assertFalse(split.tryAdvance(e -> { throw new AssertionError(); }));
890     assertTrue(c.contains(one));
891     }
892     }
893    
894 jsr166 1.40 /**
895     * Spliterator.getComparator throws IllegalStateException iff the
896     * spliterator does not report SORTED.
897     */
898     public void testGetComparator_IllegalStateException() {
899     Collection c = impl.emptyCollection();
900     Spliterator s = c.spliterator();
901     boolean reportsSorted = s.hasCharacteristics(Spliterator.SORTED);
902     try {
903     s.getComparator();
904     assertTrue(reportsSorted);
905     } catch (IllegalStateException ex) {
906     assertFalse(reportsSorted);
907     }
908     }
909    
910 jsr166 1.51 public void testCollectionCopies() throws Exception {
911 jsr166 1.50 ThreadLocalRandom rnd = ThreadLocalRandom.current();
912     Collection c = impl.emptyCollection();
913 jsr166 1.51 for (int n = rnd.nextInt(4); n--> 0; )
914 jsr166 1.50 c.add(impl.makeElement(rnd.nextInt()));
915     assertEquals(c, c);
916 jsr166 1.51 if (c instanceof List)
917     assertCollectionsEquals(c, new ArrayList(c));
918     else if (c instanceof Set)
919     assertCollectionsEquals(c, new HashSet(c));
920     else if (c instanceof Deque)
921     assertCollectionsEquivalent(c, new ArrayDeque(c));
922    
923     Collection clone = cloneableClone(c);
924     if (clone != null) {
925     assertSame(c.getClass(), clone.getClass());
926     assertCollectionsEquivalent(c, clone);
927 jsr166 1.50 }
928 jsr166 1.51 try {
929     Collection serialClone = serialClonePossiblyFailing(c);
930     assertSame(c.getClass(), serialClone.getClass());
931     assertCollectionsEquivalent(c, serialClone);
932     } catch (java.io.NotSerializableException acceptable) {}
933 jsr166 1.50 }
934    
935 jsr166 1.52 public void testReplaceAllIsNotStructuralModification() {
936     Collection c = impl.emptyCollection();
937     if (!(c instanceof List))
938     return;
939     List list = (List) c;
940     ThreadLocalRandom rnd = ThreadLocalRandom.current();
941     for (int n = rnd.nextInt(2, 10); n--> 0; )
942     list.add(impl.makeElement(rnd.nextInt()));
943     ArrayList copy = new ArrayList(list);
944     int size = list.size(), half = size / 2;
945     Iterator it = list.iterator();
946     for (int i = 0; i < half; i++)
947     assertEquals(it.next(), copy.get(i));
948     list.replaceAll(n -> n);
949     // ConcurrentModificationException must not be thrown here.
950     for (int i = half; i < size; i++)
951     assertEquals(it.next(), copy.get(i));
952     }
953    
954 jsr166 1.4 // public void testCollection8DebugFail() {
955     // fail(impl.klazz().getSimpleName());
956     // }
957 jsr166 1.1 }