ViewVC Help
View File | Revision Log | Show Annotations | Download File | Root Listing
root/jsr166/jsr166/src/test/tck/PriorityQueueTest.java
Revision: 1.37
Committed: Wed Jun 1 16:08:04 2016 UTC (7 years, 11 months ago) by jsr166
Branch: MAIN
Changes since 1.36: +5 -2 lines
Log Message:
8066070: PriorityQueue corrupted when adding non-Comparable

File Contents

# User Rev Content
1 dl 1.1 /*
2 dl 1.8 * Written by Doug Lea with assistance from members of JCP JSR-166
3     * Expert Group and released to the public domain, as explained at
4 jsr166 1.21 * http://creativecommons.org/publicdomain/zero/1.0/
5 jsr166 1.9 * Other contributors include Andrew Wright, Jeffrey Hayes,
6     * Pat Fisher, Mike Judd.
7 dl 1.1 */
8    
9 jsr166 1.23 import java.util.Arrays;
10     import java.util.Collection;
11     import java.util.Comparator;
12     import java.util.Iterator;
13     import java.util.NoSuchElementException;
14     import java.util.PriorityQueue;
15     import java.util.Queue;
16 dl 1.1
17 jsr166 1.27 import junit.framework.Test;
18     import junit.framework.TestSuite;
19    
20 dl 1.3 public class PriorityQueueTest extends JSR166TestCase {
21 dl 1.1 public static void main(String[] args) {
22 jsr166 1.33 main(suite(), args);
23 dl 1.1 }
24     public static Test suite() {
25 jsr166 1.12 return new TestSuite(PriorityQueueTest.class);
26 dl 1.1 }
27    
28 jsr166 1.9 static class MyReverseComparator implements Comparator {
29 dl 1.1 public int compare(Object x, Object y) {
30 jsr166 1.15 return ((Comparable)y).compareTo(x);
31 dl 1.1 }
32     }
33    
34     /**
35 jsr166 1.25 * Returns a new queue of given size containing consecutive
36 dl 1.1 * Integers 0 ... n.
37     */
38 jsr166 1.19 private PriorityQueue<Integer> populatedQueue(int n) {
39     PriorityQueue<Integer> q = new PriorityQueue<Integer>(n);
40 dl 1.1 assertTrue(q.isEmpty());
41 jsr166 1.36 for (int i = n - 1; i >= 0; i -= 2)
42 jsr166 1.12 assertTrue(q.offer(new Integer(i)));
43 jsr166 1.28 for (int i = (n & 1); i < n; i += 2)
44 jsr166 1.12 assertTrue(q.offer(new Integer(i)));
45 dl 1.1 assertFalse(q.isEmpty());
46 jsr166 1.12 assertEquals(n, q.size());
47 dl 1.1 return q;
48     }
49 jsr166 1.9
50 dl 1.5 /**
51 dl 1.6 * A new queue has unbounded capacity
52 dl 1.5 */
53     public void testConstructor1() {
54 dl 1.3 assertEquals(0, new PriorityQueue(SIZE).size());
55 dl 1.1 }
56    
57 dl 1.5 /**
58 jsr166 1.13 * Constructor throws IAE if capacity argument nonpositive
59 dl 1.5 */
60     public void testConstructor2() {
61 dl 1.1 try {
62 jsr166 1.31 new PriorityQueue(0);
63 dl 1.5 shouldThrow();
64 jsr166 1.13 } catch (IllegalArgumentException success) {}
65 dl 1.1 }
66    
67 dl 1.5 /**
68 dl 1.6 * Initializing from null Collection throws NPE
69 dl 1.5 */
70 dl 1.1 public void testConstructor3() {
71     try {
72 jsr166 1.31 new PriorityQueue((Collection)null);
73 dl 1.5 shouldThrow();
74 jsr166 1.13 } catch (NullPointerException success) {}
75 dl 1.1 }
76    
77 dl 1.5 /**
78 dl 1.6 * Initializing from Collection of null elements throws NPE
79 dl 1.5 */
80     public void testConstructor4() {
81 dl 1.1 try {
82 jsr166 1.34 new PriorityQueue(Arrays.asList(new Integer[SIZE]));
83 dl 1.5 shouldThrow();
84 jsr166 1.13 } catch (NullPointerException success) {}
85 dl 1.1 }
86    
87 dl 1.5 /**
88 dl 1.6 * Initializing from Collection with some null elements throws NPE
89 dl 1.5 */
90     public void testConstructor5() {
91 jsr166 1.34 Integer[] ints = new Integer[SIZE];
92 jsr166 1.35 for (int i = 0; i < SIZE - 1; ++i)
93 jsr166 1.34 ints[i] = new Integer(i);
94 dl 1.1 try {
95 jsr166 1.31 new PriorityQueue(Arrays.asList(ints));
96 dl 1.5 shouldThrow();
97 jsr166 1.13 } catch (NullPointerException success) {}
98 dl 1.1 }
99    
100 dl 1.5 /**
101 dl 1.6 * Queue contains all elements of collection used to initialize
102 dl 1.5 */
103     public void testConstructor6() {
104 jsr166 1.14 Integer[] ints = new Integer[SIZE];
105     for (int i = 0; i < SIZE; ++i)
106     ints[i] = new Integer(i);
107     PriorityQueue q = new PriorityQueue(Arrays.asList(ints));
108     for (int i = 0; i < SIZE; ++i)
109     assertEquals(ints[i], q.poll());
110 dl 1.1 }
111    
112 dl 1.5 /**
113 dl 1.6 * The comparator used in constructor is used
114 dl 1.5 */
115     public void testConstructor7() {
116 jsr166 1.14 MyReverseComparator cmp = new MyReverseComparator();
117     PriorityQueue q = new PriorityQueue(SIZE, cmp);
118     assertEquals(cmp, q.comparator());
119     Integer[] ints = new Integer[SIZE];
120     for (int i = 0; i < SIZE; ++i)
121     ints[i] = new Integer(i);
122     q.addAll(Arrays.asList(ints));
123 jsr166 1.35 for (int i = SIZE - 1; i >= 0; --i)
124 jsr166 1.14 assertEquals(ints[i], q.poll());
125 dl 1.1 }
126    
127 dl 1.5 /**
128 dl 1.6 * isEmpty is true before add, false after
129 dl 1.5 */
130 dl 1.1 public void testEmpty() {
131     PriorityQueue q = new PriorityQueue(2);
132     assertTrue(q.isEmpty());
133     q.add(new Integer(1));
134     assertFalse(q.isEmpty());
135     q.add(new Integer(2));
136     q.remove();
137     q.remove();
138     assertTrue(q.isEmpty());
139     }
140    
141 dl 1.5 /**
142 dl 1.6 * size changes when elements added and removed
143 dl 1.5 */
144 dl 1.1 public void testSize() {
145 dl 1.3 PriorityQueue q = populatedQueue(SIZE);
146     for (int i = 0; i < SIZE; ++i) {
147 jsr166 1.35 assertEquals(SIZE - i, q.size());
148 dl 1.1 q.remove();
149     }
150 dl 1.3 for (int i = 0; i < SIZE; ++i) {
151 dl 1.1 assertEquals(i, q.size());
152     q.add(new Integer(i));
153     }
154     }
155    
156 dl 1.5 /**
157 dl 1.6 * offer(null) throws NPE
158 dl 1.5 */
159     public void testOfferNull() {
160 jsr166 1.34 PriorityQueue q = new PriorityQueue(1);
161 jsr166 1.12 try {
162 dl 1.1 q.offer(null);
163 dl 1.5 shouldThrow();
164 jsr166 1.13 } catch (NullPointerException success) {}
165 dl 1.1 }
166    
167 dl 1.5 /**
168 dl 1.7 * add(null) throws NPE
169     */
170     public void testAddNull() {
171 jsr166 1.34 PriorityQueue q = new PriorityQueue(1);
172 jsr166 1.12 try {
173 dl 1.7 q.add(null);
174     shouldThrow();
175 jsr166 1.13 } catch (NullPointerException success) {}
176 dl 1.7 }
177    
178     /**
179 dl 1.6 * Offer of comparable element succeeds
180 dl 1.5 */
181 dl 1.1 public void testOffer() {
182     PriorityQueue q = new PriorityQueue(1);
183 dl 1.6 assertTrue(q.offer(zero));
184     assertTrue(q.offer(one));
185 dl 1.1 }
186    
187 dl 1.5 /**
188 dl 1.6 * Offer of non-Comparable throws CCE
189 dl 1.5 */
190 dl 1.1 public void testOfferNonComparable() {
191 jsr166 1.32 PriorityQueue q = new PriorityQueue(1);
192 dl 1.1 try {
193     q.offer(new Object());
194 dl 1.5 shouldThrow();
195 jsr166 1.37 } catch (ClassCastException success) {
196     assertTrue(q.isEmpty());
197     assertEquals(0, q.size());
198     assertNull(q.poll());
199     }
200 dl 1.1 }
201    
202 dl 1.5 /**
203 dl 1.6 * add of comparable succeeds
204 dl 1.5 */
205     public void testAdd() {
206 dl 1.3 PriorityQueue q = new PriorityQueue(SIZE);
207     for (int i = 0; i < SIZE; ++i) {
208 dl 1.1 assertEquals(i, q.size());
209     assertTrue(q.add(new Integer(i)));
210     }
211     }
212    
213 dl 1.5 /**
214 dl 1.6 * addAll(null) throws NPE
215 dl 1.5 */
216     public void testAddAll1() {
217 jsr166 1.34 PriorityQueue q = new PriorityQueue(1);
218 dl 1.1 try {
219     q.addAll(null);
220 dl 1.5 shouldThrow();
221 jsr166 1.13 } catch (NullPointerException success) {}
222 dl 1.1 }
223 jsr166 1.17
224 dl 1.5 /**
225 dl 1.6 * addAll of a collection with null elements throws NPE
226 dl 1.5 */
227     public void testAddAll2() {
228 jsr166 1.34 PriorityQueue q = new PriorityQueue(SIZE);
229 dl 1.1 try {
230 jsr166 1.34 q.addAll(Arrays.asList(new Integer[SIZE]));
231 dl 1.5 shouldThrow();
232 jsr166 1.13 } catch (NullPointerException success) {}
233 dl 1.1 }
234 jsr166 1.17
235 dl 1.5 /**
236 dl 1.6 * addAll of a collection with any null elements throws NPE after
237     * possibly adding some elements
238 dl 1.5 */
239     public void testAddAll3() {
240 jsr166 1.34 PriorityQueue q = new PriorityQueue(SIZE);
241     Integer[] ints = new Integer[SIZE];
242 jsr166 1.35 for (int i = 0; i < SIZE - 1; ++i)
243 jsr166 1.34 ints[i] = new Integer(i);
244 dl 1.1 try {
245     q.addAll(Arrays.asList(ints));
246 dl 1.5 shouldThrow();
247 jsr166 1.13 } catch (NullPointerException success) {}
248 dl 1.1 }
249    
250 dl 1.5 /**
251 dl 1.6 * Queue contains all elements of successful addAll
252 dl 1.5 */
253     public void testAddAll5() {
254 jsr166 1.14 Integer[] empty = new Integer[0];
255     Integer[] ints = new Integer[SIZE];
256     for (int i = 0; i < SIZE; ++i)
257 jsr166 1.35 ints[i] = new Integer(SIZE - 1 - i);
258 jsr166 1.14 PriorityQueue q = new PriorityQueue(SIZE);
259     assertFalse(q.addAll(Arrays.asList(empty)));
260     assertTrue(q.addAll(Arrays.asList(ints)));
261     for (int i = 0; i < SIZE; ++i)
262     assertEquals(new Integer(i), q.poll());
263 dl 1.1 }
264    
265 dl 1.5 /**
266 dl 1.6 * poll succeeds unless empty
267 dl 1.5 */
268     public void testPoll() {
269 dl 1.3 PriorityQueue q = populatedQueue(SIZE);
270     for (int i = 0; i < SIZE; ++i) {
271 jsr166 1.15 assertEquals(i, q.poll());
272 dl 1.1 }
273 jsr166 1.12 assertNull(q.poll());
274 dl 1.1 }
275    
276 dl 1.5 /**
277 dl 1.6 * peek returns next element, or null if empty
278 dl 1.5 */
279     public void testPeek() {
280 dl 1.3 PriorityQueue q = populatedQueue(SIZE);
281     for (int i = 0; i < SIZE; ++i) {
282 jsr166 1.15 assertEquals(i, q.peek());
283     assertEquals(i, q.poll());
284 dl 1.1 assertTrue(q.peek() == null ||
285 jsr166 1.15 !q.peek().equals(i));
286 dl 1.1 }
287 jsr166 1.12 assertNull(q.peek());
288 dl 1.1 }
289    
290 dl 1.5 /**
291 dl 1.6 * element returns next element, or throws NSEE if empty
292 dl 1.5 */
293     public void testElement() {
294 dl 1.3 PriorityQueue q = populatedQueue(SIZE);
295     for (int i = 0; i < SIZE; ++i) {
296 jsr166 1.15 assertEquals(i, q.element());
297     assertEquals(i, q.poll());
298 dl 1.1 }
299     try {
300     q.element();
301 dl 1.5 shouldThrow();
302 jsr166 1.13 } catch (NoSuchElementException success) {}
303 dl 1.1 }
304    
305 dl 1.5 /**
306 dl 1.6 * remove removes next element, or throws NSEE if empty
307 dl 1.5 */
308     public void testRemove() {
309 dl 1.3 PriorityQueue q = populatedQueue(SIZE);
310     for (int i = 0; i < SIZE; ++i) {
311 jsr166 1.15 assertEquals(i, q.remove());
312 dl 1.1 }
313     try {
314     q.remove();
315 dl 1.5 shouldThrow();
316 jsr166 1.13 } catch (NoSuchElementException success) {}
317 dl 1.1 }
318    
319 dl 1.5 /**
320 dl 1.6 * remove(x) removes x and returns true if present
321 dl 1.5 */
322     public void testRemoveElement() {
323 dl 1.3 PriorityQueue q = populatedQueue(SIZE);
324 jsr166 1.28 for (int i = 1; i < SIZE; i += 2) {
325 jsr166 1.20 assertTrue(q.contains(i));
326     assertTrue(q.remove(i));
327     assertFalse(q.contains(i));
328 jsr166 1.36 assertTrue(q.contains(i - 1));
329 dl 1.1 }
330 jsr166 1.28 for (int i = 0; i < SIZE; i += 2) {
331 jsr166 1.20 assertTrue(q.contains(i));
332     assertTrue(q.remove(i));
333     assertFalse(q.contains(i));
334 jsr166 1.36 assertFalse(q.remove(i + 1));
335     assertFalse(q.contains(i + 1));
336 dl 1.1 }
337 dl 1.2 assertTrue(q.isEmpty());
338 dl 1.1 }
339 jsr166 1.9
340 dl 1.5 /**
341 dl 1.6 * contains(x) reports true when elements added but not yet removed
342 dl 1.5 */
343     public void testContains() {
344 dl 1.3 PriorityQueue q = populatedQueue(SIZE);
345     for (int i = 0; i < SIZE; ++i) {
346 dl 1.1 assertTrue(q.contains(new Integer(i)));
347     q.poll();
348     assertFalse(q.contains(new Integer(i)));
349     }
350     }
351    
352 dl 1.5 /**
353 dl 1.6 * clear removes all elements
354 dl 1.5 */
355     public void testClear() {
356 dl 1.3 PriorityQueue q = populatedQueue(SIZE);
357 dl 1.1 q.clear();
358     assertTrue(q.isEmpty());
359     assertEquals(0, q.size());
360     q.add(new Integer(1));
361     assertFalse(q.isEmpty());
362     q.clear();
363     assertTrue(q.isEmpty());
364     }
365    
366 dl 1.5 /**
367 dl 1.6 * containsAll(c) is true when c contains a subset of elements
368 dl 1.5 */
369     public void testContainsAll() {
370 dl 1.3 PriorityQueue q = populatedQueue(SIZE);
371     PriorityQueue p = new PriorityQueue(SIZE);
372     for (int i = 0; i < SIZE; ++i) {
373 dl 1.1 assertTrue(q.containsAll(p));
374     assertFalse(p.containsAll(q));
375     p.add(new Integer(i));
376     }
377     assertTrue(p.containsAll(q));
378     }
379    
380 dl 1.5 /**
381 dl 1.6 * retainAll(c) retains only those elements of c and reports true if changed
382 dl 1.5 */
383     public void testRetainAll() {
384 dl 1.3 PriorityQueue q = populatedQueue(SIZE);
385     PriorityQueue p = populatedQueue(SIZE);
386     for (int i = 0; i < SIZE; ++i) {
387 dl 1.1 boolean changed = q.retainAll(p);
388     if (i == 0)
389     assertFalse(changed);
390     else
391     assertTrue(changed);
392    
393     assertTrue(q.containsAll(p));
394 jsr166 1.35 assertEquals(SIZE - i, q.size());
395 dl 1.1 p.remove();
396     }
397     }
398    
399 dl 1.5 /**
400 dl 1.6 * removeAll(c) removes only those elements of c and reports true if changed
401 dl 1.5 */
402     public void testRemoveAll() {
403 dl 1.3 for (int i = 1; i < SIZE; ++i) {
404     PriorityQueue q = populatedQueue(SIZE);
405     PriorityQueue p = populatedQueue(i);
406 dl 1.1 assertTrue(q.removeAll(p));
407 jsr166 1.35 assertEquals(SIZE - i, q.size());
408 dl 1.1 for (int j = 0; j < i; ++j) {
409 jsr166 1.29 Integer x = (Integer)(p.remove());
410     assertFalse(q.contains(x));
411 dl 1.1 }
412     }
413     }
414    
415 dl 1.5 /**
416 dl 1.6 * toArray contains all elements
417 dl 1.5 */
418     public void testToArray() {
419 dl 1.3 PriorityQueue q = populatedQueue(SIZE);
420 jsr166 1.12 Object[] o = q.toArray();
421 dl 1.1 Arrays.sort(o);
422 jsr166 1.12 for (int i = 0; i < o.length; i++)
423 jsr166 1.18 assertSame(o[i], q.poll());
424 dl 1.1 }
425    
426 dl 1.5 /**
427 dl 1.6 * toArray(a) contains all elements
428 dl 1.5 */
429     public void testToArray2() {
430 jsr166 1.19 PriorityQueue<Integer> q = populatedQueue(SIZE);
431 jsr166 1.12 Integer[] ints = new Integer[SIZE];
432 jsr166 1.19 Integer[] array = q.toArray(ints);
433     assertSame(ints, array);
434 dl 1.1 Arrays.sort(ints);
435 jsr166 1.10 for (int i = 0; i < ints.length; i++)
436 jsr166 1.18 assertSame(ints[i], q.poll());
437 dl 1.1 }
438 jsr166 1.9
439 dl 1.5 /**
440 dl 1.6 * iterator iterates through all elements
441 dl 1.5 */
442     public void testIterator() {
443 dl 1.3 PriorityQueue q = populatedQueue(SIZE);
444 jsr166 1.12 Iterator it = q.iterator();
445 jsr166 1.30 int i;
446     for (i = 0; it.hasNext(); i++)
447 dl 1.1 assertTrue(q.contains(it.next()));
448 dl 1.3 assertEquals(i, SIZE);
449 jsr166 1.30 assertIteratorExhausted(it);
450     }
451    
452     /**
453     * iterator of empty collection has no elements
454     */
455     public void testEmptyIterator() {
456     assertIteratorExhausted(new PriorityQueue().iterator());
457 dl 1.1 }
458    
459 dl 1.5 /**
460 dl 1.6 * iterator.remove removes current element
461 dl 1.5 */
462 jsr166 1.16 public void testIteratorRemove() {
463 dl 1.1 final PriorityQueue q = new PriorityQueue(3);
464     q.add(new Integer(2));
465     q.add(new Integer(1));
466     q.add(new Integer(3));
467    
468     Iterator it = q.iterator();
469     it.next();
470     it.remove();
471    
472     it = q.iterator();
473     assertEquals(it.next(), new Integer(2));
474     assertEquals(it.next(), new Integer(3));
475     assertFalse(it.hasNext());
476     }
477    
478 dl 1.5 /**
479 dl 1.6 * toString contains toStrings of elements
480 dl 1.5 */
481     public void testToString() {
482 dl 1.3 PriorityQueue q = populatedQueue(SIZE);
483 dl 1.1 String s = q.toString();
484 dl 1.3 for (int i = 0; i < SIZE; ++i) {
485 jsr166 1.22 assertTrue(s.contains(String.valueOf(i)));
486 dl 1.1 }
487 jsr166 1.9 }
488 dl 1.1
489 dl 1.5 /**
490 jsr166 1.9 * A deserialized serialized queue has same elements
491 dl 1.5 */
492 jsr166 1.13 public void testSerialization() throws Exception {
493 jsr166 1.23 Queue x = populatedQueue(SIZE);
494     Queue y = serialClone(x);
495    
496 jsr166 1.26 assertNotSame(x, y);
497 jsr166 1.23 assertEquals(x.size(), y.size());
498     while (!x.isEmpty()) {
499     assertFalse(y.isEmpty());
500     assertEquals(x.remove(), y.remove());
501     }
502     assertTrue(y.isEmpty());
503 dl 1.2 }
504 dl 1.1 }