public void Read(Stream stream, LineVisitor visitor) { using (BufferedStream buffered = new BufferedStream(stream)) { using (StreamReader reader = new StreamReader(buffered, encoding)) { string line; while ((line = reader.ReadLine()) != null) { if (line.Length > 0) { visitor.Visit(line); } else { visitor.EmptyLine(); } } } } }
public GZipStreamToLines(LineVisitor visitor, Encoding encoding) { this.reader = new StreamToLines(visitor, encoding); }