[Bug 1615] New: what types are permitted in document { Type }?

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

           Summary: what types are permitted in document { Type }?
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows 2000
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: fred.zemke@oracle.com
         QAContact: public-qt-comments@w3.org


2.4.2 Item types
Rule [49 (formal)] says 
DocumentType ::= "document" ( "{ Type? "}" )?

Do you really mean Type, or do you mean ElementType?
For example, I toyed with "document {empty}" as a type notation
denoting a document node with no children, or perhaps no 
elements as children.  However, I could not find any rules 
anywhere to define the meaning of this notation.  The closest
appears to be 8.2.3.1.2 "Kind tests", but this only defines the
semantics of normalizing a DocumentTest, and a DocumentTest only
permits an ElementTest as its argument.  I also toyed with
document { element p:o ? }, document { element p:o * }
and document { element p:o + } to mean a document node, all of whose
child elements are of type p:o, with different quantifiers 
specifying the number of occurrences of such child elements.
Another notation I considered was document { text } to mean a 
document node whose only child is a text node.
I could not find rules to specify the semantics of these type
notations either.

Received on Friday, 15 July 2005 00:17:51 UTC