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

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

            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):

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

<snip />

<note>
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.
</note>
</quote>

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