See the general contract of the <code>readDouble</code>
method of <code>DataInput</code>.
<p>
Bytes
for this operation are read from the contained
input stream.
@return the next eight bytes of this input stream, interpreted as a
<code>double</code>.
@exception EOFException if this input stream reaches the end before
reading eight bytes.
@exception IOException the stream has been closed and the contained
input stream does not support reading after close, or
another I/O error occurs.
@see java.io.DataInputStream#readLong()
@see java.lang.Double#longBitsToDouble(long)
See the general contract of the <code>readDouble</code> method of <code>DataInput</code>. <p> Bytes for this operation are read from the contained input stream.
@return the next eight bytes of this input stream, interpreted as a <code>double</code>. @exception EOFException if this input stream reaches the end before reading eight bytes. @exception IOException the stream has been closed and the contained input stream does not support reading after close, or another I/O error occurs. @see java.io.DataInputStream#readLong() @see java.lang.Double#longBitsToDouble(long)