public final void yyreset(java.io.Reader reader) {zzReader = reader;zzAtBOL  = true;zzAtEOF  = false;zzEOFDone = false;zzEndRead = zzStartRead = 0;zzCurrentPos = zzMarkedPos = 0;zzFinalHighSurrogate = 0;yyline = yychar = yycolumn = 0;zzLexicalState = YYINITIAL;if (zzBuffer.length > ZZ_BUFFERSIZE)zzBuffer = new char[ZZ_BUFFERSIZE];}
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];}