Re: [Bug 11354] Mentions of "override" outside of the override section

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

C. M. Sperberg-McQueen writes:

> On Mar 7, 2011, at 5:04 PM, bugzilla@jessica.w3.org wrote:
>
>> http://www.w3.org/Bugs/Public/show_bug.cgi?id=11354
>> 
>> Michael Kay <mike@saxonica.com> changed:
>> 
>>           What    |Removed                     |Added
>> ----------------------------------------------------------------------------
>>                 CC|                            |mike@saxonica.com
>> 
>> --- Comment #6 from Michael Kay <mike@saxonica.com> 2011-03-08 00:04:43 UTC ---
>>> "Since the overridden source declaration is overridden, 
>> it isn't used to try to create or identify any components, so its errors 
>> do not need to stand in the way of identifying the schema to be used
>> in validating the document.".
>> 
>> Oh dear, ghastly thought. Suppose someone writes
>> 
>> <xs:element name="abc" type="!!**!!**!!**!!"/>
>> 
>> and then overrides this. Is the processor actually not allowed to report an
>> error?
>> 
>> I would resist such an interpretation.
>
>
> I think it depends on what you mean by "report an error".
>
> If you say "There seems to be something wrong there", I don't think
> you are violating the XSD spec.
>
> If you say "This schema document is not schema-valid against the
> schema for schema documents", that's a true statement, though you
> are not required to check schema validity for the document before
> pre-processing it. 
>
> (Or are you?  The transformation specified is schema-aware, so
> to run it as written you do need to schema-validate it.)

I agree with MK that attractive as it may be to some Java programmers,
writing schema documents which _must_ be overriden before they can be
used is not something we want to encourage.

Add to that MSM's observation above, and I think it's clear that we
need to require Dold as well as Dold' to "correspond to a conforming
schema." in *Schema Representation Constraint: Override Constraints
and Semantics*

ht
- -- 
       Henry S. Thompson, School of Informatics, University of Edinburgh
      10 Crichton Street, Edinburgh EH8 9AB, SCOTLAND -- (44) 131 650-4440
                Fax: (44) 131 651-1426, e-mail: ht@inf.ed.ac.uk
                       URL: http://www.ltg.ed.ac.uk/~ht/
 [mail from me _always_ has a .sig like this -- mail without it is forged spam]
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (GNU/Linux)

iD8DBQFNeLd6kjnJixAXWBoRAv0HAJ47L6Ls4Qg/09VQLdOIqu7qRv/LygCffLJc
9lrZNpnoTfD/0VqhTyfXHfY=
=GlcE
-----END PGP SIGNATURE-----

Received on Thursday, 10 March 2011 11:36:09 UTC