[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