| prohibiting attributes in extension [message #9265] |
Wed, 08 January 2003 05:02  |
Eclipse User |
|
|
|
Originally posted by: Michael.Hartmeier.softwareag.com
Eclipse allows to create a schema where a derived type prohibites an
attribute of the base type. Is this correct, is the attached schema valid
according the the XML schema spec? I'd expect to see some kind of XSD
diagnostics, but there are none (with XSD 20021023_1900TL).
Michael
<xs:schema xmlns:xs='http://www.w3.org/2001/XMLSchema'>
<xs:complexType name='base'>
<xs:sequence>
<xs:element name='a' type='xs:string'/>
</xs:sequence>
<xs:attribute name='a' type='xs:string' use='required'/>
<xs:attribute name='b' type='xs:string' use='required'/>
</xs:complexType>
<xs:complexType name='derived' >
<xs:complexContent>
<xs:extension base='base'>
<xs:sequence>
<xs:element name='b' type='xs:string'/>
</xs:sequence>
<xs:attribute name='b' type='xs:string' use='prohibited'/>
<xs:attribute name='c' type='xs:string' use='required'/>
</xs:extension>
</xs:complexContent>
</xs:complexType>
</xs:schema>
|
|
|
|
| Re: prohibiting attributes in extension [message #11707 is a reply to message #9522] |
Sat, 01 March 2003 04:51  |
| Eclipse User |
|
|
|
Originally posted by: Michael.Hartmeier.softwareag.com
Build 1207 properly reports the invalid schema :-)
Michael
Ed Merks wrote:
> Michael,
> No, this schema is not correct. It violates cause 1.2 of cos-ct-extends,
> i.e., the base type's attributes uses are not a subset of those of the
> complex type itself. (Only a restriction can prohibit attributes.) I've
> fixed the implementation to produce a diagnostic for this case.
> Thanks for finding this problem.
> Michael Hartmeier wrote:
> > Eclipse allows to create a schema where a derived type prohibites an
> > attribute of the base type. Is this correct, is the attached schema valid
> > according the the XML schema spec? I'd expect to see some kind of XSD
> > diagnostics, but there are none (with XSD 20021023_1900TL).
> >
> > Michael
> >
> > <xs:schema xmlns:xs='http://www.w3.org/2001/XMLSchema'>
> > <xs:complexType name='base'>
> > <xs:sequence>
> > <xs:element name='a' type='xs:string'/>
> > </xs:sequence>
> > <xs:attribute name='a' type='xs:string' use='required'/>
> > <xs:attribute name='b' type='xs:string' use='required'/>
> > </xs:complexType>
> > <xs:complexType name='derived' >
> > <xs:complexContent>
> > <xs:extension base='base'>
> > <xs:sequence>
> > <xs:element name='b' type='xs:string'/>
> > </xs:sequence>
> > <xs:attribute name='b' type='xs:string' use='prohibited'/>
> > <xs:attribute name='c' type='xs:string' use='required'/>
> > </xs:extension>
> > </xs:complexContent>
> > </xs:complexType>
> > </xs:schema>
> >
> --
> Ed Merks
|
|
|
| Re: prohibiting attributes in extension [message #564765 is a reply to message #9265] |
Fri, 24 January 2003 06:45 |
| Eclipse User |
|
|
|
Michael,
No, this schema is not correct. It violates cause 1.2 of cos-ct-extends,
i.e., the base type's attributes uses are not a subset of those of the
complex type itself. (Only a restriction can prohibit attributes.) I've
fixed the implementation to produce a diagnostic for this case.
Thanks for finding this problem.
Michael Hartmeier wrote:
> Eclipse allows to create a schema where a derived type prohibites an
> attribute of the base type. Is this correct, is the attached schema valid
> according the the XML schema spec? I'd expect to see some kind of XSD
> diagnostics, but there are none (with XSD 20021023_1900TL).
>
> Michael
>
> <xs:schema xmlns:xs='http://www.w3.org/2001/XMLSchema'>
> <xs:complexType name='base'>
> <xs:sequence>
> <xs:element name='a' type='xs:string'/>
> </xs:sequence>
> <xs:attribute name='a' type='xs:string' use='required'/>
> <xs:attribute name='b' type='xs:string' use='required'/>
> </xs:complexType>
> <xs:complexType name='derived' >
> <xs:complexContent>
> <xs:extension base='base'>
> <xs:sequence>
> <xs:element name='b' type='xs:string'/>
> </xs:sequence>
> <xs:attribute name='b' type='xs:string' use='prohibited'/>
> <xs:attribute name='c' type='xs:string' use='required'/>
> </xs:extension>
> </xs:complexContent>
> </xs:complexType>
> </xs:schema>
>
--
Ed Merks
|
|
|
| Re: prohibiting attributes in extension [message #565472 is a reply to message #9522] |
Sat, 01 March 2003 04:51 |
| Eclipse User |
|
|
|
Build 1207 properly reports the invalid schema :-)
Michael
Ed Merks wrote:
> Michael,
> No, this schema is not correct. It violates cause 1.2 of cos-ct-extends,
> i.e., the base type's attributes uses are not a subset of those of the
> complex type itself. (Only a restriction can prohibit attributes.) I've
> fixed the implementation to produce a diagnostic for this case.
> Thanks for finding this problem.
> Michael Hartmeier wrote:
> > Eclipse allows to create a schema where a derived type prohibites an
> > attribute of the base type. Is this correct, is the attached schema valid
> > according the the XML schema spec? I'd expect to see some kind of XSD
> > diagnostics, but there are none (with XSD 20021023_1900TL).
> >
> > Michael
> >
> > <xs:schema xmlns:xs='http://www.w3.org/2001/XMLSchema'>
> > <xs:complexType name='base'>
> > <xs:sequence>
> > <xs:element name='a' type='xs:string'/>
> > </xs:sequence>
> > <xs:attribute name='a' type='xs:string' use='required'/>
> > <xs:attribute name='b' type='xs:string' use='required'/>
> > </xs:complexType>
> > <xs:complexType name='derived' >
> > <xs:complexContent>
> > <xs:extension base='base'>
> > <xs:sequence>
> > <xs:element name='b' type='xs:string'/>
> > </xs:sequence>
> > <xs:attribute name='b' type='xs:string' use='prohibited'/>
> > <xs:attribute name='c' type='xs:string' use='required'/>
> > </xs:extension>
> > </xs:complexContent>
> > </xs:complexType>
> > </xs:schema>
> >
> --
> Ed Merks
|
|
|
Powered by
FUDForum. Page generated in 0.04016 seconds
Home