¿Cómo coloco caracteres Unicode en mi gramática de Antlr?
-
09-06-2019 - |
Pregunta
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.
Solución
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.
Licenciado bajo: CC-BY-SA con atribución
No afiliado a StackOverflow