W3C home > Mailing lists > Public > www-voice@w3.org > October to December 2012

Re: xsd validation bug in scxml? cvc-complex-type.2.4.b

From: Carlos Verdes <cverdes@gmail.com>
Date: Sat, 24 Nov 2012 21:42:58 +0000
Message-ID: <CAMZOHDNR2GLE0n6SYg=irRh19SrpogKUG7nUQTXT1jJ1OKPYQg@mail.gmail.com>
To: "Henry S. Thompson" <ht@inf.ed.ac.uk>
Cc: "www-voice@w3.org" <www-voice@w3.org>, xmlschema-dev@w3.org
The xsd is the scxml official one. I have copied in local and fixed like I
said because the error is with the Eclipse xsd validator.

Thanks a lot.
El 24/11/2012 20:35, "Henry S. Thompson" <ht@inf.ed.ac.uk> escribió:

> Your problem is probably that arising because your schema is invalid
> per XML Schema 1.0 (it's full of violations of the Unique Particle
> Attribution constraint, informally known as the "no non-determinism
> constraint"),
>
>    http://www.w3.org/2011/04/SCXML/scxml-module-core.xsd:257:2: Invalid:
>    non-deterministic content model for type scxml.history.type:
>    {Wildcard: ##any, lax}/{http://www.w3.org/2005/07/scxml}:transition
>
> and whatever schema processor you're using is ignoring the invalidity
> and causing the problem, which arises because the optional
> xsd:group/scxml.extra.content is accepting your transition element,
> thereby leaving no transition to be accepted by the required
> xsd:element/transition.
>
> Fix your schema, and the problem will go away.  Or use an XML Schema
> 1.1 processor, because per XML Schema 1.1 _most_ of your UPA
> violations go away (there are only 2 left:
>
>   <schemaError char="2" line="281" phase="instance"
>                resource="
> http://www.w3.org/2011/04/SCXML/scxml-module-core.xsd">non-deterministic
> content model for type scxml.if.type: {
> http://www.w3.org/2005/07/scxml}:send/{http://www.w3.org/2005/07/scxml}:send
> </schemaError>
>   <schemaError char="2" line="119" phase="instance"
>     resource="http://www.w3.org/2011/04/SCXML/scxml-module-external.xsd">non-deterministic
> content model for type scxml.finalize.type: {Wildcard: ##any,
> lax}/{Wildcard: ##any, lax}</schemaError>
>
> Or, it's possible you are already using a 1.1 processor, and it has a
> bug in its content-model validation when it should be preferring an
> element test to a wildcard test.
>
> ht
> --
>        Henry S. Thompson, School of Informatics, University of Edinburgh
>       10 Crichton Street, Edinburgh EH8 9AB, SCOTLAND -- (44) 131 650-4440
>                 Fax: (44) 131 650-4587, e-mail: ht@inf.ed.ac.uk
>                        URL: http://www.ltg.ed.ac.uk/~ht/
>  [mail from me _always_ has a .sig like this -- mail without it is forged
> spam]
>
Received on Saturday, 24 November 2012 21:43:27 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 24 November 2012 21:43:29 GMT