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，所以後兩者將得到認可在所有。