1. 方便ANTLRWorks的输出显示(output)的做法:
WS:使用$channel=HIDDEN;屏蔽空格,
NEWLINE:不要使用skip(),并且把它添加到stat的推导分支中
stat
:NEWLINE
;
WS: (' '|'\t'|'\u000C') {$channel=HIDDEN;} /*{skip();}*/ ;
NEWLINE: ('\r')? '\n' /*{skip();}*/ ;
:NEWLINE
;
WS: (' '|'\t'|'\u000C') {$channel=HIDDEN;} /*{skip();}*/ ;
NEWLINE: ('\r')? '\n' /*{skip();}*/ ;
2. 关于antlr预测语法(谓词)使用方法的讨论
see:
ANTLR predicates
https://wincent.com/wiki/ANTLR_predicates
如何用谓词实现限制次数的循环符号读取
http://stackoverflow.com/questions/3056441/what-is-a-semantic-predicate-in-antlr
3. 使用k选项
如果使用k选项
options {
k = 3;
}
消除LL(*)歧义,则需要添加EOF到主入口,如
startup
: chunk EOF
;
否则读到输入的最后时会产生错误输出(因为此时不能向前看n个符号)。
4. 比较运算符
不可以写成:
comp_expr
: expr '==' expr
| expr '!=' expr
| expr '>' expr
| expr '>=' expr
| expr '<' expr
| expr '<=' expr
;
: expr '==' expr
| expr '!=' expr
| expr '>' expr
| expr '>=' expr
| expr '<' expr
| expr '<=' expr
;
但可以写成:
comp_expr
: expr
('==' expr
| '!=' expr
| '>' expr
| '>=' expr
| '<' expr
| '<=' expr
)
;
: expr
('==' expr
| '!=' expr
| '>' expr
| '>=' expr
| '<' expr
| '<=' expr
)
;
(TODO)