W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > October to December 2008

[Bug 6161] New: Wildcard Subset

From: <bugzilla@wiggum.w3.org>
Date: Wed, 15 Oct 2008 12:21:24 +0000
To: www-xml-schema-comments@w3.org
Message-ID: <bug-6161-703@http.www.w3.org/Bugs/Public/>


           Summary: Wildcard Subset
           Product: XML Schema
           Version: 1.1 only
          Platform: PC
        OS/Version: Windows NT
            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

I'm struggling to understand the structure of this contraint. 

It starts with a definition

"sub is a wildcard subset of super  if and only if  one of the following is

and then continues:

"And all of the following must be true..."

Is this part of the definition? (if so, why "must"?)

I would expect the structure here to be

... all of the following are true:

1 One of the following is true:
2 Each QName member of super.{disallowed names} is not allowed by sub..
3 If super.{disallowed names} contains defined, then...
4 If super.{disallowed names} contains sibling, then...

(Note also the use of apostrophe rather than dot in the last clause)

Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Wednesday, 15 October 2008 12:21:33 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:09:12 UTC