¿Cómo coloco caracteres Unicode en mi gramática de Antlr?

Question

Estoy tratando de construir una gramática con lo siguiente:

NUMÉRICO: INTEGER | FLOTADOR Infinito | Pi ... INFINITO: '& # 8734;' PI: '& # 960;'

Pero Antlr se niega a cargar la gramática.

Answer 1

Use la expresión Java que representa el carácter Unicode:

• 'p' = '\ u03C0'
• '8' = '\ u221E'

Eso funcionará hasta '\ uFFFF'; Java no admite Unicode de cinco dígitos.