RE: [F&O] BEA_034

Dana:
Thank you for your comment.  This was discussed at the joint WG meeting
Cannes.  The relevant extract from the minutes reads:
"... the wg can see the value of this functionality, so we'll add this
to the "todo list" for v-next (v2), either for this specific feature,
and
possibly in relation to the more general try/catch feature."

No change to existing documents.

All the best, Ashok

-----Original Message-----
From: public-qt-comments-request@w3.org
[mailto:public-qt-comments-request@w3.org] On Behalf Of Daniela Florescu
Sent: Wednesday, February 18, 2004 12:11 PM
To: public-qt-comments@w3.org
Subject: [F&O] BEA_034


Function and Operators: request for functionality


It is often required to test if a data model instance
would validate correctly, without actually attempting the
validation operation (which, if unsuccessful, raises
an irrecoverable error).

The signature of the function is:

fn:validatesCorrectly($x as node*) as xs:boolean
/* the name doesn't matter of course */

The semantics can be defined in terms of the validate{} expression:
validatesCorrectly($x) returns true if and only if the expression 
validate{$x}
would perform correctly and not would raise a dynamic error.

(As for any other expression) a query processor is allowed to statically
evaluate the function to either true or false if there is guaranteed 
that
the dynamic phase would evaluate it to the same value.

Best regards.

Received on Monday, 29 March 2004 17:42:09 UTC