Antlr gramerime nasıl unicode karakterleri koyarım?

Question

Aşağıdaki dilbilgisini oluşturmaya çalışıyorum:

NUMERIC: INTEGER | FLOAT | İNFİNİTE | PI ... SONSUZ: '∞' PI: 'π'

Ama antlr dilbilgisi yüklemek reddeder.

Answer 1

Kullanım Unicode karakter gösteren Java ifadesi:

• 'π' = '\ u03C0'
kadar çalışacak
• '∞' = '\ u221E'

için ' \ uFFFF '; Java beş haneli Unicode'u desteklemiyor.