Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#106 zzAtBOL not handled by yypushStream/yypopStream

jflex bug
closed-fixed
Gerwin Klein
5
2014-03-01
2010-02-01
Marcus Rausch
No

The variable 'zzAtBOL' is not handled by the methods 'yypushStream' and 'yypopStream'. The appropriate code is missing in the file 'skeleton.nested'.
The method 'yypushStream' should save the variable 'zzAtBOL' too in the class 'ZzFlexStreamInfo' and then reset it to true.
The method 'yypopStream' should restore the variable 'zzAtBOL' too from the class 'ZzFlexStreamInfo'.
The class 'ZzFlexStreamInfo' should have the member 'zzAtBOL' too and save the respective parameter in it's constructor.
The variable 'zzAtBOL' should be handled like 'zzAtEOL' in the methods and the class (exception: inverse initialization at the beginning of a new file).
The appended file contains my proposal to fix the error (cumulative fix including ID 2942624).

Discussion

  • Marcus Rausch
    Marcus Rausch
    2010-02-01

    proposal for error-fix (including ID 2942624)

     
    Attachments
  • Steve Rowe
    Steve Rowe
    2014-01-02

    I committed a fix in r720.

     
  • Gerwin Klein
    Gerwin Klein
    2014-01-16

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

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