ANTLR (v4) Правило не прилагая

Question

В проекте я работаю в ANTLR (v4), у меня есть правило, как это:

Equal  : '::=' 

Identifier 
    : ('A'..'Z' | '_' | '0'..'9') ('a'..'z' | 'A'..'Z' | '_' | '0'..'9')* 
    ; 
Constant 
    : Identifier Equal Expression 
    ; 

И я даю это код, как: X ::= 1, и, вместо того, чтобы быть «константой», он выдается как три отдельных токена: Идентификатор, Равный и Идентификатор. Я не могу понять, что я делаю неправильно. Возможно, мне стоит вернуться к использованию библиотеки Parsec от Haskell. (Причина, по которой я прекратил использовать, это длинная история.)

Answer 1

Они 3 жетона, потому что у вас есть промежутки между ними. Когда вы сделаете X::=1, он окажется в виде единственного токена Constant.

Возможно, вы указали правило lexer, которое пропускает пробелы, но это заставит синтаксический анализатор никогда не видеть эти пробельные символы, а не лексер.

Ваше постоянное правило должно быть правилом анализатора, тогда у вас не будет проблем. Не имеет смысла создавать один одиночный токен. Так должно быть, должно быть, ваше правило Expression. Токены (правила lexer) являются основными строительными блоками вашего языка. Как атомы в химии. Правила парсера (правила нижнего обхода) используются для склеивания этих токенов.