public virtual void AddByte(int c)
{
if (Lexsize + 1 >= Lexlength)
{
while (Lexsize + 1 >= Lexlength)
{
if (Lexlength == 0)
Lexlength = 8192;
else
Lexlength = Lexlength*2;
}
byte[] temp = Lexbuf;
Lexbuf = new byte[Lexlength];
if (temp != null)
{
Array.Copy(temp, 0, Lexbuf, 0, temp.Length);
UpdateNodeTextArrays(temp, Lexbuf);
}
}
Lexbuf[Lexsize++] = (byte) c;
Lexbuf[Lexsize] = (byte) '\x0000'; /* debug */
}