ANTLR4 解析器混淆

Question

我正在尝试为一个项目使用 antlr4，但我遇到了一个错误，我不确定我是否知道如何修复。似乎 antlr4 混淆了两个解析器规则。这是我的 lexer/parser :

grammar PARSER;
@header {package VSOP.Parser;}
program                 : code+ ; //statement+ ;

code                    : classHeader | methodHeader | ;
statement               : assign | ifStatement | whileStatement;

classHeader             : 'class' TYPE_IDENTIFIER ('extends' TYPE_IDENTIFIER)? '{' classBody '}';
classBody               : methodHeader* | field*;

methodHeader            : OBJECT_IDENTIFIER '(' (((formal ',')+ (formal)) | (formal)?) ')' ':' varType '{' methodBody '}' ;
methodBody              : statement* ;
formal                  : OBJECT_IDENTIFIER ':' varType ;
field                   : OBJECT_IDENTIFIER ':' varType ('<-' varValue)? ';' ;



assign                  : OBJECT_IDENTIFIER ':' varType ('<-' varValue)? ;

whileStatement          : 'while' condition* 'do' statement* ;

ifStatement             : ifStat elseStat? ; //ifStat elseIfStat* elseStat? ;
ifStat                  : 'if' condition 'then' statement* ;
//elseIfStat              : 'else if' condition 'then' '{' statement* '}' ;
elseStat                : 'else' statement* ;

condition               : comparaiser CONDITIONAL_OPERATOR comparaiser ;
comparaiser             : OBJECT_IDENTIFIER | integer | STRING ;
integer                 : INTEGER_HEX | INTEGER_DEC | INTEGER_BIN ;
varType                 : 'bool' | 'int32' | 'string' | 'unit' | TYPE_IDENTIFIER ;
varValue                : ('true' | 'false' | STRING | integer) ;


   // KEYWORD                 : 'and' | 'class' | 'do' | 'else' | 'extends' | 'false' | 'if' | 'in' | 'isnull' | 'let' | 'new' | 'not' | 'then' | 'true' | 'unit' | 'while' ;
ARITHMETIC_OPERATOR     : '+' | '-' | '*' | '/' | '^' ;
CONDITIONAL_OPERATOR    : '=' | '<' | '<=';
MULTILINE_OPEN_COMMENT  : '(*' ;
MULTILINE_CLOSE_COMMENT : '*)' ;
MULTILINE_COMMENT       : '(*' .*? '*)' ;
INTEGER_BIN             : '0'[bB][0-9a-zA-Z]* ;
INTEGER_HEX             : '0'[xX][0-9a-zA-Z]* ;
INTEGER_DEC             : [0-9][0-9a-zA-Z]* ;

OBJECT_IDENTIFIER       : [a-z][a-zA-Z0-9_]* ;
TYPE_IDENTIFIER         : [A-Z][a-zA-Z0-9_]* ;
STRING                  : '"' ( '\"' | . )*? ('"' | EOF) ;
SINGLE_LINE_COMMENT     : '//'~[\r\n]* ;
WS                      : [ \r\n\t]+ -> skip;

使用下面的代码，我得到了错误

line 5:15 mismatched input '(' expecting ':'
line 5:31 mismatched input ',' expecting {'<-', ';'}
line 5:50 mismatched input ',' expecting {'<-', ';'}
line 5:69 mismatched input ')' expecting {'<-', ';'}

问题是antlr4混淆了methodHeader和field。如果我只是函数下面的 var nbOfEngine，我就得到了正确的函数，但是变量 wrong.If 我分别尝试了它们，它也能正常工作。我尝试在解析器中更改它们的顺序，但没有成功。

class Plane extends Transport {

    nbOfEngine: int32 ;

    startEngine(gazLevel: int32, readyToStart:bool, foodOnBoard: bool) : bool {

    }
}

知道如何解决这个问题吗？谢谢！

Answer 1

您将 classBody 定义为字段定义序列或方法定义序列。您不允许它是两者的序列。

如果您将其更改为 (methodHeader | field)*，您将得到一个可以包含其中任何一个的序列。

Answer 2

我在解析器中发现了问题。问题出在classBody.

    classBody               : methodHeader* | field*;

相反，我写了：

    classHeader             : 'class' TYPE_IDENTIFIER ('extends' TYPE_IDENTIFIER)? '{' classBody* '}';
    classBody               : methodHeader | field;

ANTLR4 解析器混淆

ANTLR4 Parser confusion

parsing

antlr

antlr4

lexer