802 |
|
} |
803 |
|
} |
804 |
|
|
805 |
– |
/** |
806 |
– |
* Appease the serialization gods. |
807 |
– |
*/ |
805 |
|
private static final long serialVersionUID = 2340985798034038923L; |
806 |
|
|
807 |
|
/** |
808 |
< |
* Serialize this deque. |
808 |
> |
* Saves this deque to a stream (that is, serializes it). |
809 |
|
* |
810 |
|
* @serialData The current size (<tt>int</tt>) of the deque, |
811 |
|
* followed by all of its elements (each an object reference) in |
825 |
|
} |
826 |
|
|
827 |
|
/** |
828 |
< |
* Deserialize this deque. |
828 |
> |
* Reconstitutes this deque from a stream (that is, deserializes it). |
829 |
|
*/ |
830 |
|
private void readObject(java.io.ObjectInputStream s) |
831 |
|
throws java.io.IOException, ClassNotFoundException { |