Re: [xml-dev] XSD substitution groups, subtypes, nillable .. the whole

[ht@inf.ed.ac.uk (Henry S. Thompson)]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Thanks for clarifying -- before going further in constructing a reply,
we need to fix something:

Given

> <complexType name="a">
>   <!--- some model --->
> </complexType>
>
> <complexType name="b">
>   <extension base="a">
>      <!--- some model -->
>   </extension>
> </complexType>

then

> <element name="x" type="a" substitutionGroup="y"/>
>
> <element name="y" type="b"/>

is backwards, i.e. not allowed as written.  For x to be in the
substitution group of y, x's type must be or be derived from y's type,
but in this case it's the other way around.

Does this invalidate the rest of your questions about this example, or
should we just reverse 'a' and 'b' in this example, or . . .?

ht
- -- 
 Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
                     Half-time member of W3C Team
    2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
            Fax: (44) 131 650-4587, e-mail: ht@inf.ed.ac.uk
                   URL: http://www.ltg.ed.ac.uk/~ht/
[mail really from me _always_ has this .sig -- mail without it is forged spam]
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (GNU/Linux)

iD8DBQFD/0L8kjnJixAXWBoRAlcPAJ9X+mSUd6EYAXig3CRA3MDXJKYcMACfasmB
V6OUWESc3FYeSHQMfMZDwYI=
=FsEG
-----END PGP SIGNATURE-----