ANTLR问题临时记录

 

基于ANTLR的LL（k）文法消解冲突方法研究

http://www.doc88.com/p-50258708609.html

 

ANTLR

1) token干扰ID（token的关键词不属于ID）

2) 字符串必须排除'\''和'\"'

CHAR_LIT: '\'' ( ~('\\'|'\r'|'\n') | '\\' ('t' | 'r' | 'n' | '\\' | '\"' | '\'') ) '\'' ;

STR_LIT

: '\'' ( ~('\\'|'\r'|'\n'|'\''|'\"') | '\\' ('t' | 'r' | 'n' | '\\' | '\"' | '\'') )* '\'' 

| '\"' ( ~('\\'|'\r'|'\n'|'\''|'\"') | '\\' ('t' | 'r' | 'n' | '\\' | '\"' | '\'') )* '\"' 

STR_LIT不同于CHAR_LIT的排除策略，否则导致永远都得不到右引号

3) 动作应该紧挨关注的别名变量（否则可能读到null）

 

优先级和结合方向（消除左递归）

http://www.antlr.org/wiki/pages/viewpage.action?pageId=4882458

 

add : mult ('+'^ mult)* ; // left association
mult : pow ('*'^ pow)* ; // left association
pow : atom ('^'^ pow)? ; // right association
atom : ID | INT | '('^ add ')'! ; // recursion

 

上面的^用于树解析器中指定根，一般可以省略。

~表示否定。