Unions: canonical lexical representation

Hi

Suppose you have a union whose members are:

- a restriction of xsd:string with a length facet = 1
- xsd:integer

Suppose the union is used as the type definition of an attribute declaration with default = "01"

This "01" does not match the first member of the union but matches the second member.  Therefore it is the lexical representation of an xsd:integer.  But its canonical lexical representation will be "1".  "1" (and not "01") will be added to the PSVI as the value of a missing attribute i.i. corresponding to that attribute declaration.

I would accept the statement that the attribute declaration *component* has a correct value for the default property ("the integer 1"), but when this value is written into the PSVI, the result will be wrong.

Alessandro Triglia
OSS Nokalva

Received on Monday, 10 November 2003 17:18:31 UTC