jflex
jflex copied to clipboard
Warn for probably wrong unicode escapes such as \u0ffff
\u0ffff means \u0fff followed by the letter f. The user probably meant \U00ffff instead.
We should add a warning for such occasions (for \u and \U), which can optionally be suppressed.
See also #179