Re: Re: Possible Bug: Xerces 2.12.1 for XML Validation with XSD 1.1 Schema under Java - Plain Text

--000000000000254e7805ae16cf65
Content-Type: text/plain; charset="UTF-8"

I just played around, with this kind of XSD validation, but using somewhat
simple XSD and XML input documents. Below are mentioned my XSD and XML
input documents,

XSD document,

<?xml version="1.0"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
                    elementFormDefault="qualified">

    <xs:element name="X">
       <xs:complexType>
           <xs:sequence>
               <xs:element name="fileName" type="FileName"
maxOccurs="unbounded"/>
           </xs:sequence>
       </xs:complexType>
    </xs:element>

    <xs:complexType name="FileName">
       <xs:simpleContent>
          <xs:extension base="xs:string">
             <xs:attribute name="att1" type="xs:string"/>
             <xs:assert test="if (./text()[matches(., 'a[0-9]')]) then
@att1 else true()"/>
          </xs:extension>
       </xs:simpleContent>
    </xs:complexType>

</xs:schema>

XML input document (which is found as valid with above mentioned schema
document),

<?xml version="1.0"?>
<X>
  <fileName>a</fileName>
  <fileName>b</fileName>
  <!-- comment ... -->
  <fileName att1="az">a0</fileName>
  <!-- comment ... -->
  <fileName>c</fileName>
  <fileName att1="az">a5</fileName>
</X>

When I remove comments from above mentioned XML input document, I still see
the XML input document as valid.

The following XML input documents are found as invalid,

<?xml version="1.0"?>
<X>
  <fileName>a</fileName>
  <fileName>b</fileName>
  <!-- comment ... -->
  <fileName>a0</fileName>
  <!-- comment ... -->
  <fileName>c</fileName>
  <fileName att1="az">a5</fileName>
</X>

<?xml version="1.0"?>
<X>
  <fileName>a</fileName>
  <fileName>b</fileName>
  <!-- comment ... -->
  <fileName>a0</fileName>
  <!-- comment ... -->
  <fileName>c</fileName>
  <fileName>a5</fileName>
</X>

Therefore, fundamentally I don't see a bug with Xerces-J with the kind of
XSD and XML input documents discussed within this thread & the Jira issue
(those that are provided by John).



-- 
Regards,
Mukul Gandhi

--000000000000254e7805ae16cf65
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"><div dir=3D"ltr"><div dir=3D"ltr"><div di=
r=3D"ltr"><div class=3D"gmail_quote"><div>I just played around, with this k=
ind of XSD validation, but using somewhat simple XSD and XML input document=
s. Below are mentioned my XSD and XML input documents,</div><div><br></div>=
<div>XSD document,</div><div><br></div><div><div>&lt;?xml version=3D&quot;1=
.0&quot;?&gt;</div><div>&lt;xs:schema xmlns:xs=3D&quot;<a href=3D"http://ww=
w.w3.org/2001/XMLSchema">http://www.w3.org/2001/XMLSchema</a>&quot;</div><d=
iv>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 el=
ementFormDefault=3D&quot;qualified&quot;&gt;</div><div>=C2=A0 =C2=A0 =C2=A0=
 =C2=A0 =C2=A0 =C2=A0</div><div>=C2=A0 =C2=A0 &lt;xs:element name=3D&quot;X=
