24109 2013-12-16 10:18:15 +0000 [xslt 3.0] streamability of xsl:variable when atomised 2014-05-15 14:00:29 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XSLT 3.0 Last Call drafts PC All CLOSED FIXED P2 normal --- 1 mike mike abel.braaksma public-qt-comments oldest_to_newest 97650 0 mike 2013-12-16 10:18:15 +0000 (Reported by John Lumley) The following template is deemed non-streamable under current rules: <xsl:template match="your:extra" mode="s" xmlns:your="http://your.com/ns"> <extra> <xsl:variable name="n" as="xs:integer" select="."/> <xsl:value-of select="$n gt 20"/> </extra> </xsl:template> The analysis fails to take into account that the as="xs:integer" ensures the context item is atomized, and the usage should therefore be absorption. The concept of "type-determined usage" should come into this somehow. 98355 1 mike 2014-01-13 20:31:55 +0000 More specifically: For the select attribute, the operand usage is type-determined if there is an "as" attribute, or navigation otherwise. For the contained sequence constructor, the operand usage is type-determined if there is an "as" attribute, or absorption otherwise. 98639 2 mike 2014-01-16 17:48:20 +0000 The WG accepted the proposed change. 101978 3 abel.braaksma 2014-03-06 14:00:55 +0000 I am reopening this, because it seems the change introduced a new bug. Under 19.8.4.39, under the rules, list item 2.b., the usage of the seqtor operand has changed from navigation (previous draft) to absorption (current internal draft). This would allow the following to be streamable (sequence has usage transmission, seqtor usage absorption): <xsl:variable name="x"> <xsl:sequence select="foo"> </xsl:variable> but it isn't streamable, because the variable would hold a reference to a streamed node. Unless I misunderstand the change, I think the proper usage here is navigation, and not absorption. 101989 4 mike 2014-03-06 16:47:10 +0000 I think it was correct as written. In your example <xsl:variable name="x"> <xsl:sequence select="foo"> </xsl:variable> the value of the variable $x is a document node containing a copy of foo, it's not a reference to the original foo node. 102027 5 abel.braaksma 2014-03-06 23:14:13 +0000 Indeed, it appears I got confused with the same rule for xsl:template, actually, I often make this mistake with xsl:variable. In which case, the previous WD was incorrect (having usage navigation) and the new draft fixed that. Thanks for the explanation. I think the bug can be closed again ;). 103945 6 mike 2014-04-16 08:21:35 +0000 Closed again with no action, as suggested in comment #5.