[Bug] zzEOFDone initialized to self [sf#113]

[lsf37]

*Reported by anonymous on 2010-12-15 11:57 UTC
In generated code, I see:

/** sets all values stored in this class */
ZzFlexStreamInfo(java.io.Reader zzReader, int zzEndRead, int zzStartRead,
int zzCurrentPos, int zzMarkedPos,
char [] zzBuffer, boolean zzAtEOF, int yyline, int yycolumn) {
this.zzReader = zzReader;
this.zzEndRead = zzEndRead;
this.zzStartRead = zzStartRead;
this.zzCurrentPos = zzCurrentPos;
this.zzMarkedPos = zzMarkedPos;
this.zzBuffer = zzBuffer;
this.zzAtEOF = zzAtEOF;
this.zzEOFDone = zzEOFDone;
this.yyline = yyline;
this.yycolumn = yycolumn;
}

note that zzEOFDone is not passed as an argument to the method, so it is apparently assigned to itself.

Found using FindBugs.

[lsf37]

Commented by steve_rowe on 2013-12-23 05:32 UTC
I committed a fix in r727.

[lsf37]

Updated by lsf37 on 2014-01-16 06:48 UTC

• status: open --> open-fixed
• Group: --> feature request

[lsf37]

Updated by lsf37 on 2014-03-01 00:26 UTC

• status: open-fixed --> closed