private Token NextReal(string integerPart)
{
string real = integerPart + ".";
char? nch;
nch = this.NextChar();
while (nch.HasValue && char.IsDigit(nch.Value))
{
real += nch;
nch = this.NextChar();
}
if (nch.HasValue)
this.PushChar(nch.Value);
Token token;
if (real.EndsWith("."))
{
this.PushChar('.');
token = new Token();
token.Value = integerPart;
token.TokenType = TokenType.Integer;
return token;
}
token = new Token();
token.Value = real;
token.TokenType = TokenType.Real;
return token;
}