public bool EOF()
{
return _eof;
}
/* 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 }