817 |
|
} |
818 |
|
|
819 |
|
/** |
820 |
< |
* Saves the state of the list to a stream (that is, serializes it). |
820 |
> |
* Saves this list to a stream (that is, serializes it). |
821 |
|
* |
822 |
|
* @serialData The length of the array backing the list is emitted |
823 |
|
* (int), followed by all of its elements (each an Object) |
824 |
|
* in the proper order. |
825 |
– |
* @param s the stream |
825 |
|
*/ |
826 |
|
private void writeObject(java.io.ObjectOutputStream s) |
827 |
|
throws java.io.IOException { |
838 |
|
} |
839 |
|
|
840 |
|
/** |
841 |
< |
* Reconstitutes the list from a stream (that is, deserializes it). |
843 |
< |
* |
844 |
< |
* @param s the stream |
841 |
> |
* Reconstitutes this list from a stream (that is, deserializes it). |
842 |
|
*/ |
843 |
|
private void readObject(java.io.ObjectInputStream s) |
844 |
|
throws java.io.IOException, ClassNotFoundException { |