Wie kann ich Unicode-Zeichen in meiner Antlr Grammatik?

Question

Ich versuche, eine Grammatik mit folgenden bauen:

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

Aber Antlr weigert sich, die Grammatik zu laden.

Answer 1

Mit dem Java-Ausdruck, die die Unicode-Zeichen:

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

Das funktioniert bis zu '\ uFFFF'; Java nicht fünfstellige Unicode unterstützen.