[Bug 29710] New: [xslt3.0] Streamability="filter" example

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

            Bug ID: 29710
           Summary: [xslt3.0] Streamability="filter" example
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XSLT 3.0
          Assignee: mike@saxonica.com
          Reporter: mike@saxonica.com
        QA Contact: public-qt-comments@w3.org
  Target Milestone: ---

In 19.8.5.4, in the example for streamability="filter", we say:

The effect of the rules is that a call to this function is guaranteed
streamable provided that the sequence supplied as the value of the $nodes
argument is motionless or consuming.

There are several inaccuracies here:

(a) the argument is called $input, not $nodes

(b) its value must be a singleton

(c) it is not values, but expressions, that have posture and sweep

(d) the effect is not that the function call is "guaranteed streamable" but
rather than it has the same posture and sweep as the argument supplied to the
function.

Proposed rewrite:

The effect of the rules is that the posture and sweep of a function call
f:large-regions(EXPR) are the same as the posture and sweep of EXPR.

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

Received on Monday, 27 June 2016 20:33:53 UTC