implements java.io.closeable . important : this method deletes the work file after closing it ! concode_field_sep int DEFAULT_BLOCKS_PER_RECORD concode_elem_sep int DEFAULT_COMPRESSION concode_elem_sep byte[] ZERO_BLOCK concode_elem_sep OutputStream writeStream concode_elem_sep boolean debug concode_elem_sep int NO_COMPRESSION concode_elem_sep File targetFile concode_elem_sep int GZIP_COMPRESSION concode_elem_sep long bytesWritten concode_elem_sep int blocksPerRecord concode_elem_sep byte[] writeBuffer concode_elem_sep File writeFile concode_field_sep int bytesLeftInBlock concode_elem_sep void writePadBlock concode_elem_sep void assertAtBlockBoundary concode_elem_sep void padCurrentBlock concode_elem_sep void flush concode_elem_sep void writeBlock concode_elem_sep void writePadBlocks concode_elem_sep void finish concode_elem_sep void write concode_elem_sep void write concode_elem_sep long getBytesWritten
void function ( ) { writeStream . close ( ) ; if ( ! writeFile . delete ( ) ) { throw new IOException ( RB . singleton . getString ( RB . WORKFILE_DELETE_FAIL , writeFile . getAbsolutePath ( ) ) ) ; } }