W3C home > Mailing lists > Public > public-qt-comments@w3.org > March 2015

[Bug 28192] New: [XSLT30] Note in streamability of for-expressions does not match text

From: <bugzilla@jessica.w3.org>
Date: Wed, 11 Mar 2015 14:07:17 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-28192-523@http.www.w3.org/Bugs/Public/>

            Bug ID: 28192
           Summary: [XSLT30] Note in streamability of for-expressions does
                    not match text
           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

The text and Note say (partially):

Writing the expression as for $v in S return R, the two operand roles are S and

<snip />

The rule that R must be grounded prevents the variable being bound to a node in
a streamed document. This disallows expressions of the form for $x in
child::section return $x/para, because this requires data flow analysis
(tracing from the binding of a variable to its usages), rather than purely
syntactic analysis. Some implementations may be able to stream such constructs.

But this is not (entirely) true. It is "S" that must be grounded that prevents
the variable from being bound to a node.

The rest of the text seems correct.

Note that we could make "for $n in para return copy-of($n/@indent)" streamable,
because the operand R is motionless, but currently we disallow this.

You are receiving this mail because:
You are the QA Contact for the bug.
Received on Wednesday, 11 March 2015 14:07:21 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:53 UTC