[Bug 11764] Unresolved xsi:type should not affect validity against a type

http://www.w3.org/Bugs/Public/show_bug.cgi?id=11764

C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|needsDrafting               |needsReview

--- Comment #1 from C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> 2011-03-07 22:17:04 UTC ---
A wording proposal for this issue is at

  http://www.w3.org/XML/Group/2004/06/xmlschema-1/structures.b11764.html

It removes the clause about xsi:type from the definition of local validity
against a type.  Note that because the rules for attribute validity require
xsi:type to resolve successfully, a failure to resolve will result in (a) the
xsi:type attribute itself having [validity] = invalid, and therefore (b) the
parent element also having [validity] = invalid, if the parent element is
strictly assessed.  (If the parent element is not strictly assessed, having an
invalid child has no effect.)

It also weakens and shortens the clause about xsi:type in the definition of
local validity against an element declaration:  the clause saying that xsi:type
must resolve is gone (it was in any case circular to require an
instance-specified type definition not to be absent, since if the QName doesn't
resolve there is no instance-specified type definition at all).  The clause
saying that the instance-specified type definition must override the selected
type definition is still present, since (a) it is not otherwise enforced, and
(b) it does seem like a plausible part of local validity against an element
declaration to say that the element can't have an xsi:type naming an
incompatible type.

There is also a note added to the definition of governing attribute
declaration, to help readers remember that the governing attribute declaration
of xsi:type will always be the built-in declaration unless the processor
stipulates a different declaration (in which case the invoker bears full
responsibility for any non-intuitive results).

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Monday, 7 March 2011 22:17:06 UTC