Name: erR10175 Date: 06/23/2004



  The RI allows keyref values that are not in the value space of the corresponding key.

  In the test (see below) the key and keyref values have different types (xsd:anyURI and
xsd:NCName). While the lexical representations are the same, the fields are
not equal due to disjoint value spaces. Please refer to the following XML Schema spec
changes:
XML Schema 1.0 Specification Errata:
  Section E2-46 Clarification (http://www.w3.org/2001/05/xmlschema-errata#e2-46)
  Section E2-62 Clarification (http://www.w3.org/2001/05/xmlschema-errata#e2-62)

The last one reads:
"
The notation a <> b is used to indicate the case when a != b and neither a < b nor b < a.
For any values a and b from different ?primitive? ?value space?s, a <> b.
"

That implies, that for value x of type anyURI and y of type NCName, x != y because
their primitive value spaces are anyURI and string respectively.
So, x cannot refer to y and vice versa, even if their lexical representations are equal.
Below is a list of 12 pairs of types used in the JCK tests:

(anyURI, ID)
(anyURI, IDREF)
(anyURI, NCName)
(anyURI, NMTOKEN)
(anyURI, Name)
(anyURI, language)
(anyURI, normalizedString)
(anyURI, string)
(anyURI, token)
(dateTime, date)
(duration, date)
(duration, dateTime)


  New 24 JCK-15 tests adopted from W3C XSTC-20020116 testsuite (see the list below) use
different unrelated types of key/keyref values.

  The bug is found in jdk1.5.0/beta/b35 and reported with wider test list:

4986857 XML Schema: Identity-constraint validation on cross datatypes is incorrect

Further investigation showed that most of the tests were obsolete due to the mentioned
errata and this bug was created to narrow the list of tests that were valid but failed.

The bug is reproducible in jdk15-b56 and jaxp13-b20.

To reproduce the bug compile and run the following code as shown in the log below.
------------------------------------------- test.xsd
<?xml version="1.0"?>
<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema" >
    <xsd:element name="root">
        <xsd:complexType>
                <xsd:choice maxOccurs="unbounded">
                     <xsd:element name="key" type="xsd:anyURI" />
                     <xsd:element name="keyref" type="xsd:NCName" />
                </xsd:choice>
        </xsd:complexType>

        <xsd:key name="key1">
            <xsd:selector xpath="key"/>
            <xsd:field xpath="."/>
        </xsd:key>

        <xsd:keyref name="key2" refer="key1">
                <xsd:selector xpath="keyref"/>
                <xsd:field xpath="."/>
        </xsd:keyref>

    </xsd:element>
</xsd:schema>
----------------------------------------------------

------------------------------------------- test.xml
<?xml version="1.0"?>
<root xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
       xsi:noNamespaceSchemaLocation="test.xsd">
      <key>true</key>
      <keyref>true</keyref>
</root>
----------------------------------------------------

------------------------------------------ test.java
import java.io.File;
import org.xml.sax.SAXException;
import org.xml.sax.SAXParseException;
import org.xml.sax.helpers.DefaultHandler;
import javax.xml.parsers.SAXParserFactory;
import javax.xml.parsers.SAXParser;

public class test {

    protected static class ErrorHandler extends DefaultHandler {
        public int errorCounter = 0;

        public void error(SAXParseException e) throws SAXException {
            System.out.println(e);
            errorCounter++;
        }

        public void fatalError(SAXParseException e) throws SAXException {
            System.out.println(e);
            errorCounter++;
        }
    }

    public static void main(String [] args) throws Exception {

        ErrorHandler errorHandler = new ErrorHandler();
        SAXParserFactory spf = SAXParserFactory.newInstance();
        spf.setNamespaceAware(true);
        spf.setValidating(true);
        SAXParser parser = spf.newSAXParser();
        parser.setProperty(
                "http://java.sun.com/xml/jaxp/properties/schemaLanguage",
                "http://www.w3.org/2001/XMLSchema");
        parser.setProperty(
                "http://java.sun.com/xml/jaxp/properties/schemaSource",
                args[0]);

        try {
            parser.parse(args[1], errorHandler);
        } catch (SAXException e) {
            exit(1, "Fatal Error: " + e);
        }

        if (errorHandler.errorCounter == 0) {
            exit(1, "Failed: no error is reported for " + args[1]
                  + ", but expected to violate identity constraint");
        } else {
            exit(0, "Passed.");
        }
    }

    public static void exit(int errCode, String msg) {
        System.out.println(msg);
        System.exit(errCode);
    }
}
----------------------------------------------------

------------------------------------------------ log
$javac test.java && java -showversion test test.xsd test.xml
java version "1.5.0-beta3"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.5.0-beta3-b56)
Java HotSpot(TM) Client VM (build 1.5.0-beta3-b56, mixed mode)

Failed: no error is reported for test.xml, but expected to violate identity constraint
----------------------------------------------------

This bug affects the following new tests in JCK 1.5 and JAXP TCK 1.3

api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_IDREF_anyURI.html#idc_IDREF_anyURI_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_ID_anyURI.html#idc_ID_anyURI_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_NCName_anyURI.html#idc_NCName_anyURI_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_NMTOKEN_anyURI.html#idc_NMTOKEN_anyURI_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_Name_anyURI.html#idc_Name_anyURI_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_anyURI_ID.html#idc_anyURI_ID_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_anyURI_IDREF.html#idc_anyURI_IDREF_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_anyURI_NCName.html#idc_anyURI_NCName_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_anyURI_NMTOKEN.html#idc_anyURI_NMTOKEN_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_anyURI_Name.html#idc_anyURI_Name_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_anyURI_language.html#idc_anyURI_language_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_anyURI_normalizedString.html#idc_anyURI_normalizedString_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_anyURI_string.html#idc_anyURI_string_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_anyURI_token.html#idc_anyURI_token_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_dateTime_date.html#idc_dateTime_date_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_dateTime_duration.html#idc_dateTime_duration_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_date_dateTime.html#idc_date_dateTime_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_date_duration.html#idc_date_duration_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_duration_date.html#idc_duration_date_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_duration_dateTime.html#idc_duration_dateTime_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_language_anyURI.html#idc_language_anyURI_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_normalizedString_anyURI.html#idc_normalizedString_anyURI_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_string_anyURI.html#idc_string_anyURI_i
api/xml_schema/msxsdtest/identityConstraint/idc_datatypes/idc_token_anyURI.html#idc_token_anyURI_i

======================================================================
###@###.### 2004-06-25