private void SkipToEndOfLine() { char? nch; nch = this.NextChar(); while (nch.HasValue && nch != '\r' && nch != '\n') nch = this.NextChar(); if (nch.HasValue) this.PushChar(nch.Value); }