public string PullRestOfLine() { var sb = new StringBuilder(); while (!EoF) { char c = Take(); if (c == '\n') break; //ignore if (c == '\r') continue; sb.Append(c); } return sb.ToString().Trim(); }