Como coloco caracteres Unicode na minha gramática Antlr?

Question

Estou tentando construir uma gramática com o seguinte:

NUMÉRICO:Inteiro | Flutuar | Infinito | Pi ...INFINIDADE:'' 'Pi:'π'

Mas o Antlr se recusa a carregar a gramática.

Answer 1

Use a expressão Java que representa o caractere Unicode:

• 'π' = '\u03C0'
• '∞' = '\u221E'

Isso funcionará até '\uFFFF';Java não oferece suporte a Unicode de cinco dígitos.