W3C home > Mailing lists > Public > public-qt-comments@w3.org > October 2010

[Bug 11171] [XQuery11] dynamic errors reported during static analysis

From: <bugzilla@jessica.w3.org>
Date: Fri, 29 Oct 2010 21:44:48 +0000
To: public-qt-comments@w3.org
Message-Id: <E1PBwki-0003rI-Js@jessica.w3.org>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=11171

Michael Kay <mike@saxonica.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mike@saxonica.com

--- Comment #1 from Michael Kay <mike@saxonica.com> 2010-10-29 21:44:48 UTC ---
I agree the spec needs improving in this area. I think the rule about
conditional expressions should be regarded as having dynamic scope - that is,
in any expression which might not be evaluated depending on what is found in
the input data, dynamic errors must not be reported statically. I think this
also extends to other kinds of conditionally-executed construct, for example
the body of a loop that might be executed zero times.

For comparison, XSLT 2.0 has the rule "An implementation may signal a dynamic
error before any source document is available, but only if it can determine
that the error would be signaled for every possible source document and every
possible set of parameter values."

This does allow an error to be signaled statically if a global variable is
initialized to (1 div 0), contrary to the proposal in this bug report.

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Friday, 29 October 2010 21:44:50 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:44 UTC