将 return 语句与其他语句分开 ANTRL

Question

这是我的语法的一部分。

statement
    :   assignmentStatement
    |       doLoopStatement 
    |   whileStatement
    |   ifStatement
    |   procedureCallStatement
    ;


function 
    : 'FUNCTION' IDENT '(' parameters? ')' ':' type ':=' 
         (variable (';' variable)*)?
        'BEGIN'
            main_body  //body can be empty
            return_Statement 
        'END' IDENT
    ;

其中 main_body 是：

main_body
    : (statement (';' statement)*)?
    ;

现在，在创建 AST 之前，我需要修复 return 语句，

问题是 assignmentStatement 和 return_Statement 所以我从解析器收到 LL(*) 错误，因为它不知道该选择什么。

assignmentStatement
    :   IDENT ':=' expression
    ;

return_Statement
    :   IDENT ':=' expression
    ;

有什么想法吗？

Answer 1

如果 assignmentStatement 确实应该与 return_Statement 相同，那么就没有理由同时拥有两者。消除 return_Statement 规则，并在 function 规则中将其替换为 assignmentStatement。