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