[Bug 27807] New: [xslt 3.0] Streaming of "document fragments"

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

            Bug ID: 27807
           Summary: [xslt 3.0] Streaming of "document fragments"
           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

We say in section 4.6:

"Expressions such as (/) instance of document-node(element(invoice)) also 
require look-ahead as far as the start-tag of the first element."

with the assumption that if the first start-tag is <invoice>, then the
expression is true. But what if the document node has a second element child?
In this case the expression should return false. But in this case the "instance
of" test cannot be motionless.

We seem to be making the assumption that it is known a-priori that a streamed
document will either be a well-formed document, or will cause a dynamic error.
If we don't make this assumption then type checking against document-node tests
becomes impossible for streamed documents.

So I think we should make the assumption, and make it explicit that we are
making it.

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

Received on Monday, 12 January 2015 13:21:58 UTC