W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2012

[Bug 15644] New: [QT3] validate-as-91016

From: <bugzilla@jessica.w3.org>
Date: Fri, 20 Jan 2012 15:46:33 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-15644-523@http.www.w3.org/Bugs/Public/>

           Summary: [QT3] validate-as-91016
           Product: XPath / XQuery / XSLT
           Version: Member-only Editors Drafts
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 3 & XPath 3 Test Suite
        AssignedTo: benjie.nguyen@gmail.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org

This test expects XPST0081. 

"It is a static error if a QName used in a query contains a namespace prefix
that cannot be expanded into a namespace URI by using the statically known

However, prefix 'hat' is fine here.

I suspect the ocrrect error code is XQDY0027, however, the text in the Appendix
F (of XQuery 3.0) for this error code reads:

"In a validate expression, it is a dynamic error if the root element
information item in the PSVI resulting from validation does not have the
expected validity property: valid if validation mode is strict, or either valid
or notKnown if validation mode is lax."

which doesn't mention validate type expressions.

   <test-case name="validate-as-91016">
      <created by="Michael Kay" on="2008-12-01"/>
      <environment ref="hats"/>
      <dependency type="spec" value="XQ30+"/>
        import schema namespace hat = "http://www.w3.org/XQueryTest/hats"(:  at
"qischema001.xsd" :); 
        validate type hat:hatsize { <hat>banana</hat> }
         <error code="XPST0081"/>

Configure bugmail: https://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, 20 January 2012 15:46:34 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:37 UTC