ViewVC Help
View File | Revision Log | Show Annotations | Download File | Root Listing
root/jsr166/jsr166/src/test/tck/TreeSetTest.java
Revision: 1.13
Committed: Wed Aug 25 00:07:03 2010 UTC (13 years, 8 months ago) by jsr166
Branch: MAIN
Changes since 1.12: +2 -2 lines
Log Message:
whitespace

File Contents

# Content
1 /*
2 * 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 * http://creativecommons.org/licenses/publicdomain
5 */
6
7 import junit.framework.*;
8 import java.util.*;
9 import java.util.concurrent.*;
10 import java.io.*;
11
12 public class TreeSetTest extends JSR166TestCase {
13 public static void main(String[] args) {
14 junit.textui.TestRunner.run(suite());
15 }
16 public static Test suite() {
17 return new TestSuite(TreeSetTest.class);
18 }
19
20 static class MyReverseComparator implements Comparator {
21 public int compare(Object x, Object y) {
22 return ((Comparable)y).compareTo(x);
23 }
24 }
25
26 /**
27 * The number of elements to place in collections, arrays, etc.
28 */
29 static final int SIZE = 20;
30
31 /**
32 * Create a set of given size containing consecutive
33 * Integers 0 ... n.
34 */
35 private TreeSet populatedSet(int n) {
36 TreeSet q = new TreeSet();
37 assertTrue(q.isEmpty());
38 for (int i = n-1; i >= 0; i-=2)
39 assertTrue(q.add(new Integer(i)));
40 for (int i = (n & 1); i < n; i+=2)
41 assertTrue(q.add(new Integer(i)));
42 assertFalse(q.isEmpty());
43 assertEquals(n, q.size());
44 return q;
45 }
46
47 /**
48 * Create set of first 5 ints
49 */
50 private TreeSet set5() {
51 TreeSet q = new TreeSet();
52 assertTrue(q.isEmpty());
53 q.add(one);
54 q.add(two);
55 q.add(three);
56 q.add(four);
57 q.add(five);
58 assertEquals(5, q.size());
59 return q;
60 }
61
62 /**
63 * A new set has unbounded capacity
64 */
65 public void testConstructor1() {
66 assertEquals(0, new TreeSet().size());
67 }
68
69 /**
70 * Initializing from null Collection throws NPE
71 */
72 public void testConstructor3() {
73 try {
74 TreeSet q = new TreeSet((Collection)null);
75 shouldThrow();
76 } catch (NullPointerException success) {}
77 }
78
79 /**
80 * Initializing from Collection of null elements throws NPE
81 */
82 public void testConstructor4() {
83 try {
84 Integer[] ints = new Integer[SIZE];
85 TreeSet q = new TreeSet(Arrays.asList(ints));
86 shouldThrow();
87 } catch (NullPointerException success) {}
88 }
89
90 /**
91 * Initializing from Collection with some null elements throws NPE
92 */
93 public void testConstructor5() {
94 try {
95 Integer[] ints = new Integer[SIZE];
96 for (int i = 0; i < SIZE-1; ++i)
97 ints[i] = new Integer(i);
98 TreeSet q = new TreeSet(Arrays.asList(ints));
99 shouldThrow();
100 } catch (NullPointerException success) {}
101 }
102
103 /**
104 * Set contains all elements of collection used to initialize
105 */
106 public void testConstructor6() {
107 Integer[] ints = new Integer[SIZE];
108 for (int i = 0; i < SIZE; ++i)
109 ints[i] = new Integer(i);
110 TreeSet q = new TreeSet(Arrays.asList(ints));
111 for (int i = 0; i < SIZE; ++i)
112 assertEquals(ints[i], q.pollFirst());
113 }
114
115 /**
116 * The comparator used in constructor is used
117 */
118 public void testConstructor7() {
119 MyReverseComparator cmp = new MyReverseComparator();
120 TreeSet q = new TreeSet(cmp);
121 assertEquals(cmp, q.comparator());
122 Integer[] ints = new Integer[SIZE];
123 for (int i = 0; i < SIZE; ++i)
124 ints[i] = new Integer(i);
125 q.addAll(Arrays.asList(ints));
126 for (int i = SIZE-1; i >= 0; --i)
127 assertEquals(ints[i], q.pollFirst());
128 }
129
130 /**
131 * isEmpty is true before add, false after
132 */
133 public void testEmpty() {
134 TreeSet q = new TreeSet();
135 assertTrue(q.isEmpty());
136 q.add(new Integer(1));
137 assertFalse(q.isEmpty());
138 q.add(new Integer(2));
139 q.pollFirst();
140 q.pollFirst();
141 assertTrue(q.isEmpty());
142 }
143
144 /**
145 * size changes when elements added and removed
146 */
147 public void testSize() {
148 TreeSet q = populatedSet(SIZE);
149 for (int i = 0; i < SIZE; ++i) {
150 assertEquals(SIZE-i, q.size());
151 q.pollFirst();
152 }
153 for (int i = 0; i < SIZE; ++i) {
154 assertEquals(i, q.size());
155 q.add(new Integer(i));
156 }
157 }
158
159 /**
160 * add(null) throws NPE if nonempty
161 */
162 public void testAddNull() {
163 try {
164 TreeSet q = populatedSet(SIZE);
165 q.add(null);
166 shouldThrow();
167 } catch (NullPointerException success) {}
168 }
169
170 /**
171 * Add of comparable element succeeds
172 */
173 public void testAdd() {
174 TreeSet q = new TreeSet();
175 assertTrue(q.add(zero));
176 assertTrue(q.add(one));
177 }
178
179 /**
180 * Add of duplicate element fails
181 */
182 public void testAddDup() {
183 TreeSet q = new TreeSet();
184 assertTrue(q.add(zero));
185 assertFalse(q.add(zero));
186 }
187
188 /**
189 * Add of non-Comparable throws CCE
190 */
191 public void testAddNonComparable() {
192 try {
193 TreeSet q = new TreeSet();
194 q.add(new Object());
195 q.add(new Object());
196 q.add(new Object());
197 shouldThrow();
198 } catch (ClassCastException success) {}
199 }
200
201 /**
202 * addAll(null) throws NPE
203 */
204 public void testAddAll1() {
205 try {
206 TreeSet q = new TreeSet();
207 q.addAll(null);
208 shouldThrow();
209 } catch (NullPointerException success) {}
210 }
211 /**
212 * addAll of a collection with null elements throws NPE
213 */
214 public void testAddAll2() {
215 try {
216 TreeSet q = new TreeSet();
217 Integer[] ints = new Integer[SIZE];
218 q.addAll(Arrays.asList(ints));
219 shouldThrow();
220 } catch (NullPointerException success) {}
221 }
222 /**
223 * addAll of a collection with any null elements throws NPE after
224 * possibly adding some elements
225 */
226 public void testAddAll3() {
227 try {
228 TreeSet q = new TreeSet();
229 Integer[] ints = new Integer[SIZE];
230 for (int i = 0; i < SIZE-1; ++i)
231 ints[i] = new Integer(i);
232 q.addAll(Arrays.asList(ints));
233 shouldThrow();
234 } catch (NullPointerException success) {}
235 }
236
237 /**
238 * Set contains all elements of successful addAll
239 */
240 public void testAddAll5() {
241 Integer[] empty = new Integer[0];
242 Integer[] ints = new Integer[SIZE];
243 for (int i = 0; i < SIZE; ++i)
244 ints[i] = new Integer(SIZE-1-i);
245 TreeSet q = new TreeSet();
246 assertFalse(q.addAll(Arrays.asList(empty)));
247 assertTrue(q.addAll(Arrays.asList(ints)));
248 for (int i = 0; i < SIZE; ++i)
249 assertEquals(new Integer(i), q.pollFirst());
250 }
251
252 /**
253 * pollFirst succeeds unless empty
254 */
255 public void testPollFirst() {
256 TreeSet q = populatedSet(SIZE);
257 for (int i = 0; i < SIZE; ++i) {
258 assertEquals(i, q.pollFirst());
259 }
260 assertNull(q.pollFirst());
261 }
262
263 /**
264 * pollLast succeeds unless empty
265 */
266 public void testPollLast() {
267 TreeSet q = populatedSet(SIZE);
268 for (int i = SIZE-1; i >= 0; --i) {
269 assertEquals(i, q.pollLast());
270 }
271 assertNull(q.pollFirst());
272 }
273
274
275 /**
276 * remove(x) removes x and returns true if present
277 */
278 public void testRemoveElement() {
279 TreeSet q = populatedSet(SIZE);
280 for (int i = 1; i < SIZE; i+=2) {
281 assertTrue(q.remove(new Integer(i)));
282 }
283 for (int i = 0; i < SIZE; i+=2) {
284 assertTrue(q.remove(new Integer(i)));
285 assertFalse(q.remove(new Integer(i+1)));
286 }
287 assertTrue(q.isEmpty());
288 }
289
290 /**
291 * contains(x) reports true when elements added but not yet removed
292 */
293 public void testContains() {
294 TreeSet q = populatedSet(SIZE);
295 for (int i = 0; i < SIZE; ++i) {
296 assertTrue(q.contains(new Integer(i)));
297 q.pollFirst();
298 assertFalse(q.contains(new Integer(i)));
299 }
300 }
301
302 /**
303 * clear removes all elements
304 */
305 public void testClear() {
306 TreeSet q = populatedSet(SIZE);
307 q.clear();
308 assertTrue(q.isEmpty());
309 assertEquals(0, q.size());
310 q.add(new Integer(1));
311 assertFalse(q.isEmpty());
312 q.clear();
313 assertTrue(q.isEmpty());
314 }
315
316 /**
317 * containsAll(c) is true when c contains a subset of elements
318 */
319 public void testContainsAll() {
320 TreeSet q = populatedSet(SIZE);
321 TreeSet p = new TreeSet();
322 for (int i = 0; i < SIZE; ++i) {
323 assertTrue(q.containsAll(p));
324 assertFalse(p.containsAll(q));
325 p.add(new Integer(i));
326 }
327 assertTrue(p.containsAll(q));
328 }
329
330 /**
331 * retainAll(c) retains only those elements of c and reports true if changed
332 */
333 public void testRetainAll() {
334 TreeSet q = populatedSet(SIZE);
335 TreeSet p = populatedSet(SIZE);
336 for (int i = 0; i < SIZE; ++i) {
337 boolean changed = q.retainAll(p);
338 if (i == 0)
339 assertFalse(changed);
340 else
341 assertTrue(changed);
342
343 assertTrue(q.containsAll(p));
344 assertEquals(SIZE-i, q.size());
345 p.pollFirst();
346 }
347 }
348
349 /**
350 * removeAll(c) removes only those elements of c and reports true if changed
351 */
352 public void testRemoveAll() {
353 for (int i = 1; i < SIZE; ++i) {
354 TreeSet q = populatedSet(SIZE);
355 TreeSet p = populatedSet(i);
356 assertTrue(q.removeAll(p));
357 assertEquals(SIZE-i, q.size());
358 for (int j = 0; j < i; ++j) {
359 Integer I = (Integer)(p.pollFirst());
360 assertFalse(q.contains(I));
361 }
362 }
363 }
364
365
366
367 /**
368 * lower returns preceding element
369 */
370 public void testLower() {
371 TreeSet q = set5();
372 Object e1 = q.lower(three);
373 assertEquals(two, e1);
374
375 Object e2 = q.lower(six);
376 assertEquals(five, e2);
377
378 Object e3 = q.lower(one);
379 assertNull(e3);
380
381 Object e4 = q.lower(zero);
382 assertNull(e4);
383 }
384
385 /**
386 * higher returns next element
387 */
388 public void testHigher() {
389 TreeSet q = set5();
390 Object e1 = q.higher(three);
391 assertEquals(four, e1);
392
393 Object e2 = q.higher(zero);
394 assertEquals(one, e2);
395
396 Object e3 = q.higher(five);
397 assertNull(e3);
398
399 Object e4 = q.higher(six);
400 assertNull(e4);
401 }
402
403 /**
404 * floor returns preceding element
405 */
406 public void testFloor() {
407 TreeSet q = set5();
408 Object e1 = q.floor(three);
409 assertEquals(three, e1);
410
411 Object e2 = q.floor(six);
412 assertEquals(five, e2);
413
414 Object e3 = q.floor(one);
415 assertEquals(one, e3);
416
417 Object e4 = q.floor(zero);
418 assertNull(e4);
419 }
420
421 /**
422 * ceiling returns next element
423 */
424 public void testCeiling() {
425 TreeSet q = set5();
426 Object e1 = q.ceiling(three);
427 assertEquals(three, e1);
428
429 Object e2 = q.ceiling(zero);
430 assertEquals(one, e2);
431
432 Object e3 = q.ceiling(five);
433 assertEquals(five, e3);
434
435 Object e4 = q.ceiling(six);
436 assertNull(e4);
437 }
438
439 /**
440 * toArray contains all elements
441 */
442 public void testToArray() {
443 TreeSet q = populatedSet(SIZE);
444 Object[] o = q.toArray();
445 Arrays.sort(o);
446 for (int i = 0; i < o.length; i++)
447 assertEquals(o[i], q.pollFirst());
448 }
449
450 /**
451 * toArray(a) contains all elements
452 */
453 public void testToArray2() {
454 TreeSet q = populatedSet(SIZE);
455 Integer[] ints = new Integer[SIZE];
456 ints = (Integer[])q.toArray(ints);
457 Arrays.sort(ints);
458 for (int i = 0; i < ints.length; i++)
459 assertEquals(ints[i], q.pollFirst());
460 }
461
462 /**
463 * iterator iterates through all elements
464 */
465 public void testIterator() {
466 TreeSet q = populatedSet(SIZE);
467 int i = 0;
468 Iterator it = q.iterator();
469 while (it.hasNext()) {
470 assertTrue(q.contains(it.next()));
471 ++i;
472 }
473 assertEquals(i, SIZE);
474 }
475
476 /**
477 * iterator of empty set has no elements
478 */
479 public void testEmptyIterator() {
480 TreeSet q = new TreeSet();
481 int i = 0;
482 Iterator it = q.iterator();
483 while (it.hasNext()) {
484 assertTrue(q.contains(it.next()));
485 ++i;
486 }
487 assertEquals(i, 0);
488 }
489
490 /**
491 * iterator.remove removes current element
492 */
493 public void testIteratorRemove() {
494 final TreeSet q = new TreeSet();
495 q.add(new Integer(2));
496 q.add(new Integer(1));
497 q.add(new Integer(3));
498
499 Iterator it = q.iterator();
500 it.next();
501 it.remove();
502
503 it = q.iterator();
504 assertEquals(it.next(), new Integer(2));
505 assertEquals(it.next(), new Integer(3));
506 assertFalse(it.hasNext());
507 }
508
509
510 /**
511 * toString contains toStrings of elements
512 */
513 public void testToString() {
514 TreeSet q = populatedSet(SIZE);
515 String s = q.toString();
516 for (int i = 0; i < SIZE; ++i) {
517 assertTrue(s.indexOf(String.valueOf(i)) >= 0);
518 }
519 }
520
521 /**
522 * A deserialized serialized set has same elements
523 */
524 public void testSerialization() throws Exception {
525 TreeSet q = populatedSet(SIZE);
526 ByteArrayOutputStream bout = new ByteArrayOutputStream(10000);
527 ObjectOutputStream out = new ObjectOutputStream(new BufferedOutputStream(bout));
528 out.writeObject(q);
529 out.close();
530
531 ByteArrayInputStream bin = new ByteArrayInputStream(bout.toByteArray());
532 ObjectInputStream in = new ObjectInputStream(new BufferedInputStream(bin));
533 TreeSet r = (TreeSet)in.readObject();
534 assertEquals(q.size(), r.size());
535 while (!q.isEmpty())
536 assertEquals(q.pollFirst(), r.pollFirst());
537 }
538
539 /**
540 * subSet returns set with keys in requested range
541 */
542 public void testSubSetContents() {
543 TreeSet set = set5();
544 SortedSet sm = set.subSet(two, four);
545 assertEquals(two, sm.first());
546 assertEquals(three, sm.last());
547 assertEquals(2, sm.size());
548 assertFalse(sm.contains(one));
549 assertTrue(sm.contains(two));
550 assertTrue(sm.contains(three));
551 assertFalse(sm.contains(four));
552 assertFalse(sm.contains(five));
553 Iterator i = sm.iterator();
554 Object k;
555 k = (Integer)(i.next());
556 assertEquals(two, k);
557 k = (Integer)(i.next());
558 assertEquals(three, k);
559 assertFalse(i.hasNext());
560 Iterator j = sm.iterator();
561 j.next();
562 j.remove();
563 assertFalse(set.contains(two));
564 assertEquals(4, set.size());
565 assertEquals(1, sm.size());
566 assertEquals(three, sm.first());
567 assertEquals(three, sm.last());
568 assertTrue(sm.remove(three));
569 assertTrue(sm.isEmpty());
570 assertEquals(3, set.size());
571 }
572
573 public void testSubSetContents2() {
574 TreeSet set = set5();
575 SortedSet sm = set.subSet(two, three);
576 assertEquals(1, sm.size());
577 assertEquals(two, sm.first());
578 assertEquals(two, sm.last());
579 assertFalse(sm.contains(one));
580 assertTrue(sm.contains(two));
581 assertFalse(sm.contains(three));
582 assertFalse(sm.contains(four));
583 assertFalse(sm.contains(five));
584 Iterator i = sm.iterator();
585 Object k;
586 k = (Integer)(i.next());
587 assertEquals(two, k);
588 assertFalse(i.hasNext());
589 Iterator j = sm.iterator();
590 j.next();
591 j.remove();
592 assertFalse(set.contains(two));
593 assertEquals(4, set.size());
594 assertEquals(0, sm.size());
595 assertTrue(sm.isEmpty());
596 assertFalse(sm.remove(three));
597 assertEquals(4, set.size());
598 }
599
600 /**
601 * headSet returns set with keys in requested range
602 */
603 public void testHeadSetContents() {
604 TreeSet set = set5();
605 SortedSet sm = set.headSet(four);
606 assertTrue(sm.contains(one));
607 assertTrue(sm.contains(two));
608 assertTrue(sm.contains(three));
609 assertFalse(sm.contains(four));
610 assertFalse(sm.contains(five));
611 Iterator i = sm.iterator();
612 Object k;
613 k = (Integer)(i.next());
614 assertEquals(one, k);
615 k = (Integer)(i.next());
616 assertEquals(two, k);
617 k = (Integer)(i.next());
618 assertEquals(three, k);
619 assertFalse(i.hasNext());
620 sm.clear();
621 assertTrue(sm.isEmpty());
622 assertEquals(2, set.size());
623 assertEquals(four, set.first());
624 }
625
626 /**
627 * tailSet returns set with keys in requested range
628 */
629 public void testTailSetContents() {
630 TreeSet set = set5();
631 SortedSet sm = set.tailSet(two);
632 assertFalse(sm.contains(one));
633 assertTrue(sm.contains(two));
634 assertTrue(sm.contains(three));
635 assertTrue(sm.contains(four));
636 assertTrue(sm.contains(five));
637 Iterator i = sm.iterator();
638 Object k;
639 k = (Integer)(i.next());
640 assertEquals(two, k);
641 k = (Integer)(i.next());
642 assertEquals(three, k);
643 k = (Integer)(i.next());
644 assertEquals(four, k);
645 k = (Integer)(i.next());
646 assertEquals(five, k);
647 assertFalse(i.hasNext());
648
649 SortedSet ssm = sm.tailSet(four);
650 assertEquals(four, ssm.first());
651 assertEquals(five, ssm.last());
652 assertTrue(ssm.remove(four));
653 assertEquals(1, ssm.size());
654 assertEquals(3, sm.size());
655 assertEquals(4, set.size());
656 }
657
658 Random rnd = new Random(666);
659 BitSet bs;
660
661 /**
662 * Subsets of subsets subdivide correctly
663 */
664 public void testRecursiveSubSets() throws Exception {
665 int setSize = 1000;
666 Class cl = TreeSet.class;
667
668 NavigableSet<Integer> set = newSet(cl);
669 bs = new BitSet(setSize);
670
671 populate(set, setSize);
672 check(set, 0, setSize - 1, true);
673 check(set.descendingSet(), 0, setSize - 1, false);
674
675 mutateSet(set, 0, setSize - 1);
676 check(set, 0, setSize - 1, true);
677 check(set.descendingSet(), 0, setSize - 1, false);
678
679 bashSubSet(set.subSet(0, true, setSize, false),
680 0, setSize - 1, true);
681 }
682
683 static NavigableSet<Integer> newSet(Class cl) throws Exception {
684 NavigableSet<Integer> result = (NavigableSet<Integer>) cl.newInstance();
685 assertEquals(result.size(), 0);
686 assertFalse(result.iterator().hasNext());
687 return result;
688 }
689
690 void populate(NavigableSet<Integer> set, int limit) {
691 for (int i = 0, n = 2 * limit / 3; i < n; i++) {
692 int element = rnd.nextInt(limit);
693 put(set, element);
694 }
695 }
696
697 void mutateSet(NavigableSet<Integer> set, int min, int max) {
698 int size = set.size();
699 int rangeSize = max - min + 1;
700
701 // Remove a bunch of entries directly
702 for (int i = 0, n = rangeSize / 2; i < n; i++) {
703 remove(set, min - 5 + rnd.nextInt(rangeSize + 10));
704 }
705
706 // Remove a bunch of entries with iterator
707 for (Iterator<Integer> it = set.iterator(); it.hasNext(); ) {
708 if (rnd.nextBoolean()) {
709 bs.clear(it.next());
710 it.remove();
711 }
712 }
713
714 // Add entries till we're back to original size
715 while (set.size() < size) {
716 int element = min + rnd.nextInt(rangeSize);
717 assertTrue(element >= min && element<= max);
718 put(set, element);
719 }
720 }
721
722 void mutateSubSet(NavigableSet<Integer> set, int min, int max) {
723 int size = set.size();
724 int rangeSize = max - min + 1;
725
726 // Remove a bunch of entries directly
727 for (int i = 0, n = rangeSize / 2; i < n; i++) {
728 remove(set, min - 5 + rnd.nextInt(rangeSize + 10));
729 }
730
731 // Remove a bunch of entries with iterator
732 for (Iterator<Integer> it = set.iterator(); it.hasNext(); ) {
733 if (rnd.nextBoolean()) {
734 bs.clear(it.next());
735 it.remove();
736 }
737 }
738
739 // Add entries till we're back to original size
740 while (set.size() < size) {
741 int element = min - 5 + rnd.nextInt(rangeSize + 10);
742 if (element >= min && element<= max) {
743 put(set, element);
744 } else {
745 try {
746 set.add(element);
747 shouldThrow();
748 } catch (IllegalArgumentException success) {}
749 }
750 }
751 }
752
753 void put(NavigableSet<Integer> set, int element) {
754 if (set.add(element))
755 bs.set(element);
756 }
757
758 void remove(NavigableSet<Integer> set, int element) {
759 if (set.remove(element))
760 bs.clear(element);
761 }
762
763 void bashSubSet(NavigableSet<Integer> set,
764 int min, int max, boolean ascending) {
765 check(set, min, max, ascending);
766 check(set.descendingSet(), min, max, !ascending);
767
768 mutateSubSet(set, min, max);
769 check(set, min, max, ascending);
770 check(set.descendingSet(), min, max, !ascending);
771
772 // Recurse
773 if (max - min < 2)
774 return;
775 int midPoint = (min + max) / 2;
776
777 // headSet - pick direction and endpoint inclusion randomly
778 boolean incl = rnd.nextBoolean();
779 NavigableSet<Integer> hm = set.headSet(midPoint, incl);
780 if (ascending) {
781 if (rnd.nextBoolean())
782 bashSubSet(hm, min, midPoint - (incl ? 0 : 1), true);
783 else
784 bashSubSet(hm.descendingSet(), min, midPoint - (incl ? 0 : 1),
785 false);
786 } else {
787 if (rnd.nextBoolean())
788 bashSubSet(hm, midPoint + (incl ? 0 : 1), max, false);
789 else
790 bashSubSet(hm.descendingSet(), midPoint + (incl ? 0 : 1), max,
791 true);
792 }
793
794 // tailSet - pick direction and endpoint inclusion randomly
795 incl = rnd.nextBoolean();
796 NavigableSet<Integer> tm = set.tailSet(midPoint,incl);
797 if (ascending) {
798 if (rnd.nextBoolean())
799 bashSubSet(tm, midPoint + (incl ? 0 : 1), max, true);
800 else
801 bashSubSet(tm.descendingSet(), midPoint + (incl ? 0 : 1), max,
802 false);
803 } else {
804 if (rnd.nextBoolean()) {
805 bashSubSet(tm, min, midPoint - (incl ? 0 : 1), false);
806 } else {
807 bashSubSet(tm.descendingSet(), min, midPoint - (incl ? 0 : 1),
808 true);
809 }
810 }
811
812 // subSet - pick direction and endpoint inclusion randomly
813 int rangeSize = max - min + 1;
814 int[] endpoints = new int[2];
815 endpoints[0] = min + rnd.nextInt(rangeSize);
816 endpoints[1] = min + rnd.nextInt(rangeSize);
817 Arrays.sort(endpoints);
818 boolean lowIncl = rnd.nextBoolean();
819 boolean highIncl = rnd.nextBoolean();
820 if (ascending) {
821 NavigableSet<Integer> sm = set.subSet(
822 endpoints[0], lowIncl, endpoints[1], highIncl);
823 if (rnd.nextBoolean())
824 bashSubSet(sm, endpoints[0] + (lowIncl ? 0 : 1),
825 endpoints[1] - (highIncl ? 0 : 1), true);
826 else
827 bashSubSet(sm.descendingSet(), endpoints[0] + (lowIncl ? 0 : 1),
828 endpoints[1] - (highIncl ? 0 : 1), false);
829 } else {
830 NavigableSet<Integer> sm = set.subSet(
831 endpoints[1], highIncl, endpoints[0], lowIncl);
832 if (rnd.nextBoolean())
833 bashSubSet(sm, endpoints[0] + (lowIncl ? 0 : 1),
834 endpoints[1] - (highIncl ? 0 : 1), false);
835 else
836 bashSubSet(sm.descendingSet(), endpoints[0] + (lowIncl ? 0 : 1),
837 endpoints[1] - (highIncl ? 0 : 1), true);
838 }
839 }
840
841 /**
842 * min and max are both inclusive. If max < min, interval is empty.
843 */
844 void check(NavigableSet<Integer> set,
845 final int min, final int max, final boolean ascending) {
846 class ReferenceSet {
847 int lower(int element) {
848 return ascending ?
849 lowerAscending(element) : higherAscending(element);
850 }
851 int floor(int element) {
852 return ascending ?
853 floorAscending(element) : ceilingAscending(element);
854 }
855 int ceiling(int element) {
856 return ascending ?
857 ceilingAscending(element) : floorAscending(element);
858 }
859 int higher(int element) {
860 return ascending ?
861 higherAscending(element) : lowerAscending(element);
862 }
863 int first() {
864 return ascending ? firstAscending() : lastAscending();
865 }
866 int last() {
867 return ascending ? lastAscending() : firstAscending();
868 }
869 int lowerAscending(int element) {
870 return floorAscending(element - 1);
871 }
872 int floorAscending(int element) {
873 if (element < min)
874 return -1;
875 else if (element > max)
876 element = max;
877
878 // BitSet should support this! Test would run much faster
879 while (element >= min) {
880 if (bs.get(element))
881 return(element);
882 element--;
883 }
884 return -1;
885 }
886 int ceilingAscending(int element) {
887 if (element < min)
888 element = min;
889 else if (element > max)
890 return -1;
891 int result = bs.nextSetBit(element);
892 return result > max ? -1 : result;
893 }
894 int higherAscending(int element) {
895 return ceilingAscending(element + 1);
896 }
897 private int firstAscending() {
898 int result = ceilingAscending(min);
899 return result > max ? -1 : result;
900 }
901 private int lastAscending() {
902 int result = floorAscending(max);
903 return result < min ? -1 : result;
904 }
905 }
906 ReferenceSet rs = new ReferenceSet();
907
908 // Test contents using containsElement
909 int size = 0;
910 for (int i = min; i <= max; i++) {
911 boolean bsContainsI = bs.get(i);
912 assertEquals(bsContainsI, set.contains(i));
913 if (bsContainsI)
914 size++;
915 }
916 assertEquals(set.size(), size);
917
918 // Test contents using contains elementSet iterator
919 int size2 = 0;
920 int previousElement = -1;
921 for (int element : set) {
922 assertTrue(bs.get(element));
923 size2++;
924 assertTrue(previousElement < 0 || (ascending ?
925 element - previousElement > 0 : element - previousElement < 0));
926 previousElement = element;
927 }
928 assertEquals(size2, size);
929
930 // Test navigation ops
931 for (int element = min - 1; element <= max + 1; element++) {
932 assertEq(set.lower(element), rs.lower(element));
933 assertEq(set.floor(element), rs.floor(element));
934 assertEq(set.higher(element), rs.higher(element));
935 assertEq(set.ceiling(element), rs.ceiling(element));
936 }
937
938 // Test extrema
939 if (set.size() != 0) {
940 assertEq(set.first(), rs.first());
941 assertEq(set.last(), rs.last());
942 } else {
943 assertEq(rs.first(), -1);
944 assertEq(rs.last(), -1);
945 try {
946 set.first();
947 shouldThrow();
948 } catch (NoSuchElementException success) {}
949 try {
950 set.last();
951 shouldThrow();
952 } catch (NoSuchElementException success) {}
953 }
954 }
955
956 static void assertEq(Integer i, int j) {
957 if (i == null)
958 assertEquals(j, -1);
959 else
960 assertEquals((int) i, j);
961 }
962
963 static boolean eq(Integer i, int j) {
964 return i == null ? j == -1 : i == j;
965 }
966
967 }