Antlr4 gegenseitige Linksrekursion Fehler

Question

bereitete ich eine Grammatik für eine Mini-Sprache, die ich zu schaffen bin, aber ich bin einen gegenseitigen linken Rekursionsfehlers zwischen var und functioncall

var 
: NAME 
| var '[' exp ']' 
| var '.' var 
| functioncall '.' var 
; 
functioncall 
: NAME '(' (exp)? (',' exp)* ')' 
| var '.' functioncall 
| functioncall '.' functioncall 
; 

speziell auf var : functioncall '.' functioncall und functioncall : var '.' functioncall bekommen, die grundsätzlich zu somefunction().var entspricht und instanceofClass.function().

Gibt es eine Möglichkeit, dies zu erreichen?

Edit: Grammatik sollte auch so etwas wie var '=' exp ermöglichen, wo var instance.var oder function().var sein kann

Answer 1

Antlr 4 (und nicht davor) beidseitiges Rekursion in derselben Regel umgehen kann. So etwas wie

expr: expr '+' expr | NUMBER 

ist gültig.

Wir können also eine weitere neue Regel erstellen, um entweder einen var- oder einen Funktionsaufruf zu abstrahieren.

value 
: var 
| functioncall 
| value '.' value 
; 

var 
: NAME 
| var '[' exp ']' 
; 

functioncall 
: NAME '(' exp? (',' exp)* ')' 
; 

Nicht nur die Grammatik ist einfacher zu parsen (für menschliche Leser), aber jetzt haben Sie keine gegenseitige Rekursion.

Hinweis: ungetestet.