Re: final and derivation by list or union.

Henry,

> So I think there's a bug in Schema Component Constraint: Simple Type
> Definition Properties Correct.  The following is not what was intended:
>
>   4.2.1 If the {variety} is list, then the {final} of the {base type
>         definition} must not contain list.
>   4.2.2 If the {variety} is union, then the {final} of the {base type
>         definition} must not contain union.
>
> I think this should have read
>
>   4.2.1 If the {variety} is list, then the {final} of the {item type
>         definition} must not contain list.
>   4.2.2 If the {variety} is union, then the {final} of each of the {member type
>         definitions} must not contain union.

Yes, that would make a *lot* more sense :)

It would also be helpful to bring the description of {final} for
simple type definitions in Part 2, Section 4.1.1 into line with the
description of {final} in Part 1, Section 3.14.1. Specifically to add
'extension' as a possible value of {final} so that the Schema
Component Constraint: Derivation Valid (Extension) (in Section 3.4.6
of Part 1), Point 2.2 ("The {final} of the [simple] {base type
definition} must not contain extension.") has some effect.

Cheers,

Jeni

---
Jeni Tennison
http://www.jenitennison.com/

Received on Friday, 16 November 2001 08:36:53 UTC