This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 15644 - [QT3TS] validate-as-91016
Summary: [QT3TS] validate-as-91016
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XQuery 3 & XPath 3 Test Suite (show other bugs)
Version: Member-only Editors Drafts
Hardware: PC Windows NT
: P2 normal
Target Milestone: ---
Assignee: Michael Kay
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-01-20 15:46 UTC by Tim Mills
Modified: 2012-06-06 07:29 UTC (History)
2 users (show)

See Also:


Attachments

Description Tim Mills 2012-01-20 15:46:33 UTC
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>
Comment 1 O'Neil Delpratt 2012-05-23 09:25:18 UTC
Mike, Can I ask you for your thoughts on the reported bug?
Comment 2 Michael Kay 2012-05-23 09:57:56 UTC
Under 3.17 rule 5b the error code should be XQDY0027. Test fixed.
Comment 3 Tim Mills 2012-05-31 12:34:23 UTC
The test suite has error code XPDY0027, not XQDY0027.
Comment 4 O'Neil Delpratt 2012-05-31 13:07:39 UTC
Bug fixed
Comment 5 Tim Mills 2012-06-06 07:29:21 UTC
Confirmed fixed.  Thanks.