W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > April to June 2001

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

From: choi jongwon <jwchoi@digiweb21.com>
Date: Thu, 28 Jun 2001 10:20:49 +0900
To: <www-xml-schema-comments@w3.org>
Message-ID: <000501c0ff70$910d1e70$a9892fd3@jwchoi>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 6 December 2009 18:12:50 GMT