Hi Jorge, Here's a different example I tried. XSD 1.1 schema:
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema";> <xs:element name="X" type="xs:integer"/> <xs:simpleType name="EvenInteger"> <xs:restriction base="xs:integer"> <xs:assertion test="$value mod 2 = 0"/> </xs:restriction> </xs:simpleType> </xs:schema> And the following XML documents were validated by the above schema, <X>3</X> (this is reported as valid, since it uses the type xs:integer for validation) and <X xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"; xsi:type="EvenInteger">5</X> (this is reported as invalid, since it uses the type "EvenInteger" via xsi:type) I therefore do not think, that xs:assertion within xs:simpleType works incorrectly, when such a type is selected via xsi:type from an XML instance document. I'm currently not sure, whether the observation you've shared may be a potential bug with Xerces. You may report it at Xerces Jira and someone would analyze it and respond appropriately. On Mon, Apr 2, 2012 at 10:49 PM, Jorge Williams <jorge.willi...@rackspace.com> wrote: > hmm..attachments didn't seem to go through? > > > On Apr 2, 2012, at 4:38 PM, Jorge Williams wrote: > > > Hello again, found another potential bug: > > 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. > > Thanks, > > jOrGe W. -- Regards, Mukul Gandhi --------------------------------------------------------------------- To unsubscribe, e-mail: j-users-unsubscr...@xerces.apache.org For additional commands, e-mail: j-users-h...@xerces.apache.org
