[Bug 4620] [XSLT 2.0] Implicit final result tree

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4620

           Summary: [XSLT 2.0] Implicit final result tree
           Product: XPath / XQuery / XSLT
           Version: Recommendation
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XSLT 2.0
        AssignedTo: mike@saxonica.com
        ReportedBy: mike@saxonica.com
         QAContact: public-qt-comments@w3.org


In section 2.4 there is a paragraph that reads:

"If the initial template has an as attribute, then the result sequence of the
initial template is checked against the required type in the same way as for
any other template. If this result sequence is non-empty, then it is used to
construct an implicit final result tree, following the rules described in 5.7.1
Constructing Complex Content:...."

The natural way to read this paragraph is to assume that the conditional "If
the initial template has an as attribute..." applies to the whole paragraph, so
that where there is no "as" attribute, the paragraph does not apply. However,
this isn't the intended meaning: the conditional is intended to apply only to
the first sentence. I suggest a rewording as follows:

<new>
The result sequence produced by evaluating the initial template is handled as
follows:

1. If the initial template has an as attribute, then the result sequence is
checked against the required type in the same way as for any other template.

2. If the result sequence is non-empty, then it is used to construct an
implicit final result tree, following the rules described in 5.7.1 Constructing
Complex Content:....
</new>

Received on Sunday, 10 June 2007 17:28:22 UTC