[Bug 28738] New: An empty choice is not emptiable

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

            Bug ID: 28738
           Summary: An empty choice is not emptiable
           Product: XML Schema
           Version: 1.0/1.1 both
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Structures: XSD Part 1
          Assignee: David_E3@VERIFONE.com
          Reporter: mike@saxonica.com
        QA Contact: www-xml-schema-comments@w3.org
                CC: cmsmcq@blackmesatech.com

It seems that the intended meaning of "emptiable" as applied to a particle is
that empty content is a valid instance.

In this sense an empty choice <xs:choice/> is not emptiable, because empty
content is not a valid instance (the content must satisfy at least one branch
of the choice, and if there are no branches then it cannot do so).

The concept of "emptiable" is used less in 1.1 than in 1.0, but this error
still has unfortunate consequences, in particular allowing types to be
considered as valid restrictions of an empty choice when they should not be.

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

Received on Tuesday, 2 June 2015 14:16:47 UTC