根據解析器規則的可選部分重寫規則ANTLR3

Question

我試圖根據它的上下文修改規則，儘可能少地複製/粘貼。我會用最好的我想要實現的僞變種開始：

module[boolean isParam]: 'module' id=identity? 
     declaration+ 
     update+ 
     'endmodule' -> ^(MODULE ({if (isParam)} IS_PARAMETER {else} $id) declaration+ update+); 

如果isParam設爲我希望模塊不匹配identity規則，但創造它的地方IS_PARAMETER令牌。我敢肯定，我可以用兩個單獨的module規則來做到這一點，但是是否有更簡潔的方式，減少代碼重複或者不將規則拆分成許多更小的規則？

Answer 1

我相信是這樣的工作：

module[boolean isParam]: 'module' id=identity? 
     declaration+ 
     update+ 
     'endmodule' -> {isParam}? ^(MODULE IS_PARAMETER declaration+ update+) 
        ->   ^(MODULE $id declaration+ update+); 

Answer 2

前面已經提出，這會工作：

module[boolean isParam] 
: 'module' id=identity? declaration+ update+ 'endmodule' 
    -> {isParam}? ^(MODULE IS_PARAMETER declaration+ update+) 
    ->   ^(MODULE $id? declaration+ update+) 
; 

（注意可選$id但是！）

但通過觀察根據你的規定，我得到的印象是，只要identity是而不是目前，您希望AST中有一個IS_PARAMETER節點。如果是這樣的話，你可以處理這個不帶參數和謂詞，這是IMO首選：

module 
: 'module' (identity declaration+ update+ 'endmodule' -> ^(MODULE identity declaration+ update+) 
      | declaration+ update+ 'endmodule'   -> ^(MODULE IS_PARAMETER declaration+ update+) 
      ) 
;