<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<!DOCTYPE bugzilla SYSTEM "https://www.w3.org/Bugs/Public/page.cgi?id=bugzilla.dtd">

<bugzilla version="5.0.4"
          urlbase="https://www.w3.org/Bugs/Public/"
          
          maintainer="sysbot+bugzilla@w3.org"
>

    <bug>
          <bug_id>5535</bug_id>
          
          <creation_ts>2008-03-05 17:00:49 +0000</creation_ts>
          <short_desc>Definition of [nil] is wrong</short_desc>
          <delta_ts>2008-04-11 21:54:43 +0000</delta_ts>
          <reporter_accessible>1</reporter_accessible>
          <cclist_accessible>1</cclist_accessible>
          <classification_id>1</classification_id>
          <classification>Unclassified</classification>
          <product>XML Schema</product>
          <component>Structures: XSD Part 1</component>
          <version>1.0/1.1 both</version>
          <rep_platform>Macintosh</rep_platform>
          <op_sys>All</op_sys>
          <bug_status>CLOSED</bug_status>
          <resolution>FIXED</resolution>
          
          
          <bug_file_loc></bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords>resolved</keywords>
          <priority>P2</priority>
          <bug_severity>minor</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="C. M. Sperberg-McQueen">cmsmcq</reporter>
          <assigned_to name="C. M. Sperberg-McQueen">cmsmcq</assigned_to>
          
          
          <qa_contact name="XML Schema comments list">www-xml-schema-comments</qa_contact>

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>19307</commentid>
    <comment_count>0</comment_count>
    <who name="C. M. Sperberg-McQueen">cmsmcq</who>
    <bug_when>2008-03-05 17:00:49 +0000</bug_when>
    <thetext>Both in XSD 1.0 and in XSD 1.1, the property [nil] is described thus:

      true if clause 3.2 of Element Locally Valid (Element) (§3.3.4) 
      above is satisfied, otherwise false  

(although in 1.1 the section number is different).

The problem is that the relevant clause takes the form &quot;if (conditions)
then (consequences)&quot;, where the conditions are (a) the element declaration
in question is nillable, (b) the element instance has an xsi:nil attribute,
and (c) the element instance has xsi:nil = true.  

If the element declaration is not nillable, or if the element instance
has xsi:nil = false, then the antecedent in clause 3.2&apos;s conditional 
is false, and clause 3.2 is thus satisfied.  This has as a consequence that
if element type my:E is nillable, then the instance

  &lt;my:E xsi:nil=&quot;false&quot;&gt;Unusual weather we&apos;re having here, 
   ain&apos;t it?&lt;/my:E&gt;

seems to have [nil] = true.

The definition of [nil] needs to be recast.  One clumsy but accurate
change would be

      true if clause 3.2 of Element Locally Valid (Element) (§3.3.4) 
      above applies and is satisfied, otherwise false  

This issue is strictly speaking unrelated to that in bug 5257, but may be
solved for XSD 1.1 at the same time.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>19585</commentid>
    <comment_count>1</comment_count>
    <who name="C. M. Sperberg-McQueen">cmsmcq</who>
    <bug_when>2008-03-21 18:08:57 +0000</bug_when>
    <thetext>At our call today, the XML Schema WG agreed that this needs to be fixed,
and should be classed as needsDrafting.  No clone is needed for 1.0, since
the error was introduced inadvertently during a revision for 1.1.  

The editors expect a pending proposal for bug 5195 to address this problem.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>19789</commentid>
    <comment_count>2</comment_count>
    <who name="C. M. Sperberg-McQueen">cmsmcq</who>
    <bug_when>2008-04-11 21:54:32 +0000</bug_when>
    <thetext>This issue was resolved by the proposal at
http://www.w3.org/XML/Group/2004/06/xmlschema-1/structures.b5195.html
(member-only link) adopted by the WG 28 March 2008.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>