Wie setze ich Unicode-Zeichen in meine Antlr-Grammatik?

Question

Ich versuche, eine Grammatik mit den folgenden zu erstellen:

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

Aber Antlr weigert sich, die Grammatik zu laden.

Answer 1

Verwenden Sie die Java-Ausdruck, die den Unicode-Zeichen:

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

das funktionieren wird bis zu ' \ uFFFF '; Java unterstützt keinen fünfstelligen Unicode.