I recently discovered that jFlex outputs errors like
Warning in file "scanner.jflex" (line 42):
Rule can never be matched:
"???" { return new Symbol(Symbols.CIRCLED_MINUS, 1, yycolumn + 1, null); }
for my UTF-8 character literals
"⊖" { return new Symbol(Symbols.CIRCLED_MINUS, 1, yycolumn + 1, null); }
Being on Linux, I changed the LANG
environment variable to specify encoding, e.g. C.UTF-8
, and that removed the warning. Using command line option -Dfile.encoding=UTF-8
is more portable. I also found feature request 29, hinting that jFlex honors the system default encoding.