ANTLR4：消耗所有剩余输入直到 EOF

Question

在此处使用 ANTLR 4.3 版。

此语法接受各种EOF 分隔的表达式，一次一个。表达式以key 开头，之后的语法有所不同。接受的字符串示例：

"cycle in freerun" <EOF>
"runtime <= 20m" <EOF>
"grab enabled" <EOF>

ANTLR 愉快地将所有表达式解析成组件，听者作用于相关组件，生活是幸福的。这里是一个有代表性的sn-p语法：

expr               // <-- Start rule
  : freq_p EOF
  | cycle_p EOF
  ...              // Many more, ad nauseum
  ;

freq_p  : FREQ '=' INT | FREQ '<' INT ;

cycle_p : CYCLE IN cycles ;
cycles  : cycle (',' cycle)* ;
cycle   : PHASELOCK | FREERUN ;

// Keywords
CYCLE     : 'cycle' ;
FREERUN   : 'freerun' ;
FREQ      : 'frequency' ;
IN        : 'in' ;
PHASELOCK : 'phaselock' ;

INT       : '0'..'9'+ ;
WS        : [ \n\t\r]+ -> skip ;

但是现在，我需要扩展语法以包含 2 个新表达式，这两个表达式都以接受任何字符序列（包括 Unicode）到 EOF 结束。示例输入：

"echo = Confirm 'interlock' is clear,\n and actuate \"frequency\" button." <EOF>
"report Process complete." <EOF>

我很难在语法中表达对EOF 的所有输入的接受。以下变化会导致痛苦：

expr
  ...
  : echo_p EOF
  : report_p EOF
  ...

echo_p   : ECHO   '=' REMAINING ; // Snarfs all remaining input until EOF
report_p : REPORT     REMAINING ; // Ditto

ECHO     : 'echo' ;
REPORT   : 'report' ;

REMAINING : <WHAT_GOES_HERE?> ;  // .* messes up everything else

如何做到这一点？期望的结果是解析树侦听器将获取文本值，例如REMAINING().getText()。

放弃的方法：Lexer Grammar 利用 mode()

我尝试将 REMAINING 从组合语法中写入单独的 lexer grammar 和 import，但遇到了 https://github.com/antlr/antlr4/issues/160 和编译时警告。 IntelliJ ANTLR 插件也会出现故障，这会对生产力产生负面影响。我了解到，至少在 ANTLR 4.3 中不支持包含使用模式的词法分析器语法。

lexer grammar Remainder;

@lexer::members {
// Needed at least until ANTLR issue #160 is fixed.
public static final int CONSUME_ALL = 123;
}

REMAINING : . -> more, mode(CONSUME_ALL) ;

mode CONSUME_ALL;

TEXT : .* ; // Consume all remaining input

Answer 1

您应该通过添加? 来使.* 不贪婪：

REMAINING : .*? ;

这将消耗一切，直到找到EOF

看看这里： https://theantlrguy.atlassian.net/wiki/display/ANTLR4/Wildcard+Operator+and+Nongreedy+Subrules