text: public void YyReset(TextReader reader){zzReader = reader;zzAtBOL = true;zzAtEOF = false;zzEOFDone = false;zzEndRead = zzStartRead = 0;zzCurrentPos = zzMarkedPos = 0;yyline = yychar = yycolumn = 0;zzLexicalState = YYINITIAL;if (zzBuffer.Length > ZZ_BUFFERSIZE)zzBuffer = new char[ZZ_BUFFERSIZE];}