Re: semantics of whitespace facet

In section 5.2.6 of part 2, the spec says

> The following example is the datatype definition for the token built-in
> derived datatype.
> 
> <simpleType name='token'>
>     <restriction base='CDATA'>
>       <whiteSpace value='collapse'/>
>     </restriction>  
> </simpleType>

But it doesn't make sense for me.
How can it be the definition of 'token' type?


Consider "a  b" as an lexical value:

* validator saw "a  b"
* validator checks its conformance with 'token' type.
  * it collapses white space, as specified by whiteSpace facet.
    In previous post, you admit that whiteSpace facet acts as a
    pre-processor.
  * the result is "a b".
  * validator checks "a b" with 'CDATA' type, because
    it's the base type of 'token' type.
  * "a b" is accepted by 'CDATA'
* "a  b" is accepted by 'token'

???


regards,
----------------------
K.Kawaguchi
E-Mail: k-kawa@bigfoot.com

Received on Wednesday, 31 January 2001 20:26:48 UTC