public virtual void DiscardTokenType( int ttype ) { if ( discardSet == null ) { discardSet = new List<int>(); } discardSet.Add( ttype ); }