antlr - 语句或退出语句的 ANTLR 文法

Question

我在 ANTLR 语法中写下了以下语句:

loopStatement
    : 'loop'  (statement|exit)* 'end' 'loop' ';'
    ;

如果我没理解错的话，(statement|exit)*的意思是我可以有一个statement或者一个exit statement。那是即 statement_1 exit_1，或 statement_1，或 statement_1 statement_2，exit_1，对吗？
我的解析器可以工作，除了没有语句的时候。
例如:

这个有效:

loop
x:=x+1;   <<< statement_1
exit when x=9; <<<<exit_1
end loop;

这也有效(没有 exit):

loop
x:=x+1;   <<< statement_1
          <<<<exit_1  (no exit)
end loop;

但是这个不有效(没有声明):

loop
          <<< statement_1
exit when x=9; <<<<exit_1
end loop;

我的语法有问题吗？

Answer 1

pantelis wrote:

If I understand correctly, (statement|exit)* means that I can have a statement or an exit statement.

准确地说，(statement|exit)* 匹配空字符串，或者零个或多个 statement 或 exit 语句(在没有具体顺序!)。所以它会匹配:

• 声明声明...
• 退出退出退出...
• exit exit语句语句exit ...
• ...

但是，为什么不让您的 exit 语句只是一个常规语句呢？我的小演示:

loopStatement
  :  'loop'  statement* 'end' 'loop' ';'
  ;

statement
  :  'exit' 'when' expression ';' // exit statement
  |  ID ':=' expression ';'       // assignment
  ;

expression
  :  equalityExpression
  ;

equalityExpression
  :  addExpression ('=' addExpression)*
  ;

addExpression
  :  atom ('+' atom)*
  ;

atom
  :  ID
  |  Number
  |  '(' expression ')'
  ;

ID
  :  'a'..'z'+
  ;

Number
  :  '0'..'9'+
  ;

正确解析所有 3 个示例:

---

1

loop
  x:=x+1;
  exit when x=9;
end loop;

---

2

loop
  x:=x+1;

end loop;

---

3

loop

  exit when x=9;
end loop;

---

4

或者什么都没有:

loop

end loop;