private void SkipLine() { // skip to end of line int c; while ((c = GetChar()) != EOF_CHAR && c != '\n') { } UngetChar(c); tokenEnd = cursor; }