- From: Roger L. Costello <costello@mitre.org>
- Date: Thu, 29 Jan 2004 14:08:56 -0500
- To: public-qt-comments@w3.org, "Costello,Roger L." <costello@mitre.org>
Hi Folks,
[If this has already been answered, or this is not the appropriate venue
for the question then please direct me to the appropriate place.]
In the latest XPath 2.0 spec it defines a quantified expression as
follows:
QuantifiedExpr ::= (("some" "$") | ("every" "$")) VarName "in"
ExprSingle ("," "$" VarName "in" ExprSingle)*
"satisfies" ExprSingle
And ExprSingle is defined as follows:
ExprSingle ::= ForExpr
| QuantifiedExpr
| IfExpr
| OrExpr
I do not believe that this is correct. Here is one of the examples that
is given in the discussion on quantified
expressions:
every $part in //part satisfies $part/@discounted
The satisfies expression in the example is: $part/@discounted
Clearly, it is neither a ForExpr, a QuantifiedExpr, an IfExpr, nor an
OrExpr.
In fact, wherever SingleExpr appears in the quantified expression it
makes no sense.
Can someone provide the correct BNF for the quantified expression?
/Roger
Received on Thursday, 29 January 2004 14:09:35 UTC