[xml-tech] Re: probleme de restriction

Bonjour Pierre,
Le jeudi 13 juillet 2006 à 16:05 +0200, Pierre Attar a écrit :
> Bonjour,
> J'essaie de réaliser la restriction suivante sur des choix :
>
[...]
> En gros, dans essai restrict, on rend obligatoire
> les un des deux choix. Bien sûr, dans cet exemple
> ca ne veurt rien dire mais j'ai essayé d'isoler le problème pour simplifier.
>
> Tous les parsers crient mais je ne comprend pas
> pourquoi et la spec me promène de bout de validation en bout de validation.
>
> Si vous avez des idées ?

Tout le monde s'accorde à dire que la recommandation est très mal écrite
en ce qui concerne les critères permettant de dire si une dérivation par
restriction est valide ou non, et je pense que cela en est un nouvel
exemple.

Ton exemple peut être simplifié en :

    <xs:complexType name="essai">
        <xs:choice>
            <xs:choice minOccurs="0">
                <xs:element name="art1"/>
                <xs:element name="art2"/>
            </xs:choice>
            <xs:element name="s1"/>
        </xs:choice>
    </xs:complexType>
    <xs:complexType name="essaiRestrict">
        <xs:complexContent>
            <xs:restriction base="essai">
                <xs:choice>
                    <xs:choice>
                        <xs:element name="art1"/>
                        <xs:element name="art2"/>
                    </xs:choice>
                    <xs:element name="s1"/>
                </xs:choice>
            </xs:restriction>
        </xs:complexContent>
    </xs:complexType>

qui génère la même erreur sans doute pour la même raison.

Le type de base permet les combinaisons suivantes :

      * <art1/>
      * <art2/>
      * <s1/>
      * aucun élément

Le type dérivé permet :

      * <art1/>
      * <art2/>
      * <s1/>

C'est donc conforme à l'esprit du mécanisme de dérivation par
restriction mais cela ne passe pas dans les validateurs que j'ai essayé
(j'ai testé également avec xsdvalid (XXE)).

Le bel ensemble avec lequel ils rejettent ce schéma fait penser qu'il
s'agit d'un cas interdit dans la recommandation mais elle est tellement
difficile à suivre qu'il est difficile d'en être certain.

Eric

-- 
GPG-PGP: 2A528005
Weblog:
                 http://eric.van-der-vlist.com/blog?t=category&a=English
------------------------------------------------------------------------
Eric van der Vlist       http://xmlfr.org            http://dyomedea.com
(ISO) RELAX NG   ISBN:0-596-00421-4 http://oreilly.com/catalog/relax
(W3C) XML Schema ISBN:0-596-00252-1 http://oreilly.com/catalog/xmlschema
------------------------------------------------------------------------
-- Attached file included as plaintext by Ecartis --
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.2 (GNU/Linux)
iD8DBQBEtmleDvn+ZCpSgAURAsuRAKCarqSjrRREx5C2Ekly/HxAA4QYHQCbBJqy
hQdPdegOdu89iOI5LRApj+Q=
=U2h/
-----END PGP SIGNATURE-----
--
Devenez redacteur <XML>fr et contribuez au developpement du
xml francophone (http://xmlfr.org/infos/redacteurs/) !
Liste de diffusion "xml-tech@xmlfr.org" (http://xmlfr.org).
Cette liste est a votre disposition pour discuter en francais de 
tout sujet technique lie a XML.
Pour resilier votre abonnement, envoyez un message contenant 
la commande "unsubscribe" a xml-tech-request@xmlfr.org
(mailto:xml-tech-request@xmlfr.org?Subject=unsubscribe)