[Bug 4369] Assertions within restriction or extension

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

           Summary: Assertions within restriction or extension
           Product: XML Schema
           Version: 1.1 only
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Structures: XSD Part 1
        AssignedTo: cmsmcq@w3.org
        ReportedBy: mike@saxonica.com
         QAContact: www-xml-schema-comments@w3.org


The property tableau for complexType (3.4.2) says:

{assertions}
A sequence whose members are Assertions drawn from the following sources, in
order:
1 The {assertions} of the {base type definition}.
2 Assertions corresponding to all the <assert> and <report> element information
items among the [children], if any, in order.

This ignores the <assert> and <report> elements defined as children of an
<extension> or <restriction> within a <simpleContent> or <complexContent>.
There doesn't seem to be anywhere else that says that these contribute to the
{assertions} of the containing complex type.

Received on Tuesday, 6 March 2007 10:44:51 UTC