private string EatNonWhitespace() { string rawValue = ""; while (!AtEnd && !Char.IsWhiteSpace(CurrentChar)) { rawValue += CurrentChar; ++_position; } return rawValue; }