protected Token ReadIdentifier(char c)
{
string id = "" + c;
while (Char.IsLetterOrDigit(InputString[InputPos]))
{
id += InputString[InputPos++];
}
if (InputString[InputPos] == '*')
{
InputPos++;
return new Token { Type = TokenType.ExtendedIdentifier, Value = id };
}
else
{
return new Token { Type = TokenType.Identifier, Value = id };
}
}