[XERCESJ-1743] XSD simpleType enumeration values must satisfy base type assertions, by only analyzing an XSD schema

• Type: Bug
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.12.2
• Fix Version/s: 2.12.3
• Component/s: XML Schema 1.1 Datatypes, XML Schema 1.1 Structures
• Assignee: Mukul Gandhi
• Reporter: Mukul Gandhi
• Created: 09/Apr/22 06:31
• Updated: 03/May/22 08:02
• Resolved: 09/Apr/22 07:00

Description

Please consider following XSD 1.1 document,

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

<xs:element name="color">
<xs:simpleType>
<xs:restriction base="Color">
<xs:enumeration value="a"/>
<xs:enumeration value="b"/>
<xs:enumeration value="c"/>
</xs:restriction>
</xs:simpleType>
</xs:element>

<xs:simpleType name="Color">
<xs:restriction base="xs:string">
<xs:assertion test="matches($value, '^(red|green|blue|yellow)$')"/>
</xs:restriction>
</xs:simpleType>

</xs:schema>

The above XSD document should be invalid, because simpleType enumeration value(s) don't satisfy base type assertion facet. This invalidity assessment, must be detected while analyzing an XSD schema (i.e, when building the XSD schema component model).

Currently, XercesJ XSD 1.1 validator is not able to do this.