/* get an identifier */
public void scan()
{
skipWhite();
if (Char.IsLetter(io.getNextChar()))
{
LoadName();
}
else if (Char.IsDigit(io.getNextChar()))
{
LoadNum();
}
else if (isOp(io.getNextChar()))
{
LoadOp();
}
else if (io.EOF())
{
value = null;
token_id = T_EOF;
}
else
{
value = new StringBuilder(MyC.MAXSTR);
value.Append(io.getNextChar());
token_id = T_UNKNOWN;
io.ReadChar();
}
skipWhite();
#if DEBUG
Console.WriteLine("[tok.scan tok=[" + this + "]");
#endif
}