ANTLR4语法只匹配语法分析器规则的第一部分

Question

我正在使用ANTLR 4来尝试解析任务定义。任务定义看起来有点像以下内容：

task = { priority = 10; };

我的语法文件如下所示：

grammar TaskGrammar;
/* Parser rules */
task : 'task' ASSIGNMENT_OP block EOF;
logical_entity : (TRUE | FALSE) # LogicalConst
               | IDENTIFIER     # LogicalVariable
               ;
numeric_entity : DECIMAL              # NumericConst
               | IDENTIFIER           # NumericVariable
               ;
block : LBRACE (statement)* RBRACE SEMICOLON;
assignment : IDENTIFIER ASSIGNMENT_OP DECIMAL SEMICOLON
            | IDENTIFIER ASSIGNMENT_OP block SEMICOLON
            | IDENTIFIER ASSIGNMENT_OP QUOTED_STRING SEMICOLON
            | IDENTIFIER ASSIGNMENT_OP CONSTANT SEMICOLON;
functionCall : IDENTIFIER LPAREN (parameter)*? RPAREN SEMICOLON;
parameter : DECIMAL
            | QUOTED_STRING;
statement : assignment
            | functionCall;
/* Lexxer rules */
IF   : 'if' ;
THEN : 'then';
AND : 'and' ;
OR  : 'or' ;
TRUE  : 'true' ;
FALSE : 'false' ;
MULT  : '*' ;
DIV   : '/' ;
PLUS  : '+' ;
MINUS : '-' ;
GT : '>' ;
GE : '>=' ;
LT : '<' ;
LE : '<=' ;
EQ : '==' ;
ASSIGNMENT_OP : '=' ;
LPAREN : '(' ;
RPAREN : ')' ;
LBRACE : '{' ;
RBRACE : '}' ;
SEMICOLON : ';' ;
// DECIMAL, IDENTIFIER, COMMENTS, WS are set using regular expressions
DECIMAL : '-'?[0-9]+('.'[0-9]+)? ;
IDENTIFIER : [a-zA-Z_][a-zA-Z_0-9]* ;
Value: STR_EXT | QUOTED_STRING | SINGLE_QUOTED
;
STR_EXT
  :
  [a-zA-Z0-9_/.,-:=~+!?$&^*[]@|]+;
Comment
    :
    '#' ~[rn]*;
CONSTANT : StringCharacters;
QUOTED_STRING
  :
  '"' StringCharacters? '"'
  ;
fragment
StringCharacters
    :   (~["\] | EscapeSequence)+
    ;
fragment
EscapeSequence
    :   '\' [btnfr"'\]?
    ;
SINGLE_QUOTED
:
''' ~['\]* ''';
// COMMENT and WS are stripped from the output token stream by sending
// to a different channel 'skip'
COMMENT : '//' .+? ('n'|EOF) -> skip ;
WS : [ rtu000Cn]+ -> skip ;

这个语法在ANTLR中编译得很好，但当尝试使用解析器时，我会得到以下错误：

line 1:0 mismatched input 'task = { priority = 10; return = AND; };' expecting 'task'
org.antlr.v4.runtime.InputMismatchException

看起来解析器没有识别出定义的块部分，但我不太明白为什么。据我所知，块解析规则定义应该匹配。我希望有一个TaskContext，其中一个子BlockContext包含一个AssignmentContext。我得到了TaskContext，但它有上面的异常。

我是不是遗漏了什么？这是我第一次尝试使用Antler，所以可能会混淆Lexer和Parser规则。。。

Answer 1

您的STR_EXT会消耗整个输入。这条规则必须遵循：ANTLR的lexer将始终尝试匹配尽可能多的字符。

我还看到CONSTANT可能会消耗整个输入。它必须转到，或者至少被更改为消耗更少的字符。