antlr - ANTLR：为什么无效输入可以匹配语法定义

Question

我为计算表达式编写了一个非常简单的语法定义：

grammar SimpleCalc;

options {
    output=AST;
}

tokens {
    PLUS  = '+' ;
    MINUS = '-' ;
    MULT = '*' ;
    DIV = '/' ;
}

/*------------------------------------------------------------------
 * LEXER RULES
 *------------------------------------------------------------------*/

ID  : ('a'..'z' | 'A' .. 'Z' | '0' .. '9')+ ;

WHITESPACE : ( '\t' | ' ' | '\r' | '\n'| '\u000C' )+    { Skip(); } ;

/*------------------------------------------------------------------
 * PARSER RULES
 *------------------------------------------------------------------*/

start: expr EOF;

expr : multExpr ((PLUS | MINUS)^ multExpr)*;

multExpr : atom ((MULT | DIV)^ atom )*;

atom : ID
     | '(' expr ')' -> expr;

我已经尝试了无效的表达式ABC &* DEF，start但它通过了。看起来该&字符被忽略了。这里有什么问题？

Answer 1

实际上您的无效表达式ABC &= DEF尚未通过；它导致NoViableAltException.