Question

我试图为一个项目使用antlr4，但收到错误消息，不确定我知道如何解决。似乎antlr4与两个解析器规则混淆。这是我的词法分析器/解析器：

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和字段。如果我只使用函数下面的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;

ANTLR4解析器混乱

2 个答案: