如何在Antlr语法中实现正确的If If Else语句?

时间:2019-03-28 17:28:52

标签: if-statement antlr grammar

我正在研究ANTLR中.g4语法(名为Simple.g4)的语句扩展,我正在尝试实现“ if then else语句”,包括在节语句中包含名为ifStatement的新指令,但是我我生成的代码有问题。

这是实现if语句的正确形式吗?

这是我使用Eclipse IDE + ANTLR插件使用的代码:

grammar Simple;


//PARSER RULES


block       : '{' statement* '}';




statement   : assignment    ';' 
            | deletion      ';' 
            | print         ';'
            | varDec        ';' 
            | ifStatement   ';' 
            | funDec        ';' 
            | block;




assignment  : ID '=' exp;


deletion    : 'delete' ID;                                  

print       : 'print' exp;

exp   : '(' exp ')'                             #baseExp
        | '-' exp                               #negExp     
        | left=exp op=('*' | '/') right=exp     #binExp
        | left=exp op=('+' | '-') right=exp     #binExp
        | ID                                    #varExp     
        | INT                                   #valExp     
        | BOOL                                  #valExp     
        | expression cmp='>' expression         #boolExp    
        | expression cmp='<' expression         #boolExp    /
        | expression cmp='==' expression        #boolExp
        | expression cmp='!=' expression        #boolExp
        | expression cmp='>=' expression        #boolExp
        | expression cmp='<=' expression        #boolExp                                            



// If-Then-Else

 ifStatement : 'if' '(' exp ')' 'then' exp 'else' exp               



// LEXER RULES


TRUE   : 'true' ;
FALSE  : 'false';
IF     : 'if'   ;
THEN   : 'then' ;
ELSE   : 'else' ;
VAR    : 'var'  ;  
INT    : 'int'  ;
BOOL   : 'bool' ;

//IDs

fragment CHAR   : 'a'..'z' |'A'..'Z' ;
ID              : CHAR (CHAR | DIGIT)* ;

fragment DIGIT  : '0'..'9'; 
INT             : DIGIT+;

//Boolean   
BOOL            : 'true' | 'false';

//Escape Sequence
WS              : (' '|'\t'|'\n'|'\r')-> skip;
LINECOMMENTS    : '//' (~('\n'|'\r'))* -> skip;
BLOCKCOMMENTS    : '/*'( ~('/'|'*')|'/'~'*'|'*'~'/'|BLOCKCOMMENTS)* '*/' -> skip;

0 个答案:

没有答案