&quot;&gt;</div><div>=C2=A0 =C2=A0 =C2=A0 =C2=A0&lt;xs:complexType&gt;</div=
><div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0&lt;xs:sequence&gt;</div><di=
v>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0&lt;xs:element nam=
e=3D&quot;fileName&quot; type=3D&quot;FileName&quot; maxOccurs=3D&quot;unbo=
unded&quot;/&gt;</div><div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0&lt;/xs=
:sequence&gt;</div><div>=C2=A0 =C2=A0 =C2=A0 =C2=A0&lt;/xs:complexType&gt;<=
/div><div>=C2=A0 =C2=A0 &lt;/xs:element&gt;</div><div>=C2=A0 =C2=A0=C2=A0</=
div><div>=C2=A0 =C2=A0 &lt;xs:complexType name=3D&quot;FileName&quot;&gt;</=
div><div>=C2=A0 =C2=A0 =C2=A0 =C2=A0&lt;xs:simpleContent&gt;</div><div>=C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 &lt;xs:extension base=3D&quot;xs:string&quo=
t;&gt;</div><div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0&lt;xs:att=
ribute name=3D&quot;att1&quot; type=3D&quot;xs:string&quot;/&gt;</div><div>=
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0&lt;xs:assert test=3D&quot;=
if (./text()[matches(., &#39;a[0-9]&#39;)]) then @att1 else true()&quot;/&g=
t;</div><div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 &lt;/xs:extension&gt;</div>=
<div>=C2=A0 =C2=A0 =C2=A0 =C2=A0&lt;/xs:simpleContent&gt;</div><div>=C2=A0 =
=C2=A0 &lt;/xs:complexType&gt;</div><div>=C2=A0 =C2=A0=C2=A0</div><div>&lt;=
/xs:schema&gt;</div><div><br></div><div>XML input document (which is found =
as valid with above mentioned schema document),</div><div><br></div><div>&l=
t;?xml version=3D&quot;1.0&quot;?&gt;</div><div>&lt;X&gt;</div><div>=C2=A0 =
&lt;fileName&gt;a&lt;/fileName&gt;</div><div>=C2=A0 &lt;fileName&gt;b&lt;/f=
ileName&gt;</div><div>=C2=A0 &lt;!-- comment ... --&gt;</div><div>=C2=A0 &l=
t;fileName att1=3D&quot;az&quot;&gt;a0&lt;/fileName&gt;</div><div>=C2=A0 &l=
t;!-- comment ... --&gt;</div><div>=C2=A0 &lt;fileName&gt;c&lt;/fileName&gt=
;</div><div>=C2=A0 &lt;fileName att1=3D&quot;az&quot;&gt;a5&lt;/fileName&gt=
;</div><div>&lt;/X&gt;</div><div><br></div><div>When I remove comments from=
 above=C2=A0mentioned XML input document, I still see the XML input documen=
t as valid.</div><div><br></div><div>The following XML input documents are =
found as invalid,</div><div><br></div><div><div>&lt;?xml version=3D&quot;1.=
0&quot;?&gt;</div><div>&lt;X&gt;</div><div>=C2=A0 &lt;fileName&gt;a&lt;/fil=
eName&gt;</div><div>=C2=A0 &lt;fileName&gt;b&lt;/fileName&gt;</div><div>=C2=
=A0 &lt;!-- comment ... --&gt;</div><div>=C2=A0 &lt;fileName&gt;a0&lt;/file=
Name&gt;</div><div>=C2=A0 &lt;!-- comment ... --&gt;</div><div>=C2=A0 &lt;f=
ileName&gt;c&lt;/fileName&gt;</div><div>=C2=A0 &lt;fileName att1=3D&quot;az=
&quot;&gt;a5&lt;/fileName&gt;</div><div>&lt;/X&gt;</div></div><div><br></di=
v><div><div>&lt;?xml version=3D&quot;1.0&quot;?&gt;</div><div>&lt;X&gt;</di=
v><div>=C2=A0 &lt;fileName&gt;a&lt;/fileName&gt;</div><div>=C2=A0 &lt;fileN=
ame&gt;b&lt;/fileName&gt;</div><div>=C2=A0 &lt;!-- comment ... --&gt;</div>=
<div>=C2=A0 &lt;fileName&gt;a0&lt;/fileName&gt;</div><div>=C2=A0 &lt;!-- co=
mment ... --&gt;</div><div>=C2=A0 &lt;fileName&gt;c&lt;/fileName&gt;</div><=
div>=C2=A0 &lt;fileName&gt;a5&lt;/fileName&gt;</div><div>&lt;/X&gt;</div></=
div></div><div><br></div><div>Therefore, fundamentally I don&#39;t see a bu=
g with Xerces-J with the kind of XSD and XML input documents discussed with=
in this thread &amp; the Jira issue (those that are provided by John).</div=
><div><br></div><div>=C2=A0</div></div><div><br></div>-- <br><div dir=3D"lt=
r" class=3D"gmail_signature"><div dir=3D"ltr"><div>Regards,<br>Mukul Gandhi=
<br></div></div></div></div></div></div></div></div>

--000000000000254e7805ae16cf65--