- From: choi jongwon <jwchoi@digiweb21.com>
- Date: Thu, 28 Jun 2001 10:20:49 +0900
- To: <www-xml-schema-comments@w3.org>
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