Как поместить символы юникода в мою грамматику Antlr?

Question

Я пытаюсь построить грамматику со следующим:

ЧИСЛО: INTEGER | FLOAT | БЕСКОНЕЧНОСТЬ | ЧИСЛО ПИ ... БЕСКОНЕЧНОСТЬ: '∞' PI: 'π'

Но Antlr отказывается загружать грамматику.

Answer 1

Используйте выражение Java, представляющее символ Unicode:

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

Это сработает до '\ uFFFF'; Java не поддерживает пятизначный Unicode.