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

Re: E1-21 Error

From: Stanley Guan <stanley.guan@oracle.com>
Date: Thu, 27 Mar 2003 09:17:58 -0800
Message-ID: <072101c2f484$d04a35e0$c5b42382@us.oracle.com>
To: "Henry S. Thompson" <ht@cogsci.ed.ac.uk>
Cc: <www-xml-schema-comments@w3.org>

Henry,

Thanks!  You're right!

-Stanley

----- Original Message -----
From: "Henry S. Thompson" <ht@cogsci.ed.ac.uk>
To: "Stanley Guan" <stanley.guan@oracle.com>
Cc: <www-xml-schema-comments@w3.org>
Sent: Thursday, March 27, 2003 6:57 AM
Subject: Re: E1-21 Error


> "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 12:23:49 GMT

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