5716 2008-05-24 06:37:25 +0000 [XPath] An error in XPath grammar 2008-05-24 11:00:54 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XPath 2.0 Recommendation PC Windows XP RESOLVED INVALID http://www.w3.org/TR/xpath20 P2 major --- 1 mukul_gandhi chamberl public-qt-comments oldest_to_newest 20270 0 mukul_gandhi 2008-05-24 06:37:25 +0000 Hi all, In the XPath 2.0 grammar specified at, http://www.w3.org/TR/xpath20/#nt-bnf I find some problems. I have difficulty understanding the production named, IfExpr (shown below): IfExpr ::= "if" "(" Expr ")" "then" ExprSingle "else" ExprSingle Where as, ExprSingle is defined as: ExprSingle ::= ForExpr | QuantifiedExpr | IfExpr | OrExpr The following XPath 2.0 expressions are reported legal by Saxon 9. if (x = '1') then 'hello' else 'world' and if (x = '1') then 'hello' else () I think these expressions should be legal from user's point of view (and Saxon is right), but the XPath 2.0 grammar doesn't cater to these cases. Regards, Mukul 20271 1 mike 2008-05-24 08:49:58 +0000 If you follow the expansion of OrExpr you will see that 'string' and () are both legal instances of OrExpr. 20272 2 mukul_gandhi 2008-05-24 11:00:54 +0000 (In reply to comment #1) > If you follow the expansion of OrExpr you will see that 'string' and () are > both legal instances of OrExpr. > Sorry, I didn't follow the rules quite deeply. Thanks for pointing this to me. Regards, Mukul