- From: Sandy Gao <sandygao@ca.ibm.com>
- Date: Tue, 3 Jan 2006 10:26:52 -0500
- To: "Michael Kay" <mike@saxonica.com>
- Cc: xmlschema-dev@w3.org
- Message-ID: <OFE09084FF.D766FC93-ON852570EB.0054A347-852570EB.0054E303@ca.ibm.com>
You are quite right...
I just opened a bug [1] against Schema part I and proposed fixes.
[1] http://www.w3.org/Bugs/Public/show_bug.cgi?id=2632
Thanks,
Sandy Gao
XML Parser Development, IBM Canada
(1-905) 413-3255
sandygao@ca.ibm.com
"Michael Kay" <mike@saxonica.com>
Sent by: xmlschema-dev-request@w3.org
01/02/2006 06:18 AM
To
<xmlschema-dev@w3.org>
cc
Subject
Default value of an element with mixed content
It's apparently permissible for an element with mixed content to have a
default (or fixed) value.
Section 3.3.1 of Part 1 says:
If default is specified, and if the element being ·validated· is empty,
then
the canonical form of the supplied constraint value becomes the [schema
normalized value] of the ·validated· element in the
·post-schema-validation
infoset·.
But the definition of [schema normalized value] says:
1 If clause 3.2 of Element Locally Valid (Element) (§3.3.4) and Element
Default Value (§3.3.5) above have not applied and either the ·type
definition· is a simple type definition or its {content type} is a simple
type definition, then the ·normalized value· of the item as ·validated·.
2 otherwise ·absent·.
which implies that if the type definition is a complex type with complex
content, then the schema normalized value is always absent.
There seems to be a contradiction here: can an element with mixed content
have a [schema normalized value], or not?
Furthermore, the definition of [schema normalized value] appears to say
that
the [schema normalized value] will always be ·absent· if Element Default
Value (§3.3.5) applies, whereas Element Default Value (§3.3.5) says that
in
this situation the [schema normalized value] will be the canonical lexical
representation of the {value constraint} value. They can't both be
right...
Michael Kay
http://www.saxonica.com/
Received on Tuesday, 3 January 2006 15:27:01 UTC