#105 yychar not handled by yypushStream/yypopStream

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

The variable 'yychar' 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 'yychar' too in the class 'ZzFlexStreamInfo' and then reset it to zero.
The method 'yypopStream' should restore the variable 'yychar' too from the class 'ZzFlexStreamInfo'.
The class 'ZzFlexStreamInfo' should have the member 'yychar' too and save the respective parameter in it's constructor.
The variable 'yychar' should be handled like 'yyline' and 'yycolumn' in the methods and the class.
The appended file contains my proposal to fix the error.

Discussion

  • Marcus Rausch
    Marcus Rausch
    2010-01-30

    proposal for error-fix

     
    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