[Bug 10848] [XQuery11] Statically detecting errors in try/catch and conditional expressions

http://www.w3.org/Bugs/Public/show_bug.cgi?id=10848

--- Comment #8 from Jonathan Robie <jonathan.robie@redhat.com> 2010-12-14 15:39:38 UTC ---
(In reply to comment #6)
> Perhaps for completeness you could also record the version of the text that you
> used in the XPath spec, where there is no "QueryBody".

Sure:

<quote source="XPath">
Independently of whether the Static Typing Feature is in effect, if an
implementation can determine during the static analysis phase that an XPath ,
if evaluated, would necessarily raise a dynamic error or that an expression, if
evaluated, would necessarily raise a type error, the implementation may (but is
not required to) report that error during the static analysis phase.
</quote>

-- 
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 Tuesday, 14 December 2010 15:39:41 UTC