#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
     

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks