write_double() публичный Метод

public write_double ( double d ) : void
d double
Результат void
Документация по классу OtpOutputStream
Пример #1
0
 /**
  * Convert this double to the equivalent Erlang external representation.
  *
  * @param buf
  *                an output stream to which the encoded value should be
  *                written.
  */
 public override void encode(OtpOutputStream buf)
 {
     buf.write_double(d);
 }
Пример #2
0
 /**
  * Convert this double to the equivalent Erlang external representation.
  *
  * @param buf
  *                an output stream to which the encoded value should be
  *                written.
  */
 public override void encode(OtpOutputStream buf)
 {
     buf.write_double(d);
 }