public override int Read () { if (pushback.Count > 0) { return pushback.Pop (); } else { return base.Read (); } }
int ReadChar() { int v = reader.Read(); if (v == '\n') { line++; column = 0; } else { column++; } return(v); }