Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#113 zzEOFDone initialized to self

feature request
closed-fixed
nobody
None
5
2014-03-01
2010-12-15
Anonymous
No

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.

Discussion

  • Steve Rowe
    Steve Rowe
    2013-12-23

    I committed a fix in r727.

     
  • Gerwin Klein
    Gerwin Klein
    2014-01-16

    • status: open --> open-fixed
    • Group: --> feature request
     
  • Gerwin Klein
    Gerwin Klein
    2014-03-01

    • status: open-fixed --> closed-fixed