public virtual void DiscardTokenType(int ttype) { if (discardSet == null) { discardSet = new HashList(); } discardSet.Add(ttype.ToString(), ttype); }