bcds.tools
Class GZipFileWriter

java.lang.Object
  java.io.Writer
      java.io.BufferedWriter
          bcds.tools.DataFileWriter
              bcds.tools.GZipFileWriter

All Implemented Interfaces:

java.io.Closeable, java.io.Flushable, java.lang.Appendable

public class GZipFileWriter
extends DataFileWriter

Implements a line oriented, gzip-compressed file writer. All exceptions thrown are unchecked, of type AnyException.

Field Summary

Fields inherited from class java.io.Writer

lock

Constructor Summary

GZipFileWriter(java.lang.String fname)
Creates an instance for writing the file named fname, in GZIP format.

Method Summary

void	close() Flushes and closes the output, catching any IOException.

Methods inherited from class bcds.tools.DataFileWriter

flush, getFileName, newFileWriter, printf

Methods inherited from class java.io.BufferedWriter

newLine, write, write, write

Methods inherited from class java.io.Writer

append, append, append, write, write

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GZipFileWriter

public GZipFileWriter(java.lang.String fname)

Creates an instance for writing the file named fname, in GZIP format.

Method Detail

close

public void close()

Flushes and closes the output, catching any IOException.

Specified by:

close in interface java.io.Closeable

Overrides:

close in class java.io.BufferedWriter

Throws:

AnyException - wrapping an IOException if an IO error occurs.