795 |
|
return Streams.parallelStream(spliterator()); |
796 |
|
} |
797 |
|
|
798 |
+ |
/** |
799 |
+ |
* This is very similar to ArrayList Spliterator, except for extra |
800 |
+ |
* null checks. |
801 |
+ |
*/ |
802 |
|
static final class PriorityQueueSpliterator<E> implements Spliterator<E> { |
799 |
– |
/* |
800 |
– |
* This is very similar to ArrayList Spliterator, except for |
801 |
– |
* extra null checks. |
802 |
– |
*/ |
803 |
|
private final PriorityQueue<E> pq; |
804 |
|
private int index; // current index, modified on advance/split |
805 |
|
private int fence; // -1 until first use |