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     : '//'~[rn]* ;
WS                      : [ rnt]+ -> 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和字段。如果我把var nbOfEngine放在函数下面，我得到的函数是对的，但变量是错的。如果我单独尝试，效果也一样。我尝试在解析器中更改它们的顺序，但没有成功。

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;