public void Dispose()
{
if (bw_ != null)
{
bw_.Dispose();
bw_ = null;
}
}
/// <summary>
/// Create a new Writer writing to filename. If filename ends in .gz output will be bgzip compressed, otherwise plain-text
/// </summary>
public BgzipOrStreamWriter(string filename, GzipCompressionLevel compression = GzipCompressionLevel.DefaultCompression5)
{
if (filename.ToLower().EndsWith(".gz"))
{
writer = new BgzipWriter(filename, compression);
}
else
{
var streamWriter = new InternalStreamWriter(filename);
streamWriter.NewLine = "\n";
writer = streamWriter;
}
}
public ExaStreamWriter(Encoding encoding, int bufferSize = 655360)
{
bw_ = new InternalStreamWriter(encoding, bufferSize);
}
