/[suikacvs]/markup/xml/domdtdef/domdtdef-work.en.html
Suika

Diff of /markup/xml/domdtdef/domdtdef-work.en.html

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.1 by wakaba, Sun Dec 2 04:19:12 2007 UTC revision 1.13 by wakaba, Mon Dec 3 11:57:22 2007 UTC
# Line 1  Line 1 
1  <!DOCTYPE html>  <!DOCTYPE html>
2  <html lang="en" class="formal-specification status-work-in-progress">  <html lang="en" class="formal-specification status-work-in-progress">
3  <head>  <head>
4  <title>manakai's XML Conformance Checking</title>  <title>DOM Document Type Definition Module</title>
5  <link rel="stylesheet" href="http://suika.fam.cx/www/style/html/spec">  <link rel="stylesheet" href="http://suika.fam.cx/www/style/html/spec">
6    <link rel="stylesheet" href="http://suika.fam.cx/www/style/def/dom">
7  <link rel="license" href="http://suika.fam.cx/c/gnu/fdl">  <link rel="license" href="http://suika.fam.cx/c/gnu/fdl">
 <style>  
   a[id]::before {  
     content: "[" attr(id) "]";  
     color: gray;  
     font-size: 70%;  
     font-family: Courier New, monospace;  
     vertical-align: 60%;  
   }  
 </style>  
8  </head>  </head>
9  <body class="has-abstract">  <body class="has-abstract">
10    
11  <div class="header">  <div class="header">
12  <h1>manakai's <abbr>XML</abbr> Conformance Checking</h1>  <h1>DOM Document Type Definition Module</h1>
13  <h2>Working Draft <time datetime=2007-12-01>1 December 2007</time></h2>  <h2>Working Draft <time datetime=2007-12-03>3 December 2007</time></h2>
14    
15  <dl class="versions-uri">  <dl class="versions-uri">
16  <dt>This Version</dt>  <dt>This Version</dt>
17    <dd><code class="URI">&lt;<a href="http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc-work"    <dd><code class="URI">&lt;<a href="http://suika.fam.cx/www/markup/xml/domdtdef/domdtdef-work"
18        >http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc-work</a>&gt;</code></dd>        >http://suika.fam.cx/www/markup/xml/domdtdef/domdtdef-work</a>&gt;</code></dd>
19  <dt>Latest Version</dt>  <dt>Latest Version</dt>
20    <dd><code class="URI">&lt;<a href="http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc"    <dd><code class="URI">&lt;<a href="http://suika.fam.cx/www/markup/xml/domdtdef/domdtdef"
21        >http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc</a>&gt;</code></dd>        >http://suika.fam.cx/www/markup/xml/domdtdef/domdtdef</a>&gt;</code></dd>
22  <dt>Latest Working Draft</dt>  <dt>Latest Working Draft</dt>
23    <dd><code class="URI">&lt;<a href="http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc-work"    <dd><code class="URI">&lt;<a href="http://suika.fam.cx/www/markup/xml/domdtdef/domdtdef-work"
24        >http://suika.fam.cx/www/markup/xml/xmlcc/xmlcc-work</a>&gt;</code></dd>        >http://suika.fam.cx/www/markup/xml/domdtdef/domdtdef-work</a>&gt;</code></dd>
25  <!-- <dt>Previous Version</dt> -->  <!-- <dt>Previous Version</dt> -->
26  <dt>Version History</dt>  <dt>Version History</dt>
27    <dd><code class=URI>&lt;<a href="http://suika.fam.cx/gate/cvs/markup/xml/xmlcc/xmlcc-work.en.html">http://suika.fam.cx/gate/cvs/markup/xml/xmlcc/xmlcc-work.en.html</a>&gt;</code></dd>    <dd><code class=URI>&lt;<a href="http://suika.fam.cx/gate/cvs/markup/xml/domdtdef/domdtdef-work.en.html">http://suika.fam.cx/gate/cvs/markup/xml/domdtdef/domdtdef-work.en.html</a>&gt;</code></dd>
28  </dl>  <dt id=author>Author</dt>
 <dl class="authors" id="author">  
 <dt>Author</dt>  
29    <dd><a href="http://suika.fam.cx/~wakaba/who?" rel="author"    <dd><a href="http://suika.fam.cx/~wakaba/who?" rel="author"
30        lang=ja>Wakaba</a>        lang=ja>Wakaba</a>
31    <code class="mail">&lt;<a href="mailto:w@suika.fam.cx" rel="author"    <code class="mail">&lt;<a href="mailto:w@suika.fam.cx" rel="author"
# Line 72  at the time of its publication.  Other d Line 62  at the time of its publication.  Other d
62  might supersede this document.</em></p>  might supersede this document.</em></p>
63    
64  <p>This document is a working draft, produced as part of the  <p>This document is a working draft, produced as part of the
 <a href="http://suika.fam.cx/www/markup/html/whatpm/readme">Whatpm</a>  
 subproject of the  
