XMLSchema : SimpleType final has a problem... i think.

hello! im darely now implemeting the schema spec with java.
and i have a question about simpleType final attribute...

1)phrase in 3.14.6 of xmlschema-1 structure spec says that..

 4 If the {base type definition} is not the simple ur-type definition, all of the following must be true: 
 4.1 The definition must be a valid restriction as defined in Derivation Valid (Restriction, Simple) (¢®¡¿3.14.6). 
 4.2 If {variety} is not atomic, then the appropriate case among the following must be true: 
  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.

but as you know, list and union should have their {base type definition} as ur-type definition.
and any restriction from list and union has {variety} list or union and can constraint from {final} list, union.
then, why list and union {final} value need?.. restriction will be enough.

i decide from below phrase in 3.14.1

 A simple type definition with an empty specification for {final} can be used as the {base type definition} for other types derived by either of extension or restriction, or as the {item type definition} in the definition of a list, or in the {member type definitions} of a union; the explicit values extension, restriction, list and union prevent further derivations by extension (to yield a complex type) and restriction (to yield a simple type) and use in constructing lists and unions respectively

so .... i think from above two phrase they should be re-written like this,

 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 all the {member type definitions} must not contain union.

another question will be continue...

Received on Wednesday, 27 June 2001 21:10:46 UTC