ANTLR несовпадающий вход '<EOF>'

Question

Учитывая следующее ANTLR 4.1 грамматика, с одной линией намеренно закомментированными ...

grammar Foobar; 

//whyDoesThisRuleHelp : expression ; 
expression : operand | binaryOperation ; 
binaryOperation : operand WS BINARY_OPERATOR WS expression ; 
operand : LETTER ; 

BINARY_OPERATOR : 'EQ' ; 
LETTER : [a-z] ; 
WS : [ \n]+ ; 

.. почему echo -n "a EQ b" | grun Foobar expression производит

line 1:6 mismatched input '<EOF>' expecting WS 

.. но если мы раскомментируемblock : expression ; линия выше grunне производит ошибок?

Answer 1

Вы видите эффекты редкой, но известная ошибки:
No viable alternative can be incorrectly thrown for start rules without explicit EOF

Последствие производительности должным образом фиксируя это в настоящее время ошеломляющих, поэтому мы не имеем никакого намерения применения патча в обозримом будущем. Обходной путь заключается в создании правила, которое заканчивается явным EOF, и начните синтаксический анализ там.