void function ( double arg0 ) { write ( Double . doubleToRawLongBits ( arg0 ) ) ; }
write the 64-bit double to the binary output stream . concode_field_sep int buffer concode_elem_sep int N concode_elem_sep BufferedOutputStream out concode_field_sep void writeByte concode_elem_sep void flush concode_elem_sep void clearBuffer concode_elem_sep void main concode_elem_sep void close concode_elem_sep void writeBit