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); }