W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > January to March 2003

Re: E1-21 Error

From: Henry S. Thompson <ht@cogsci.ed.ac.uk>
Date: 27 Mar 2003 14:57:37 +0000
To: "Stanley Guan" <stanley.guan@oracle.com>
Cc: <www-xml-schema-comments@w3.org>
Message-ID: <f5b3cl8yhzy.fsf@erasmus.inf.ed.ac.uk>

"Stanley Guan" <stanley.guan@oracle.com> writes:

> Hi,
> 
> I think the description "Unless B is the content model wildcard of the
> ur-type definition," in
> the following correction is unnecessary because you won't have a case that
> can reach
> here and have B be the content model wildcard of the ur-type definition.
> 
> The normal case that reaches "Schema Component Constraint: Particle
> Derivation OK
> (Any:Any -- NSSubset)" is an example as given below.

Correct.  The new clause 3 rules your baseTitleType out at this point.

> If my thinking is
> wrong, please
> give an example that can illustrate what the description tries to elaborate.
> 
> My understanding of ur-type is as such: an element can be ur-type.  But, for
> Particle
> Derivation OK checking, it will reach "Schema Component Constraint: Particle
> Restriction OK (Elt:Elt -- NameAndTypeOK)" instead of "Any:Any -- NSSubset".

The broken example is simply


   <xsd:complexType name="baseTitleType">
         <xsd:sequence minOccurs="0" maxOccurs="unbounded">
           <xsd:any namespace="##any" processContents="skip"/>
         </xsd:sequence>
   </xsd:complexType>

That is shorthand for

   <xsd:complexType name="baseTitleType">
     <xsd:complexContent>
       <xsd:restriction base="xsd:anyType">
         <xsd:sequence minOccurs="0" maxOccurs="unbounded">
           <xsd:any namespace="##any" processContents="skip"/>
         </xsd:sequence>
       </xsd:restriction>
     </xsd:complexContent>
   </xsd:complexType>

which brings Clause 3 of Any:Any in to play again, right?  But we want
this to be OK, hence the exception needed to be written in.


> ============================================================
> <?xml version="1.0"?>
> <xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema">
> 
>   <xsd:complexType name="baseType1" mixed="true">
>     <xsd:sequence minOccurs="0" maxOccurs="unbounded">
>       <xsd:any namespace="##any" processContents="lax"/>
>     </xsd:sequence>
>   </xsd:complexType>
>   <xsd:complexType name="baseTitleType">
> 
>     <xsd:complexContent>
>       <xsd:restriction base="baseType1">
>         <xsd:sequence minOccurs="0" maxOccurs="unbounded">
>           <xsd:any namespace="##any" processContents="skip"/>
>         </xsd:sequence>
>       </xsd:restriction>
>     </xsd:complexContent>
>   </xsd:complexType>
> 
>   <xsd:element name="root"/>
> 
> </xsd:schema>
> 
> 
> 

-- 
  Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
                      Half-time member of W3C Team
     2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
	    Fax: (44) 131 650-4587, e-mail: ht@cogsci.ed.ac.uk
		     URL: http://www.ltg.ed.ac.uk/~ht/
 [mail really from me _always_ has this .sig -- mail without it is forged spam]
Received on Thursday, 27 March 2003 09:57:40 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 6 December 2009 18:13:01 GMT