29805 2016-09-02 16:47:55 +0000 [XSLT30] Allow xsl:source-document/@use-accumulators to be present when streamable=no 2016-09-09 21:24:32 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XSLT 3.0 Candidate Recommendation PC Windows NT RESOLVED FIXED P2 normal --- 1 abel.braaksma mike public-qt-comments oldest_to_newest 127276 0 abel.braaksma 2016-09-02 16:47:55 +0000 (I raised this bug following the discussion thread in https://lists.w3.org/Archives/Public/public-xsl-wg/2016Sep/0003.html.) Following up on yesterday's telcon discussion, I changed my mind on my standpoint and would like to propose that we lift the requirement that xsl:source-document/@use-accumulators cannot be used together with xsl:source-document/@streamable=no. I would expect the semantics to behave as if <xsl:source-document href="x.html" streamable="no" use-accumulators="a b"> <!--sequence constructor--> </xsl:source-document> is equivalent to: <xsl:source-document href="x.html" streamable="yes" use-accumulators="a b"> <xsl:variable name="source" select="copy-of(.)" /> <xsl:for-each select="$source"> <!--sequence constructor--> </xsl:for-each> </xsl:source-document> This would work, because fn:copy-of on a streamed document copies its accumulators and disallows the use of any other accumulator. For non-streaming processors, it works because they are required to enforce the rule on copying and using applicable accumulators. 127291 1 abel.braaksma 2016-09-04 11:45:16 +0000 If the proposal is accepted, we should also update the requirement that @use-accumulators only applies to streamed accumulators: "The value #all indicates that all accumulators that are visible in the containing package and declared with streamable="yes" are applicable." and: "Every EQName in the list must be the name of an accumulator, visible in the containing package, and declared with streamable="yes"." 127331 2 mike 2016-09-07 22:55:29 +0000 I think there is a problem with making accumulators on unstreamed documents selectively applicable, which is that several instructions/functions can return the same document. For example, if the stylesheet does <xsl:variable name="x" select="doc('one.xml')"/> and then does <xsl:source-document href='one.xml' use-accumulators="a b c"/> then I really don't want to have to keep two copies of the document one with accumulators and one without. So I'm inclined to stay with the principle that accumulators are selectively applicable to streamed documents, but universally applicable to unstreamed documents, despite the lack of orthogonality. 127335 3 abel.braaksma 2016-09-08 08:34:56 +0000 Perhaps that is the way to go (re: comment#2), but how does that relate to the following? This example also requires keeping two copies around. <xsl:variable name="x" select="doc('one.xml')"/> <xsl:template name="xsl:initial-template"> <!-- applies accumulators selectively --> <xsl:source-document streamable="yes" href='one.xml' use-accumulators="a b c"> <!-- copies accumulators, other accumulators are invalid --> <xsl:apply-templates select="copy-of(.)" /> </xsl:source-document> <!-- same document, but all accumulators are applicable --> <xsl:apply-templates select="$x" /> </xsl:template> <!-- matches only $x? --> <xsl:template match="x[accumulator-before('foo') = 'test']"> <xsl:value-of select="accumulator-after('bar')" /> </xsl:template> <!-- matches both $x and copy-of?--> <xsl:template match="x[accumulator-before('a') = 'test']"> <!-- error on copy-of, succeeds on $x? --> <xsl:value-of select="accumulator-after('bar')" /> </xsl:template> The above is how the current rules are written up. That is, fn:copy-of() by default copies the accumulators and disallows other accumulators to apply. Perhaps we could copy the accumulators of @use-accumulators, but at the same time allow non-streaming accumulators to apply to all non-streaming nodes? 127356 4 mike 2016-09-09 21:24:32 +0000 We decided that the use-accumulators attribute should apply to streamed as well as unstreamed documents. These changes have been applied.