ANTLR4：算术表达式语法 - 除零检查，关键字检查

Question

我需要此语法的算术表达式帮助。

我想通知用户一些错误消息，如果他试图除以零，或者他使用一些VHDL keywords（目标语言）作为变量名称。

但我是新来的ANTLR，我不能弄清楚如何延长这个语法：

grammar arithmetic; 

@header { 
    package generated; 
} 

stat 
    : Left = VARIABLE Op = ASSIGMENT Right = expr  # Assigment 
    ; 

expr 
    : '(' Exp = expr ')'       # Parens 
    | MINUS Exp = expr        # UnaryMinus 
    | Left = expr Op = (TIMES | DIV) Right = expr # MulDiv 
    | Left = expr Op = (PLUS | MINUS) Right = expr # AddSub 
    | (VARIABLE | CONSTANT)       # Element 
    ; 

ASSIGMENT : '=' ; 
PLUS  : '+' ; 
MINUS  : '-' ; 
TIMES  : '*' ; 
DIV   : '/' ; 
LPAREN  : '(' ; 
RPAREN  : ')' ; 


VARIABLE : (LETTER+|DIGIT+|'_')+ ; 
CONSTANT : INTEGER     ; 

INTEGER  : DIGIT+     ; 


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

WS   : [ \r\n\t] + -> skip ; 

Answer 1

我发现，我在下面的语法已经纠正了许多小问题。

• 没有EOF标记
• 只能运行一个语句，因此它扩展到program
• 的@header事情引起的java grungui不运行
• _是一个合法的变量名，可能不是你想要什么。

• '5'是作业的有效左侧。所以5=6是一个有效的赋值语句，可能不是你想要的。

  grammar Arithmetic; 
  program : stat+ EOF; 
  stat 
  : Left = VARIABLE Op = ASSIGMENT Right = expr  # Assigment 
  ; 
  
  expr 
  : '(' Exp = expr ')'       # Parens 
  | MINUS Exp = expr        # UnaryMinus 
  | Left = expr Op = (TIMES | DIV) Right = expr # MulDiv 
  | Left = expr Op = (PLUS | MINUS) Right = expr # AddSub 
  | (VARIABLE | CONSTANT)       # Element 
  ; 
  
  ASSIGMENT : '=' ; 
  PLUS  : '+' ; 
  MINUS  : '-' ; 
  TIMES  : '*' ; 
  DIV   : '/' ; 
  LPAREN  : '(' ; 
  RPAREN  : ')' ; 
  VARIABLE : LETTER+(LETTER|DIGIT|'_')* ; 
  CONSTANT : INTEGER     ; 
  INTEGER  : DIGIT+     ; 
  LETTER  : ('a' .. 'z') | ('A' .. 'Z') ; 
  DIGIT  : ('0' .. '9') ; 
  WS   : [ \r\n\t] + -> skip ; 
  

现在修正了很多文法和“好形式”问题。接下来的问题是如何处理，例如，除以零。

语法是不是地方执行这样的规则。例如，3/0是一个完全合法的数学表达式。它恰好会评估为无穷大，因此在程序中被防范。同样，你应该在代码中处理像这样的特殊情况。当您在#MulDiv上下文的右侧等于零时实现您的访问者或侦听器模式时，您应该在该点进行干预。语法不适用于试图实现这样复杂的语义和上下文敏感的规则。

至于如何编程的if声明，我给你在偷看他们的方式我实现了他们：

public override MuValue VisitIfstmt(LISBASICParser.IfstmtContext context) 
    { 
     LISBASICParser.Condition_blockContext[] conditions = context.condition_block(); 
     bool evaluatedBlock = false; 
     foreach (LISBASICParser.Condition_blockContext condition in conditions) 
     { 
      MuValue evaluated = Visit(condition.expr()); 
      if (evaluated.AsBoolean()) 
      { 
       evaluatedBlock = true; 
       Visit(condition.stmt_block()); 
       break; 
      } 
     } 
     if (!evaluatedBlock && context.stmt_block() != null) 
     { 
      Visit(context.stmt_block()); 
     } 
     return MuValue.Void; 
    } 

当然，这可能并没有多大意义，断章取义，但休息保证它的工作。要全面了解这一点，请访问Bart Kiers，以获得语法和实现的绝佳示例。