W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2017

[Bug 30140] New: [xslt3ts] catalog-005 (validation of test stylesheets)

From: <bugzilla@jessica.w3.org>
Date: Mon, 10 Jul 2017 15:02:34 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-30140-523@http.www.w3.org/Bugs/Public/>
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

This archive was generated by hypermail 2.3.1 : Monday, 10 July 2017 15:02:44 UTC