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 21153 - [XT3TS] validation-0107, 0108, 0109
Summary: [XT3TS] validation-0107, 0108, 0109
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XSLT 3.0 Test Suite (show other bugs)
Version: Candidate Recommendation
Hardware: PC Windows NT
: P2 normal
Target Milestone: ---
Assignee: Abel Braaksma
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2013-02-28 10:57 UTC by Tim Mills
Modified: 2013-12-09 11:49 UTC (History)
1 user (show)

See Also:


Attachments

Description Tim Mills 2013-02-28 10:57:50 UTC
Test 0107: 

Shouldn't 

<z xsl:type="untyped" foo="1" bar="2">

read

<z xsl:type="xs:untyped" foo="1" bar="2">

?

I took the liberty of correcting "instanceof" to "instance of" in these tests.

Each of these tests defined a template "main", but the catalog doesn't give this as the initial template.  I've fixed that too.
Comment 1 Tim Mills 2013-02-28 11:39:30 UTC
In 0108, the tests

      a="{$v[1] instance of attribute(xs:untypedAtomic)}"
      b="{$v[2] instance of element(xs:untypedAtomic)}"/>

 are incorrect, and should be

      a="{$v[1] instance of attribute(*, xs:untypedAtomic)}"
      b="{$v[2] instance of element(*, xs:untypedAtomic)}"/>

Similarly for 0107.
Comment 2 Tim Mills 2013-02-28 11:47:11 UTC
In validation-0109, the expected error is XTSE1660.  I think it should be XTTE1540.

[ERR XTTE1540] It is a type error if an [xsl:]type attribute is defined for a constructed element or attribute, and the outcome of schema validity assessment against that type is that the validity property of that element or attribute information item is other than valid.
Comment 3 Michael Kay 2013-04-04 15:24:43 UTC
These tests are now fixed. (Had some conflict/merge issues, but I think now resolved).
Comment 4 Tim Mills 2013-12-09 11:49:05 UTC
Thanks.