ANTLRworks 从语法创建解释器

Question

嘿，我有一个简单的问题。我正在使用 ANTLRworks 根据一组语法创建 Java 解释器。我本来打算用手写出来，但后来意识到我不必这样做，因为 Antlrworks。我收到此错误，但

Tg:9:23: label ID因同名令牌冲突

ANTLRworks是从语法创建解释器时的方法吗？你们都看到我的代码中有任何错误吗？

我正在尝试将 ID 设为 az 中的一个字母，并且不区分大小写。并在每个词位之间留有空格。谢谢

grammar T;

programs : ID WS compound_statement;

statement:       
if_statement|assignment_statement|while_statement|print_statement|compound_statement;

compound_statement: 'begin' statement_list 'end';

statement_list: statement|statement WS statement_list;  

if_statement:    'if' '(' boolean_expression ')' 'then' statement 'else' statement;

while_statement:    'while' boolean_expression 'do' statement;

assignment_statement:   ID = arithmetic_expression;

print_statement:    'print' ID;

boolean_expression: operand relative_op operand;

operand :   ID |INT;

relative_op:    '<'|'<='|'>'|'>='|'=='|'/=';

arithmetic_expression:  operand|operand WS arithmetic_op WS operand;

arithmetic_op:  '+'|'-'|'*'|'/';


ID  :   ('a'..'z'|'A'..'Z'|'_').
;

INT :   '0'..'9'+
;
WS  :   ( ' '
    | '\t'
    | '\r'
    | '\n'
    ) {$channel=HIDDEN;}
;

，这是语法

<program> → program id <compound_statement>

<statement> → <if_statement> | <assignment_statement> | <while_statement> |     
<print_statement> | <compound_statement>

<compound_statement> → begin <statement_list> end

<statement_list> → <statement> | <statement> ; <statement_list>

<if_statement> → if <boolean_expression> then <statement> else <statement>

<while_statement> → while <boolean_expression> do <statement>

<assignment_statement> -> id := <arithmetic_expression>

<print_statement> → print id

<boolean_expression> → <operand> <relative_op> <operand>

<operand> → id | constant

<relative_op> → < | <= | > | >= | = | /=

<arithmetic_expression> → <operand> | <operand> <arithmetic_op> <operand>

<arithmetic_op> → + | - | * | / 

Answer 1

从语法创建解释器时，ANTLR 是可行的方法吗？

不可以。ANTLRWorks

只能用于编写语法并可能测试其输入是否正确（通过其调试器或解释器）。它不能用于为您为其编写语法的语言创建解释器。 ANTLRWorks 只是一个精美的文本编辑器，仅此而已。

你们看到我的代码中有什么错误吗？

正如 Treebranch 所示：您在 = 登录处没有引号：

assignment_statement:   ID = arithmetic_expression;

使 ANTLR“认为”您想要将标签 ID 分配给解析器规则 算术表达式，这是非法的：您不能拥有一个同时也是规则名称的标签名称（ID，在您的情况下）。

Answer 2

您的代码中可能存在一些问题：

我认为您希望您的 ID 标记有一个 + 正则表达式，以便它的长度可以为 1 或更大，如下所示：

ID  :   ('a'..'z'|'A'..'Z'|'_')+
;

它看起来也像您缺少引号引起来的= 符号：

assignment_statement:   ID '=' arithmetic_expression;

---

编辑

关于您的左递归问题：由于正则表达式功能，ANTLR 非常强大。虽然 EBNF（就像您所介绍的那样）可能在表达事物的方式上受到限制，但 ANTLR 可以用来以一种更简单的方式表达某些语法规则。例如，如果您希望在您的compound_statement 中有一个statement_list，只需使用带有闭包(*) 的statement 规则即可。就像这样：

compound_statement: 'begin' statement* 'end';

突然间，您可以删除不必要的规则，例如statement_list。