read_double() public method

public read_double ( ) : double
return double
OtpInputStream Class Documentation
Beispiel #1
0
 /**
  * Create an Erlang float from a stream containing a double encoded in
  * Erlang external format.
  *
  * @param buf
  *                the stream containing the encoded value.
  *
  * @exception OtpErlangDecodeException
  *                    if the buffer does not contain a valid external
  *                    representation of an Erlang float.
  */
 public OtpErlangDouble(OtpInputStream buf)
 {
     d = buf.read_double();
 }
Beispiel #2
0
 /**
  * Create an Erlang float from a stream containing a double encoded in
  * Erlang external format.
  *
  * @param buf
  *                the stream containing the encoded value.
  *
  * @exception OtpErlangDecodeException
  *                    if the buffer does not contain a valid external
  *                    representation of an Erlang float.
  */
 public OtpErlangDouble(OtpInputStream buf)
 {
     d = buf.read_double();
 }