[Bug 24515] New: xsl:call-template can statically determine streamability of called template

https://www.w3.org/Bugs/Public/show_bug.cgi?id=24515

            Bug ID: 24515
           Summary: xsl:call-template can statically determine
                    streamability of called template
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XSLT 3.0
          Assignee: mike@saxonica.com
          Reporter: abel.braaksma@xs4all.nl
        QA Contact: public-qt-comments@w3.org

We already have streamable modes and any templates in that mode are guaranteed
streamable if the sequence constructor is grounded. The rules in 19.8.4.9
Streamability of xsl:call-template
(http://www.w3.org/TR/xslt-30/#streamability-xsl-call-template) can be relaxed
with that in mind. Consider:

<xsl:mode streamable="yes" name="streamable" />
<xsl:template match="foo" mode="streamable" name="bar">
   <xsl:copy-of select="." />
</xsl:template>

<xsl:template match="/">
   <xsl:call-template name="bar" />
</xsl:template>

Because we can statically determine that the template with the name "bar" is
also in a streamable mode, hence it is streamable, hence this call is allowed
(which the current rules do not allow because of TDU restrictions).

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Wednesday, 5 February 2014 04:50:18 UTC