[Bug 3025] Lexical mappings are not necessarily functions (editorial)

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3025





------- Comment #2 from davep@iit.edu  2006-10-09 19:54 -------
(In reply to comment #1)

> And in section 2.3, replace the first paragraph

> with (draft A):
> 
>     [Definition:] The lexical mapping for a datatype is a
>     prescribed relation whose domain is a prescribed set of
>     character strings (the ·lexical space·) and whose range is
>     the ·value space· of that datatype.

>                                                             In
>         the case of anySimpleType, alone among datatypes defined
>         here, the lexical mapping is also not a function onto the
>         value space, because there are values with no lexical
>         representation.

If the value space isn't always the range of the relation, then we shouldn't
say it is in the definition.  The exception needs to be noted within the
definition.  E.g.:

    [Definition:] The lexical mapping for a datatype is a
    prescribed relation whose domain is a prescribed set of
    character strings (the ·lexical space·) and whose range is
    the ·value space· of that datatype, except that the
    ·value space· of anySimpleType has values that are
    not in the range of the ·lexical space·.

Similar rewordings needed elsewhere.

Received on Monday, 9 October 2006 19:54:30 UTC