jflex icon indicating copy to clipboard operation
jflex copied to clipboard

Warn for probably wrong unicode escapes such as \u0ffff

Open lsf37 opened this issue 10 years ago • 0 comments

\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

lsf37 avatar Apr 02 '15 21:04 lsf37