Comment mettre des caractères Unicode dans ma grammaire Antlr?

Question

J'essaie de construire une grammaire avec ce qui suit:

NUMERIC: INTEGER | FLOAT | INFINITY | PI ... INFINITY: '∞' PI: 'π'

Mais Antlr refuse de charger la grammaire.

Answer 1

Utiliser l'expression Java représentant le caractère Unicode:

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

qui fonctionnera jusqu'à ' \ uFFFF '; Java ne prend pas en charge Unicode à cinq chiffres.