65  <a href="http://suika.fam.cx/www/manakai-core/doc/web/">manakai</a>  <a href="http://suika.fam.cx/www/manakai-core/doc/web/">manakai</a>
66  project.  It might be updated, replaced, or obsoleted by  project.  It might be updated, replaced, or obsoleted by
67  other documents at any time.  It is inappropriate to  other documents at any time.  It is inappropriate to
# Line 92  normative version.</p> Line 80  normative version.</p>
80    
81  <p class=section-info>This section is <em>non$B!>(Bnormative</em>.</p>  <p class=section-info>This section is <em>non$B!>(Bnormative</em>.</p>
82    
83  <div class="issue ed">...</div>  <div class="issue ed">
84    <p>This is a work-in-progress specification for DOM Document Type
85    Definition module, as implemented by manakai and
86    <a href="http://suika.fam.cx/gate/2005/sw/DOM%20XML%20Document%20Type%20Definition">partially documented in the SuikaWiki</a>.</p>
87    </div>
88    
89    <p>The <dfn id=term-dom-dtdef><abbr>DOM</abbr> Document Type Definition</dfn>
90    module is a set of <abbr>DOM</abbr> interfaces, including both new
91    interfaces and modifications to existing <abbr>DOM</abbr> interfaces,
92    over which <abbr>DOM</abbr> applications are able to access to the
93    definitions of the document type.</p>
94    
95    <p>Interfaces defined in this specification are partially modeled from
96    early drafts of <abbr>DOM</abbr> level 1 <span class=ed>@@ ref</span>,
97    <abbr>DOM</abbr> Abstract Schema level 3 <span class=ed>@@ ref</span>, and
98    <abbr>XML</abbr> Schema <abbr>API</abbr>, but are not compatible with
99    any of them as a whole.</p>
100  </div>  </div>
101    
102  <div class="section" id="terminology">  <div class="section" id="terminology">
# Line 118  else in this specification is normative. Line 120  else in this specification is normative.
120  <p><span class=ed>Algorithm is normative but non-normative</span>.  <p><span class=ed>Algorithm is normative but non-normative</span>.
121  In addition, the order in which <a href="#errors">errors</a> are  In addition, the order in which <a href="#errors">errors</a> are
122  raised is undefined.</p>  raised is undefined.</p>
 </div>  
   
123    
124  <div class=section id=error-categories>  <p class=ed><var>A</var> object is an object implementing <var>A</var>
125  <h2>Error Classification</h2>  interface.</p>
126    
127  <p class=ed>If a <code>Document</code> node has no  <p class=ed>@@ ref to DOM Binding Spec</p>
 xml-well-formedness-error, entity-error, and unknown-error,  
 then it is well-formed.  If a well-formed <code>Document</code>  
 node has no xml-validity-error, it is valid.</p>  
128    
129  <div class="note memo">  <p>If the <code>strictErrorChecking</code> attribute of the
130  <p>A well$B!>(Bformed <code>Document</code> can be safely serialized  <code>Document</code> node is <code>false</code>, the methods are
131  into a well$B!>(Bformed XML document.  A valid <code>Document</code>  not required to raise exceptions <span class=ed>[DOM3]</span>.</p>
 can be easily serialized into a valid XML document.</p>  
132  </div>  </div>
133    
134  <p class=ed>To be a conforming <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#dt-validating">validating XML processor</a>,  <div class=section id=dom-dtdef>
135  ...</p>  <h2><abbr>DOM</abbr> Document Type Definition Module</h2>
136    
137  <p>Errors are classified into these  <p>The <abbr>DOM</abbr> Document Type Definition module, version 3.0,
138  <dfn id=error-category title="error category">error categories</dfn>:</p>  consists of three interfaces:</p>
139    <ul>
140    <li><a href="#DocumentXDoctype"><code>DocumentXDoctype</code></a></li>
141    <li><a href="#DocumentTypeDefinition"><code>DocumentTypeDefinition</code></a></li>
142    <li><a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a></li>
143    <li><a href="#AttributeDefinition"><code>AttributeDefinition</code></a></li>
144    </ul>
145    
146  <dl id=errors>  <p>In addition, it modifies interfaces
147  <dt><dfn id=entity-error><code>entity-error</code></dfn></dt>  <a href="#Node"><code>Node</code></a>,
148    <dd>  <a href="#DocumentType"><code>DocumentType</code></a>,
149      <p class=ed>@@</p>  <a href="#Entity"><code>Entity</code></a>,
150      <div class="note memo">  <a href="#EntityReference"><code>EntityReference</code></a>,
151        <p>This <span class=ed>algorithm</span> does not support  <a href="#Notation"><code>Notation</code></a>, and
152        <abbr>DOM</abbr> tree with one or more <code>EntityReference</code>  <a href="#ProcessingInstruction"><code>ProcessingInstruction</code></a>.</p>
153        nodes.  It is expected that any entity references are expanded  
154        at the parse time and any unexpandable entity references  <div class=section id=features>
155        make parse time errors raised so that never result in  <h3>Feature Name</h3>
156        <abbr>DOM</abbr> tree with <code>EntityReference</code> nodes.</p>  
157      </div>  <p>In a <abbr>DOM</abbr> implementation that supports the version 3.0 of
158    </dd>  the <abbr>DOM</abbr> Document Type Definition module, the
159  <dt><dfn id=round-trip-error><code>round-trip-error</code></dfn></dt>  <code>hasFeature</code> method of a <code>DOMImplementation</code> object
160    <dd class=ed>@@</dd>  <em class=rfc2119>MUST</em> return <code>true</code> when the parameters are
161  <dt><dfn id=round-trip-warning><code>round-trip-warning</code></dfn></dt>  set to <code>http://suika.fam.cx/www/2006/feature/XDoctype</code> and
162    <dd>  <code>3.0</code> respectively.</p>
163      <p>A <a href="#round-trip-warning"><code>round-trip-warning</code></a>  
164      will be raised when a construct, which might not be restored to the same  <p>In such an implementation, the <code>getFeature</code> method of a
165      construct when it is serialized and then re-parsed by a conforming  <code>Document</code> object <em class=rfc2119>MUST</em> return the (at least
166      processor, is encountered.</p>  conceptually) same object implementing the
167      <div class="example memo">  <a href="#DocumentXDoctype"><code>DocumentXDoctype</code></a> interface when
168        <p>For a <code>Comment</code> node a  the parameters are set to
169        <a href="#round-trip-warning"><code>round-trip-warning</code></a> will  <code>http://suika.fam.cx/www/2006/feature/XDoctype</code> and
170        be raised, since <abbr>XML</abbr> processors are not required to  <code>3.0</code> respectively.  Likewise, any method that takes one or more
171        report texts of comments for applications.</p>  feature names with or without version number, including the methods
172    <code>hasFeature</code> and <code>getFeature</code>,
173    <em class=rfc2119>MUST</em> behave in a manner consistent with the
174    aforementioned cases.</p>
175    </div>
176    
177    <div class=section id=section-documentxdoctype>
178    <h3>The <code>DocumentXDoctype</code> Interface</h3>
179    
180    <pre class=idl><code>interface <dfn id=DocumentXDoctype><code>DocumentXDoctype</code></dfn> {
181      DocumentType <a href="#createDocumentTypeDefinition">createDocumentTypeDefinition</a>
182        (in DOMString <a href="#createDocumentTypeDefinition-name"><var>name</var></a>)
183        raises (DOMException);
184      <a href="#ElementTypeDefinition">ElementTypeDefinition</a> <a href="#createElementTypeDefinition">createElementTypeDefinition</a>
185        (in DOMString <a href="#createElementTypeDefinition-name"><var>name</var></a>)
186        raises (DOMException);
187      <a href="#AttributeDefinition">AttributeDefinition</a> <a href="#createAttributeDefinition">createAttributeDefinition</a>
188        (in DOMString <a href="#createAttributeDefinition-name"><var>name</var></a>)
189        raises (DOMException);
190      <a href="#Entity">Entity</a> <a href="#createGeneralEntity">createGeneralEntityDefinition</a>
191        (in DOMString <a href="#createGeneralEntity-name"><var>name</var></a>)
192        raises (DOMException);
193      <a href="#Notation">Notation</a> <a href="#createNotation">createNotation</a>
194        (in DOMString <a href="#createNotation-name"><var>name</var></a>)
195        raises (DOMException);
196    }</code></pre>
197    
198    <div class=ed>@@ cast definition</div>
199    
200    <dl>
201    <dt><dfn id=createDocumentTypeDefinition class=dom-method><code>createDocumentTypeDefinition</code></dfn>,
202    method</dt>
203      <dd>
204        <p>This method creates a <code>DocumentType</code> node with the specified
205        name, belonging to the document.</p>
206        <p>The <dfn id=createDocumentTypeDefinition-name class=dom-param><var>name</var></dfn>
207        parameter is the name of the document type.</p>
208    
209        <p>When invoked, the method <em class=rfc2119>MUST</em> create and
210        return a <code>DocumentType</code> node with the following attributes:</p>
211        <dl>
212        <dt><code>attributes</code>, <code>parentNode</code></dt>
213          <dd><code>null</code>.</dd>
214        <dt><code>elementTypes</code>, <code>generalEntities</code>, and
215        <code>notations</code></dt>
216          <dd>Empty <code>NamedNodeMap</code> objects.</dd>
217        <dt><code>entities</code></dt>
218          <dd>The same value as the <code>generalEntities</code> attribute.</dd>
219        <dt><code>childNodes</code></dt>
220          <dd>An empty <code>NodeList</code> object.</dd>
221        <dt><code>internalSubset</code>, <code>publicId</code>, and
222        <code>systemId</code></dt>
223          <dd>Empty strings.</dd>
224        <dt><code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt>
225          <dd><code>false</code>.</dd>
226        <dt><code>nodeName</code></dt>
227          <dd><a href="#createDocumentTypeDefinition-name"><var>name</var></a>.</dd>
228        <dt><code>ownerDocument</code></dt>
229          <dd>The <code>Document</code> over which the method is invoked.</dd>
230        </dl>
231        <p>In addition, the method <em class=rfc2119>MUST</em> be marked as
232        containing five general entity declarations: <code>amp</code>,
233        <code>lt</code>, <code>gt</code>, <code>quot</code>, and
234        <code>apos</code>.</p>
235      </dd>
236    <dt><dfn id=createElementTypeDefinition class=dom-method><code>createElementTypeDefinition</code></dfn>,
237    method</dt>
238      <dd>
239        <p>This method creates a <code>ElementTypeDefinition</code> node with the
240        specified name, belonging to the document.</p>
241        <p>The <dfn id=createElementTypeDefinition-name class=dom-param><var>name</var></dfn>
242        parameter is the name of the element type defined by the element
243        type definition.</p>
244    
245        <p>When invoked, the method <em class=rfc2119>MUST</em> create and
246        return an
247        <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>
248        node with the following attributes:</p>
249        <dl>
250        <dt><a href="#attributeDefinitions"><code>attributeDefinitions</code></a></dt>
251          <dd>An empty <code>NamedNodeMap</code> object.</dd>
252        <dt><code>attributes</code>, <code>parentNode</code></dt>
253          <dd><code>null</code>.</dd>
254        <dt><code>childNodes</code></dt>
255          <dd>An empty <code>NodeList</code> object.</dd>
256        <dt><code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt>
257          <dd><code>false</code>.</dd>
258        <dt><code>nodeName</code></dt>
259          <dd><a href="#createElementTypeDefinition-name"><var>name</var></a>.</dd>
260        <dt><code>ownerDocument</code></dt>
261          <dd>The <code>Document</code> node over which the method is invoked.</dd>
262        <dt><a href="#ownerDocumentTypeDefinition"><code>ownerDocumentTypeDefinition</code></a></dt>
263          <dd><code>null</code>.</dd>
264        <dt class=ed>@@ Ensure all attributes are defined</dt>
265        </dl>
266      </dd>
267    <dt><dfn id=createAttributeDefinition class=dom-method><code>createAttributeDefinition</code></dfn>,
268    method</dt>
269      <dd>
270        <p>This method creates a <code>AttributeDefinition</code> node with the
271        specified name, belonging to the document.</p>
272        <p>The <dfn id=createAttributeDefinition-name class=dom-param><var>name</var></dfn>
273        parameter is the name of the attribute defined by the attribute
274        definition.</p>
275    
276        <p>When invoked, the method <em class=rfc2119>MUST</em> create and
277        return an
278        <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>
279        node with the following attributes:</p>
280        <dl>
281        <dt><code>allowedTokens</code></dt>
282          <dd>An empty <code>DOMStringList</code> object.</dd>
283        <dt><code>attributes</code>,
284        <a href="#ownerElementTypeDefinition"><code>ownerElementTypeDefinition</code></a>,
285        and <code>parentNode</code></dt>
286          <dd><code>null</code>.</dd>
287        <dt><code>childNodes</code></dt>
288          <dd>An empty <code>NodeList</code> object.</dd>
289        <dt><code>declaredType</code></dt>
290          <dd><a href="#NO_TYPE_ATTR"><code>NO_TYPE_ATTR</code></a>.</dd>
291        <dt><code>defaultType</code></dt>
292          <dd><a href="#UNKNOWN_DEFAULT"><code>UNKNOWN_DEFAULT</code></a>.</dd>
293        <dt><code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt>
294          <dd><code>false</code>.</dd>
295        <dt><code>nodeName</code></dt>
296          <dd><a href="#createAttributeDefinition-name"><var>name</var></a>.</dd>
297        <dt><code>ownerDocument</code></dt>
298          <dd>The <code>Document</code> node over which the method is invoked.</dd>
299        <dt class=ed>@@ Ensure all attributes are defined</dt>
300        </dl>
301    
302        <div class=ed>
303        <p>@@ Should we keep these statements?:
304    However, if the &lt;cfg::cfg|xml-id> configuration
305    parameter is set to <code>true</code> and the <var>name</var>
306    is <code>xml:id</code>, then the [CODE(DOMa)@en[[[declaredType]]]]
307    attribute is set to <code>ID_ATTR</code>.
308    [CODE(DOMa)@en[[[defaultType]]]]?</p>
309      </div>      </div>
310    </dd>    </dd>
311  <dt class=ed><dfn id=unknown-error><code>unknown-error</code></dfn>?</dt>  <dt><dfn id=createGeneralEntity class=dom-method><code>createGeneralEntity</code></dfn>,
312    <dd class=ed>@@</dd>  method</dt>
 <dt><dfn id=xml-misc-error><code>xml-misc-error</code></dt>  
   <dd>An <abbr>XML</abbr> <i>error</i> (<abbr>XML</abbr> 1.0  
   <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>  
   <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#dt-error">error</a> /  
   <abbr>XML</abbr> 1.1  
   <cite class="bibref normative">[<a href="#ref-XML11">XML11</a>]</cite>  
   <a href="@@/#dt-error">error</a>)  
   that is not classified to any other <a href="#error-category">error  
   category</a>.</dd>  
 <dt><dfn id=xml-misc-fatal-error><code>xml-misc-fatal-error</code></dt>  
   <dd>An <abbr>XML</abbr> <i>fatal error</i> (<abbr>XML</abbr> 1.0  
   <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>  
   <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#dt-fatal">fatal  
   error</a> / <abbr>XML</abbr> 1.1  
   <cite class="bibref normative">[<a href="#ref-XML11">XML11</a>]</cite>  
   <a href="@@/#dt-fatal">fatal error</a>)  
   that is not classified to any other <a href="#error-category">error  
   category</a>. <span class=ed>@@ What errors fall into this category?</span></dd>  
 <dt><dfn id=xml-misc-recommendation><code>xml-misc-recommendation</code></dfn></dt>  
313    <dd>    <dd>
314      <p>An      <p>This method creates a <a href="#Entity"><code>Entity</code></a> node
315      <a href="#xml-misc-recommendation"><code>xml-misc-recommendation</code></a>      with the specified name, which represents a general entity, belonging to
316      will be raised if a <em class=rfc2119>SHOULD</em>$B!>(Blevel requirement      the document.</p>
317      in <abbr>XML</abbr> specification is not met.</p>      <p>The <dfn id=createGeneralEntity-name class=dom-param><var>name</var></dfn>
318        parameter is the name of the general entity.</p>
319    
320        <p>When invoked, the method <em class=rfc2119>MUST</em> create and return
321        an <a href="#Entity"><code>Entity</code></a> node with the following
322        attributes:</p>
323        <dl>
324        <dt><code>attributes</code>, <code>notationName</code>,
325        <a href="#ownerDocumentTypeDefinition"><code>ownerDocumentTypeDefinition</code></a>,
326        and <code>parentNode</code></dt>
327          <dd><code>null</code>.</dd>
328        <dt><code>childNodes</code></dt>
329          <dd>An empty <code>NodeList</code> object.</dd>
330        <dt><code>manakaiDeclarationBaseURI</code>,
331        <code>manakaiEntityBaseURI</code>, and
332        <code>manakaiEntityURI</code> <span class=ed>@@ ref</span></dt>
333          <dd>No explicit value is set.</dd>
334        <dt><code>manakaiHasReplacementTree</code> and
335        <code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt>
336          <dd><code>false</code>.</dd>
337        <dt><code>nodeName</code></dt>
338          <dd><a href="#createGeneralEntity-name"><var>name</var></a>.</dd>
339          <dd>
340            <div class="note memo">
341              <p>It is not an error for
342              <a href="#createGeneralEntity-name"><var>name</var></a> matching
343              to the name of one of predefined general parsed entities in
344              <abbr>XML</abbr> or <abbr>HTML</abbr>.  For example,
345              <a href="#createGeneralEntity-name"><var>name</var></a> might be
346              <code>amp</code>, resulting in an
347              <a href="#Entity"><code>Entity</code></a> node
348              with its <code>nodeName</code> attribute set to <code>amp</code>.</p>
349            </div>
350          </dd>
351        <dt><code>ownerDocument</code></dt>
352          <dd>The <code>Document</code> node over which the method is invoked.</dd>
353        <dt><code>publicId</code>, and <code>systemId</code></dt>
354          <dd><code>null</code>.</dd>
355          <dd class=ed>@@ publicId and systemId should be empty string?</dd>
356        <dt class=ed>@@ Ensure all attributes are defined</dd>
357        </dl>
358      </dd>
359    <dt><dfn id=createNotation class=dom-method><code>createNotation</code></dfn>,
360    method</dt>
361      <dd>
362        <p>This method creates a <code>Notation</code> node with the
363        specified name, belonging to the document.</p>
364        <p>The <dfn id=createNotation-name class=dom-param><var>name</var></dfn>
365        parameter is the name of the notation.</p>
366    
367        <p>When invoked, the method <em class=rfc2119>MUST</em> create and return
368        a <code>Notation</code> node with the following attributes:</p>
369        <dl>
370        <dt><code>attributes</code>,
371        <a href="#ownerDocumentTypeDefinition"><code>ownerDocumentTypeDefinition</code></a>,
372        and <code>parentNode</code></dt>
373          <dd><code>null</code>.</dd>
374        <dt><code>childNodes</code></dt>
375          <dd>An empty <code>NodeList</code> object.</dd>
376        <dt><code>manakaiDeclarationBaseURI</code></dt>
377          <dd>No explicit value is set.</dd>
378        <dt><code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt>
379          <dd><code>false</code>.</dd>
380        <dt><code>nodeName</code></dt>
381          <dd><a href="#createNotation-name"><var>name</var></a>.</dd>
382        <dt><code>ownerDocument</code></dt>
383          <dd>The <code>Document</code> node over which the method is invoked.</dd>
384        <dt><code>publicId</code> and <code>systemId</code></dt>
385          <dd><code>null</code>.</dd>
386          <dd class=ed>@@ publicId and systemId should be empty string?</dd>
387        <dt class=ed>@@ Ensure all attributes are defined</dt>
388        </dl>
389    </dd>    </dd>
 <dt><dfn id=xml-validity-error><code>xml-validity-error</code></dfn></dt>  
   <dd>A violation of validity constraint in XML document.</dd>  
 <dt><dfn id=xml-well-formedness-error><code>xml-well-formedness-error</code></dfn></dt>  
   <dd><p>If an <code>xml-well-formedness-error</code> is raised,  
   it would not be possible to generate an XML serialization that  
   would match to the appropriate production rule and that would not  
   violate to any well$B!>(Bformedness constraint in XML  
   specification <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>,  
   <a href="#ref-XML11">XML11</a>]</cite>.</p></dd>  
390  </dl>  </dl>
391    
392  <div class=ed><p>@@ TODO: #dt-atuseroption at user option  <p>These methods <em class=rfc2119>MUST</em> raise an
393  (MAY or MUST), #dt-compat for compatibility,  <code>INVALID_CHARACTER_ERR</code> exception <span class=ed>@@ ref</span>
394  #dt-interop for interoperability</p></div>  if <var>name</var> is <em>not</em> a legal <code>Name</code> according to
395    the <abbr>XML</abbr> version in use, as specified in the
396    <code>xmlVersion</code> attribute of the <code>Document</code> node.</p>
397    
398  </div>  <div class="note memo">
399    <p>Non$B!>(B<abbr>XML</abbr> case is intentionally left unspecified for now,
400  <div class=section id=parsing-xml>  since <abbr>DOM3</abbr> specification <span class=ed>@@ ref</span> does not
401  <h2>Parsing <abbr>XML</abbr> Document</h2>  define it for <code>Document</code> methods.</p>
402    
403  <ul>  <p><var>name</var> does not have to be a namespace qualified name.</p>
404  <li>If the <abbr>XML</abbr> document does not begin with an  </div>
405  <abbr>XML</abbr> declaration, then raise an  
406  <a href="#xml-misc-recommentation" id=xmr-xml-decl><code>xml-misc-recommendation</code></a>.</li>  </div>
407  <li>If the replacement text of an entity declaration is  
408  <code>&lt;</code>, then raise an  <div class=section id=section-documenttypedefinition>
409  <a href="#xml-misc-warning" id=xmw-entity-value-lt><code>xml-misc-warning</code></a>.<!--  <h3>The <code>DocumentTypeDefinition</code> Interface</h3>
410  "strongly advised to avoid" in a Note in Section 2.3 of [XML10], [XML11].  
411  --></li>  <pre class=idl><code>interface <dfn id=DocumentTypeDefinition><code>DocumentTypeDefinition</code></dfn> {
412  <li>If there is an element type declaration whose <code>Name</code>    readonly attribute NamedNodeMap <a href="#elementTypes">elementTypes</a>;
413  value is already declared, then raise an    readonly attribute NamedNodeMap <a href="#generalEntities">generalEntities</a>;
414  <a href="#xml-validity-error" id=vc-edunique><code>xml-validity-error</code></a>.</li>    readonly attribute NamedNodeMap <a href="#notations">notations</a>;
415  <li>If attribute definition whose <code>Name</code> is  
416  <code>xml:space</code> has <span class=ed>declared type different from    <a href="#ElementTypeDefinition">ElementTypeDefinition</a> <a href="#getElementTypeDefinitionNode">getElementTypeDefinitionNode</a>
417  (default|preserve), (default), or (preserve)</span>, then raise an      (in DOMString <a href="#getElementTypeDefinitionNode-name"><var>name</var></a>);
418  <a href="#xml-misc-error" id=xme-ad-xml-space><code>xml-misc-error</code></a>.    <a href="#Entity">Entity</a> <a href="#getGeneralEntityNode">getGeneralEntityNode</a>
419  <span class=ed>@@ duplication with      (in DOMString <a href="#getGeneralEntityNode-name"><var>name</var></a>);
420  <a href="#xml-at-xml-space">#xml-at-xml-space</a>.<!--    <a href="#Notation">Notation</a> <a href="#getNotationNode">getNotationNode</a>
421  <!ATTLIST e xml:space CDATA #IMPLIED xml:space CDATA #IMPLIED> --></span></li>      (in DOMString <a href="#getNotationNode-name"><var>name</var></a>);
422  <li>If an empty-element tag is used for an element which is <em>not</em>  
423  declared <code>EMPTY</code>, then raise an    void <a href="#setElementTypeDefinitionNode">setElementTypeDefinitionNode</a>
424  <a href="#xml-misc-recommentation" id=xmr-emptyelemtag-not-empty><code>xml-misc-recommendation</code></a>.</li>      (in DOMString <a href="#setElementTypeDefinitionNode-node"><var>node</var></a>)
425  <li>If an empty-element tag is <em>not</em> used for an element which is      raises (DOMException);
426  declared <code>EMPTY</code>, then raise an    void <a href="#setGeneralEntityNode">setGeneralEntityNode</a>
427  <a href="#xml-misc-recommentation" id=xmr-empty-not-emptyelemtag><code>xml-misc-recommendation</code></a>.</li>      (in DOMString <a href="#setGeneralEntityNode-node"><var>node</var></a>)
428        raises (DOMException);
429      void <a href="#setNotationNode">setNotationNode</a>
430        (in DOMString <a href="#setNotationNode-node"><var>node</var></a>)
431        raises (DOMException);
432    }</code></pre>
433    
434    <pre class=ed>
435    [1] In an implementation that supports the
436    [CODE(URI)@en[[[http://suika.fam.cx/www/2006/feature/XDoctype]]]]
437    feature, a [CODE(DOMi)@en[[[DocumentType]]]] node
438    must implement the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]]
439    interface.  See [[DOM XML Document Type Definition]>>3] for
440    details.
441    </pre>
442    
443    <dl>
444    <dt><dfn id=elementTypes class=dom-attr><code>elementTypes</code></dfn> of
445    type <code>NamedNodeMap</code>, read$B!>(Bonly</dt>
446      <dd><p>A live <code>NamedNodeMap</code> object that contains all the element
447      type definitions belonging to the <code>DocumentType</code> node.</p>
448    
449      <p>On getting, the attribute <em class=rfc2119>MUST</em> return the
450      <code>NamedNodeMap</code> object that contains all the
451      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>
452      nodes belonging to the <code>DocumentType</code> node.  The
453      <code>NamedNodeMap</code> object <em class=rfc2119>MUST</em> be read$B!>(Bonly
454      if and only if the node is read$B!>(Bonly.  The <code>NamedNodeMap</code>
455      object <em class=rfc2119>MUST</em> be live and the same object
456      <em class=rfc2119>MUST</em> be returned for any invocation.</p>
457    
458      <p>If the <code>DocumentType</code> node is created during the process
459      to create a <abbr>DOM</abbr> from an <abbr>XML</abbr> document, the following
460      requirements are applied:  The <code>NamedNodeMap</code> object in the
461      <a href="#elementTypes"><code>elementType</code></a> attribute
462      <em class=rfc2119>MUST</em> be so transformed that the object contains
463      the <code>ElementTypeDefinition</code> nodes for the element types
464      whose name is presented as the <code>Name</code> of the element type or
465      attribute definition list declarations processed by the <abbr>XML</abbr>
466      processor.  If there is more than one element type declarations for an
467      element type, then the declarations other than the first one
468      <em class=rfc2119>MUST</em> be ignored for the purpose of constructing the
469      <code>NamedNodeMap</code> object.</p></dd>
470    <dt><dfn id=generalEntities class=dom-attr><code>generalEntities</code></dfn>
471    of type <code>NamedNodeMap</code>, read$B!>(Bonly</dt>
472      <dd><p>A live <code>NamedNodeMap</code> object that contains all the general
473      entities belonging to the <code>DocumentType</code> node.</p>
474      
475      <p>On getting, the attribute <em class=rfc2119>MUST</em> return the
476      same value as the <code>entities</code> attribute (defined in the
477      <code>DocumentType</code> interface) of the same node.</p>
478    
479      <div class="note memo">
480        <p>This attribute is part of the interface for historical reason.</p>
481      </div></dd>
482  <!--  <!--
483    All entities declared in the document type definition
484  #vc-PEinMarkupDecl Validity constraint: Proper Declaration/PE Nesting  contained in or referenced from the document entity
485  #wfc-PEinInternalSubset Well-formedness constraint: PEs in Internal Subset  might not be exposed through this collection, depending
486  #ExtSubset Well-formedness constraint: External Subset  on the information provided by the XML processor for
487  #PE-between-Decls Well-formedness constraint: PE Between Declarations  the DOM implementation.  In particular, it might not
488  #GIMatch Well-formedness constraint: Element Type Match  contain any entity if entity references are expanded
489  #uniqattspec Well-formedness constraint: Unique Att Spec  at the parse time.  An implementation [['''MUST NOT''']]
490  #NoExternalRefs Well-formedness constraint: No External Entity References  expose an [CODE(DOMi)@en[[[Entity]]]] node whose [CODE(DOMa)@en[[[nodeName]]]]
491  #CleanAttrVals Well-formedness constraint: No < in Attribute Values  is equal to the name of one of five predefined general entities in
492  #vc-PEinGroup Validity constraint: Proper Group/PE Nesting  XML through the collection as the result of parsing of an XML
493  "For interoperability, if a parameter-entity reference appears in a choice, seq, or Mixed construct, its replacement text SHOULD contain at least one non-blank character, and neither the first nor last non-blank character of the replacement text SHOULD be a connector (| or ,)."  document that has no error.  Duplicate entity declarations are also discarded.
494  "For interoperability, an XML processor MAY at user option issue a warning when more than one attribute-list declaration is provided for a given element type, or more than one attribute definition is provided for a given attribute, but this is not an error."  
495  #condsec-nesting Validity constraint: Proper Conditional Section/PE Nesting  The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]]
496  #wf-Legalchar Well-formedness constraint: Legal Character  object that contains all the [CODE(DOMi)@en[[[Entity]]]] nodes
497  #textent Well-formedness constraint: Parsed Entity  representing general entities belong to the node.  The returned
498  #norecursion Well-formedness constraint: No Recursion  [CODE(DOMi)@en[[[NamedNodeMap]]]] object [['''MUST''']] be read-only if and only if
499  #indtd Well-formedness constraint: In DTD  the node is read-only. Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live
500  "External parsed entities SHOULD each begin with a text declaration."  and therefore any change of read-only flag on the node is immediately
501  "It is an error for a reference to an unparsed entity to appear in the EntityValue in an entity declaration."  reflected by that of the object.
502  #UniqueNotationName Validity constraint: Unique Notation Name  -->
503    <dt><dfn id=notations class=dom-attr><code>notations</code></dfn> of type
504  @@ Need detailed review, but maybe should be in parsing phase  <code>notations</code>, read$B!>(Bonly</code>
505      <dd><p>A live <code>NamedNodeMap</code> object that contains all the
506  #vc-check-rmd Validity constraint: Standalone Document Declaration    notations belonging to the <code>DocumentType</code> node.</p>
507      
508  @@ Need dtailed review    <p>On getting, the attribute <em class=rfc2119>MUST</em> return the
509      same value as the <code>notations</code> attribute (defined in the
510  #wf-entdeclared Well-formedness constraint: Entity Declared    <code>DocumentType</code> interface) of the same node.</p>
511  #vc-entdeclared Validity constraint: Entity Declared  
512  "For interoperability, valid documents SHOULD declare the entities amp, lt, gt, apos, quot, in the form specified in 4.6 Predefined Entities."    <div class="note memo">
513  "If the entities lt or amp are declared, they MUST be declared as internal entities whose replacement text is a character reference to the respective character (less-than sign or ampersand) being escaped; the double escaping is REQUIRED for these entities so that references to them produce a well-formed result. If the entities gt, apos, or quot are declared, they MUST be declared as internal entities whose replacement text is the single character being escaped (or a character reference to that character; the double escaping here is OPTIONAL but harmless)."      <p>This attribute is part of the interface for historical reason.</p>
514        <p>Implementations are not required to implement the
515  @@ flaged and then reported in DOM check phase      <code>notations</code> attribute twice (for <code>DocumentType</code>
516        and <code>DocumentTypeDefinition</code> interfaces); they share exactly
517  "Entities encoded in UTF-16 MUST and entities encoded in UTF-8 MAY begin with the Byte Order Mark"      same definition.</p>
518  "In the absence of external character encoding information (such as MIME headers), parsed entities which are stored in an encoding other than UTF-8 or UTF-16 MUST begin with a text declaration"    </div></dd>
519  "In an encoding declaration, the values "UTF-8", "UTF-16", "ISO-10646-UCS-2", and "ISO-10646-UCS-4" SHOULD be used for the various encodings and transformations of Unicode / ISO/IEC 10646, the values "ISO-8859-1", "ISO-8859-2", ... "ISO-8859-n" (where n is the part number) SHOULD be used for the parts of ISO 8859, and the values "ISO-2022-JP", "Shift_JIS", and "EUC-JP" SHOULD be used for the various encoded forms of JIS X-0208-1997. It is RECOMMENDED that character encodings registered (as charsets) with the Internet Assigned Numbers Authority [IANA-CHARSETS], other than those just listed, be referred to using their registered names; other encodings SHOULD use names starting with an "x-" prefix."  <!--
520    If the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] node is
521  @@ in parsing phase  created from an XML document, duplicate notation declarations, if any, in DTD
522    [['''MUST NOT''']] result in a node in the [CODE(DOMi)@en[[[NamedNodeMap]]]]
523  "It is a fatal error when an XML processor encounters an entity with an encoding that it is unable to process. It is a fatal error if an XML entity is determined (via default, encoding declaration, or higher-level protocol) to be in a certain encoding but contains byte sequences that are not legal in that encoding."  object and only the first declaration [['''MUST''']] be
524    made available as a [CODE(DOMi)@en[[[Notation]]]] node.
525    
526    ;; This definition is based on one for the
527    [CODE(DOMa)@en[[[notations]]]] attribute of the
528    [CODE(DOMi)@en[[[DocumentType]]]] interface in DOM XML module.
529    Since duplication is violation to the Validity Constraint,
530    XML parsers might vary on how notations are notified to
531    the application.  In particular, [CODE(InfoProp)@en[[[notations]]]]
532    property of the document information item in XML Information Set
533    is so defined that in case ''any'' notation is declared for
534    multiple times then the property has no value.
535    
536    The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]]
537    object that contains all the [CODE(DOMi)@en[[[Notation]]]] nodes
538    representing notations belong to the node.  The returned
539    [CODE(DOMi)@en[[[NamedNodeMap]]]] object [['''MUST''']] be read-only if and only if
540    the node is read-only. Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live
541    and therefore any change of read-only flag on the node is immediately
542    reflected by that of the object.
543  -->  -->
 </ul>  
 </div>  
   
 <div class="section" id=checking-dom>  
 <h2>Checking <abbr>DOM</abbr></h2>  
   
 <p>The following algorithms and definitions are applied to  
 <abbr>XML</abbr> documents; especially, they are not applied  
 to <abbr>HTML</abbr> documents.<!-- TODO: ref to HTML5 --></p>  
   
 <div class=section id=definitions>  
 <h3>Definitions</h3>  
   
 <p>The <dfn id=xml-version><abbr>XML</abbr> version</dfn> of a node is  
 the <abbr>XML</abbr> version of the document to which the node belongs.  
 For a <code>Documemt</code> node, the <abbr>XML</abbr> version  
 of the document is the value of the <code>xmlVersion</code>  
 attribute of the node.  For a <code>DocumentType</code> node whose  
 <code>ownerDocument</code> attribute is set to <code>null</code>,  
 the <abbr>XML</abbr> version of the document is <code>1.0</code><!--  
 since createDocumentType [DOM3CORE] assumes XML 1.0 [XML10TE] -->.  
 For any other node, the <abbr>XML</abbr> version of the document  
 is that of the <code>Document</code> node contained in the  
 <code>ownerDocument</code> attribute of the node.</p>  
   
 </div>  
   
   
 <div class=section id=checking-components>  
 <h3>Conformance Checking Algorithms for Components</h3>  
   
 <p>To  
 <dfn id=algorithm-to-validate-an-xml-character-data title="validate an XML string">to  
 validate an <abbr>XML</abbr> string (<dfn id=var-s><var>s</var></dfn>)</dfn>,  
 the following algorithm <em class=rfc2119>MUST</em> be used:</p>  
 <ol>  
 <li>If <var>s</var> contains a character that is <em>not</em> in  
 the character class <a href="#class-Char10"><code>Char10</code></a>,  
 then raise an  
 <a href="#xml-well-formedness-error" id=wfe-illegal-char><code>xml-well-formedness-error</code></a>.</li>  
 <li>If <var>s</var> contains a character that is in the character  
 class <a href="#class-CompatChar10"><code>CompatChar10</code></a>,  
 then raise an  
 <a href="#xml-misc-warning" id=xmw-compat-char><code>xml-misc-warning</code></a>.</li>  
 <li>If <var>s</var> contains a character that is in the character  
 class <a href="#class-ControlChar10"><code>ControlChar10</code></a>,  
 then raise an  
 <a href="#xml-misc-warning" id=xmw-control-char><code>xml-misc-warning</code></a>.</li>  
 <li class=ed>@@ XML 1.1 support</li>  
 <li>If <var>s</var> contains a <code class=char>U+000D</code>  
 <code class=charname>CARRIAGE RETURN</code> character, then  
 raise a  
 <a href="#round-trip-error" id=rte-cr><code>round-trip-error</code></a>.  
 <span class=ed>@@ We should not raise duplicate errors for U+000D  
 in attribute values.  In addition, we should support a mode where  
 U+000D will be serialized as &#x000D; (so that no round-trip-error  
 will be raised).</span></li>  
 </ol>  
   
 <p>To  
 <dfn id=algorithm-to-validate-a-name title="validate a Name">validate a  
 <code>Name</code> (<dfn id=var-name-s><var>s</var></dfn>)</dfn>, the following  
 algorithm <em class=rfc2119>MUST</em> be used:</p>  
 <ol>  
 <li>If <var>s</var> is an empty string, then raise an  
 <a href="#xml-well-formedness-error" id=wfe-name-empty><code>xml-well-formedness-error</code></a>.  
 Abort these steps.</li>  
 <li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate  
 <var>s</var> as an <abbr>XML</abbr> string</a>.</li>  
 <li>If the first character in <var>s</var> is a character that is  
 <em>not</em> in the character class  
 <a href="#class-NameStartChar10"><code>NameStartChar10</code></a>, then raise  
 an  
 <a href="#xml-well-formedness-error" id=wfe-name-startchar><code>xml-well-formedness-error</code></a>.</li>  
 <li>If a character other than the first character in <var>s</var> is a  
 character that is <em>not</em> in the character class  
 <a href="#class-NameChar10"><code>NameChar10</code></a>, then raise an  
 <a href="#xml-well-formedness-error" id=wfe-name-char><code>xml-well-formedness-error</code></a>.</li>  
 <li>If <var>s</var> begins with the string <code>xml</code> (in any  
 case combination), then raise an  
 <a href="#xml-misc-warning" id=xmw-reserved-name><code>xml-misc-warning</code></a>.  
 <span class=ed>@@ except for attribute names <code>xml:lang</code>,  
 <code>xml:space</code>, <code>xml:base</code>, <code>xml:id</code>,  
 <code>xmlns</code>, <code>xmlns:<var>*</var></code>,  
 pi name <code>xml-stylesheet</code>.</span><!--  
 "names beginning with a match to (('X'|'x')('M'|'m')('L'|'l')) are reserved for standardization in this or future versions of this specification.":  
 xmlns, xml-stylesheet, xml:base and xml:id specifications violate to this sentense!  
 --></li>  
 <!-- COLON in Name is a lowercase "should not" in a Note of [XML10],  
 [XML11]. -->  
 <li class=ed>@@ XML 1.1 support</li>  
 </ol>  
   
 <p>To  
 <dfn id=algorithm-to-validate-an-ncname title="validate an NCName">validate  
 an <code>NCName</code> (<dfn id=var-ncname-s><var>s</var></dfn>)</dfn>, the  
 following algorithm <em class=rfc2119>MUST</em> be used:</p>  
 <ol>  
 <li><a href="#algorithm-to-validate-a-name" title="validate a Name">Validate  
 <var>s</var> as a <code>Name</code></a>.</li>  
 <li class=ed>@@</li>  
 </ol>  
   
 <p>To  
 <dfn id=algorithm-to-validate-a-public-identifier title="validate a public identifier">validate  
 a public identifier (<dfn id=var-pid><var>pid</var></dfn>)</dfn>, the  
 following algorithm <em class=rfc2119>MUST</em> be used:</p>  
 <ol>  
 <li>If <var>pid</var> is <code>null</code>, abort these steps.</li>  
 <li>If <var>pid</var> contains a character that is <em>not</em> in the  
 character class <a href="#class-PubidChar"><code>PubidChar</code></a>, then  
 raise an  
 <a href="#xml-well-formedness-error" id=wfe-pubid-char><code>xml-well-formedness-error</code></a>.</li>  
   <li>If <var>pid</var> contains one of <code class=char>U+0009</code>  
   <code class=charname>CHARACTER TABULATION</code>,  
   <code class=char>U+000A</code> <code class=charname>CARRIAGE RETURN</code>,  
   and <code class=char>U+000D</code> <code class=charname>LINE FEED</code>  
   characters, if the first character of <var>pid</var> is  
   <code class=char>U+0020</code> <code class=charname>SPACE</code> character,  
   if the last character of <var>pid</var> is <code class=char>U+0020</code>  
   <code class=charname>SPACE</code> character, or if there is a  
   <code class=char>U+0020</code> <code class=charname>SPACE</code> character  
   immediately followed by another <code class=char>U+0020</code>  
   <code class=charname>SPACE</code> character in <var>pid</var>, then it is a  
   <a href="#round-trip-error" id=rte-pubid-space><code>round-trip-error</code></a>.  
   <span class=ed>Is this really a roundtripness problem?  XML spec  
   does only define the way to match public identifiers in fact, no  
   canonical form.</span></li>  
 </ol>  
   
 <p>To  
 <dfn id=algorithm-to-validate-a-system-identifier title="validate a system identifier">validate  
 a system identifier (<dfn id=var-sid><var>sid</var></dfn>)</dfn>, the  
 following algorithm <em class=rfc2119>MUST</em> be used:</p>  
 <ol>  
   <li>If <var>sid</var> is <code>null</code>, abort these steps.</li>  
 <li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate  
 <var>sid</var> as an <abbr>XML</abbr> string</a>.</li>  
   <li>If <var>sid</var> contains both <code class=char>U+0022</code>  
   <code class=charname>QUOTATION MARK</code> (<code class=char>"</code>) and  
   <code class=char>U+0027</code> <code class=charname>APOSTROPHE</code>  
   (<code class=char>'</code>) characters, raise an  
   <a href="#xml-well-formedness-error" id=wfe-sid-lit><code>xml-well-formedness-error</code></a>.</li>  
   <li>If <var>sid</var> contains at least one <code class=char>U+0023</code>  
   <code class=charname>NUMBER SIGN</code> (<code class=char>#</code>)  
   character, then raise an  
   <a href="#xml-misc-error" id=xme-sid-fragment><code>xml-misc-error</code></a>.</li>  
   <li class=ed>@@ If <var>sid</var> cannot be converted to a URI  
   reference, then raise a fact-level error (xml-misc-warning?).<!--  
   XML 1.0 has no conformance language for system identifier being  
   a URI reference. --></li>  
 </ol>  
544    
545  </div>  <dt class=ed>@@ other members...
546    </dl>
547    
548  <div class=section id=checking-node>  <div class=ed>
549  <h3>Checking <code>Node</code></h3>  <p>A future version of this interface might define the
550    <code>parameterEntities</code> and getter/setter for parameter entities.
551    </div>
552    
553    </div>
554    
555    <div class=section id=section-elementtypedefinition>
556    <h3>The <code>ElementTypeDefinition</code> Interface</h3>
557    
558    <pre class=idl><code>interface <dfn id=ElementTypeDefinition><code>ElementTypeDefinition</code></dfn> : <a href="#Node">Node</a> {
559      readonly attribute <a href="#ownerDocumentTypeDefinition">ownerDocumentTypeDefinition</a>;
560    
561      <span class=ed>@@ more</span>
562    }</code></pre>
563    
564    <pre class=ed>** Modifications to [CODE(DOMi)@en[[[Node]]]] members
565    
566    [3] The getter of the [CODE(DOMa)@en[[[attributes]]]] attribute
567    of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] object
568    [['''MUST''']] return [CODE(IDL)@en[[[null]]]].
569    
570    [4] The getter of the [CODE(DOMa)@en[[[baseURI]]]] attribute
571    of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] object
572    [['''MUST''']] return the [CODE(DOMa)@en[[[baseURI]]]]
573    of the [CDOE(DOMa)@en[[[ownerDocument]]]] of the
574    [CODE(DOMi)@en[[[ElementTypeDefinition]]]] object.
575    Note that it might be [CODE(IDL)@en[[[null]]]].
576    
577    [1] The getter of the [CODE(DOMa)@en[[[nodeName]]]] attribute
578    of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] object
579    [['''MUST''']] return the name of the element type.
580    
581    [2] The getters of the [CODE(DOMa)@en[[[nodeValue]]]]
582    and [CODE(DOMa)@en[[[textContent]]]] attributes
583    of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]]
584    object [['''MUST''']] return [CODE(IDL)@en[[[null]]]].
585    
586    ;; Thus, the setter of these attributes do nothing.
587    
588    The setter of the [CODE(DOMa)@en[[[textContent]]]]
589    attribute of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]]
590    object [['''MUST NOT''']] throw a
591    [CODE(DOMc)@en[[[NO_MODIFICATION_ALLOWED_ERR]]]].
592    
593    ** The [CODE(DOMi)@en[ElementTypeDefinition]] Interface
594    
595    [5] The
596    [DFN@en[[CODE(DOMa)@en[[[ownerDocumentTypeDefinition]]]] attribute]]
597    of the [CODE(DOMi)@en[[[ElementTypeDefinition]]]]
598    interface is defined in [[manakai//DOM Extensions]>>50].</pre>
599    </div>
600    
601    <div class=section id=section-attributedefinition>
602    <h3>The <code>AttributeDefinition</code> Interface</h3>
603    
604    <pre class=idl><code>interface <dfn id=AttributeDefinition><code>AttributeDefinition</code></dfn> : <a href="#Node">Node</a> {
605      <span class=comment>// <a href="#DeclaredValueType">DeclaredValueType</a></span>
606      const unsigned short <a href="#NO_TYPE_ATTR">NO_TYPE_ATTR</a> = 0;
607      const unsigned short <a href="#CDATA_ATTR">CDATA_ATTR</a> = 1;
608      const unsigned short <a href="#ID_ATTR">ID_ATTR</a> = 2;
609      const unsigned short <a href="#IDREF_ATTR">IDREF_ATTR</a> = 3;
610      const unsigned short <a href="#IDREFS_ATTR">IDREFS_ATTR</a> = 4;
611      const unsigned short <a href="#ENTITY_ATTR">ENTITY_ATTR</a> = 5;
612      const unsigned short <a href="#ENTITIES_ATTR">ENTITIES_ATTR</a> = 6;
613      const unsigned short <a href="#NMTOKEN_ATTR">NMTOKEN_ATTR</a> = 7;
614      const unsigned short <a href="#NMTOKENS_ATTR">NMTOKENS_ATTR</a> = 8;
615      const unsigned short <a href="#NOTATION_ATTR">NOTATION_ATTR</a> = 9;
616      const unsigned short <a href="#ENUMERATION_ATTR">ENUMERATION_ATTR</a> = 10;
617      const unsigned short <a href="#UNKNOWN_ATTR">UNKNOWN_ATTR</a> = 11;
618      
619      readonly attribute <a href="#ElementTypeDefinition">ElementTypeDefinition</a> <a href="#ownerElementTypeDefinition">ownerElementTypeDefinition</a>;
620    
621      readonly attribute unsigned short <a href="#declaredType">declaredType</a>;
622      readonly attribute unsigned short <a href="#defaultType">defaultType</a>;
623    
624      <span class=ed>...</span>
625    }</code></pre>
626    
627    <pre class=ed>** Modifications to [CODE(DOMi)@en[[[Node]]]] members
628    
629    [3] The getter of the [CODE(DOMa)@en[[[attributes]]]] attribute
630    of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object
631    [['''MUST''']] return [CODE(IDL)@en[[[null]]]].
632    
633    [9] The getter of the [CODE(DOMa)@en[[[baseURI]]]] attribute
634    of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object
635    [['''MUST''']] return the [CODE(DOMa)@en[[[baseURI]]]]
636    of the [CDOE(DOMa)@en[[[ownerDocument]]]] of the
637    [CODE(DOMi)@en[[[AttributeDefinition]]]] object.
638    Note that it might be [CODE(IDL)@en[[[null]]]].
639    
640    [1] The getter of the [CODE(DOMa)@en[[[nodeName]]]] attribute
641    of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object
642    [['''MUST''']] return the name of the attribute.
643    
644    [2] The getter of the [CODE(DOMa)@en[[[nodeValue]]]] attribute
645    of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object
646    [['''MUST''']] return the normalized default value
647    of the attribute.
648    
649    @@
650    
651    [4] The getter of the [CODE(DOMa)@en[[[textContent]]]]
652    attribute of an [CODE(DOMi)@en[[[AttributeDefinition]]]]
653    object [['''MUST''']] behave as if it were an
654    [CODE(DOMi)@en[[[Attr]]]] object.
655    
656    The setter of the [CODE(DOMa)@en[[[textContent]]]] attribute
657    of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object
658    [['''MUST''']] behave as if the following algorithm
659    is performed:
660    = If the [CODE(DOMi)@en[[[AttributeDefinition]]]]
661    object is read-only, then throw an
662    [CODE(DOMc)@en[[[NO_MODIFICATION_ALLOWED_ERR]]]].
663    = Remove any child node the node has.
664    = If the new value is not empty and not [CODE(IDL)@en[[[null]]]],
665    then create a [CODE(DOMi)@en[[[Text]]]] node
666    whose [CODE(DOMa)@en[[[data]]]] is the new value
667    and append it to the [CODE(DOMi)@en[[[AttributeDefinition]]]].
668    </pre>
669    
670    <dl>
671    <dt><dfn id=ownerElementTypeDefinition class=dom-attr><code>ownerElementTypeDefinition</code></dfn>
672    of type
673    <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>,
674    read$B!>(Bonly</dt>
675      <dd><p>The
676      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> to
677      which the <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>
678      node belongs.</p>
679    
680      <p>On getting, the attribute <em class=rfc2119>MUST</em> return an
681      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> node.
682      It <em class=rfc2119>MUST</em> be such a node that whose
683      <a href="#attributeDefinitons"><code>attributeDefinitions</code></a>
684      attribute contains the <code>NamedNodeMap</code> object that contains
685      the <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>
686      node.  If there is no such an
687      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> node,
688      then <code>null</code> <em class=rfc2119>MUST</em> be returned.</p>
689    <dt><dfn id=declaredType class=dom-attr><code>declaredType</code></dfn> of type
690    <code>unsigned short</code></dt>
691      <dd><p>The declared type <span class=ed>@@ ref</span> of the attribute.
692      It is expected that this attribute contains a value from the definition group
693      <a href="#DeclaredValueType"><code>DeclaredValueType</code></a>.</p>
694    
695      <p>On getting, the attribute <em class=rfc2119>MUST</em> return the
696      value associated to this attribute.</p>
697    
698      <p>On setting, the attribute <em class=rfc2119>MUST</em> raise a
699      <code>NO_MODIFICATION_ALLOWED_ERR</code> <span class=ed>@@ ref</span>
700      exception if the
701      <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node
702      is read$B!>(Bonly <span class=ed>@@ ref</span>.  Otherwise, it
703      <em class=rfc2119>MUST</em> set the specified value as the value
704      associated to this attribute.</p>
705    
706      <p>If the <code>AttributeDefinition</code> node is created during the process
707      to create a <abbr>DOM</abbr> from an <abbr>XML</abbr> document, an
708      appropriate value from the
709      <a href="#DeclaredValueType"><code>DeclaredValueType</code></a> constant
710      group <em class=rfc2119>MUST</em> be set to the attribute.</p>
711    
712      <!-- DeclaredValueType -->
713    <p>The definition group
714    <dfn id=DeclaredValueType><code>DeclaredValueType</code></dfn> contains
715    integers indicating the declared type of attributes.  The definition
716    group contains the following constants:</p>
717    
718    <table>
719    <thead>
720    <tr><th scope=col>Name<th scope=col>Value<th scope=col>Description</tr>
721    </thead>
722    <tbody>
723    <tr>
724    <th scope=row><dfn id=NO_TYPE_ATTR class=dom-const><code>NO_TYPE_ATTR</code>
725    <td><code>0</code><td>No value <span class=ed>[INFOSET]</span>.</tr>
726    <tr>
727    <th scope=row><dfn id=CDATA_ATTR class=dom-const><code>CDATA_ATTR</code>
728    <td><code>1</code><td><code>CDATA</code> <span class=ed>[XML]</span>.</tr>
729    <tr>
730    <th scope=row><dfn id=ID_ATTR class=dom-const><code>ID_ATTR</code>
731    <td><code>2</code><td><code>ID</code> <span class=ed>[XML]</span>.</tr>
732    <tr>
733    <th scope=row><dfn id=IDREF_ATTR class=dom-const><code>IDREF_ATTR</code>
734    <td><code>3</code><td><code>IDREF</code> <span class=ed>[XML]</span>.</tr>
735    <tr>
736    <th scope=row><dfn id=IDREFS_ATTR class=dom-const><code>IDREFS_ATTR</code>
737    <td><code>4</code><td><code>IDREFS</code> <span class=ed>[XML]</span>.</tr>
738    <tr>
739    <th scope=row><dfn id=ENTITY_ATTR class=dom-const><code>ENTITY_ATTR</code>
740    <td><code>5</code><td><code>ENTITY</code> <span class=ed>[XML]</span>.</tr>
741    <tr>
742    <th scope=row><dfn id=ENTITIES_ATTR class=dom-const><code>ENTITIES_ATTR</code>
743    <td><code>6</code><td><code>ENTITIES</code> <span class=ed>[XML]</span>.</tr>
744    <tr>
745    <th scope=row><dfn id=NMTOKEN_ATTR class=dom-const><code>NMTOKEN_ATTR</code>
746    <td><code>7</code><td><code>NMTOKEN</code> <span class=ed>[XML]</span>.</tr>
747    <tr>
748    <th scope=row><dfn id=NMTOKENS_ATTR class=dom-const><code>NMTOKENS_ATTR</code>
749    <td><code>8</code><td><code>NMTOKENS</code> <span class=ed>[XML]</span>.</tr>
750    <tr>
751    <th scope=row><dfn id=NOTATION_ATTR class=dom-const><code>NOTATION_ATTR</code>
752    <td><code>9</code><td><code>NOTATION</code> <span class=ed>[XML]</span>.</tr>
753    <tr>
754    <th scope=row><dfn id=ENUMERATION_ATTR class=dom-const><code>ENUMERATION_ATTR</code>
755    <td><code>10</code><td>Enumeration <span class=ed>[XML]</span>.</tr>
756    <tr>
757    <th scope=row><dfn id=UNKNOWN_ATTR class=dom-const><code>UNKNOWN_ATTR</code>
758    <td><code>11</code><td>Unknown, because no declaration for the attribute
759    has been read but the [all declaration processed] property
760    <span class=ed>[INFOSET]</span> would be false.</tr>
761    </tbody>
762    </table>
763    
764    <p>If no attribute type information is available, or if the source
765    of the information does not distinguish <q>no value</q> and <q>unknown</q>
766    <span class=ed>[INFOSET]</span>, then the value
767    <a href="#NO_TYPE_ATTR"><code>NO_TYPE_ATTR</code></a>
768    <em class=rfc2119>MUST</em> be used.</p>
769    
770  <p>The algorithm <dfn title="to check a node" id=algorithm-to-check-a-node>to  <div class="note memo">
771  check a node (<dfn id=var-n><var>n</var></dfn>)</dfn> is defined as  <p>An <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node
772  following:</p>  created by the
773  <dl class=switch>  <a href="#createAttributeDefinition"><code>createAttributeDefinition</code></a>
774  <dt>If <var>n</var> is an <code>Attr</code> node</dt>  method has its <a href="#declaredType"><code>declaredType</code></a> attribute
775    <dd>  set to <a href="#NO_TYPE_ATTR"><code>NO_TYPE_ATTR</code></a>.</p>
776      <ol>  </div>
777      <li><a href="#algorithm-to-validate-an-ncname">Validate the  
778      <code>localName</code> attribute value as an <code>NCName</code></a>.</li>  <p>If the source of the information does not distinguish <q>no value</q>
779      <li>If the <code>prefix</code> attribute value is different from  and/or <q>unknown</q> <span class=ed>[INFOSET]</span> and
780      <code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate  <code>CDATA</code> <span class=ed>[XML]</span>, then the value
781      the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li>  <a href="#CDATA_ATTR"><code>CDATA_ATTR</code></a> <em class=rfc2119>MUST</em>
782      <li>For each node <dfn id=var-attr-nc><var>n<sub><var>c</var></sub></var></dfn> in the  be used.</p>
783      <code>childNodes</code> list of <var>n</var>,  
784        <ol>  <p>In Perl binding <span class=ed>[PERLBINDING]</span>, the
785        <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a  <code>Attr</code> nodes <em class=rfc2119>MUST</em> implement the
786        <code>Text</code> or <code>EntityReference</code> node, then it is an  <a href="#DeclaredValueType"><code>DeclaredValueType</code></a>
787        <a href="#xml-well-formedness-error" id=wfe-attr-child><code>xml-well-formedness-error</code></a>.</li>  definition group.</p>
788        <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an  
789        <code>EntityReference</code> node, then it is an    </dd>
790        <a href="#entity-error" id=ee-attr-er><code>entity-error</code></a>.</li>  <dt><dfn id=defaultType class=dom-attr><code>defaultType</code></dfn> of
791        <li>Otherwise,  type <code>unsigned short</code></dt>
792        <a href="#algorithm-to-check-a-node" title="check a node">check    <dd><p>The type of the default for the attribute.  It is expected that this
793        <var>n<sub><var>c</var></sub></var></a> recusrively.</li>    attribute contains a value from the definition group
794        </ol></li>    <a href="#DefaultValueType"><code>DefaultValueType</code></a>.</p>
795      <li>If <code>nodeName</code> attribute of <var>n</var> is  
796      <code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span>    <p>On getting, the attribute <em class=rfc2119>MUST</em> return
797      and <code>value</code> attribute of <var>n</var> is neither    the value associated to this attribute.</p>
798      <code>default</code> nor <code>preserve</code>, then it is an  
799      <a href="#xml-misc-error" id=xme-attr-xml-space><code>xml-misc-error</code></a>.<!--    <p>On setting, the attribute <em class=rfc2119>MUST</em> raise a
800      Note that <!ATTLIST e xml:space (default|preserve) "a">...    <code>NO_MODIFICATION_ALLOWED_ERR</code> <span class=ed>@@ ref</span>
801      <e xml:space="default"/> is conforming and valid. --></li>    exception if the
802      <li class=ed>@@ xml:lang value is not a language tag [RFC 3066 or its    <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node
803      successor] or an empty string, then xml-misc-warning    is read$B!>(Bonly <span class=ed>@@ ref</span>.  Otherwise, it
804      (a "fact"-level error; not an XML error).</li>    <em class=rfc2119>MUST</em> set the specified value as the value
805      <li class=ed>@@ <code>specified</code>,    associated to this attribute.</p>
806      <code>manakaiAttributeType</code> (#ValueType Validity constraint: Attribute Value Type)</li>  
807      <!-- xml:space MUST be declared to be valid. -->    <p>If the
808      <li>Let <dfn id=var-v><var>v</var></dfn> be the value of the    <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node is
809      attribute <code>value</code> of <var>n</var>.</li>    created during the process to create a <abbr>DOM</abbr> from an
810      <li>Validate the <var>n</var> against the <span class=ed>declared    <abbr>XML</abbr> document, an appropriate value from the
811      type</span> as following:    <a href="#DefaultValueType"><code>DefaultValueType</code></a> definition
812        <dl class=switch>    group <em class=rfc2119>MUST</em> be set to the attribute.</p>
813        <dt class=ed><code>ID_ATTR</code></dt>  
814          <dd>    <!-- DefaultValueType -->
815            <ol>    <p>The definition group
816            <li><span class=ed>Validate <var>v</var> as an    <dfn id=DefaultValueType><code>DefaultValueType</code></dfn>
817            <code>Name</code>.</span>  If it fails, then raise an    contains integers indicating the type of the default for the attribute.
818            <a href="#xml-validity-error" id=vc-id-name><code>xml-validity-error</code></a>.</li>    The definition group contains the following constans:</p>
819            <li><span class=ed>If <code>ID</code> <var>v</var> is defined,</span>  
820            then raise an      <table>
821            <a href="#xml-validity-error" id=vc-id-duplication><code>xml-validity-error</code></a>.</li>    <thead>
822            </ol>    <tr><th scope=col>Name<th scope=col>Value<th scope=col>Description</tr>
823          </dd>    </thead>
824        <dt class=ed>IDREF_ATTR</dt>    <tbody>
825          <dd>    <tr>
826            <ol>    <th scope=row><dfn id=UNKNOWN_DEFAULT class=dom-const><code>UNKNOWN_DEFAULT</code></dfn>
827            <li><span class=ed>Validate <var>v</var> as an    <td><code>0</code><td>Unknown.</tr>
828            <code>Name</code>.</span>  If it fails, then raise an    <tr>
829            <a href="#xml-validity-error" id=vc-idref-name><code>xml-validity-error</code></a>.</li>    <th scope=row><dfn id=FIXED_DEFAULT class=dom-const><code>FIXED_DEFAULT</code></dfn>
830            <li><span class=ed>If <code>ID</code> <var>v</var> is NOT    <td><code>1</code><td>Provided explicitly and fixed
831            defined,</span> then raise an      <span class=ed>@@ ref</span> to that value.</tr>
832            <a href="#xml-validity-error" id=vc-idref-match><code>xml-validity-error</code></a>.</li>    <tr>
833            </ol>    <th scope=row><dfn id=REQUIRED_DEFAULT class=dom-const><code>REQUIRED_DEFAULT</code></dfn>
834          </dd>    <td><code>2</code><td>No default value and the attribute have to be
835        <dt class=ed>IDREFS_ATTR</dt>    explicitly specified.</tr>
836          <dd class=ed>@@</dd>    <tr>
837        <dt class=ed>ENTITY_ATTR</dt>    <th scope=row><dfn id=IMPLIED_DEFAULT class=dom-const><code>IMPLIED_DEFAULT</code></dfn>
838          <dd>    <td><code>3</code><td>Implied <span class=ed>@@ ref</span>.</tr>
839            <ol>    <tr>
840            <li><span class=ed>Validate <var>v</var> as an    <th scope=row><dfn id=EXPLICIT_DEFAULT class=dom-const><code>EXPLICIT_DEFAULT</code></dfn>
841            <code>Name</code>.</span>  If it fails, then raise an    <td><code>4</code><td>Provided explicitly.</tr>
842            <a href="#xml-validity-error" id=vc-entname-name><code>xml-validity-error</code></a>.</li>    </tbody>
843            <li><span class=ed>If <code>Entity</code> <var>v</var> is NOT    </table>
844            defined,</span> then raise an    
845            <a href="#xml-validity-error" id=vc-entname-match><code>xml-validity-error</code></a>.</li>    <p>If the source of the default type does not distinguish
846            </ol>    implied and unknown default types, then the value
847          </dd>    <a href="#IMPLIED_DEFAULT"><code>IMPLIED_DEFAULT</code></a>
848        <dt class=ed>ENTITIES_ATTR</dt>    <em class=rfc2119>MUST</em> be used.</p>
849          <dd class=ed>@@</dd>  
850        <dt class=ed>NMTOKEN_ATTR</dt>    <div class="note memo">
851          <dd>    <p>An <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>
852            <ol>    node created by the
853            <li><span class=ed>Validate <var>v</var> as an    <a href="#createAttributeDefinition"><code>createAttributeDefinition</code></a>
854            <code>Nmtoken</code>.</span>  If it fails, then raise an    method has its <a href="#defaultType"><code>defaultType</code></a>
855            <a href="#xml-validity-error" id=vc-nmtok-name><code>xml-validity-error</code></a>.</li>    attribute set to
856            </ol>    <a href="#UNKNOWN_DEFAULT"><code>UNKNOWN_DEFAULT</code></a>.</p>
857          </dd>    </div></dd>
       <dt class=ed>NMTOKENS_ATTR</dt>  
         <dd class=ed>@@</dd>  
       <dt class=ed>NOTATION_ATTR</dt>  
         <dd class=ed><var>v</var> must be one of enumerated values.  
         If not, then raise an  
         <a href="#xml-validity-error" id=vc-notatn-match><code>xml-validity-error</code></a>.</dd>  
       <dt class=ed>ENUMERATED_ATTR</dt>  
         <dd class=ed><var>v</var> must be one of enumerated values.  
         If not, then raise an  
         <a href="#xml-validity-error" id=vc-enum><code>xml-validity-error</code></a>.</dd>  
       <dt class=ed>@@</dt>  
       </dl>  
     </li>  
     <li>If <span class=ed>type ID and default is NOT #IMPLIED or #REQUIRED</span>, then  
     raise an  
     <a href="#xml-validity-error" id=vc-id-default><code>xml-validity-error</code></a>.</li>  
     <li class=ed>@@ #FixedAttr Validity constraint: Fixed Attribute Default</li>  
     <li class=ed>@@ strict serialization error for U+000D, U+000A, and  
     U+0009 characters, leading/trailing U+0020, and U+0020{2,} string?</li>  
     </ol>  
   </dd>  
 <dt>If <var>n</var> is an <code>AttributeDefinition</code> node</dt>  
   <dd>  
     <ol>  
     <li class=ed></li>  
     <li>If <code>nodeName</code> attribute of <var>n</var> is  
     <code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span>  
     and <span class=ed>its declared type is different from (default|preserve),  
     (default), or (preserve)</span>, then raise an  
     <a href="#xml-misc-error" id=xme-at-xml-space><code>xml-misc-error</code></a>.</li>  
     <li>For each node <dfn id=var-ad-nc><var>n<sub><var>c</var></sub></var></dfn> in the  
     <code>childNodes</code> list of <var>n</var>,  
       <ol>  
       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a  
       <code>Text</code> or <code>EntityReference</code> node, then it is an  
       <a href="#xml-well-formedness-error" id=wfe-at-child><code>xml-well-formedness-error</code></a>.</li>  
       <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an  
       <code>EntityReference</code> node, then it is an  
       <a href="#entity-error" id=ee-at-er><code>entity-error</code></a>.</li>  
       <li>Otherwise,  
       <a href="#algorithm-to-check-a-node" title="check a node">check  
       <var>n<sub><var>c</var></sub></var></a> recusrively.</li>  
       </ol></li>  
     <li class=ed>If <code>NOTATION_ATTR</code>, enumerated values MUST  
     be declared.  If not, then raise an  
     <a href="#xml-validity-error" id=vc-notatn-declared><code>xml-validity-error</code></a>.</li>  
     <li class=ed>If <code>NOTATION_ATTR</code> or <code>ENUMERATED_ATTR</code>,  
     values MUST all be distinct.  If not, then raise an  
     <a href="#xml-validity-error" id=vc-no-duplicate-tokens><code>xml-validity-error</code></a>.</li>  
     <li class=ed>If <code>NOTATION_ATTR</code> on an <code>EMPTY</code>  
     element, then raise an  
     <a href="#xml-validity-error" id=vc-no-notation-empty><code>xml-validity-error</code></a>.</li>  
     <li class=ed>@@ #defattrvalid Validity constraint: Attribute Default Value Syntactically Correct</li>  
     </ol>  
   </dd>  
 <dt>If <var>n</var> is a <code>CDATASection</code> node</dt>  
   <dd>  
     <ol>  
     <li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate the  
     <code>data</code> attribute value as an <abbr>XML</abbr> character  
     data</a>.</li>  
     <li>If the <code>data</code> attribute value contains  
     a string <code>]]></code>, then raise an  
     <a href="#xml-well-formedness-error" id=wfe-cs-mse><code>xml-well-formedness-error</code></a>.<!-- "for compatibility" --></li>  
     <li>If the <code>childNodes</code> list of <var>n</var> contains  
     any nodes, they are in  
     <a href="#xml-well-formedness-error" id=wfe-cs-child><code>xml-well-formedness-error</code></a>.</li>  
     </ol>  
   </dd>  
 <dt>If <var>n</var> is a <code>Comment</code> node</dt>  
   <dd>  
     <ol>  
     <li>Raise an  
     <a href="#round-trip-warning" id=rtw-comment><code>round-trip-warning</code></a>.</li>  
     <li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate the  
     <code>data</code> attribute value as an <abbr>XML</abbr> character  
     data</a>.</li>  
     <li>If the <code>data</code> attribute value contains  
     a string <code>--</code>, or if it ends with a character  
     <code>-</code>, then raise an  
     <a href="#xml-well-formedness-error" id=wfe-comment-com><code>xml-well-formedness-error</code></a>.<!--  
     "for compatibility" --></li>  
     <li>If the <code>childNodes</code> list of <var>n</var> contains  
     any nodes, they are in  
     <a href="#xml-well-formedness-error" id=wfe-comment-child><code>xml-well-formedness-error</code></a>.</li>  
     </ol>  
   </dd>  
 <dt>If <var>n</var> is a <code>Document</code> node</dt>  
   <dd>  
     <ol>  
     <li>If <a href="#xml-version"><abbr>XML</abbr> version</a> of <var>n</var>  
     is different from <code>1.0</code> or <code>1.1</code>,  
     then it is an <code class=ed>unknown-error?</code>.</li>  
     <li>If the <code>xmlEncoding</code> attribute value does <em>not</em>  
     match to <code>[A-Za-z] ([A-Za-z0-9._] | '-')*</code>  
     <span class=ed>@@ formal def</span>, then it is an  
     <a href="#xml-well-formedness-error" id=wfe-encoding><code>xml-well-formedness-error</code></a>.</li>  
     <li>The <code>childNodes</code> list of <var>n</var> have to  
     consist of zero or more <code>Comment</code> and/or  
     <code>ProcessingInstruction</code> nodes, followed by  
     an optional <code>DocumentType</code> node, followed  
     by zero or more <code>Comment</code> and/or  
     <code>ProcessingInstruction</code> nodes, followed by  
     an <code>Element</code> node, followed  
     by zero or more <code>Comment</code> and/or  
     <code>ProcessingInstruction</code> nodes.  Any violation to this is an  
     <a href="#xml-well-formedness-error" id=wfe-document-child><code>xml-well-formedness-error</code></a>.</li>  
     <li>For each node <dfn id=var-document-nc><var>n<sub><var>c</var></sub></var></dfn>  
     in the <code>childNodes</code> list of <var>n</var>,  
       <ol>  
       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an  
       <code>EntityReference</code> node, then  
       <a href="#algorithm-to-check-a-node" title="check a node">check  
       <var>n<sub><var>c</var></sub></var></a> recursively.</li>  
       </ol></li>  
     <li class=ed>@@ <code>allDeclarationsProcessed</code></li>  
     </ol>  
   </dd>  
 <dt>If <var>n</var> is a <code>DocumentFragment</code> node</dt>  
   <dd>  
     <ol>  
     <li>For each node <dfn id=var-df-nc><var>n<sub><var>c</var></sub></var></dfn>  
     in the <code>childNodes</code> list of <var>n</var>,  
       <ol>  
       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an  
       <code>Element</code>, <code>Text</code>, <code>CDATASection</code>,  
       <code>Comment</code>, <code>ProcessingInstruction</code>, or  
       <code>EntityReference</code> node, then it is an  
       <a href="#xml-well-formedness-error" id=wfe-df-child><code>xml-well-formedness-error</code></a>.</li>  
       <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an  
       <code>EntityReference</code> node, then it is an  
       <a href="#entity-error" id=ee-df-er><code>entity-error</code></a>.</li>  
       <li>Otherwise,  
       <a href="#algorithm-to-check-a-node" title="check a node">check  
       <var>n<sub><var>c</var></sub></var></a> recursively.</li>  
       </ol></li>  
     </ol>  
   </dd>  
 <dt>If <var>n</var> is a <code>DocumentType</code> node</dt>  
   <dd>  
     <ol>  
     <li><a href="#algorithm-to-validate-an-ncname">Validate the  
     <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>  
     <li>Follow the following substeps:  
       <ol>  
       <li>If <code>ownerDocument</code> attribute of <var>n</var> is  
       <code>null</code>, then abort these substeps.</li>  
       <li>If <code>documentElement</code> attribute of the node  
       set to <code>ownerDocument</code> attribute of <var>n</var> is  
       <code>null</code>, then abort these substeps.</li>  
       <li>If <code>nodeName</code> attribute of the node set to  
       <code>documentElement</code> attribute of the node set to  
       <code>ownerDocument</code> attribute of <var>n</var> is  
       different from <code>nodeName</code> of <var>n</var>,  
       then raise an  
       <a href="#xml-validity-error" id=vc-roottype><code>xml-validity-error</code></a>.</li></li>  
       </ol>  
     </li>  
     <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate  
     the <code>publicId</code> attribute value as a public identifier</a>.</li>  
     <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate  
     the <code>systemId</code> attribute value as a system identifier</a>.</li>  
     <li>If the <code>publicId</code> attribute value of <var>n</var> is  
     <em>not</em> <code>null</code> and the <code>systemId</code> attribute  
     value of <var>n</var> is <code>null</code>, then raise an  
     <a href="#xml-well-formedness-error" id=wfe-dt-sid><code>xml-well-formedness-error</code></a>.  
     <span class=ed>@@ publicId == null?  Or, publicId == ""</span></li>  
     <li>For each node <dfn id=var-dt-nc><var>n<sub><var>c</var></sub></var></dfn>  
     in the <code>childNodes</code> list of <var>n</var>,  
       <ol>  
       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a  
       <code>ProcessingInstruction</code> node, then it is an  
       <a href="#xml-well-formedness-error" id=wfe-dt-child><code>xml-well-formedness-error</code></a>.  
       <span class=ed>@@ ref to manakai's extensions</span></li>  
       <li>Otherwise, <!-- if n_c is not an EntityReference node, -->  
       <a href="#algorithm-to-check-a-node" title="check a node">check  
       <var>n<sub><var>c</var></sub></var></a> recusrively.</li>  
       </ol></li>  
     <li>For each node in the <code>entities</code>, <code>notations</code>,  
     and <code>elementTypes</code> lists of <var>n</var>,  
     <a href="#algorithm-to-check-a-node" title="check a node">check the  
     node</a> recursively.</li>  
     <li class=ed>@@ externally declared?</li>  
     </ol>  
   </dd>  
 <dt>If <var>n</var> is an <code>Element</code> node</dt>  
   <dd>  
     <ol>  
     <li><a href="#algorithm-to-validate-an-ncname">Validate the  
     <code>localName</code> attribute value as an <code>NCName</code></a>.</li>  
     <li>If the <code>prefix</code> attribute value is different from  
     <code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate  
     the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li>  
     <li>For each node <dfn id=var-element-nc><var>n<sub><var>c</var></sub></var></dfn>  
     in the <code>childNodes</code> list of <var>n</var>,  
       <ol>  
       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an  
       <code>Element</code>,  
       <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,  
       <code>ProcessingInstruction</code>, or  
       <code>EntityReference</code> node, then it is an  
       <a href="#xml-well-formedness-error" id=wfe-element-child><code>xml-well-formedness-error</code></a>.</li>  
       <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an  
       <code>EntityReference</code> node, then it is an  
       <a href="#entity-error" id=ee-element-er><code>entity-error</code></a>.</li>  
       <li>Otherwise,  
       <a href="#algorithm-to-check-a-node" title="check a node">check  
       <var>n<sub><var>c</var></sub></var></a> recursively.</li>  
       </ol></li>  
     <li class=ed>@@ #elementvalid Validity constraint: Element Valid</li>  
     <li>Let <var>attrs</var> be the value of the <code>attribute</code>  
     attribute of <var>n</var>.  Check conformance of <var>attrs</var>  
     as following:  
       <ol>  
       <li>If <var>attrs</var> contains an <code>Attr</code> node whose  
       <code>nodeName</code> attribute value is equal to that of another  
       <code>Attr</code> node in <var>attrs</var>, then raise an  
       <a href="#xml-well-formedness-error" id=wfe-uniqattspec><code>xml-well-formedness-error</code></a>.<!--  
       #uniqattspec Well-formedness constraint: Unique Att Spec --></li>  
       <li class=ed>@@ #RequiredAttr Validity constraint: Required Attribute</li>  
       </ol>  
     </li>  
     </ol>  
   </dd>  
 <dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt>  
   <dd>  
     <ol>  
     <li class=ed></li>  
     <li>If the <code>childNodes</code> list of <var>n</var> contains  
     any nodes, they are in  
     <a href="#xml-well-formedness-error" id=wfe-et-child><code>xml-well-formedness-error</code></a>.</li>  
     <li class=ed>@@ <q cite="http://www.w3.org/TR/2006/REC-xml-20060816/#elemdecls">At user option, an XML processor MAY issue a warning when a declaration mentions an element type for which no declaration is provided, but this is not an error.</q></li>  
     <li class=ed>@@ <q cite="http://www.w3.org/TR/2006/REC-xml-20060816/#sec-element-content">For compatibility, it is an error if the content model allows an element to match more than one occurrence of an element type in the content model. </q></li>  
     <li class=ed>@@ #vc-MixedChildrenUnique  
     Validity constraint: No Duplicate Types</li>  
     <li class=ed>@@ <q cite="http://www.w3.org/TR/2006/REC-xml-20060816/#attdecls">At user option, an XML processor MAY issue a warning if attributes are declared for an element type not itself declared, but this is not an error.</q></li>  
     <li>If there is more than one <code>AttributeDefinition</code> node  
     with <span class=ed>attribute type <code>ID</code></span> in the  
     <code>NamedNodeMap</code> list contained in the  
     <code>attributeDefinitions</code> attribute of <var>n</var>, then raise an  
     <a href="#xml-validity-error" id=vc-one-id-per-el><code>xml-validity-error</code></a>.</li>  
     <li>If there is more than one <code>AttributeDefinition</code> node  
     with <span class=ed>attribute type <code>NOTATION</code></span> in the  
     <code>NamedNodeMap</code> list contained in the  
     <code>attributeDefinitions</code> attribute of <var>n</var>, then raise an  
     <a href="#xml-validity-error" id=vc-one-notation-per><code>xml-validity-error</code></a>.</li>  
     <li class=ed>"For interoperability, the same Nmtoken  SHOULD NOT occur more than once in the enumerated attribute types of a single element type."</li>  
     </ol>  
   </dd>  
 <dt>If <var>n</var> is an <code>Entity</code> node whose  
 <code>notationName</code> attribute value is <code>null</code> (i.e. a  
 parsed entity)</dt>  
   <dd>  
     <ol>  
     <li>Raise an  
     <a href="#entity-error" id=ee-entity-node><code>entity-error</code></a>.</li>  
     <li><a href="#algorithm-to-validate-an-ncname">Validate the  
     <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>  
     <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate  
     the <code>publicId</code> attribute value as a public identifier</a>.</li>  
     <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate  
     the <code>systemId</code> attribute value as a system identifier</a>.</li>  
     <li>If the <code>publicId</code> attribute value of <var>n</var> is  
     <em>not</em> <code>null</code> and the <code>systemId</code> attribute  
     value of <var>n</var> is <code>null</code>, then raise an  
     <a href="#xml-well-formedness-error" id=wfe-entity-sid><code>xml-well-formedness-error</code></a>.</li>  
     <li>For each node <dfn id=var-entity-nc><var>n<sub><var>c</var></sub></var></dfn>  
     in the <code>childNodes</code> list of <var>n</var>,  
       <ol>  
       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an  
       <code>Element</code>,  
       <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,  
       <code>ProcessingInstruction</code>, or <code>EntityReference</code>  
       node, then it is an  
       <a href="#xml-well-formedness-error" id=wfe-entity-child><code>xml-well-formedness-error</code></a>.</li>  
       <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an  
       <code>EntityReference</code> node, then it is an  
       <a href="#entity-error" id=ee-er-er><code>entity-error</code></a>.</li>  
       <li>Otherwise,  
       <a href="#algorithm-to-check-a-node" title="check a node">check  
       <var>n<sub><var>c</var></sub></var></a> recursively.</li>  
       </ol></li>  
     </ol>  
   </dd>  
 <dt>If <var>n</var> is an <code>Entity</code> node whose  
 <code>notationName</code> attribute value is <em>not</em> <code>null</code>  
 (i.e. an unparsed entity)</dt>  
   <dd>  
     <ol>  
     <li><a href="#algorithm-to-validate-an-ncname">Validate the  
     <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>  
     <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate  
     the <code>publicId</code> attribute value as a public identifier</a>.</li>  
     <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate  
     the <code>systemId</code> attribute value as a system identifier</a>.</li>  
     <li>If the <code>systemId</code> attribute value of <var>n</var> is  
     <code>null</code>, then raise an  
     <a href="#xml-well-formedness-error" id=wfe-uentity-sid><code>xml-well-formedness-error</code></a>.</li>  
     <li><a href="#algorithm-to-validate-an-ncname">Validate the  
     <code>notationName</code> attribute value of <var>n</var> as an  
     <code>NCName</code></a>.</li>  
     <li class=ed>@@ #not-declared Validity constraint: Notation Declared</li>  
     <li>If the <code>childNodes</code> list of <var>n</var> contains  
     any nodes, they are in  
     <a href="#xml-well-formedness-error" id=wfe-uentity-child><code>xml-well-formedness-error</code></a>.</li>  
     </ol>  
   </dd>  
 <dt>If <var>n</var> is an <code>EntityReference</code> node</dt>  
   <dd>  
     <ol>  
     <li>An <a href="#entity-error" id=ee-er-node><code>entity-error</code></a>.</li>  
     <li><a href="#algorithm-to-validate-an-ncname">Validate the  
     <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>  
     <li>For each node <dfn id=var-er-nc><var>n<sub><var>c</var></sub></var></dfn>  
     in the <code>childNodes</code> list of <var>n</var>,  
       <ol>  
       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an  
       <code>Element</code>,  
       <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,  
       <code>ProcessingInstruction</code>, or <code>EntityReference</code>  
       node, then it is an  
       <a href="#xml-well-formedness-error" id=wfe-er-child><code>xml-well-formedness-error</code></a>.</li>  
       <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is <em>not</em> an  
       <code>EntityReference</code> node, then it is an  
       <a href="#entity-error" id=ee-entity-er><code>entity-error</code></a>.</li>  
       <li>Otherwise,  
       <a href="#algorithm-to-check-a-node" title="check a node">check  
       <var>n<sub><var>c</var></sub></var></a> recursively.</li>  
       </ol></li>  
     </ol>  
   </dd>  
 <dt>If <var>n</var> is a <code>Notation</code> node</dt>  
   <dd>  
     <ol>  
     <li><a href="#algorithm-to-validate-an-ncname">Validate the  
     <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>  
     <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate  
     the <code>publicId</code> attribute value as a public identifier</a>.</li>  
     <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate  
     the <code>systemId</code> attribute value as a system identifier</a>.</li>  
     <li>If the <code>childNodes</code> list of <var>n</var> contains  
     any nodes, they are in  
     <a href="#xml-well-formedness-error" id=wfe-notation-child><code>xml-well-formedness-error</code></a>.</li>  
     </ol>  
   </dd>  
 <dt>If <var>n</var> is a <code>ProcessingInstruction</code> node</dt>  
   <dd>  
     <ol>  
     <li>If the <code>target</code> attribute value matches to the string  
     <code>xml</code> in any case combination, then raise a  
     <a href="#xml-well-formedness-error" id=wfe-pi-xml><code>xml-well-formedness-error</code></a>.</li>  
     <li>Otherwise, <a href="#algorithm-to-validate-an-ncname">validate the  
     <code>target</code> attribute value as an <code>NCName</code></a>.</li>  
     <li>Then,  
     <a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">validate  
     the <code>data</code> attribute value as an <abbr>XML</abbr> character  
     data</a>.</li>  
     <li>If the <code>data</code> attribute value contains a string  
     <code>?></code>, then raise a  
     <a href="#xml-well-formedness-error" id=wfe-pi-pic><code>xml-well-formedness-error</code></a>.</li>  
     <li>If the <code>data</code> attribute value starts with either  
     <code class=char>U+0009</code> <code class=charname>CHARACTER  
     TABULATION</code>, <code class=char>U+000A</code> <code class=charname>LINE  
     FEED</code>, <code class=char>U+000D</code> <code class=charname>CARRIAGE  
     RETURN</code>, or <code class=char>U+0020</code>  
     <code class=charname>SPACE</code> character, then raise a  
     <a href="#round-trip-error" id=rte-pi-s><code>round-trip-error</code></a>.</li>  
     <li>If the <code>childNodes</code> list of <var>n</var> contains  
     any nodes, then raise an  
     <a href="#xml-well-formedness-error" id=wfe-pi-child><code>xml-well-formedness-error</code></a>.</li>  
     </ol>  
   </dd>  
 <dt>If <var>n</var> is a <code>Text</code> node</dt>  
   <dd>  
     <ol>  
     <li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate the  
     <code>data</code> attribute value as an <abbr>XML</abbr> character  
     data</a>.</li>  
     <li>If the <code>childNodes</code> list of <var>n</var> contains  
     any nodes, they are in  
     <a href="#xml-well-formedness-error" id=wfe-text-child><code>xml-well-formedness-error</code></a>.</li>  
     </ol>  
   </dd>  
 <dt>Otherwise</dt>  
   <dd><span class=ed>xml-well-formedness-error?  unknown-error?</span></dd>  
858  </dl>  </dl>
859    
860  </div>  </div>
861    
862  </div>  <div class=section id=section-documenttype>
863    <h3>Modifications to the <code id=DocumentType>DocumentType</code>
864  <div id=classes class=section>  Interface</h3>
865  <h2>Character Classes</h2>  
866    <p>A <a href="#DocumentType"><code>DocumentType</code></a> interface
867    <em class=rfc2119>MAY</em> contain zero or more
868    <a href="#ProcessingInstruction"><code>ProcessingInstruction</code></a>
869    nodes in the <code>NodeList</code> object contained in the
870    <code>childNodes</code> attribute of the
871    <a href="#DocumentType"><code>DocumentType</code></a> node.</p>
872    
873    <p>If the <a href="#DocumentType"><code>DocumentType</code></a> node is created
874    during the process to create a <abbr>DOM</abbr> from an <abbr>XML</abbr>
875    document, the <code>NodeList</code> object in the <code>childNodes</code>
876    object <em class=rfc2119>MUST</em> contains the
877    <a href="#ProcessingInstruction"><code>ProcessingInstruction</code></a>
878    nodes representing the processing instructions in the document type
879    definition of the document processed <span class=ed>@@ ref</span> by
880    the <abbr>XML</abbr> processor.  If the
881    <a href="#DocumentType"><code>DocumentType</code></a> node is marked
882    as read$B!>(Bonly, then all the child nodes <em class=rfc2119>MUST</em>
883    also be marked as read$B!>(Bonly.</p>
884    
885    <p>If a <a href="#DocumentType"><code>DocumentType</code></a> node is created
886    from a document type declaration information item <span class=ed>@@ ref</span>,
887    the <code>NodeList</code> object in the <code>childNodes</code> attribute
888    of the node <em class=rfc2119>MUST</em> contain the
889    <a href="#ProcessingInstruction"><code>ProcessingInstruction</code></a> nodes
890    created from the processing instruction information items in the list in the
891    [children] property of the document type declaration item in the same
892    order.</p>
893    
894    <p>If a <a href="#DocumentType"><code>DocumentType</code></a> node is mapped to
895    a document type declaration information item, the list in the [children]
896    property <em class=rfc2119>MUST</em> contain the processng instruction
897    information items created from the
898    <a href="#ProcessingInstruction"><code>ProcessingInstruction</code></a> nodes
899    in the <code>NodeList</code> object in the <code>childNodes</code> attribute
900    of the <a href="#DocumentType"><code>DocumentType</code></a> node.</p>
901    
902    <pre class=idl><code>// Modifications to the DocumentType interface
903      attribute DOMString <a href="#publicId">publicId</a>;
904      attribute DOMString <a href="#systemId">systemId</a>;
905    
906      attribute DOMString <a href="#internalSubset">internalSubset</a>;
907    </code></pre>
908    
909    <p>The <code id=publicId>publicId</code> attribute and the
910    <code id=systemId>systemId</code> attribute of
911    <a href="#DocumentType"><code>DocumentType</code></a>,
912    <a href="#Entity"><code>Entity</code></a>, and
913    <a href="#Notation"><code>Notation</code></a> interfaces are no longer
914    read$B!>(Bonly.</p>
915    
916    <p>On setting, the attribute <em class=rfc2119>MUST</em> raise a
917    <code>NO_MODIFICATION_ALLOWED_ERR</code> <span class=ed>@@ ref</span>
918    exception if the node is read$B!>(Bonly <span class=ed>@@ ref</span>.  
919    Otherwise, it <em class=rfc2119>MUST</em> set the specified value as the value
920    associated to the attribute.  No normalization, relative reference resolution,
921    or lexical validation is performed. <span class=ed>@@ If the new
922    value is <code>null</code>, ...</span></p>
923    
 <p>This section defines a couple of character classes.  
 These classes are referred to by algorithms specified above.</p>  
   
 <p>Character class <dfn id=class-Char10><code>Char10</code></dfn>  
 contains the following characters:</p>  
 <ul>  
 <li><code class=char>U+0009</code> <code class=charname>CHARACTER  
 TABULATION</code></li>  
 <li><code class=char>U+000A</code> <code class=charname>LINE FEED</code></li>  
 <li><code class=char>U+000D</code> <code class=charname>CARRIAGE  
 RETURN</code></li>  
 <li><code class=char>U+0020</code> <code class=charname>SPACE</code>  
 .. <code class=char>U+D7FF</code></li>  
 <li><code class=char>U+E000</code> .. <code class=char>U+FFFD</code>  
 <code class=charname>REPLACEMENT CHARACTER</code></li>  
 <li><code class=char>U+10000</code> .. <code class=char>U+10FFFF</code></li>  
 </ul>  
924  <div class="note memo">  <div class="note memo">
925  <p>This character class contains all characters allowed in the production rule  <p>Setting an invalid identifier might make the node unserializable.
926  <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Char"><code>Char</code></a>  Setting a public identifier while leaveing system identifier unspecified
927  of <abbr>XML</abbr> 1.0  would also make the <a href="#DocumentType"><code>DocumentType</code></a>
928  <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>  or <a href="#Entity"><code>Entity</code></a> node unserializable.</p>
929  </div>  </div>
930    
931    <div class=ed>
932    <p>ISSUE: In HTML5, Firefox 1.5, and Opera 9, not specifying public or system identifier results in empty strings.</p>
933    </div>
934    
935    <p>The <code id=internalSubset>internalSubset</code> attribute of the
936    <a href="#DocumentType"><code>DocumentType</code></a> interface is no longer
937    read$B!>(Bonly.</p>
938    
939    <p>On setting, the attribute <em class=rfc2119>MUST</em> raise a
940    <code>NO_MODIFICATION_ALLOWED_ERR</code> <span class=ed>@@ ref</span>
941    exception if the node is read$B!>(Bonly <span class=ed>@@ ref</span>.  
942    Otherwise, it <em class=rfc2119>MUST</em> set the specified value as the value
943    associated to the attribute.  No normalization, or lexical validation is
944    performed. <span class=ed>@@ If the new value is <code>null</code>,
945    ...</span></p>
946    
 <p>Character class <dfn id=class-CompatChar10><code>CompatChar10</code></dfn>  
 contains the following characters:</p>  
 <ul>  
 <li class=ed>@@ <q>Document authors are encouraged to avoid "compatibility characters", as defined in section 6.8 of [Unicode @@ Unicode 2.0 @@] (see also D21 in section 3.6 of [Unicode3]).</q></li>  
 </ul>  
   
 <p>Character class <dfn id=class-ControlChar10><code>ControlChar10</code></dfn>  
 contains the following characters:</p>  
 <ul>  
 <li><code class=char>U+007F</code> <code class=charname>DELETE</code> ..  
 <code class=char>U+0084</code> <code class=charname>INDEX</code></li>  
 <li><code class=char>U+0086</code> <code class=charname>START OF SELECTED  
 AREA</code> .. <code class=char>U+009F</code> <code class=charname>APPLICATION  
 PROGRAM COMMAND</code></li>  
 <li><code class=char>U+FDD0</code> .. <code class=char>U+FDEF</code></li>  
 <li><code class=char>U+1FFFE</code> .. <code class=char>U+1FFFF</code></li>  
 <li><code class=char>U+2FFFE</code> .. <code class=char>U+2FFFF</code></li>  
 <li><code class=char>U+3FFFE</code> .. <code class=char>U+3FFFF</code></li>  
 <li><code class=char>U+4FFFE</code> .. <code class=char>U+4FFFF</code></li>  
 <li><code class=char>U+5FFFE</code> .. <code class=char>U+5FFFF</code></li>  
 <li><code class=char>U+6FFFE</code> .. <code class=char>U+6FFFF</code></li>  
 <li><code class=char>U+7FFFE</code> .. <code class=char>U+7FFFF</code></li>  
 <li><code class=char>U+8FFFE</code> .. <code class=char>U+8FFFF</code></li>  
 <li><code class=char>U+9FFFE</code> .. <code class=char>U+9FFFF</code></li>  
 <li><code class=char>U+AFFFE</code> .. <code class=char>U+AFFFF</code></li>  
 <li><code class=char>U+BFFFE</code> .. <code class=char>U+BFFFF</code></li>  
 <li><code class=char>U+CFFFE</code> .. <code class=char>U+CFFFF</code></li>  
 <li><code class=char>U+DFFFE</code> .. <code class=char>U+DFFFF</code></li>  
 <li><code class=char>U+EFFFE</code> .. <code class=char>U+EFFFF</code></li>  
 <li><code class=char>U+FFFFE</code> .. <code class=char>U+FFFFF</code></li>  
 <li><code class=char>U+10FFFE</code> .. <code class=char>U+10FFFF</code></li>  
 </ul>  
 <div class="note memo">  
 <p>This character class contains the characters listed in the Note in  
 <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#charsets">Section 2.2</a>  
 of <abbr>XML</abbr> 1.0  
 <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>,  
 as amended by  
 <a href="http://www.w3.org/XML/xml-V10-4e-errata#E02">errata</a>.</p>  
947  </div>  </div>
948    
 <p>The character class <dfn id=class-NameStartChar10><code>NameStartChar10</code></dfn>  
 contains the following characters:</p>  
 <ul class=ed>  
 </ul>  
 <div class="note memo">  
 <p>This character class contains all characters allowed as the first character  
 of a string matching to the production rule  
 <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Name"><code>Name</code></a>  
 of <abbr>XML</abbr> 1.0  
 <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>  
949  </div>  </div>
950    
 <p>The character class <dfn id=class-NameChar10><code>NameChar10</code></dfn>  
 contains the following characters:</p>  
 <ul>  
 <li>The characters in the character class  
 <a href="#class-NameStartChar10">NameStartChar10</a>.</li>  
 <li class=ed></li>  
 </ul>  
 <div class="note memo">  
 <p>This character class contains all characters allowed as the second  
 character of a string matching to the production rule  
 <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Name"><code>Name</code></a>  
 of <abbr>XML</abbr> 1.0  
 <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>  
 </div>  
951    
 <p>The character class <dfn id=class-PubidChar><code>PubidChar</code></dfn>  
 contains the following characters:</p>  
 <ul>  
 <li><code class=char>U+0009</code> <code class=charname>CHARACTER  
 TABULATION</code></li>  
 <li><code class=char>U+000A</code> <code class=charname>LINE FEED</code></li>  
 <li><code class=char>U+000D</code> <code class=charname>CARRIAGE  
 RETURN</code></li>  
 <li><code class=char>U+0020</code> <code class=charname>SPACE</code></li>  
 <li><code class=char>U+0021</code> <code class=charname>EXCLAMATION MARK</code>  
 (<code class=char>!</code>)</li>  
 <li><code class=char>U+0023</code> <code class=charname>DOLLAR SIGN</code>  
 (<code class=char>$</code>)</li>  
 <li><code class=char>U+0024</code> <code class=charname>NUMBER SIGN</code>  
 (<code class=char>#</code>)</li>  
 <li><code class=char>U+0025</code> <code class=charname>PERCENT SIGN</code>  
 (<code class=char>%</code>)</li>  
 <li><code class=char>U+0027</code> <code class=charname>APOSTROPHE</code>  
 (<code class=char>'</code>)</li>  
 <li><code class=char>U+0028</code> <code class=charname>LEFT PARENTHESIS</code>  
 (<code class=char>(</code>)</li>  
 <li><code class=char>U+0029</code> <code class=charname>RIGHT  
 PARENTHESIS</code> (<code class=char>)</code>)</li>  
 <li><code class=char>U+002A</code> <code class=charname>ASTERISK</code>  
 (<code class=char>*</code>)</li>  
 <li><code class=char>U+002B</code> <code class=charname>PLUS SIGN</code>  
 (<code class=char>+</code>)</li>  
 <li><code class=char>U+002C</code> <code class=charname>COMMA</code>  
 (<code class=char>,</code>)</li>  
 <li><code class=char>U+002D</code> <code class=charname>HYPHEN-MINUS</code>  
 (<code class=char>-</code>)</li>  
 <li><code class=char>U+002E</code> <code class=charname>FULL STOP</code>  
 (<code class=char>.</code>)</li>  
 <li><code class=char>U+002F</code> <code class=charname>SOLIDUS</code>  
 (<code class=char>/</code>)</li>  
 <li><code class=char>U+0030</code> <code class=charname>DIGIT ZERO</code>  
 (<code class=char>0</code>) .. <code class=char>U+0039</code>  
 <code class=charname>DIGIT NINE</code> (<code class=char>9</code>)</li>  
 <li><code class=char>U+003A</code> <code class=charname>COLON</code>  
 (<code class=char>:</code>)</li>  
 <li><code class=char>U+003B</code> <code class=charname>SEMICOLON</code>  
 (<code class=char>;</code>)</li>  
 <li><code class=char>U+003D</code> <code class=charname>EQUAL SIGN</code>  
 (<code class=char>=</code>)</li>  
 <li><code class=char>U+003F</code> <code class=charname>QUESTION MARK</code>  
 (<code class=char>?</code>)</li>  
 <li><code class=char>U+0040</code> <code class=charname>COMMERCIAL AT</code>  
 (<code class=char>@</code>)</li>  
 <li><code class=char>U+0041</code> <code class=charname>LATIN CAPITAL LETTER  
 A</code> (<code class=char>A</code>) .. <code class=char>U+005A</code>  
 <code class=charname>LATIN CAPITAL LETTER Z</code>  
 (<code class=char>Z</code>)</li>  
 <li><code class=char>U+005F</code> <code class=charname>LOW LINE</code>  
 (<code class=char>_</code>)</li>  
 <li><code class=char>U+0061</code> <code class=charname>LATIN CAPITAL LETTER  
 A</code> (<code class=char>A</code>) .. <code class=char>U+007A</code>  
 <code class=charname>LATIN CAPITAL LETTER Z</code>  
 (<code class=char>Z</code>)</li>  
 </ul>  
 <div class="note memo">  
 <p>This character class contains all characters allowed in the production rule  
 <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-PubidChar"><code>PubidChar</code></a>  
 of <abbr>XML</abbr> 1.0  
 <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>  
 </div>  
952    
953  </div>  
954    
955  <div id="references" class="section reference">  <div id="references" class="section reference">
956  <h2>References</h2>  <h2>References</h2>
Legend:
Removed from v.1.1  
changed lines
  Added in v.1.13
admin@suikawiki.org
 ViewVC Help
Powered by ViewVC 1.1.24