212 |
|
/** |
213 |
|
* Saves the state to a stream (that is, serializes it). |
214 |
|
* |
215 |
+ |
* @param s the stream |
216 |
+ |
* @throws java.io.IOException if an I/O error occurs |
217 |
|
* @serialData The current value is emitted (a {@code double}). |
218 |
|
*/ |
219 |
|
private void writeObject(java.io.ObjectOutputStream s) |
225 |
|
|
226 |
|
/** |
227 |
|
* Reconstitutes the instance from a stream (that is, deserializes it). |
228 |
+ |
* @param s the stream |
229 |
+ |
* @throws ClassNotFoundException if the class of a serialized object |
230 |
+ |
* could not be found |
231 |
+ |
* @throws java.io.IOException if an I/O error occurs |
232 |
|
*/ |
233 |
|
private void readObject(java.io.ObjectInputStream s) |
234 |
|
throws java.io.IOException, ClassNotFoundException { |