我正在研究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;