- From: <bugzilla@jessica.w3.org>
- Date: Mon, 10 Jul 2017 15:02:34 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=30140
Bug ID: 30140
Summary: [xslt3ts] catalog-005 (validation of test stylesheets)
Product: XPath / XQuery / XSLT
Version: Proposed Recommendation
Hardware: PC
OS: All
Status: NEW
Severity: normal
Priority: P2
Component: XSLT 3.0 Test Suite
Assignee: abel.online@xs4all.nl
Reporter: mike@saxonica.com
QA Contact: public-qt-comments@w3.org
Target Milestone: ---
Test catalog-005 is designed to validate all stylesheet documents referenced by
non-error test cases against the schema for XSLT 3.0 stylesheets.
Two problems:
(a) it only validates documents referenced by a "stylesheet" element in the
catalog, not those referenced by a "package" element.
(b) the validation is done using the construct:
<xsl:variable name="copy">
<xsl:copy-of select="$doc" validation="strict"/>
</xsl:variable>
and the value of $copy is never referenced. That is, the validation is a
side-effect of a variable binding which an optimizer can optimize to nothing.
This is what Saxon has been doing. As a result, Saxon has been failing to
report invalidity on the following stylesheets:
<invalid code="err:XTTE1510"
file="accept-A.xsl"
message="Eleven validation errors were reported"/>
<invalid code="err:XTTE1510"
file="accept-A.xsl"
message="Eleven validation errors were reported"/>
<invalid code="err:XTTE1510"
file="accept-B.xsl"
message="Ten validation errors were reported"/>
<invalid code="err:XTTE1510"
file="accept-001.xsl"
message="Ten validation errors were reported"/>
<invalid code="err:XTTE1510"
file="accept-002.xsl"
message="Ten validation errors were reported"/>
<invalid code="err:XTTE1510"
file="accept-005.xsl"
message="Five validation errors were reported"/>
<invalid code="err:XTTE1510"
file="accept-007a.xsl"
message="Five validation errors were reported"/>
<invalid code="err:XTTE1510"
file="accept-008.xsl"
message="Two validation errors were reported"/>
<invalid code="err:XTTE1510"
file="accept-009.xsl"
message="Three validation errors were reported"/>
<invalid code="err:XTTE1510"
file="accept-010.xsl"
message="Three validation errors were reported"/>
<invalid code="err:XTTE1510"
file="accept-022.xsl"
message="Four validation errors were reported"/>
<invalid code="err:XTTE1510"
file="accept-040.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="accept-042.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="accept-044.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="accept-046.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="accumulator-020.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="accumulator-020.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="accumulator-068.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="expose-A.xsl"
message="Three validation errors were reported"/>
<invalid code="err:XTTE1510"
file="expose-001.xsl"
message="Four validation errors were reported"/>
<invalid code="err:XTTE1510"
file="expose-007.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="function-0119.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="function-1025.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="function-1026.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="function-1025.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="function-1026.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="function-1025.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="function-1026.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="output-0701.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="output-0702.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="output-0704.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="output-0707.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="output-0708.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="override-f-002.xsl"
message="Two validation errors were reported"/>
<invalid code="err:XTTE1510"
file="override-f-008.xsl"
message="Two validation errors were reported"/>
<invalid code="err:XTTE1510"
file="override-f-024a.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="override-f-026a.xsl"
message="Two validation errors were reported"/>
<invalid code="err:XTTE1510"
file="override-f-026b.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="override-f-027a.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="override-f-031a.xsl"
message="One validation error was reported"/>
<invalid code="err:XTTE1510"
file="package-017.xsl"
message="Two validation errors were reported"/>
<invalid code="err:XTTE1510"
file="xml-to-json-C.xsl"
message="Three validation errors were reported"/>
<invalid code="err:XTTE1510"
file="xml-to-json-D2.xsl"
message="Three validation errors were reported"/>
<invalid code="err:XTTE1510"
file="xml-to-json-D2.xsl"
message="Three validation errors were reported"/>
<invalid code="err:XTTE1510"
file="xml-to-json-D2.xsl"
message="Three validation errors were reported"/>
<invalid code="err:XTTE1510"
file="forwards-104.xsl"
message="One validation error was reported"/>
I have fixed the catalog-005 test so that it now reports these invalidities,
but will leave the bug open until these invalidaties are all fixed.
--
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Monday, 10 July 2017 15:02:44 UTC