ошибка ANTLR не всегда «реальной альтернативы на входе»

Question

Я пытаюсь показать ANTLR ошибок пользователям путем внедрения BaseErrorListener

public class CustomErrorListener :BaseErrorListener 
{ 
     public override void SyntaxError(IRecognizer recognizer, IToken offendingSymbol, int line, int charPositionInLine, string msg, RecognitionException e) 
     { 
      List<string> stack = ((Parser)recognizer).GetRuleInvocationStack().ToList(); 
      stack.Reverse(); 
      Debug.WriteLine("rule stack: " + stack); 
      Debug.WriteLine("line " + line + ":" + charPositionInLine + " at " + offendingSymbol + ": " + msg); 
     } 
} 

Но я всегда получаю ошибку no viable alternative at input

со следующей грамматикой

prog : expr+ EOF; 

expr : COLUMN LESSTHAN DECIMAL BIGGERTHAN DECIMAL # range 
    | COLUMN BIGGERTHAN DECIMAL LESSTHAN DECIMAL # inversedRange 
    | COLUMN operator DECIMAL      # simple 
    ; 

operator : LESSTHAN | BIGGERTHAN | EQUALS; 

COLUMN  : 'all'? ('column' | 'otherColumn') 
DECIMAL : [0-9]+ '.'? [0-9]*; 
LESSTHAN : '<' | '<='; 
BIGGERTHAN : '>' | '>='; 
EQUALS  : '='; 
WS   : [ \r\n\t] -> channel(HIDDEN); 

Если я типа column > я ожидал бы ошибку, как decimal is missing вместо no viable alternative at input column >

Это проблема с моей грамматикой?

EDIT

Я спрашиваю это потому, что с моим привет мир грамматики, я могу получить другие ошибки, как token recognition error если я типа 2 + e. Я предположил бы, что с моей грамматикой, если я типом column > d

/* 
* Parser Rules 
*/ 

prog: expr+ ; 

expr : expr op=('*'|'/') expr # MulDiv 
    | expr op=('+'|'-') expr # AddSub 
    | INT      # int 
    | '(' expr ')'    # parens 
    ; 

/* 
* Lexer Rules 
*/ 
INT : [0-9]+; 
MUL : '*'; 
DIV : '/'; 
ADD : '+'; 
SUB : '-'; 
WS 
    : (' ' | '\r' | '\n') -> channel(HIDDEN) 
    ; 

Answer 1

это проблема с моей грамматикой?

Нет. Проблема, если таковая имеется, заключается в понимании того, что Antlr делает в точке ошибки. В стеке правил будет отображаться последовательность успешно вызванных правил. В этом случае будет только prog, поскольку ни один из валов expr не будет полностью соответствовать (или, вероятно, ничего, поскольку даже не prog). Все, что Antlr может с уверенностью сказать, состоит в том, что, начиная с ввода column >, он не может найти ни одного какого-либо правила, которое будет соответствовать.

Лучший способ отладки этого типа ошибки - использовать стек правил, чтобы найти точку ошибки в потоке токенов и сбрасывать токены, которые следуют. Здесь сбрасываемые токены будут <COLUMN> <BIGGERTHAN> <EOF>, что делает природу ошибки прозрачной.