public string ReadLine() { if (sr == null) { throw Ops.EofError(""); } FixStreams(); return(sr.ReadLine()); }
public string readline() { ThrowIfClosed(); return(_sr.ReadLine(-1)); }