ViewVC Help

View File | Revision Log | Show Annotations | Download File | Root Listing

root/jsr166/jsr166/src/main/java/util/ArrayDeque.java

Comparing jsr166/src/main/java/util/ArrayDeque.java (file contents):
Revision 1.13 by jsr166, Wed May 18 00:46:42 2005 UTC vs.
Revision 1.25 by jsr166, Sat Sep 17 17:22:17 2005 UTC

#	Line 4 | Line 4
4		*/
5
6		package java.util;
7	+	import java.util.*; // for javadoc (till 6280605 is fixed)
8		import java.io.*;
9
10		/**
#	Line 202 | Line 203 | public class ArrayDeque<E> extends Abstr
203
204		/**
205		* Inserts the specified element at the end of this deque.
206	<	* This method is equivalent to {@link #add} and {@link #push}.
206	>	*
207	>	* <p>This method is equivalent to {@link #add}.
208		*
209		* @param e the element to add
210		* @throws NullPointerException if the specified element is null
#	Line 219 | Line 221 | public class ArrayDeque<E> extends Abstr
221		* Inserts the specified element at the front of this deque.
222		*
223		* @param e the element to add
224	<	* @return <tt>true</tt> (as per the spec for {@link Deque#offerFirst})
224	>	* @return <tt>true</tt> (as specified by {@link Deque#offerFirst})
225		* @throws NullPointerException if the specified element is null
226		*/
227		public boolean offerFirst(E e) {
#	Line 231 | Line 233 | public class ArrayDeque<E> extends Abstr
233		* Inserts the specified element at the end of this deque.
234		*
235		* @param e the element to add
236	<	* @return <tt>true</tt> (as per the spec for {@link Deque#offerLast})
236	>	* @return <tt>true</tt> (as specified by {@link Deque#offerLast})
237		* @throws NullPointerException if the specified element is null
238		*/
239		public boolean offerLast(E e) {
#	Line 371 | Line 373 | public class ArrayDeque<E> extends Abstr
373		* <p>This method is equivalent to {@link #addLast}.
374		*
375		* @param e the element to add
376	<	* @return <tt>true</tt> (as per the spec for {@link Collection#add})
376	>	* @return <tt>true</tt> (as specified by {@link Collection#add})
377		* @throws NullPointerException if the specified element is null
378		*/
379		public boolean add(E e) {
#	Line 385 | Line 387 | public class ArrayDeque<E> extends Abstr
387		* <p>This method is equivalent to {@link #offerLast}.
388		*
389		* @param e the element to add
390	<	* @return <tt>true</tt> (as per the spec for {@link Queue#offer})
390	>	* @return <tt>true</tt> (as specified by {@link Queue#offer})
391		* @throws NullPointerException if the specified element is null
392		*/
393		public boolean offer(E e) {
#	Line 394 | Line 396 | public class ArrayDeque<E> extends Abstr
396
397		/**
398		* Retrieves and removes the head of the queue represented by this deque.
399	<	* This method differs from {@link #poll} only in that it throws an
399	>	*
400	>	* This method differs from {@link #poll poll} only in that it throws an
401		* exception if this deque is empty.
402		*
403		* <p>This method is equivalent to {@link #removeFirst}.
#	Line 422 | Line 425 | public class ArrayDeque<E> extends Abstr
425
426		/**
427		* Retrieves, but does not remove, the head of the queue represented by
428	<	* this deque.  This method differs from {@link #peek} only in that it
429	<	* throws an exception if this deque is empty.
428	>	* this deque.  This method differs from {@link #peek peek} only in
429	>	* that it throws an exception if this deque is empty.
430		*
431		* <p>This method is equivalent to {@link #getFirst}.
432		*
#	Line 476 | Line 479 | public class ArrayDeque<E> extends Abstr
479		return removeFirst();
480		}
481
482	+	private void checkInvariants() {
483	+	assert elements[tail] == null;
484	+	assert head == tail ? elements[head] == null :
485	+	(elements[head] != null &&
486	+	elements[(tail - 1) & (elements.length - 1)] != null);
487	+	assert elements[(head - 1) & (elements.length - 1)] == null;
488	+	}
489	+
490		/**
491		* Removes the element at the specified position in the elements array,
492		* adjusting head and tail as necessary.  This can result in motion of
#	Line 487 | Line 498 | public class ArrayDeque<E> extends Abstr
498		* @return true if elements moved backwards
499		*/
500		private boolean delete(int i) {
501	<	int mask = elements.length - 1;
501	>	checkInvariants();
502	>	final E[] elements = this.elements;
503	>	final int mask = elements.length - 1;
504	>	final int h = head;
505	>	final int t = tail;
506	>	final int front = (i - h) & mask;
507	>	final int back  = (t - i) & mask;
508
509		// Invariant: head <= i < tail mod circularity
510	<	if (((i - head) & mask) >= ((tail - head) & mask))
510	>	if (front >= ((t - h) & mask))
511		throw new ConcurrentModificationException();
512
513	<	// Case 1: Deque doesn't wrap
514	<	// Case 2: Deque does wrap and removed element is in the head portion
515	<	if (i >= head) {
516	<	System.arraycopy(elements, head, elements, head + 1, i - head);
517	<	elements[head] = null;
518	<	head = (head + 1) & mask;
519	<	return false;
520	<	}
521	<
522	<	// Case 3: Deque wraps and removed element is in the tail portion
523	<	tail--;
524	<	System.arraycopy(elements, i + 1, elements, i, tail - i);
525	<	elements[tail] = null;
526	<	return true;
513	>	// Optimize for least element motion
514	>	if (front < back) {
515	>	if (h <= i) {
516	>	System.arraycopy(elements, h, elements, h + 1, front);
517	>	} else { // Wrap around
518	>	System.arraycopy(elements, 0, elements, 1, i);
519	>	elements[0] = elements[mask];
520	>	System.arraycopy(elements, h, elements, h + 1, mask - h);
521	>	}
522	>	elements[h] = null;
523	>	head = (h + 1) & mask;
524	>	return false;
525	>	} else {
526	>	if (i < t) { // Copy the null tail as well
527	>	System.arraycopy(elements, i + 1, elements, i, back);
528	>	tail = t - 1;
529	>	} else { // Wrap around
530	>	System.arraycopy(elements, i + 1, elements, i, mask - i);
531	>	elements[mask] = elements[0];
532	>	System.arraycopy(elements, 1, elements, 0, t);
533	>	tail = (t - 1) & mask;
534	>	}
535	>	return true;
536	>	}
537		}
538
539		// *** Collection Methods ***
#	Line 535 | Line 562 | public class ArrayDeque<E> extends Abstr
562		* order that elements would be dequeued (via successive calls to
563		* {@link #remove} or popped (via successive calls to {@link #pop}).
564		*
565	<	* @return an <tt>Iterator</tt> over the elements in this deque
565	>	* @return an iterator over the elements in this deque
566		*/
567		public Iterator<E> iterator() {
568		return new DeqIterator();
569		}
570
571	+	public Iterator<E> descendingIterator() {
572	+	return new DescendingIterator();
573	+	}
574	+
575		private class DeqIterator implements Iterator<E> {
576		/**
577		* Index of element to be returned by subsequent call to next.
#	Line 579 | Line 610 | public class ArrayDeque<E> extends Abstr
610		public void remove() {
611		if (lastRet < 0)
612		throw new IllegalStateException();
613	<	if (delete(lastRet))
614	<	cursor--;
613	>	if (delete(lastRet)) // if left-shifted, undo increment in next()
614	>	cursor = (cursor - 1) & (elements.length - 1);
615		lastRet = -1;
616		fence = tail;
617		}
618		}
619
620	+	private class DescendingIterator implements Iterator<E> {
621	+	/*
622	+	* This class is nearly a mirror-image of DeqIterator, using
623	+	* (tail-1) instead of head for initial cursor, (head-1)
624	+	* instead of tail for fence, and elements.length instead of -1
625	+	* for sentinel. It shares the same structure, but not many
626	+	* actual lines of code.
627	+	*/
628	+	private int cursor = (tail - 1) & (elements.length - 1);
629	+	private int fence =  (head - 1) & (elements.length - 1);
630	+	private int lastRet = elements.length;
631	+
632	+	public boolean hasNext() {
633	+	return cursor != fence;
634	+	}
635	+
636	+	public E next() {
637	+	E result;
638	+	if (cursor == fence)
639	+	throw new NoSuchElementException();
640	+	if (((head - 1) & (elements.length - 1)) != fence ||
641	+	(result = elements[cursor]) == null)
642	+	throw new ConcurrentModificationException();
643	+	lastRet = cursor;
644	+	cursor = (cursor - 1) & (elements.length - 1);
645	+	return result;
646	+	}
647	+
648	+	public void remove() {
649	+	if (lastRet >= elements.length)
650	+	throw new IllegalStateException();
651	+	if (!delete(lastRet))
652	+	cursor = (cursor + 1) & (elements.length - 1);
653	+	lastRet = elements.length;
654	+	fence = (head - 1) & (elements.length - 1);
655	+	}
656	+	}
657	+
658		/**
659		* Returns <tt>true</tt> if this deque contains the specified element.
660		* More formally, returns <tt>true</tt> if and only if this deque contains
#	Line 744 | Line 813 | public class ArrayDeque<E> extends Abstr
813		s.defaultWriteObject();
814
815		// Write out size
816	<	int size = size();
748	<	s.writeInt(size);
816	>	s.writeInt(size());
817
818		// Write out elements in order.
751	–	int i = head;
819		int mask = elements.length - 1;
820	<	for (int j = 0; j < size; j++) {
820	>	for (int i = head; i != tail; i = (i + 1) & mask)
821		s.writeObject(elements[i]);
755	–	i = (i + 1) & mask;
756	–	}
822		}
823
824		/**
#	Line 772 | Line 837 | public class ArrayDeque<E> extends Abstr
837		// Read in all elements in the proper order.
838		for (int i = 0; i < size; i++)
839		elements[i] = (E)s.readObject();
775	–
840		}
841		}

Diff Legend

–	Removed lines
+	Added lines
<	Changed lines
>	Changed lines