private String ReadString() { StringBuilder buf = new StringBuilder(); while (true) { int c = inp.Read(); if (c <= 0) { break; } buf.Append((char)c); } return(buf.ToString()); }
public int Read() { return(file.Read()); }