ANTLR - Семантический предикат и LL (1)

Question

Я хочу сделать LL (1) грамматик в ANTLR, который допускает множественную привязку, например: x = y = 5;

Я думаю, что семантический предикат имеет смысл использовать в этой ситуации, но следующие правила не будут работать :(

tokens { 
BECOMES = '=' 
} 

    assignment_statement 
      : IDENTIFIER BECOMES expr 
      ; 

     expr 
      : (IDENTIFIER BECOMES)=> IDENTIFIER BECOMES expr 
      | expr_or 
      ; 

     IDENTIFIER 
      : LETTER (LETTER | DIGIT)* 
      ; 

ANTLRWORKS дает NoViableAltException.

Вы знаете, что я сделал не так и как сделать эту работу? Спасибо!

Answer 1

грамматику с синтаксической (не семантического) предикат, который выглядит ах Конечно, 2 токена не LL (1).

Но вам не нужен предикат, просто сделать что-то вроде этого:

grammar T; 

options { 
    output=AST; 
} 

tokens { 
    BECOMES = '='; 
} 

assignment_statement 
: (IDENTIFIER BECOMES)+ expr ';' 
; 

expr 
: IDENTIFIER 
| NUMBER 
; 

IDENTIFIER 
: LETTER (LETTER | DIGIT)* 
; 

NUMBER 
: DIGIT+ 
; 

fragment LETTER : 'a'..'z' | 'A'..'Z'; 
fragment DIGIT : '0'..'9'; 

, который будет анализировать ввод "x=y=5;" следующим образом:

но отвергнет вход как "x=2=3;".

Кроме того, интерпретатор ANTLRWorks не работает с каким-либо предикатом: вместо этого используйте отладчик ANTLRWorks.