[antlr-interest] parser nondeterminism rule

=?gb2312?q?=CB=EF=BC=CD=B8=D5=20Jigang=20(Robert)=20Sun?= sunjigang1965 at yahoo.com.cn
Tue Jul 18 13:09:47 PDT 2006


I have a parser rule,

graphExp: (brackGraph)+ (options {greedy=true;}:op graphExp)*;  //line 101

brackGraph: op | ("(" graphExp ")")=> "(" graphExp ")" 

op: UpperCaseId | LowerCaseId | FunnyId;

I know op (UpperCaseId | LowerCaseId | FunnyId) is either part of brackGraph or (op graphExp)*,
and in (op graphExp)*  op could be a subset of graphExp,

so warning was given:

par.g:101: warning:nondeterminism upon
par.g:101:     k==1:UpperCaseId,LowerCaseId,FunnyId
par.g:101:     between alt 1 and exit branch of block

I have not got an idea about it.

Thanks.

Jigang



		
___________________________________________________________ 
ÑÅ»¢Ãâ·ÑÓÊÏä-3.5GÈÝÁ¿£¬20M¸½¼þ 
http://cn.mail.yahoo.com/


More information about the antlr-interest mailing list