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

https://www.w3.org/Bugs/Public/show_bug.cgi?id=15644

           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
namespaces."

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">
      <description/>
      <created by="Michael Kay" on="2008-12-01"/>
      <environment ref="hats"/>
      <dependency type="spec" value="XQ30+"/>
      <test><![CDATA[
        import schema namespace hat = "http://www.w3.org/XQueryTest/hats"(:  at
"qischema001.xsd" :); 
        validate type hat:hatsize { <hat>banana</hat> }
      ]]></test>
      <result>
         <error code="XPST0081"/>
      </result>
   </test-case>

-- 
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