[
https://issues.apache.org/jira/browse/XERCESJ-1559?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13292426#comment-13292426
]
Mukul Gandhi commented on XERCESJ-1559:
---------------------------------------
Jorge,
I agree with you, with what you wrote in the comment "02/May/12 05:10" that
an element declaration can be absent for an instance element to be considered
valid, provided there's a type enforced on an element instance via xsi:type in
the instance document. This is also evident from the sections you've cited in
the XSD 1.0 spec (thanks for those references) [1].
Your examples in this bug report require "assertion" evaluations. Since
assertions are XSD 1.1 specific, we need to have similar rules in the XSD 1.1
spec (i.e, [1] or something like it). Would it be possible for you to point
to these rules for XSD 1.1 (or if anyone else can)? I personally would like to
solve this problem first with XSD 1.1 only rules, and then we should move to
fixes in XSD 1.0 way.
Thanks,
Mukul
> absence of XML root element declaration is ignored, to determine XSD validity
> when xsi:type is used on an root XML element instance
> -----------------------------------------------------------------------------------------------------------------------------------
>
> Key: XERCESJ-1559
> URL: https://issues.apache.org/jira/browse/XERCESJ-1559
> Project: Xerces2-J
> Issue Type: Bug
> Components: XML Schema 1.0 Datatypes, XML Schema 1.1 Datatypes
> Affects Versions: 2.11.0
> Reporter: Jorge L. Williams
> Assignee: Mukul Gandhi
>
> In the latest XSD 1.1 branch, it looks like simple type assertions are not
> being enforced when the type is specified via the xsi:type attribute. I'm
> attaching a schema and instance documents as a reference.
> If I do
> java -cp $CLASSPATH jaxp.SourceValidator -fx -xsd11 -a assertion.xsd -i
> even_bad.xml
> I get a correct error, but if I do
> java -cp $CLASSPATH jaxp.SourceValidator -fx -xsd11 -a assertion.xsd -i
> number_bad.xml
> I don't get an error at all.
> assertion.xsd:
> ---------------------
> <schema
> elementFormDefault="qualified"
> attributeFormDefault="unqualified"
> xmlns="http://www.w3.org/2001/XMLSchema";
> xmlns:xsd="http://www.w3.org/2001/XMLSchema";
> xmlns:tst="http://www.rackspace.com/test/assertion";
> targetNamespace="http://www.rackspace.com/test/assertion";>
> <element name="even" type="tst:Even"/>
> <!-- Simple Types -->
> <simpleType name="Even">
> <restriction base="xsd:int">
> <minInclusive value="0"/>
> <maxInclusive value="100"/>
> <assertion test="$value mod 2 = 0"/>
> </restriction>
> </simpleType>
> </schema>
> -------------
> even_bad.xml
> -----------
> <even xmlns="http://www.rackspace.com/test/assertion";>13</even>
> -----------
> number_bad.xml
> ------------
> <number xmlns:tst="http://www.rackspace.com/test/assertion";
> xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance";
> xsi:type="tst:Even"
> >13</number>
> ------------
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators:
https://issues.apache.org/jira/secure/ContactAdministrators!default.jspa
For more information on JIRA, see: http://www.atlassian.com/software/jira
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
