237 |
|
/** |
238 |
|
* Saves the state to a stream (that is, serializes it). |
239 |
|
* |
240 |
+ |
* @param s the stream |
241 |
+ |
* @throws java.io.IOException if an I/O error occurs |
242 |
|
* @serialData The length of the array is emitted (int), followed by all |
243 |
|
* of its elements (each a {@code double}) in the proper order. |
244 |
|
*/ |
257 |
|
|
258 |
|
/** |
259 |
|
* Reconstitutes the instance from a stream (that is, deserializes it). |
260 |
+ |
* @param s the stream |
261 |
+ |
* @throws ClassNotFoundException if the class of a serialized object |
262 |
+ |
* could not be found |
263 |
+ |
* @throws java.io.IOException if an I/O error occurs |
264 |
|
*/ |
265 |
|
private void readObject(java.io.ObjectInputStream s) |
266 |
|
throws java.io.IOException, ClassNotFoundException { |