ViewVC Help
View File | Revision Log | Show Annotations | Download File | Root Listing
root/jsr166/jsr166/src/test/tck/TreeSetTest.java
Revision: 1.11
Committed: Sun Nov 22 18:57:17 2009 UTC (14 years, 5 months ago) by jsr166
Branch: MAIN
Changes since 1.10: +3 -7 lines
Log Message:
use autoboxing judiciously for readability

File Contents

# User Rev Content
1 dl 1.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 jsr166 1.7 junit.textui.TestRunner.run (suite());
15 dl 1.1 }
16     public static Test suite() {
17 jsr166 1.7 return new TestSuite(TreeSetTest.class);
18 dl 1.1 }
19    
20 jsr166 1.4 static class MyReverseComparator implements Comparator {
21 dl 1.1 public int compare(Object x, Object y) {
22 jsr166 1.11 return ((Comparable)y).compareTo(x);
23 dl 1.1 }
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 jsr166 1.7 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 dl 1.1 assertFalse(q.isEmpty());
43 jsr166 1.7 assertEquals(n, q.size());
44 dl 1.1 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 jsr166 1.7 assertEquals(5, q.size());
59 dl 1.1 return q;
60     }
61 jsr166 1.4
62 dl 1.1 /**
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 jsr166 1.8 } catch (NullPointerException success) {}
77 dl 1.1 }
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 jsr166 1.8 } catch (NullPointerException success) {}
88 dl 1.1 }
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 jsr166 1.8 } catch (NullPointerException success) {}
101 dl 1.1 }
102    
103     /**
104     * Set contains all elements of collection used to initialize
105     */
106     public void testConstructor6() {
107 jsr166 1.9 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 dl 1.1 }
114    
115     /**
116     * The comparator used in constructor is used
117     */
118     public void testConstructor7() {
119 jsr166 1.9 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 dl 1.1 }
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 jsr166 1.7 try {
164 dl 1.1 TreeSet q = populatedSet(SIZE);
165     q.add(null);
166     shouldThrow();
167 jsr166 1.8 } catch (NullPointerException success) {}
168 dl 1.1 }
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 jsr166 1.8 } catch (ClassCastException success) {}
199 dl 1.1 }
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 jsr166 1.8 } catch (NullPointerException success) {}
210 dl 1.1 }
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 jsr166 1.8 } catch (NullPointerException success) {}
221 dl 1.1 }
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 jsr166 1.8 } catch (NullPointerException success) {}
235 dl 1.1 }
236    
237     /**
238     * Set contains all elements of successful addAll
239     */
240     public void testAddAll5() {
241 jsr166 1.9 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 dl 1.1 }
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 jsr166 1.11 assertEquals(i, q.pollFirst());
259 dl 1.1 }
260 jsr166 1.7 assertNull(q.pollFirst());
261 dl 1.1 }
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 jsr166 1.11 assertEquals(i, q.pollLast());
270 dl 1.1 }
271 jsr166 1.7 assertNull(q.pollFirst());
272 dl 1.1 }
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 jsr166 1.4
290 dl 1.1 /**
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 jsr166 1.4
366 dl 1.1
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     /**
387     * higher returns next element
388     */
389     public void testHigher() {
390     TreeSet q = set5();
391     Object e1 = q.higher(three);
392     assertEquals(four, e1);
393    
394     Object e2 = q.higher(zero);
395     assertEquals(one, e2);
396    
397     Object e3 = q.higher(five);
398     assertNull(e3);
399    
400     Object e4 = q.higher(six);
401     assertNull(e4);
402    
403     }
404    
405     /**
406     * floor returns preceding element
407     */
408     public void testFloor() {
409     TreeSet q = set5();
410     Object e1 = q.floor(three);
411     assertEquals(three, e1);
412    
413     Object e2 = q.floor(six);
414     assertEquals(five, e2);
415    
416     Object e3 = q.floor(one);
417     assertEquals(one, e3);
418    
419     Object e4 = q.floor(zero);
420     assertNull(e4);
421    
422     }
423    
424     /**
425     * ceiling returns next element
426     */
427     public void testCeiling() {
428     TreeSet q = set5();
429     Object e1 = q.ceiling(three);
430     assertEquals(three, e1);
431    
432     Object e2 = q.ceiling(zero);
433     assertEquals(one, e2);
434    
435     Object e3 = q.ceiling(five);
436     assertEquals(five, e3);
437    
438     Object e4 = q.ceiling(six);
439     assertNull(e4);
440    
441     }
442    
443     /**
444     * toArray contains all elements
445     */
446     public void testToArray() {
447     TreeSet q = populatedSet(SIZE);
448 jsr166 1.7 Object[] o = q.toArray();
449 dl 1.1 Arrays.sort(o);
450 jsr166 1.7 for (int i = 0; i < o.length; i++)
451     assertEquals(o[i], q.pollFirst());
452 dl 1.1 }
453    
454     /**
455     * toArray(a) contains all elements
456     */
457     public void testToArray2() {
458     TreeSet q = populatedSet(SIZE);
459 jsr166 1.7 Integer[] ints = new Integer[SIZE];
460     ints = (Integer[])q.toArray(ints);
461 dl 1.1 Arrays.sort(ints);
462 jsr166 1.5 for (int i = 0; i < ints.length; i++)
463 dl 1.1 assertEquals(ints[i], q.pollFirst());
464     }
465 jsr166 1.4
466 dl 1.1 /**
467     * iterator iterates through all elements
468     */
469     public void testIterator() {
470     TreeSet q = populatedSet(SIZE);
471     int i = 0;
472 jsr166 1.7 Iterator it = q.iterator();
473 jsr166 1.5 while (it.hasNext()) {
474 dl 1.1 assertTrue(q.contains(it.next()));
475     ++i;
476     }
477     assertEquals(i, SIZE);
478     }
479    
480     /**
481     * iterator of empty set has no elements
482     */
483     public void testEmptyIterator() {
484     TreeSet q = new TreeSet();
485     int i = 0;
486 jsr166 1.7 Iterator it = q.iterator();
487 jsr166 1.5 while (it.hasNext()) {
488 dl 1.1 assertTrue(q.contains(it.next()));
489     ++i;
490     }
491     assertEquals(i, 0);
492     }
493    
494     /**
495     * iterator.remove removes current element
496     */
497     public void testIteratorRemove () {
498     final TreeSet q = new TreeSet();
499     q.add(new Integer(2));
500     q.add(new Integer(1));
501     q.add(new Integer(3));
502    
503     Iterator it = q.iterator();
504     it.next();
505     it.remove();
506    
507     it = q.iterator();
508     assertEquals(it.next(), new Integer(2));
509     assertEquals(it.next(), new Integer(3));
510     assertFalse(it.hasNext());
511     }
512    
513    
514     /**
515     * toString contains toStrings of elements
516     */
517     public void testToString() {
518     TreeSet q = populatedSet(SIZE);
519     String s = q.toString();
520     for (int i = 0; i < SIZE; ++i) {
521     assertTrue(s.indexOf(String.valueOf(i)) >= 0);
522     }
523 jsr166 1.4 }
524 dl 1.1
525     /**
526 jsr166 1.4 * A deserialized serialized set has same elements
527 dl 1.1 */
528 jsr166 1.8 public void testSerialization() throws Exception {
529 dl 1.1 TreeSet q = populatedSet(SIZE);
530 jsr166 1.8 ByteArrayOutputStream bout = new ByteArrayOutputStream(10000);
531     ObjectOutputStream out = new ObjectOutputStream(new BufferedOutputStream(bout));
532     out.writeObject(q);
533     out.close();
534    
535     ByteArrayInputStream bin = new ByteArrayInputStream(bout.toByteArray());
536     ObjectInputStream in = new ObjectInputStream(new BufferedInputStream(bin));
537     TreeSet r = (TreeSet)in.readObject();
538     assertEquals(q.size(), r.size());
539     while (!q.isEmpty())
540     assertEquals(q.pollFirst(), r.pollFirst());
541 dl 1.1 }
542    
543     /**
544     * subSet returns set with keys in requested range
545     */
546     public void testSubSetContents() {
547     TreeSet set = set5();
548     SortedSet sm = set.subSet(two, four);
549     assertEquals(two, sm.first());
550     assertEquals(three, sm.last());
551     assertEquals(2, sm.size());
552     assertFalse(sm.contains(one));
553     assertTrue(sm.contains(two));
554     assertTrue(sm.contains(three));
555     assertFalse(sm.contains(four));
556     assertFalse(sm.contains(five));
557     Iterator i = sm.iterator();
558     Object k;
559     k = (Integer)(i.next());
560     assertEquals(two, k);
561     k = (Integer)(i.next());
562     assertEquals(three, k);
563     assertFalse(i.hasNext());
564     Iterator j = sm.iterator();
565     j.next();
566     j.remove();
567     assertFalse(set.contains(two));
568     assertEquals(4, set.size());
569     assertEquals(1, sm.size());
570     assertEquals(three, sm.first());
571     assertEquals(three, sm.last());
572     assertTrue(sm.remove(three));
573     assertTrue(sm.isEmpty());
574     assertEquals(3, set.size());
575     }
576    
577     public void testSubSetContents2() {
578     TreeSet set = set5();
579     SortedSet sm = set.subSet(two, three);
580     assertEquals(1, sm.size());
581     assertEquals(two, sm.first());
582     assertEquals(two, sm.last());
583     assertFalse(sm.contains(one));
584     assertTrue(sm.contains(two));
585     assertFalse(sm.contains(three));
586     assertFalse(sm.contains(four));
587     assertFalse(sm.contains(five));
588     Iterator i = sm.iterator();
589     Object k;
590     k = (Integer)(i.next());
591     assertEquals(two, k);
592     assertFalse(i.hasNext());
593     Iterator j = sm.iterator();
594     j.next();
595     j.remove();
596     assertFalse(set.contains(two));
597     assertEquals(4, set.size());
598     assertEquals(0, sm.size());
599     assertTrue(sm.isEmpty());
600     assertFalse(sm.remove(three));
601     assertEquals(4, set.size());
602     }
603    
604     /**
605     * headSet returns set with keys in requested range
606     */
607     public void testHeadSetContents() {
608     TreeSet set = set5();
609     SortedSet sm = set.headSet(four);
610     assertTrue(sm.contains(one));
611     assertTrue(sm.contains(two));
612     assertTrue(sm.contains(three));
613     assertFalse(sm.contains(four));
614     assertFalse(sm.contains(five));
615     Iterator i = sm.iterator();
616     Object k;
617     k = (Integer)(i.next());
618     assertEquals(one, k);
619     k = (Integer)(i.next());
620     assertEquals(two, k);
621     k = (Integer)(i.next());
622     assertEquals(three, k);
623     assertFalse(i.hasNext());
624     sm.clear();
625     assertTrue(sm.isEmpty());
626     assertEquals(2, set.size());
627     assertEquals(four, set.first());
628     }
629    
630     /**
631     * tailSet returns set with keys in requested range
632     */
633     public void testTailSetContents() {
634     TreeSet set = set5();
635     SortedSet sm = set.tailSet(two);
636     assertFalse(sm.contains(one));
637     assertTrue(sm.contains(two));
638     assertTrue(sm.contains(three));
639     assertTrue(sm.contains(four));
640     assertTrue(sm.contains(five));
641     Iterator i = sm.iterator();
642     Object k;
643     k = (Integer)(i.next());
644     assertEquals(two, k);
645     k = (Integer)(i.next());
646     assertEquals(three, k);
647     k = (Integer)(i.next());
648     assertEquals(four, k);
649     k = (Integer)(i.next());
650     assertEquals(five, k);
651     assertFalse(i.hasNext());
652    
653     SortedSet ssm = sm.tailSet(four);
654     assertEquals(four, ssm.first());
655     assertEquals(five, ssm.last());
656     assertTrue(ssm.remove(four));
657     assertEquals(1, ssm.size());
658     assertEquals(3, sm.size());
659     assertEquals(4, set.size());
660     }
661    
662 dl 1.2 Random rnd = new Random(666);
663     BitSet bs;
664    
665     /**
666     * Subsets of subsets subdivide correctly
667     */
668 jsr166 1.10 public void testRecursiveSubSets() throws Exception {
669 jsr166 1.7 int setSize = 1000;
670     Class cl = TreeSet.class;
671 dl 1.2
672     NavigableSet<Integer> set = newSet(cl);
673     bs = new BitSet(setSize);
674    
675     populate(set, setSize);
676     check(set, 0, setSize - 1, true);
677     check(set.descendingSet(), 0, setSize - 1, false);
678    
679     mutateSet(set, 0, setSize - 1);
680     check(set, 0, setSize - 1, true);
681     check(set.descendingSet(), 0, setSize - 1, false);
682    
683 dl 1.3 bashSubSet(set.subSet(0, true, setSize, false),
684 dl 1.2 0, setSize - 1, true);
685     }
686    
687 jsr166 1.10 static NavigableSet<Integer> newSet(Class cl) throws Exception {
688     NavigableSet<Integer> result = (NavigableSet<Integer>) cl.newInstance();
689 dl 1.2 assertEquals(result.size(), 0);
690     assertFalse(result.iterator().hasNext());
691     return result;
692     }
693    
694     void populate(NavigableSet<Integer> set, int limit) {
695     for (int i = 0, n = 2 * limit / 3; i < n; i++) {
696     int element = rnd.nextInt(limit);
697     put(set, element);
698     }
699     }
700    
701     void mutateSet(NavigableSet<Integer> set, int min, int max) {
702     int size = set.size();
703     int rangeSize = max - min + 1;
704    
705     // Remove a bunch of entries directly
706     for (int i = 0, n = rangeSize / 2; i < n; i++) {
707     remove(set, min - 5 + rnd.nextInt(rangeSize + 10));
708     }
709    
710     // Remove a bunch of entries with iterator
711 jsr166 1.5 for (Iterator<Integer> it = set.iterator(); it.hasNext(); ) {
712 dl 1.2 if (rnd.nextBoolean()) {
713     bs.clear(it.next());
714     it.remove();
715     }
716     }
717    
718     // Add entries till we're back to original size
719     while (set.size() < size) {
720     int element = min + rnd.nextInt(rangeSize);
721     assertTrue(element >= min && element<= max);
722     put(set, element);
723     }
724     }
725    
726     void mutateSubSet(NavigableSet<Integer> set, int min, int max) {
727     int size = set.size();
728     int rangeSize = max - min + 1;
729    
730     // Remove a bunch of entries directly
731     for (int i = 0, n = rangeSize / 2; i < n; i++) {
732     remove(set, min - 5 + rnd.nextInt(rangeSize + 10));
733     }
734    
735     // Remove a bunch of entries with iterator
736 jsr166 1.5 for (Iterator<Integer> it = set.iterator(); it.hasNext(); ) {
737 dl 1.2 if (rnd.nextBoolean()) {
738     bs.clear(it.next());
739     it.remove();
740     }
741     }
742    
743     // Add entries till we're back to original size
744     while (set.size() < size) {
745     int element = min - 5 + rnd.nextInt(rangeSize + 10);
746     if (element >= min && element<= max) {
747     put(set, element);
748     } else {
749     try {
750     set.add(element);
751 jsr166 1.10 shouldThrow();
752     } catch (IllegalArgumentException success) {}
753 dl 1.2 }
754     }
755     }
756    
757     void put(NavigableSet<Integer> set, int element) {
758     if (set.add(element))
759     bs.set(element);
760     }
761    
762     void remove(NavigableSet<Integer> set, int element) {
763     if (set.remove(element))
764     bs.clear(element);
765     }
766    
767     void bashSubSet(NavigableSet<Integer> set,
768     int min, int max, boolean ascending) {
769     check(set, min, max, ascending);
770     check(set.descendingSet(), min, max, !ascending);
771    
772     mutateSubSet(set, min, max);
773     check(set, min, max, ascending);
774     check(set.descendingSet(), min, max, !ascending);
775    
776     // Recurse
777     if (max - min < 2)
778     return;
779     int midPoint = (min + max) / 2;
780    
781     // headSet - pick direction and endpoint inclusion randomly
782     boolean incl = rnd.nextBoolean();
783 dl 1.3 NavigableSet<Integer> hm = set.headSet(midPoint, incl);
784 dl 1.2 if (ascending) {
785     if (rnd.nextBoolean())
786     bashSubSet(hm, min, midPoint - (incl ? 0 : 1), true);
787     else
788     bashSubSet(hm.descendingSet(), min, midPoint - (incl ? 0 : 1),
789     false);
790     } else {
791     if (rnd.nextBoolean())
792     bashSubSet(hm, midPoint + (incl ? 0 : 1), max, false);
793     else
794     bashSubSet(hm.descendingSet(), midPoint + (incl ? 0 : 1), max,
795     true);
796     }
797    
798     // tailSet - pick direction and endpoint inclusion randomly
799     incl = rnd.nextBoolean();
800 dl 1.3 NavigableSet<Integer> tm = set.tailSet(midPoint,incl);
801 dl 1.2 if (ascending) {
802     if (rnd.nextBoolean())
803     bashSubSet(tm, midPoint + (incl ? 0 : 1), max, true);
804     else
805     bashSubSet(tm.descendingSet(), midPoint + (incl ? 0 : 1), max,
806     false);
807     } else {
808     if (rnd.nextBoolean()) {
809     bashSubSet(tm, min, midPoint - (incl ? 0 : 1), false);
810     } else {
811     bashSubSet(tm.descendingSet(), min, midPoint - (incl ? 0 : 1),
812     true);
813     }
814     }
815    
816     // subSet - pick direction and endpoint inclusion randomly
817     int rangeSize = max - min + 1;
818     int[] endpoints = new int[2];
819     endpoints[0] = min + rnd.nextInt(rangeSize);
820     endpoints[1] = min + rnd.nextInt(rangeSize);
821     Arrays.sort(endpoints);
822     boolean lowIncl = rnd.nextBoolean();
823     boolean highIncl = rnd.nextBoolean();
824     if (ascending) {
825 dl 1.3 NavigableSet<Integer> sm = set.subSet(
826 dl 1.2 endpoints[0], lowIncl, endpoints[1], highIncl);
827     if (rnd.nextBoolean())
828     bashSubSet(sm, endpoints[0] + (lowIncl ? 0 : 1),
829     endpoints[1] - (highIncl ? 0 : 1), true);
830     else
831     bashSubSet(sm.descendingSet(), endpoints[0] + (lowIncl ? 0 : 1),
832     endpoints[1] - (highIncl ? 0 : 1), false);
833     } else {
834 dl 1.3 NavigableSet<Integer> sm = set.subSet(
835 dl 1.2 endpoints[1], highIncl, endpoints[0], lowIncl);
836     if (rnd.nextBoolean())
837     bashSubSet(sm, endpoints[0] + (lowIncl ? 0 : 1),
838     endpoints[1] - (highIncl ? 0 : 1), false);
839     else
840     bashSubSet(sm.descendingSet(), endpoints[0] + (lowIncl ? 0 : 1),
841     endpoints[1] - (highIncl ? 0 : 1), true);
842     }
843     }
844    
845     /**
846     * min and max are both inclusive. If max < min, interval is empty.
847     */
848     void check(NavigableSet<Integer> set,
849     final int min, final int max, final boolean ascending) {
850     class ReferenceSet {
851     int lower(int element) {
852     return ascending ?
853     lowerAscending(element) : higherAscending(element);
854     }
855     int floor(int element) {
856     return ascending ?
857     floorAscending(element) : ceilingAscending(element);
858     }
859     int ceiling(int element) {
860     return ascending ?
861     ceilingAscending(element) : floorAscending(element);
862     }
863     int higher(int element) {
864     return ascending ?
865     higherAscending(element) : lowerAscending(element);
866     }
867     int first() {
868     return ascending ? firstAscending() : lastAscending();
869     }
870     int last() {
871     return ascending ? lastAscending() : firstAscending();
872     }
873     int lowerAscending(int element) {
874     return floorAscending(element - 1);
875     }
876     int floorAscending(int element) {
877     if (element < min)
878     return -1;
879     else if (element > max)
880     element = max;
881    
882     // BitSet should support this! Test would run much faster
883     while (element >= min) {
884     if (bs.get(element))
885     return(element);
886     element--;
887     }
888     return -1;
889     }
890     int ceilingAscending(int element) {
891     if (element < min)
892     element = min;
893     else if (element > max)
894     return -1;
895     int result = bs.nextSetBit(element);
896     return result > max ? -1 : result;
897     }
898     int higherAscending(int element) {
899     return ceilingAscending(element + 1);
900     }
901     private int firstAscending() {
902     int result = ceilingAscending(min);
903     return result > max ? -1 : result;
904     }
905     private int lastAscending() {
906     int result = floorAscending(max);
907     return result < min ? -1 : result;
908     }
909     }
910     ReferenceSet rs = new ReferenceSet();
911    
912     // Test contents using containsElement
913     int size = 0;
914     for (int i = min; i <= max; i++) {
915     boolean bsContainsI = bs.get(i);
916     assertEquals(bsContainsI, set.contains(i));
917     if (bsContainsI)
918     size++;
919     }
920     assertEquals(set.size(), size);
921    
922     // Test contents using contains elementSet iterator
923     int size2 = 0;
924     int previousElement = -1;
925     for (int element : set) {
926     assertTrue(bs.get(element));
927     size2++;
928     assertTrue(previousElement < 0 || (ascending ?
929     element - previousElement > 0 : element - previousElement < 0));
930     previousElement = element;
931     }
932     assertEquals(size2, size);
933    
934     // Test navigation ops
935     for (int element = min - 1; element <= max + 1; element++) {
936     assertEq(set.lower(element), rs.lower(element));
937     assertEq(set.floor(element), rs.floor(element));
938     assertEq(set.higher(element), rs.higher(element));
939     assertEq(set.ceiling(element), rs.ceiling(element));
940     }
941    
942     // Test extrema
943     if (set.size() != 0) {
944     assertEq(set.first(), rs.first());
945     assertEq(set.last(), rs.last());
946     } else {
947     assertEq(rs.first(), -1);
948     assertEq(rs.last(), -1);
949     try {
950     set.first();
951 jsr166 1.10 shouldThrow();
952     } catch (NoSuchElementException success) {}
953 dl 1.2 try {
954     set.last();
955 jsr166 1.10 shouldThrow();
956     } catch (NoSuchElementException success) {}
957 dl 1.2 }
958     }
959    
960     static void assertEq(Integer i, int j) {
961     if (i == null)
962     assertEquals(j, -1);
963     else
964     assertEquals((int) i, j);
965     }
966    
967     static boolean eq(Integer i, int j) {
968     return i == null ? j == -1 : i == j;
969     }
970    
971 dl 1.1 }