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

# 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.13 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     * 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 jsr166 1.7 Object[] o = q.toArray();
445 dl 1.1 Arrays.sort(o);
446 jsr166 1.7 for (int i = 0; i < o.length; i++)
447     assertEquals(o[i], q.pollFirst());
448 dl 1.1 }
449    
450     /**
451     * toArray(a) contains all elements
452     */
453     public void testToArray2() {
454     TreeSet q = populatedSet(SIZE);
455 jsr166 1.7 Integer[] ints = new Integer[SIZE];
456     ints = (Integer[])q.toArray(ints);
457 dl 1.1 Arrays.sort(ints);
458 jsr166 1.5 for (int i = 0; i < ints.length; i++)
459 dl 1.1 assertEquals(ints[i], q.pollFirst());
460     }
461 jsr166 1.4
462 dl 1.1 /**
463     * iterator iterates through all elements
464     */
465     public void testIterator() {
466     TreeSet q = populatedSet(SIZE);
467     int i = 0;
468 jsr166 1.7 Iterator it = q.iterator();
469 jsr166 1.5 while (it.hasNext()) {
470 dl 1.1 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 jsr166 1.7 Iterator it = q.iterator();
483 jsr166 1.5 while (it.hasNext()) {
484 dl 1.1 assertTrue(q.contains(it.next()));
485     ++i;
486     }
487     assertEquals(i, 0);
488     }
489    
490     /**
491     * iterator.remove removes current element
492     */
493 jsr166 1.13 public void testIteratorRemove() {
494 dl 1.1 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 jsr166 1.4 }
520 dl 1.1
521     /**
522 jsr166 1.4 * A deserialized serialized set has same elements
523 dl 1.1 */
524 jsr166 1.8 public void testSerialization() throws Exception {
525 dl 1.1 TreeSet q = populatedSet(SIZE);
526 jsr166 1.8 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 dl 1.1 }
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 dl 1.2 Random rnd = new Random(666);
659     BitSet bs;
660    
661     /**
662     * Subsets of subsets subdivide correctly
663     */
664 jsr166 1.10 public void testRecursiveSubSets() throws Exception {
665 jsr166 1.7 int setSize = 1000;
666     Class cl = TreeSet.class;
667 dl 1.2
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 dl 1.3 bashSubSet(set.subSet(0, true, setSize, false),
680 dl 1.2 0, setSize - 1, true);
681     }
682    
683 jsr166 1.10 static NavigableSet<Integer> newSet(Class cl) throws Exception {
684     NavigableSet<Integer> result = (NavigableSet<Integer>) cl.newInstance();
685 dl 1.2 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 jsr166 1.5 for (Iterator<Integer> it = set.iterator(); it.hasNext(); ) {
708 dl 1.2 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 jsr166 1.5 for (Iterator<Integer> it = set.iterator(); it.hasNext(); ) {
733 dl 1.2 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 jsr166 1.10 shouldThrow();
748     } catch (IllegalArgumentException success) {}
749 dl 1.2 }
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 dl 1.3 NavigableSet<Integer> hm = set.headSet(midPoint, incl);
780 dl 1.2 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 dl 1.3 NavigableSet<Integer> tm = set.tailSet(midPoint,incl);
797 dl 1.2 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 dl 1.3 NavigableSet<Integer> sm = set.subSet(
822 dl 1.2 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 dl 1.3 NavigableSet<Integer> sm = set.subSet(
831 dl 1.2 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 jsr166 1.10 shouldThrow();
948     } catch (NoSuchElementException success) {}
949 dl 1.2 try {
950     set.last();
951 jsr166 1.10 shouldThrow();
952     } catch (NoSuchElementException success) {}
953 dl 1.2 }
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 dl 1.1 }