antlr解析器和/或逻辑 - 如何获得逻辑运算符之间的表达式？

Question

我正在使用ANTLR创建和/或解析器+评估器。表达式将会有这样的格式：

• x eq 1 && y eq 10
• (x lt 10 && x gt 1) OR x eq -1

我正在读的逻辑表达式这个帖子在ANTLR Looking for advice on project. Parsing logical expression，我发现语法贴有一个良好的开端：

grammar Logic; 

parse 
    : expression EOF 
    ; 

expression 
    : implication 
    ; 

implication 
    : or ('->' or)* 
    ; 

or 
    : and ('&&' and)* 
    ; 

and 
    : not ('||' not)* 
    ; 

not 
    : '~' atom 
    | atom 
    ; 

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

ID : ('a'..'z' | 'A'..'Z')+; 
Space : (' ' | '\t' | '\r' | '\n')+ {$channel=HIDDEN;}; 

但是，虽然从解析器中获取树对于变量只是表达式一个字符（即，"(A || B) AND C"，我很难适应这种情况（例如"x eq 1 && y eq 10"我期望一个"AND"父母和两个孩子，"x eq 1"和"y eq 10"，请参阅下面的测试用例）。我想这与"ID"有关。正确的语法是什么？

Answer 1

对于那些有兴趣，我改变了我的语法文件的一些改进（参见下文）

电流限制：

• 只适用于& &/||，而不是AND/OR（不是很有问题的）

• 你不能有括号和& &/||之间的空间（我解决了这个问题，在输入词法分析器之前，用源代码字符串中的“）”替换“（”，“）”和“）”，

  语法逻辑;

  options { 
      output = AST; 
  } 
  
  tokens { 
      AND = '&&'; 
      OR = '||'; 
      NOT = '~'; 
  } 
  
  // parser/production rules start with a lower case letter 
  parse 
      : expression EOF! // omit the EOF token 
      ; 
  
  expression 
      : or 
      ; 
  
  or 
      : and (OR^ and)* // make `||` the root 
      ; 
  
  and 
      : not (AND^ not)*  // make `&&` the root 
      ; 
  
  not 
      : NOT^ atom // make `~` the root 
      | atom 
      ; 
  
  atom 
      : ID 
      | '('! expression ')'! // omit both `(` and `)` 
      ; 
  
  // lexer/terminal rules start with an upper case letter 
  ID 
      : 
      (
      'a'..'z' 
      | 'A'..'Z' 
      | '0'..'9' | ' ' 
      | SYMBOL 
  )+ 
      ; 
  
  SYMBOL 
      : 
      ('+'|'-'|'*'|'/'|'_') 
  ; 
  

Answer 2

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

指出标识符是一个或多个字母的序列，但不允许任何数字。尝试

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

这将允许例如， abc,123,12ab和ab12。如果你不想要后者，你必须重新调整规则（留作挑战...）

为了接受任意多个标识符，你可以将​​定义为ID+而不是ID。

此外，你可能会需要指定AND，OR，->和~作为标记，以便作为@Bart煮布锅说，前两个不会得到列为ID，所以后两者将得到认可在所有。