- From: <paul.downey@bt.com>
- Date: Wed, 1 Nov 2006 21:32:22 -0000
- To: <public-xsd-databinding@w3.org>
I've added as an example, and I had a stab at creating an XPath
to capture this pattern, though it's not pretty, and might
not be as constraining as you'd like:
http://www.w3.org/2002/ws/databinding/examples/6/09/PrecisionDecimal/
http://www.w3.org/2002/ws/databinding/patterns/6/09/PrecisionDecimal/
Paul
-----Original Message-----
From: public-xsd-databinding-request@w3.org on behalf of Databinding Issue Tracker
Sent: Thu 10/19/2006 6:05 PM
To: public-xsd-databinding@w3.org
Subject: ISSUE-75: pattern for IEEE754r (floating point numbers)
ISSUE-75: pattern for IEEE754r (floating point numbers)
http://www.w3.org/2005/06/tracker/databinding/issues/75
Raised by: Vladislav Bezrukov
On product: Advanced
A programming language supporting the IEEE 754r floating point spec [1]
needs to express this type in terms of XML Schema 1.0 [2].
This type is directly supported by the XML Schema 1.1 as
precisionDecimal [3].
However the databinding tools based on the XML Schema 1.0 lack the
corresponding schema pattern.
Proposal:
To consider the following Schema Pattern for the new floating point
numbers:
<xsd:schema
xmlns:xsd="http://www.w3.org/2001/XMLSchema"
xmlns:pat="http://www.w3.org/2002/ws/databinding/patterns/6/09/"
targetNamespace="http://www.w3.org/2002/ws/databinding/patterns/6/09/">
<xsd:simpleType name="precisionDecimal">
<xsd:union>
<xsd:simpleType>
<xsd:restriction base="xsd:decimal">
<xsd:totalDigits value="16"/>
</xsd:restriction>
</xsd:simpleType>
<xsd:simpleType>
<xsd:restriction base="xsd:double"/>
</xsd:simpleType>
<xsd:simpleType>
<xsd:restriction base="xsd:string">
<xsd:enumeration value="NaN"/>
<xsd:enumeration value="-INF"/>
</xsd:restriction>
</xsd:simpleType>
</xsd:union>
</xsd:simpleType>
</xsd:schema>
We are aware that value space of the xsd:double is smaller than
xsd11:precisionDecimal. However we have found nothing better than it.
Any comments are very welcome.
Received on Wednesday, 1 November 2006 21:32:45 UTC