/[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.15 by wakaba, Tue Dec 4 10:43:12 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    <p class=ed><var>A</var> object is an object implementing <var>A</var>
125    interface.</p>
126    
127  <div class=section id=error-categories>  <p class=ed>@@ ref to DOM Binding Spec</p>
 <h2>Error Classification</h2>  
128    
129  <p class=ed>If a <code>Document</code> node has no  <p>If the <code>strictErrorChecking</code> attribute of the
130  xml-well-formedness-error, entity-error, and unknown-error,  <code>Document</code> node is <code>false</code>, the methods are
131  then it is well-formed.  If a well-formed <code>Document</code>  not required to raise exceptions <span class=ed>[DOM3]</span>.</p>
 node has no xml-validity-error, it is valid.</p>  
   
 <div class="note memo">  
 <p>A well$B!>(Bformed <code>Document</code> can be safely serialized  
 into a well$B!>(Bformed XML document.  A valid <code>Document</code>  
 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>
   
 <p>Errors are classified into these  
 <dfn id=error-category title="error category">error categories</dfn>:</p>  
   
 <dl id=errors>  
 <dt><dfn id=entity-error><code>entity-error</code></dfn></dt>  
   <dd>  
     <p class=ed>@@</p>  
     <div class="note memo">  
       <p>This <span class=ed>algorithm</span> does not support  
       <abbr>DOM</abbr> tree with one or more <code>EntityReference</code>  
       nodes.  It is expected that any entity references are expanded  
       at the parse time and any unexpandable entity references  
       make parse time errors raised so that never result in  
       <abbr>DOM</abbr> tree with <code>EntityReference</code> nodes.</p>  
     </div>  
   </dd>  
 <dt><dfn id=round-trip-error><code>round-trip-error</code></dfn></dt>  
   <dd class=ed>@@</dd>  
 <dt><dfn id=round-trip-warning><code>round-trip-warning</code></dfn></dt>  
   <dd>  
     <p>A <a href="#round-trip-warning"><code>round-trip-warning</code></a>  
     will be raised when a construct, which might not be restored to the same  
     construct when it is serialized and then re-parsed by a conforming  
     processor, is encountered.</p>  
     <div class="example memo">  
       <p>For a <code>Comment</code> node a  
       <a href="#round-trip-warning"><code>round-trip-warning</code></a> will  
       be raised, since <abbr>XML</abbr> processors are not required to  
       report texts of comments for applications.</p>  
     </div>  
   </dd>  
 <dt class=ed><dfn id=unknown-error><code>unknown-error</code></dfn>?</dt>  
   <dd class=ed>@@</dd>  
 <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>  
   <dd>  
     <p>An  
     <a href="#xml-misc-recommendation"><code>xml-misc-recommendation</code></a>  
     will be raised if a <em class=rfc2119>SHOULD</em>$B!>(Blevel requirement  
     in <abbr>XML</abbr> specification is not met.</p>  
   </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>  
 </dl>  
   
 <div class=ed><p>@@ TODO: #dt-atuseroption at user option  
 (MAY or MUST), #dt-compat for compatibility,  
 #dt-interop for interoperability</p></div>  
   
 </div>  
   
 <div class=section id=parsing-xml>  
 <h2>Parsing <abbr>XML</abbr> Document</h2>  
136    
137    <p>The <abbr>DOM</abbr> Document Type Definition module, version 3.0,
138    consists of three interfaces:</p>
139  <ul>  <ul>
140  <li>If the <abbr>XML</abbr> document does not begin with an  <li><a href="#DocumentXDoctype"><code>DocumentXDoctype</code></a></li>
141  <abbr>XML</abbr> declaration, then raise an  <li><a href="#DocumentTypeDefinition"><code>DocumentTypeDefinition</code></a></li>
142  <a href="#xml-misc-recommentation" id=xmr-xml-decl><code>xml-misc-recommendation</code></a>.</li>  <li><a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a></li>
143  <li>If the replacement text of an entity declaration is  <li><a href="#AttributeDefinition"><code>AttributeDefinition</code></a></li>
 <code>&lt;</code>, then raise an  
 <a href="#xml-misc-warning" id=xmw-entity-value-lt><code>xml-misc-warning</code></a>.<!--  
 "strongly advised to avoid" in a Note in Section 2.3 of [XML10], [XML11].  
 --></li>  
 <li>If there is an element type declaration whose <code>Name</code>  
 value is already declared, then raise an  
 <a href="#xml-validity-error" id=vc-edunique><code>xml-validity-error</code></a>.</li>  
 <li>If attribute definition whose <code>Name</code> is  
 <code>xml:space</code> has <span class=ed>declared type different from  
 (default|preserve), (default), or (preserve)</span>, then raise an  
 <a href="#xml-misc-error" id=xme-ad-xml-space><code>xml-misc-error</code></a>.  
 <span class=ed>@@ duplication with  
 <a href="#xml-at-xml-space">#xml-at-xml-space</a>.<!--  
 <!ATTLIST e xml:space CDATA #IMPLIED xml:space CDATA #IMPLIED> --></span></li>  
 <li>If an empty-element tag is used for an element which is <em>not</em>  
 declared <code>EMPTY</code>, then raise an  
 <a href="#xml-misc-recommentation" id=xmr-emptyelemtag-not-empty><code>xml-misc-recommendation</code></a>.</li>  
 <li>If an empty-element tag is <em>not</em> used for an element which is  
 declared <code>EMPTY</code>, then raise an  
 <a href="#xml-misc-recommentation" id=xmr-empty-not-emptyelemtag><code>xml-misc-recommendation</code></a>.</li>  
 <!--  
   
 #vc-PEinMarkupDecl Validity constraint: Proper Declaration/PE Nesting  
 #wfc-PEinInternalSubset Well-formedness constraint: PEs in Internal Subset  
 #ExtSubset Well-formedness constraint: External Subset  
 #PE-between-Decls Well-formedness constraint: PE Between Declarations  
 #GIMatch Well-formedness constraint: Element Type Match  
 #uniqattspec Well-formedness constraint: Unique Att Spec  
 #NoExternalRefs Well-formedness constraint: No External Entity References  
 #CleanAttrVals Well-formedness constraint: No < in Attribute Values  
 #vc-PEinGroup Validity constraint: Proper Group/PE Nesting  
 "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 ,)."  
 "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."  
 #condsec-nesting Validity constraint: Proper Conditional Section/PE Nesting  
 #wf-Legalchar Well-formedness constraint: Legal Character  
 #textent Well-formedness constraint: Parsed Entity  
 #norecursion Well-formedness constraint: No Recursion  
 #indtd Well-formedness constraint: In DTD  
 "External parsed entities SHOULD each begin with a text declaration."  
 "It is an error for a reference to an unparsed entity to appear in the EntityValue in an entity declaration."  
 #UniqueNotationName Validity constraint: Unique Notation Name  
   
 @@ Need detailed review, but maybe should be in parsing phase  
   
 #vc-check-rmd Validity constraint: Standalone Document Declaration  
   
 @@ Need dtailed review  
   
 #wf-entdeclared Well-formedness constraint: Entity Declared  
 #vc-entdeclared Validity constraint: Entity Declared  
 "For interoperability, valid documents SHOULD declare the entities amp, lt, gt, apos, quot, in the form specified in 4.6 Predefined Entities."  
 "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)."  
   
 @@ flaged and then reported in DOM check phase  
   
 "Entities encoded in UTF-16 MUST and entities encoded in UTF-8 MAY begin with the Byte Order Mark"  
 "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"  
 "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."  
   
 @@ in parsing phase  
   
 "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."  
   
 -->  
144  </ul>  </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>  
145    
146    <p>In addition, it modifies interfaces
147    <a href="#Node"><code>Node</code></a>,
148    <a href="#DocumentType"><code>DocumentType</code></a>,
149    <a href="#Entity"><code>Entity</code></a>,
150    <a href="#EntityReference"><code>EntityReference</code></a>,
151    <a href="#Notation"><code>Notation</code></a>, and
152    <a href="#ProcessingInstruction"><code>ProcessingInstruction</code></a>.</p>
153    
154    <div class=section id=features>
155    <h3>Feature Name</h3>
156    
157    <p>In a <abbr>DOM</abbr> implementation that supports the version 3.0 of
158    the <abbr>DOM</abbr> Document Type Definition module, the
159    <code>hasFeature</code> method of a <code>DOMImplementation</code> object
160    <em class=rfc2119>MUST</em> return <code>true</code> when the parameters are
161    set to <code>http://suika.fam.cx/www/2006/feature/XDoctype</code> and
162    <code>3.0</code> respectively.</p>
163    
164    <p>In such an implementation, the <code>getFeature</code> method of a
165    <code>Document</code> object <em class=rfc2119>MUST</em> return the (at least
166    conceptually) same object implementing the
167    <a href="#DocumentXDoctype"><code>DocumentXDoctype</code></a> interface when
168    the parameters are set to
169    <code>http://suika.fam.cx/www/2006/feature/XDoctype</code> and
170    <code>3.0</code> respectively.  Likewise, any method that takes one or more
171    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>  </div>
176    
177    <div class=section id=section-node>
178    <h3>Modifications to the <code id=Node>Node</code> Interface</h3>
179    
180  <div class=section id=checking-components>  <p>The implementation of the
181  <h3>Conformance Checking Algorithms for Components</h3>  <a href="#Node"><code>Node</code></a> interface
182    <em class=rfc2119>MUST</em> be modified as following:</p>
183    <pre class=idl><code>// Additions to the Node interface
184    
185    // Additions to the NodeType definition group
186    const unsigned short <a href="#ELEMENT_TYPE_DEFINITION_NODE">ELEMENT_TYPE_DEFINITION_NODE</a> = 81001;
187    const unsigned short <a href="#ATTRIBUTE_DEFINITION_NODE">ATTRIBUTE_DEFINITION_NODE</a> = 81002;
188    </pre>
189    
190    <p>This specification adds two new types (subinterfaces) of
191    <a href="#Node"><code>Node</code></a>: element type definition (node type
192    <a href="#ELEMENT_TYPE_DEFINITION_NODE"><code>ELEMENT_TYPE_DEFINITION_NODE</code></a>,
193    interface
194    <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>) and
195    attribute definition (node type
196    <a href="#ATTRIBUTE_DEFINITION_NODE"><code>ATTRIBUTE_DEFINITION_NODE</code></a>,
197    interface
198    <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>).  For
199    these kinds of nodes, methods and attributes in the
200    <a href="#Node"><code>Node</code></a> interface must behave as following:</p>
201    
202  <p>To  <dl>
203  <dfn id=algorithm-to-validate-an-xml-character-data title="validate an XML string">to  <dt><code id=attributes>attributes</code></dt>
 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>  
   
 </div>  
   
 <div class=section id=checking-node>  
 <h3>Checking <code>Node</code></h3>  
   
 <p>The algorithm <dfn title="to check a node" id=algorithm-to-check-a-node>to  
 check a node (<dfn id=var-n><var>n</var></dfn>)</dfn> is defined as  
 following:</p>  
 <dl class=switch>  
 <dt>If <var>n</var> is an <code>Attr</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-attr-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-attr-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-attr-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>If <code>nodeName</code> attribute of <var>n</var> is  
     <code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span>  
     and <code>value</code> attribute of <var>n</var> is neither  
     <code>default</code> nor <code>preserve</code>, then it is an  
     <a href="#xml-misc-error" id=xme-attr-xml-space><code>xml-misc-error</code></a>.<!--  
     Note that <!ATTLIST e xml:space (default|preserve) "a">...  
     <e xml:space="default"/> is conforming and valid. --></li>  
     <li class=ed>@@ xml:lang value is not a language tag [RFC 3066 or its  
     successor] or an empty string, then xml-misc-warning  
     (a "fact"-level error; not an XML error).</li>  
     <li class=ed>@@ <code>specified</code>,  
     <code>manakaiAttributeType</code> (#ValueType Validity constraint: Attribute Value Type)</li>  
     <!-- xml:space MUST be declared to be valid. -->  
     <li>Let <dfn id=var-v><var>v</var></dfn> be the value of the  
     attribute <code>value</code> of <var>n</var>.</li>  
     <li>Validate the <var>n</var> against the <span class=ed>declared  
     type</span> as following:  
       <dl class=switch>  
       <dt class=ed><code>ID_ATTR</code></dt>  
         <dd>  
           <ol>  
           <li><span class=ed>Validate <var>v</var> as an  
           <code>Name</code>.</span>  If it fails, then raise an  
           <a href="#xml-validity-error" id=vc-id-name><code>xml-validity-error</code></a>.</li>  
           <li><span class=ed>If <code>ID</code> <var>v</var> is defined,</span>  
           then raise an    
           <a href="#xml-validity-error" id=vc-id-duplication><code>xml-validity-error</code></a>.</li>  
           </ol>  
         </dd>  
       <dt class=ed>IDREF_ATTR</dt>  
         <dd>  
           <ol>  
           <li><span class=ed>Validate <var>v</var> as an  
           <code>Name</code>.</span>  If it fails, then raise an  
           <a href="#xml-validity-error" id=vc-idref-name><code>xml-validity-error</code></a>.</li>  
           <li><span class=ed>If <code>ID</code> <var>v</var> is NOT  
           defined,</span> then raise an    
           <a href="#xml-validity-error" id=vc-idref-match><code>xml-validity-error</code></a>.</li>  
           </ol>  
         </dd>  
       <dt class=ed>IDREFS_ATTR</dt>  
         <dd class=ed>@@</dd>  
       <dt class=ed>ENTITY_ATTR</dt>  
         <dd>  
           <ol>  
           <li><span class=ed>Validate <var>v</var> as an  
           <code>Name</code>.</span>  If it fails, then raise an  
           <a href="#xml-validity-error" id=vc-entname-name><code>xml-validity-error</code></a>.</li>  
           <li><span class=ed>If <code>Entity</code> <var>v</var> is NOT  
           defined,</span> then raise an    
           <a href="#xml-validity-error" id=vc-entname-match><code>xml-validity-error</code></a>.</li>  
           </ol>  
         </dd>  
       <dt class=ed>ENTITIES_ATTR</dt>  
         <dd class=ed>@@</dd>  
       <dt class=ed>NMTOKEN_ATTR</dt>  
         <dd>  
           <ol>  
           <li><span class=ed>Validate <var>v</var> as an  
           <code>Nmtoken</code>.</span>  If it fails, then raise an  
           <a href="#xml-validity-error" id=vc-nmtok-name><code>xml-validity-error</code></a>.</li>  
           </ol>  
         </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>  
204    <dd>    <dd>
205      <ol>      <p>On getting, the attribute <em class=rfc2119>MUST</em> return
206      <li>For each node <dfn id=var-df-nc><var>n<sub><var>c</var></sub></var></dfn>      <code>null</code>.</p>
     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>  
207    </dd>    </dd>
208  <dt>If <var>n</var> is a <code>DocumentType</code> node</dt>  <dt><code id=baseURI>baseURI</code></dt>
209    <dd>    <dd>
210      <ol>      <p>On getting, the attribute <em class=rfc2119>MUST</em> return the
211      <li><a href="#algorithm-to-validate-an-ncname">Validate the      value of the <a href="#baseURI"><code>baseURI</code></a> attribute
212      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      of the node in the <code>ownerDocument</code> attribute of the node.
213      <li>Follow the following substeps:      Note that the value might be <code>null</code>.</p>
       <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>  
214    </dd>    </dd>
215  <dt>If <var>n</var> is an <code>Element</code> node</dt>  <dt><code id=nodeName>nodeName</code></dt>
216    <dd>    <dd>
217      <ol>      <p>If the node is an
218      <li><a href="#algorithm-to-validate-an-ncname">Validate the      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>:
219      <code>localName</code> attribute value as an <code>NCName</code></a>.</li>      On getting, the attribute <em class=rfc2119>MUST</em> return the
220      <li>If the <code>prefix</code> attribute value is different from      name of the element type definition represented by the node.</p>
221      <code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate  
222      the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li>      <p>If the node is an
223      <li>For each node <dfn id=var-element-nc><var>n<sub><var>c</var></sub></var></dfn>      <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>:
224      in the <code>childNodes</code> list of <var>n</var>,      On getting, the attribute <em class=rfc2119>MUST</em> return the
225        <ol>      name of the attribute definition represented by the node.</p>
       <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>  
226    </dd>    </dd>
227  <dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt>  <dt><code id=nodeType>nodeType</code></dt>
228    <dd>    <dd>
229      <ol>      <p>On getting, the attribute <em class=rfc2119>MUST</em> return
230      <li class=ed></li>      <a href="#ELEMENT_TYPE_DEFINITION_NODE"><code>ELEMENT_TYPE_DEFINITION_NODE</code></a>
231      <li>If the <code>childNodes</code> list of <var>n</var> contains      (if the node is an
232      any nodes, they are in      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>) or
233      <a href="#xml-well-formedness-error" id=wfe-et-child><code>xml-well-formedness-error</code></a>.</li>      <a href="#ATTRIBUTE_DEFINITION_NODE"><code>ATTRIBUTE_DEFINITION_NODE</code></a>
234      <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>      (if the node is an
235      <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>      <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>).</p>
236      <li class=ed>@@ #vc-MixedChildrenUnique  
237      Validity constraint: No Duplicate Types</li>      <!-- NodeType -->
238      <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>  <p>Two constants are added to the <code id=NodeType>NodeType</code>
239      <li>If there is more than one <code>AttributeDefinition</code> node  definition group of the <a href="#Node"><code>Node</code></a> interface as
240      with <span class=ed>attribute type <code>ID</code></span> in the  following:</p>
241      <code>NamedNodeMap</code> list contained in the  <table>
242      <code>attributeDefinitions</code> attribute of <var>n</var>, then raise an  <thead>
243      <a href="#xml-validity-error" id=vc-one-id-per-el><code>xml-validity-error</code></a>.</li>  <tr><th scope=col>Name<th scope=col>Value<th scope=col>Description</tr>
244      <li>If there is more than one <code>AttributeDefinition</code> node  </thead>
245      with <span class=ed>attribute type <code>NOTATION</code></span> in the  <tbody>
246      <code>NamedNodeMap</code> list contained in the  <tr>
247      <code>attributeDefinitions</code> attribute of <var>n</var>, then raise an  <th scope=row><dfn id=ELEMENT_TYPE_DEFINITION_NODE class=dom-const><code>ELEMENT_TYPE_DEFINITION_NODE</code></dfn>
248      <a href="#xml-validity-error" id=vc-one-notation-per><code>xml-validity-error</code></a>.</li>  <td><code>81001</code><td>The node is an
249      <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>  <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>.</tr>
250      </ol>  <tr>
251    <th scope=row><dfn id=ATTRIBUTE_DEFINITION_NODE class=dom-const><code>ATTRIBUTE_DEFINITION_NODE</code></dfn>
252    <td><code>81002</code><td>The node is an
253    <a href="#ElementTypeDefinition"><code>AttributeDefinition</code></a>.</tr>
254    </tbody>
255    </table>
256    </dd>    </dd>
257  <dt>If <var>n</var> is an <code>Entity</code> node whose  <dt><code id=nodeValue>nodeValue</code> and
258  <code>notationName</code> attribute value is <code>null</code> (i.e. a  <code id=textContent>textContent</code></dt>
 parsed entity)</dt>  
259    <dd>    <dd>
260      <ol>      <p>If the node is an
261      <li>Raise an      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>:
262      <a href="#entity-error" id=ee-entity-node><code>entity-error</code></a>.</li>      On getting, the attributes <em class=rfc2119>MUST</em> return the
263      <li><a href="#algorithm-to-validate-an-ncname">Validate the      name of the element type.</p>
264      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>  
265      <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate      <div class="note memo">
266      the <code>publicId</code> attribute value as a public identifier</a>.</li>        <p>Thus, on setting the attributes does nothing
267      <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate        <span class=ed>[DOM3]</span>.</p>
268      the <code>systemId</code> attribute value as a system identifier</a>.</li>      </div>
269      <li>If the <code>publicId</code> attribute value of <var>n</var> is  
270      <em>not</em> <code>null</code> and the <code>systemId</code> attribute      <p>On setting, the <a href="#textContent"><code>textContent</code></a>
271      value of <var>n</var> is <code>null</code>, then raise an      attribute <em class=rfc2119>MUST NOT</em> raise a
272      <a href="#xml-well-formedness-error" id=wfe-entity-sid><code>xml-well-formedness-error</code></a>.</li>      <code>NO_MODIFICATION_ALLOWED_ERR</code> <span class=ed>@@ ref</span>.
273      <li>For each node <dfn id=var-entity-nc><var>n<sub><var>c</var></sub></var></dfn>      <span class=ed>@@ I forgot why this requirement is necessary.</span></p>
274      in the <code>childNodes</code> list of <var>n</var>,  
275        <ol>      <p>If the node is an
276        <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an      <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>:</p>
277        <code>Element</code>,  
278        <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,      <pre class=ed>
279        <code>ProcessingInstruction</code>, or <code>EntityReference</code>  The getter of the [CODE(DOMa)@en[[[nodeValue]]]] attribute
280        node, then it is an  of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object
281        <a href="#xml-well-formedness-error" id=wfe-entity-child><code>xml-well-formedness-error</code></a>.</li>  [['''MUST''']] return the normalized default value
282        <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an  of the attribute.
283        <code>EntityReference</code> node, then it is an  
284        <a href="#entity-error" id=ee-er-er><code>entity-error</code></a>.</li>  @@
285        <li>Otherwise,  
286        <a href="#algorithm-to-check-a-node" title="check a node">check  [4] The getter of the [CODE(DOMa)@en[[[textContent]]]]
287        <var>n<sub><var>c</var></sub></var></a> recursively.</li>  attribute of an [CODE(DOMi)@en[[[AttributeDefinition]]]]
288        </ol></li>  object [['''MUST''']] behave as if it were an
289      </ol>  [CODE(DOMi)@en[[[Attr]]]] object.
290    
291    The setter of the [CODE(DOMa)@en[[[textContent]]]] attribute
292    of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object
293    [['''MUST''']] behave as if the following algorithm
294    is performed:
295    = If the [CODE(DOMi)@en[[[AttributeDefinition]]]]
296    object is read-only, then throw an
297    [CODE(DOMc)@en[[[NO_MODIFICATION_ALLOWED_ERR]]]].
298    = Remove any child node the node has.
299    = If the new value is not empty and not [CODE(IDL)@en[[[null]]]],
300    then create a [CODE(DOMi)@en[[[Text]]]] node
301    whose [CODE(DOMa)@en[[[data]]]] is the new value
302    and append it to the [CODE(DOMi)@en[[[AttributeDefinition]]]].
303    </pre>
304    </dd>    </dd>
305  <dt>If <var>n</var> is an <code>Entity</code> node whose  <dt class=ed>@@ ...</dt>
306  <code>notationName</code> attribute value is <em>not</em> <code>null</code>  </dl>
307  (i.e. an unparsed entity)</dt>  
308    </div>
309    
310    <div class=section id=section-documentxdoctype>
311    <h3>The <code>DocumentXDoctype</code> Interface</h3>
312    
313    <p>The <a href="#DocumentXDoctype"><code>DocumentXDoctype</code></a> interface
314    <em class=rfc2119>MUST</em> be implemented as following:</p>
315    <pre class=idl><code>interface <dfn id=DocumentXDoctype><code>DocumentXDoctype</code></dfn> {
316      DocumentType <a href="#createDocumentTypeDefinition">createDocumentTypeDefinition</a>
317        (in DOMString <a href="#createDocumentTypeDefinition-name"><var>name</var></a>)
318        raises (DOMException);
319      <a href="#ElementTypeDefinition">ElementTypeDefinition</a> <a href="#createElementTypeDefinition">createElementTypeDefinition</a>
320        (in DOMString <a href="#createElementTypeDefinition-name"><var>name</var></a>)
321        raises (DOMException);
322      <a href="#AttributeDefinition">AttributeDefinition</a> <a href="#createAttributeDefinition">createAttributeDefinition</a>
323        (in DOMString <a href="#createAttributeDefinition-name"><var>name</var></a>)
324        raises (DOMException);
325      <a href="#Entity">Entity</a> <a href="#createGeneralEntity">createGeneralEntityDefinition</a>
326        (in DOMString <a href="#createGeneralEntity-name"><var>name</var></a>)
327        raises (DOMException);
328      <a href="#Notation">Notation</a> <a href="#createNotation">createNotation</a>
329        (in DOMString <a href="#createNotation-name"><var>name</var></a>)
330        raises (DOMException);
331    }</code></pre>
332    
333    <div class=ed>@@ cast definition</div>
334    
335    <dl>
336    <dt><dfn id=createDocumentTypeDefinition class=dom-method><code>createDocumentTypeDefinition</code></dfn>,
337    method</dt>
338    <dd>    <dd>
339      <ol>      <p>This method creates a <code>DocumentType</code> node with the specified
340      <li><a href="#algorithm-to-validate-an-ncname">Validate the      name, belonging to the document.</p>
341      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <p>The <dfn id=createDocumentTypeDefinition-name class=dom-param><var>name</var></dfn>
342      <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate      parameter is the name of the document type.</p>
343      the <code>publicId</code> attribute value as a public identifier</a>.</li>  
344      <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate      <p>When invoked, the method <em class=rfc2119>MUST</em> create and
345      the <code>systemId</code> attribute value as a system identifier</a>.</li>      return a <code>DocumentType</code> node with the following attributes:</p>
346      <li>If the <code>systemId</code> attribute value of <var>n</var> is      <dl>
347      <code>null</code>, then raise an      <dt><code>attributes</code>, <code>parentNode</code></dt>
348      <a href="#xml-well-formedness-error" id=wfe-uentity-sid><code>xml-well-formedness-error</code></a>.</li>        <dd><code>null</code>.</dd>
349      <li><a href="#algorithm-to-validate-an-ncname">Validate the      <dt><code>elementTypes</code>, <code>generalEntities</code>, and
350      <code>notationName</code> attribute value of <var>n</var> as an      <code>notations</code></dt>
351      <code>NCName</code></a>.</li>        <dd>Empty <code>NamedNodeMap</code> objects.</dd>
352      <li class=ed>@@ #not-declared Validity constraint: Notation Declared</li>      <dt><code>entities</code></dt>
353      <li>If the <code>childNodes</code> list of <var>n</var> contains        <dd>The same value as the <code>generalEntities</code> attribute.</dd>
354      any nodes, they are in      <dt><code>childNodes</code></dt>
355      <a href="#xml-well-formedness-error" id=wfe-uentity-child><code>xml-well-formedness-error</code></a>.</li>        <dd>An empty <code>NodeList</code> object.</dd>
356      </ol>      <dt><code>internalSubset</code>, <code>publicId</code>, and
357        <code>systemId</code></dt>
358          <dd>Empty strings.</dd>
359        <dt><code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt>
360          <dd><code>false</code>.</dd>
361        <dt><code>nodeName</code></dt>
362          <dd><a href="#createDocumentTypeDefinition-name"><var>name</var></a>.</dd>
363        <dt><code>ownerDocument</code></dt>
364          <dd>The <code>Document</code> over which the method is invoked.</dd>
365        </dl>
366        <p>In addition, the method <em class=rfc2119>MUST</em> be marked as
367        containing five general entity declarations: <code>amp</code>,
368        <code>lt</code>, <code>gt</code>, <code>quot</code>, and
369        <code>apos</code>.</p>
370    </dd>    </dd>
371  <dt>If <var>n</var> is an <code>EntityReference</code> node</dt>  <dt><dfn id=createElementTypeDefinition class=dom-method><code>createElementTypeDefinition</code></dfn>,
372    method</dt>
373    <dd>    <dd>
374      <ol>      <p>This method creates a <code>ElementTypeDefinition</code> node with the
375      <li>An <a href="#entity-error" id=ee-er-node><code>entity-error</code></a>.</li>      specified name, belonging to the document.</p>
376      <li><a href="#algorithm-to-validate-an-ncname">Validate the      <p>The <dfn id=createElementTypeDefinition-name class=dom-param><var>name</var></dfn>
377      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      parameter is the name of the element type defined by the element
378      <li>For each node <dfn id=var-er-nc><var>n<sub><var>c</var></sub></var></dfn>      type definition.</p>
379      in the <code>childNodes</code> list of <var>n</var>,  
380        <ol>      <p>When invoked, the method <em class=rfc2119>MUST</em> create and
381        <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an      return an
382        <code>Element</code>,      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>
383        <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,      node with the following attributes:</p>
384        <code>ProcessingInstruction</code>, or <code>EntityReference</code>      <dl>
385        node, then it is an      <dt><a href="#attributeDefinitions"><code>attributeDefinitions</code></a></dt>
386        <a href="#xml-well-formedness-error" id=wfe-er-child><code>xml-well-formedness-error</code></a>.</li>        <dd>An empty <code>NamedNodeMap</code> object.</dd>
387        <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is <em>not</em> an      <dt><code>attributes</code>, <code>parentNode</code></dt>
388        <code>EntityReference</code> node, then it is an        <dd><code>null</code>.</dd>
389        <a href="#entity-error" id=ee-entity-er><code>entity-error</code></a>.</li>      <dt><code>childNodes</code></dt>
390        <li>Otherwise,        <dd>An empty <code>NodeList</code> object.</dd>
391        <a href="#algorithm-to-check-a-node" title="check a node">check      <dt><code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt>
392        <var>n<sub><var>c</var></sub></var></a> recursively.</li>        <dd><code>false</code>.</dd>
393        </ol></li>      <dt><code>nodeName</code></dt>
394      </ol>        <dd><a href="#createElementTypeDefinition-name"><var>name</var></a>.</dd>
395        <dt><code>ownerDocument</code></dt>
396          <dd>The <code>Document</code> node over which the method is invoked.</dd>
397        <dt><a href="#ownerDocumentTypeDefinition"><code>ownerDocumentTypeDefinition</code></a></dt>
398          <dd><code>null</code>.</dd>
399        <dt class=ed>@@ Ensure all attributes are defined</dt>
400        </dl>
401    </dd>    </dd>
402  <dt>If <var>n</var> is a <code>Notation</code> node</dt>  <dt><dfn id=createAttributeDefinition class=dom-method><code>createAttributeDefinition</code></dfn>,
403    method</dt>
404    <dd>    <dd>
405      <ol>      <p>This method creates a <code>AttributeDefinition</code> node with the
406      <li><a href="#algorithm-to-validate-an-ncname">Validate the      specified name, belonging to the document.</p>
407      <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>      <p>The <dfn id=createAttributeDefinition-name class=dom-param><var>name</var></dfn>
408      <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate      parameter is the name of the attribute defined by the attribute
409      the <code>publicId</code> attribute value as a public identifier</a>.</li>      definition.</p>
410      <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate  
411      the <code>systemId</code> attribute value as a system identifier</a>.</li>      <p>When invoked, the method <em class=rfc2119>MUST</em> create and
412      <li>If the <code>childNodes</code> list of <var>n</var> contains      return an
413      any nodes, they are in      <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>
414      <a href="#xml-well-formedness-error" id=wfe-notation-child><code>xml-well-formedness-error</code></a>.</li>      node with the following attributes:</p>
415      </ol>      <dl>
416        <dt><code>allowedTokens</code></dt>
417          <dd>An empty <code>DOMStringList</code> object.</dd>
418        <dt><code>attributes</code>,
419        <a href="#ownerElementTypeDefinition"><code>ownerElementTypeDefinition</code></a>,
420        and <code>parentNode</code></dt>
421          <dd><code>null</code>.</dd>
422        <dt><code>childNodes</code></dt>
423          <dd>An empty <code>NodeList</code> object.</dd>
424        <dt><code>declaredType</code></dt>
425          <dd><a href="#NO_TYPE_ATTR"><code>NO_TYPE_ATTR</code></a>.</dd>
426        <dt><code>defaultType</code></dt>
427          <dd><a href="#UNKNOWN_DEFAULT"><code>UNKNOWN_DEFAULT</code></a>.</dd>
428        <dt><code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt>
429          <dd><code>false</code>.</dd>
430        <dt><code>nodeName</code></dt>
431          <dd><a href="#createAttributeDefinition-name"><var>name</var></a>.</dd>
432        <dt><code>ownerDocument</code></dt>
433          <dd>The <code>Document</code> node over which the method is invoked.</dd>
434        <dt class=ed>@@ Ensure all attributes are defined</dt>
435        </dl>
436    
437        <div class=ed>
438        <p>@@ Should we keep these statements?:
439    However, if the &lt;cfg::cfg|xml-id> configuration
440    parameter is set to <code>true</code> and the <var>name</var>
441    is <code>xml:id</code>, then the [CODE(DOMa)@en[[[declaredType]]]]
442    attribute is set to <code>ID_ATTR</code>.
443    [CODE(DOMa)@en[[[defaultType]]]]?</p>
444        </div>
445    </dd>    </dd>
446  <dt>If <var>n</var> is a <code>ProcessingInstruction</code> node</dt>  <dt><dfn id=createGeneralEntity class=dom-method><code>createGeneralEntity</code></dfn>,
447    method</dt>
448    <dd>    <dd>
449      <ol>      <p>This method creates a <a href="#Entity"><code>Entity</code></a> node
450      <li>If the <code>target</code> attribute value matches to the string      with the specified name, which represents a general entity, belonging to
451      <code>xml</code> in any case combination, then raise a      the document.</p>
452      <a href="#xml-well-formedness-error" id=wfe-pi-xml><code>xml-well-formedness-error</code></a>.</li>      <p>The <dfn id=createGeneralEntity-name class=dom-param><var>name</var></dfn>
453      <li>Otherwise, <a href="#algorithm-to-validate-an-ncname">validate the      parameter is the name of the general entity.</p>
454      <code>target</code> attribute value as an <code>NCName</code></a>.</li>  
455      <li>Then,      <p>When invoked, the method <em class=rfc2119>MUST</em> create and return
456      <a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">validate      an <a href="#Entity"><code>Entity</code></a> node with the following
457      the <code>data</code> attribute value as an <abbr>XML</abbr> character      attributes:</p>
458      data</a>.</li>      <dl>
459      <li>If the <code>data</code> attribute value contains a string      <dt><code>attributes</code>, <code>notationName</code>,
460      <code>?></code>, then raise a      <a href="#ownerDocumentTypeDefinition"><code>ownerDocumentTypeDefinition</code></a>,
461      <a href="#xml-well-formedness-error" id=wfe-pi-pic><code>xml-well-formedness-error</code></a>.</li>      and <code>parentNode</code></dt>
462      <li>If the <code>data</code> attribute value starts with either        <dd><code>null</code>.</dd>
463      <code class=char>U+0009</code> <code class=charname>CHARACTER      <dt><code>childNodes</code></dt>
464      TABULATION</code>, <code class=char>U+000A</code> <code class=charname>LINE        <dd>An empty <code>NodeList</code> object.</dd>
465      FEED</code>, <code class=char>U+000D</code> <code class=charname>CARRIAGE      <dt><code>manakaiDeclarationBaseURI</code>,
466      RETURN</code>, or <code class=char>U+0020</code>      <code>manakaiEntityBaseURI</code>, and
467      <code class=charname>SPACE</code> character, then raise a      <code>manakaiEntityURI</code> <span class=ed>@@ ref</span></dt>
468      <a href="#round-trip-error" id=rte-pi-s><code>round-trip-error</code></a>.</li>        <dd>No explicit value is set.</dd>
469      <li>If the <code>childNodes</code> list of <var>n</var> contains      <dt><code>manakaiHasReplacementTree</code> and
470      any nodes, then raise an      <code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt>
471      <a href="#xml-well-formedness-error" id=wfe-pi-child><code>xml-well-formedness-error</code></a>.</li>        <dd><code>false</code>.</dd>
472      </ol>      <dt><code>nodeName</code></dt>
473          <dd><a href="#createGeneralEntity-name"><var>name</var></a>.</dd>
474          <dd>
475            <div class="note memo">
476              <p>It is not an error for
477              <a href="#createGeneralEntity-name"><var>name</var></a> matching
478              to the name of one of predefined general parsed entities in
479              <abbr>XML</abbr> or <abbr>HTML</abbr>.  For example,
480              <a href="#createGeneralEntity-name"><var>name</var></a> might be
481              <code>amp</code>, resulting in an
482              <a href="#Entity"><code>Entity</code></a> node
483              with its <code>nodeName</code> attribute set to <code>amp</code>.</p>
484            </div>
485          </dd>
486        <dt><code>ownerDocument</code></dt>
487          <dd>The <code>Document</code> node over which the method is invoked.</dd>
488        <dt><code>publicId</code>, and <code>systemId</code></dt>
489          <dd><code>null</code>.</dd>
490          <dd class=ed>@@ publicId and systemId should be empty string?</dd>
491        <dt class=ed>@@ Ensure all attributes are defined</dd>
492        </dl>
493    </dd>    </dd>
494  <dt>If <var>n</var> is a <code>Text</code> node</dt>  <dt><dfn id=createNotation class=dom-method><code>createNotation</code></dfn>,
495    method</dt>
496    <dd>    <dd>
497      <ol>      <p>This method creates a <code>Notation</code> node with the
498      <li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate the      specified name, belonging to the document.</p>
499      <code>data</code> attribute value as an <abbr>XML</abbr> character      <p>The <dfn id=createNotation-name class=dom-param><var>name</var></dfn>
500      data</a>.</li>      parameter is the name of the notation.</p>
501      <li>If the <code>childNodes</code> list of <var>n</var> contains  
502      any nodes, they are in      <p>When invoked, the method <em class=rfc2119>MUST</em> create and return
503      <a href="#xml-well-formedness-error" id=wfe-text-child><code>xml-well-formedness-error</code></a>.</li>      a <code>Notation</code> node with the following attributes:</p>
504      </ol>      <dl>
505        <dt><code>attributes</code>,
506        <a href="#ownerDocumentTypeDefinition"><code>ownerDocumentTypeDefinition</code></a>,
507        and <code>parentNode</code></dt>
508          <dd><code>null</code>.</dd>
509        <dt><code>childNodes</code></dt>
510          <dd>An empty <code>NodeList</code> object.</dd>
511        <dt><code>manakaiDeclarationBaseURI</code></dt>
512          <dd>No explicit value is set.</dd>
513        <dt><code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt>
514          <dd><code>false</code>.</dd>
515        <dt><code>nodeName</code></dt>
516          <dd><a href="#createNotation-name"><var>name</var></a>.</dd>
517        <dt><code>ownerDocument</code></dt>
518          <dd>The <code>Document</code> node over which the method is invoked.</dd>
519        <dt><code>publicId</code> and <code>systemId</code></dt>
520          <dd><code>null</code>.</dd>
521          <dd class=ed>@@ publicId and systemId should be empty string?</dd>
522        <dt class=ed>@@ Ensure all attributes are defined</dt>
523        </dl>
524    </dd>    </dd>
 <dt>Otherwise</dt>  
   <dd><span class=ed>xml-well-formedness-error?  unknown-error?</span></dd>  
525  </dl>  </dl>
526    
527    <p>These methods <em class=rfc2119>MUST</em> raise an
528    <code>INVALID_CHARACTER_ERR</code> exception <span class=ed>@@ ref</span>
529    if <var>name</var> is <em>not</em> a legal <code>Name</code> according to
530    the <abbr>XML</abbr> version in use, as specified in the
531    <code>xmlVersion</code> attribute of the <code>Document</code> node.</p>
532    
533    <div class="note memo">
534    <p>Non$B!>(B<abbr>XML</abbr> case is intentionally left unspecified for now,
535    since <abbr>DOM3</abbr> specification <span class=ed>@@ ref</span> does not
536    define it for <code>Document</code> methods.</p>
537    
538    <p><var>name</var> does not have to be a namespace qualified name.</p>
539  </div>  </div>
540    
541  </div>  </div>
542    
543  <div id=classes class=section>  <div class=section id=section-documenttypedefinition>
544  <h2>Character Classes</h2>  <h3>The <code>DocumentTypeDefinition</code> Interface</h3>
545    
546  <p>This section defines a couple of character classes.  <p>The
547  These classes are referred to by algorithms specified above.</p>  <a href="#DocumentTypeDefinition"><code>DocumentTypeDefinition</code></a>
548    interface <em class=rfc2119>MUST</em> be implemented as following:</p>
549    <pre class=idl><code>interface <dfn id=DocumentTypeDefinition><code>DocumentTypeDefinition</code></dfn> {
550      readonly attribute NamedNodeMap <a href="#elementTypes">elementTypes</a>;
551      readonly attribute NamedNodeMap <a href="#generalEntities">generalEntities</a>;
552      readonly attribute NamedNodeMap <a href="#notations">notations</a>;
553    
554      <a href="#ElementTypeDefinition">ElementTypeDefinition</a> <a href="#getElementTypeDefinitionNode">getElementTypeDefinitionNode</a>
555        (in DOMString <a href="#getElementTypeDefinitionNode-name"><var>name</var></a>);
556      <a href="#Entity">Entity</a> <a href="#getGeneralEntityNode">getGeneralEntityNode</a>
557        (in DOMString <a href="#getGeneralEntityNode-name"><var>name</var></a>);
558      <a href="#Notation">Notation</a> <a href="#getNotationNode">getNotationNode</a>
559        (in DOMString <a href="#getNotationNode-name"><var>name</var></a>);
560    
561      void <a href="#setElementTypeDefinitionNode">setElementTypeDefinitionNode</a>
562        (in DOMString <a href="#setElementTypeDefinitionNode-node"><var>node</var></a>)
563        raises (DOMException);
564      void <a href="#setGeneralEntityNode">setGeneralEntityNode</a>
565        (in DOMString <a href="#setGeneralEntityNode-node"><var>node</var></a>)
566        raises (DOMException);
567      void <a href="#setNotationNode">setNotationNode</a>
568        (in DOMString <a href="#setNotationNode-node"><var>node</var></a>)
569        raises (DOMException);
570    }</code></pre>
571    
572    <pre class=ed>
573    [1] In an implementation that supports the
574    [CODE(URI)@en[[[http://suika.fam.cx/www/2006/feature/XDoctype]]]]
575    feature, a [CODE(DOMi)@en[[[DocumentType]]]] node
576    must implement the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]]
577    interface.  See [[DOM XML Document Type Definition]>>3] for
578    details.
579    </pre>
580    
581    <dl>
582    <dt><dfn id=elementTypes class=dom-attr><code>elementTypes</code></dfn> of
583    type <code>NamedNodeMap</code>, read$B!>(Bonly</dt>
584      <dd><p>A live <code>NamedNodeMap</code> object that contains all the element
585      type definitions belonging to the <code>DocumentType</code> node.</p>
586    
587      <p>On getting, the attribute <em class=rfc2119>MUST</em> return the
588      <code>NamedNodeMap</code> object that contains all the
589      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>
590      nodes belonging to the <code>DocumentType</code> node.  The
591      <code>NamedNodeMap</code> object <em class=rfc2119>MUST</em> be read$B!>(Bonly
592      if and only if the node is read$B!>(Bonly.  The <code>NamedNodeMap</code>
593      object <em class=rfc2119>MUST</em> be live and the same object
594      <em class=rfc2119>MUST</em> be returned for any invocation.</p>
595    
596      <p>If the <code>DocumentType</code> node is created during the process
597      to create a <abbr>DOM</abbr> from an <abbr>XML</abbr> document, the following
598      requirements are applied:  The <code>NamedNodeMap</code> object in the
599      <a href="#elementTypes"><code>elementType</code></a> attribute
600      <em class=rfc2119>MUST</em> be so transformed that the object contains
601      the <code>ElementTypeDefinition</code> nodes for the element types
602      whose name is presented as the <code>Name</code> of the element type or
603      attribute definition list declarations processed by the <abbr>XML</abbr>
604      processor.  If there is more than one element type declarations for an
605      element type, then the declarations other than the first one
606      <em class=rfc2119>MUST</em> be ignored for the purpose of constructing the
607      <code>NamedNodeMap</code> object.</p></dd>
608    <dt><dfn id=generalEntities class=dom-attr><code>generalEntities</code></dfn>
609    of type <code>NamedNodeMap</code>, read$B!>(Bonly</dt>
610      <dd><p>A live <code>NamedNodeMap</code> object that contains all the general
611      entities belonging to the <code>DocumentType</code> node.</p>
612      
613      <p>On getting, the attribute <em class=rfc2119>MUST</em> return the
614      same value as the <code>entities</code> attribute (defined in the
615      <code>DocumentType</code> interface) of the same node.</p>
616    
617      <div class="note memo">
618        <p>This attribute is part of the interface for historical reason.</p>
619      </div></dd>
620    <!--
621    All entities declared in the document type definition
622    contained in or referenced from the document entity
623    might not be exposed through this collection, depending
624    on the information provided by the XML processor for
625    the DOM implementation.  In particular, it might not
626    contain any entity if entity references are expanded
627    at the parse time.  An implementation [['''MUST NOT''']]
628    expose an [CODE(DOMi)@en[[[Entity]]]] node whose [CODE(DOMa)@en[[[nodeName]]]]
629    is equal to the name of one of five predefined general entities in
630    XML through the collection as the result of parsing of an XML
631    document that has no error.  Duplicate entity declarations are also discarded.
632    
633    The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]]
634    object that contains all the [CODE(DOMi)@en[[[Entity]]]] nodes
635    representing general entities belong to the node.  The returned
636    [CODE(DOMi)@en[[[NamedNodeMap]]]] object [['''MUST''']] be read-only if and only if
637    the node is read-only. Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live
638    and therefore any change of read-only flag on the node is immediately
639    reflected by that of the object.
640    -->
641    <dt><dfn id=notations class=dom-attr><code>notations</code></dfn> of type
642    <code>notations</code>, read$B!>(Bonly</code>
643      <dd><p>A live <code>NamedNodeMap</code> object that contains all the
644      notations belonging to the <code>DocumentType</code> node.</p>
645      
646      <p>On getting, the attribute <em class=rfc2119>MUST</em> return the
647      same value as the <code>notations</code> attribute (defined in the
648      <code>DocumentType</code> interface) of the same node.</p>
649    
650      <div class="note memo">
651        <p>This attribute is part of the interface for historical reason.</p>
652        <p>Implementations are not required to implement the
653        <code>notations</code> attribute twice (for <code>DocumentType</code>
654        and <code>DocumentTypeDefinition</code> interfaces); they share exactly
655        same definition.</p>
656      </div></dd>
657    <!--
658    If the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] node is
659    created from an XML document, duplicate notation declarations, if any, in DTD
660    [['''MUST NOT''']] result in a node in the [CODE(DOMi)@en[[[NamedNodeMap]]]]
661    object and only the first declaration [['''MUST''']] be
662    made available as a [CODE(DOMi)@en[[[Notation]]]] node.
663    
664    ;; This definition is based on one for the
665    [CODE(DOMa)@en[[[notations]]]] attribute of the
666    [CODE(DOMi)@en[[[DocumentType]]]] interface in DOM XML module.
667    Since duplication is violation to the Validity Constraint,
668    XML parsers might vary on how notations are notified to
669    the application.  In particular, [CODE(InfoProp)@en[[[notations]]]]
670    property of the document information item in XML Information Set
671    is so defined that in case ''any'' notation is declared for
672    multiple times then the property has no value.
673    
674    The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]]
675    object that contains all the [CODE(DOMi)@en[[[Notation]]]] nodes
676    representing notations belong to the node.  The returned
677    [CODE(DOMi)@en[[[NamedNodeMap]]]] object [['''MUST''']] be read-only if and only if
678    the node is read-only. Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live
679    and therefore any change of read-only flag on the node is immediately
680    reflected by that of the object.
681    -->
682    
683  <p>Character class <dfn id=class-Char10><code>Char10</code></dfn>  <dt class=ed>@@ other members...
684  contains the following characters:</p>  </dl>
685  <ul>  
686  <li><code class=char>U+0009</code> <code class=charname>CHARACTER  <div class=ed>
687  TABULATION</code></li>  <p>A future version of this interface might define the
688  <li><code class=char>U+000A</code> <code class=charname>LINE FEED</code></li>  <code>parameterEntities</code> and getter/setter for parameter entities.
 <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>  
 <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-Char"><code>Char</code></a>  
 of <abbr>XML</abbr> 1.0  
 <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>  
689  </div>  </div>
690    
691  <p>Character class <dfn id=class-CompatChar10><code>CompatChar10</code></dfn>  </div>
 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>  
692    
693  <p>Character class <dfn id=class-ControlChar10><code>ControlChar10</code></dfn>  <div class=section id=section-elementtypedefinition>
694  contains the following characters:</p>  <h3>The <code>ElementTypeDefinition</code> Interface</h3>
695  <ul>  
696  <li><code class=char>U+007F</code> <code class=charname>DELETE</code> ..  <p>The <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>
697  <code class=char>U+0084</code> <code class=charname>INDEX</code></li>  interface <em class=rfc2119>MUST</em> be implemented as following:</p>
698  <li><code class=char>U+0086</code> <code class=charname>START OF SELECTED  <pre class=idl><code>interface <dfn id=ElementTypeDefinition><code>ElementTypeDefinition</code></dfn> : <a href="#Node">Node</a> {
699  AREA</code> .. <code class=char>U+009F</code> <code class=charname>APPLICATION    readonly attribute <a href="#ownerDocumentTypeDefinition">ownerDocumentTypeDefinition</a>;
700  PROGRAM COMMAND</code></li>  
701  <li><code class=char>U+FDD0</code> .. <code class=char>U+FDEF</code></li>    <span class=ed>@@ more</span>
702  <li><code class=char>U+1FFFE</code> .. <code class=char>U+1FFFF</code></li>  }</code></pre>
703  <li><code class=char>U+2FFFE</code> .. <code class=char>U+2FFFF</code></li>  
704  <li><code class=char>U+3FFFE</code> .. <code class=char>U+3FFFF</code></li>  <pre class=ed>
705  <li><code class=char>U+4FFFE</code> .. <code class=char>U+4FFFF</code></li>  [DFN@en[[CODE(DOMa)@en[[[ownerDocumentTypeDefinition]]]] attribute]]
706  <li><code class=char>U+5FFFE</code> .. <code class=char>U+5FFFF</code></li>  of the [CODE(DOMi)@en[[[ElementTypeDefinition]]]]
707  <li><code class=char>U+6FFFE</code> .. <code class=char>U+6FFFF</code></li>  interface is defined in [[manakai//DOM Extensions]>>50].</pre>
 <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>  
708  </div>  </div>
709    
710  <p>The character class <dfn id=class-NameStartChar10><code>NameStartChar10</code></dfn>  <div class=section id=section-attributedefinition>
711  contains the following characters:</p>  <h3>The <code>AttributeDefinition</code> Interface</h3>
712  <ul class=ed>  
713  </ul>  <p>The <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>
714    interface <em class=rfc2119>MUST</em> be implemented as following:</p>
715    <pre class=idl><code>interface <dfn id=AttributeDefinition><code>AttributeDefinition</code></dfn> : <a href="#Node">Node</a> {
716      <span class=comment>// <a href="#DeclaredValueType">DeclaredValueType</a></span>
717      const unsigned short <a href="#NO_TYPE_ATTR">NO_TYPE_ATTR</a> = 0;
718      const unsigned short <a href="#CDATA_ATTR">CDATA_ATTR</a> = 1;
719      const unsigned short <a href="#ID_ATTR">ID_ATTR</a> = 2;
720      const unsigned short <a href="#IDREF_ATTR">IDREF_ATTR</a> = 3;
721      const unsigned short <a href="#IDREFS_ATTR">IDREFS_ATTR</a> = 4;
722      const unsigned short <a href="#ENTITY_ATTR">ENTITY_ATTR</a> = 5;
723      const unsigned short <a href="#ENTITIES_ATTR">ENTITIES_ATTR</a> = 6;
724      const unsigned short <a href="#NMTOKEN_ATTR">NMTOKEN_ATTR</a> = 7;
725      const unsigned short <a href="#NMTOKENS_ATTR">NMTOKENS_ATTR</a> = 8;
726      const unsigned short <a href="#NOTATION_ATTR">NOTATION_ATTR</a> = 9;
727      const unsigned short <a href="#ENUMERATION_ATTR">ENUMERATION_ATTR</a> = 10;
728      const unsigned short <a href="#UNKNOWN_ATTR">UNKNOWN_ATTR</a> = 11;
729      
730      readonly attribute <a href="#ElementTypeDefinition">ElementTypeDefinition</a> <a href="#ownerElementTypeDefinition">ownerElementTypeDefinition</a>;
731    
732      readonly attribute unsigned short <a href="#declaredType">declaredType</a>;
733      readonly attribute unsigned short <a href="#defaultType">defaultType</a>;
734    
735      <span class=ed>...</span>
736    }</code></pre>
737    
738    <dl>
739    <dt><dfn id=ownerElementTypeDefinition class=dom-attr><code>ownerElementTypeDefinition</code></dfn>
740    of type
741    <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>,
742    read$B!>(Bonly</dt>
743      <dd><p>The
744      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> to
745      which the <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>
746      node belongs.</p>
747    
748      <p>On getting, the attribute <em class=rfc2119>MUST</em> return an
749      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> node.
750      It <em class=rfc2119>MUST</em> be such a node that whose
751      <a href="#attributeDefinitons"><code>attributeDefinitions</code></a>
752      attribute contains the <code>NamedNodeMap</code> object that contains
753      the <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>
754      node.  If there is no such an
755      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> node,
756      then <code>null</code> <em class=rfc2119>MUST</em> be returned.</p>
757    <dt><dfn id=declaredType class=dom-attr><code>declaredType</code></dfn> of type
758    <code>unsigned short</code></dt>
759      <dd><p>The declared type <span class=ed>@@ ref</span> of the attribute.
760      It is expected that this attribute contains a value from the definition group
761      <a href="#DeclaredValueType"><code>DeclaredValueType</code></a>.</p>
762    
763      <p>On getting, the attribute <em class=rfc2119>MUST</em> return the
764      value associated to this attribute.</p>
765    
766      <p>On setting, the attribute <em class=rfc2119>MUST</em> raise a
767      <code>NO_MODIFICATION_ALLOWED_ERR</code> <span class=ed>@@ ref</span>
768      exception if the
769      <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node
770      is read$B!>(Bonly <span class=ed>@@ ref</span>.  Otherwise, it
771      <em class=rfc2119>MUST</em> set the specified value as the value
772      associated to this attribute.</p>
773    
774      <p>If the <code>AttributeDefinition</code> node is created during the process
775      to create a <abbr>DOM</abbr> from an <abbr>XML</abbr> document, an
776      appropriate value from the
777      <a href="#DeclaredValueType"><code>DeclaredValueType</code></a> constant
778      group <em class=rfc2119>MUST</em> be set to the attribute.</p>
779    
780      <!-- DeclaredValueType -->
781    <p>The definition group
782    <dfn id=DeclaredValueType><code>DeclaredValueType</code></dfn> contains
783    integers indicating the declared type of attributes.  The definition
784    group contains the following constants:</p>
785    
786    <table>
787    <thead>
788    <tr><th scope=col>Name<th scope=col>Value<th scope=col>Description</tr>
789    </thead>
790    <tbody>
791    <tr>
792    <th scope=row><dfn id=NO_TYPE_ATTR class=dom-const><code>NO_TYPE_ATTR</code>
793    <td><code>0</code><td>No value <span class=ed>[INFOSET]</span>.</tr>
794    <tr>
795    <th scope=row><dfn id=CDATA_ATTR class=dom-const><code>CDATA_ATTR</code>
796    <td><code>1</code><td><code>CDATA</code> <span class=ed>[XML]</span>.</tr>
797    <tr>
798    <th scope=row><dfn id=ID_ATTR class=dom-const><code>ID_ATTR</code>
799    <td><code>2</code><td><code>ID</code> <span class=ed>[XML]</span>.</tr>
800    <tr>
801    <th scope=row><dfn id=IDREF_ATTR class=dom-const><code>IDREF_ATTR</code>
802    <td><code>3</code><td><code>IDREF</code> <span class=ed>[XML]</span>.</tr>
803    <tr>
804    <th scope=row><dfn id=IDREFS_ATTR class=dom-const><code>IDREFS_ATTR</code>
805    <td><code>4</code><td><code>IDREFS</code> <span class=ed>[XML]</span>.</tr>
806    <tr>
807    <th scope=row><dfn id=ENTITY_ATTR class=dom-const><code>ENTITY_ATTR</code>
808    <td><code>5</code><td><code>ENTITY</code> <span class=ed>[XML]</span>.</tr>
809    <tr>
810    <th scope=row><dfn id=ENTITIES_ATTR class=dom-const><code>ENTITIES_ATTR</code>
811    <td><code>6</code><td><code>ENTITIES</code> <span class=ed>[XML]</span>.</tr>
812    <tr>
813    <th scope=row><dfn id=NMTOKEN_ATTR class=dom-const><code>NMTOKEN_ATTR</code>
814    <td><code>7</code><td><code>NMTOKEN</code> <span class=ed>[XML]</span>.</tr>
815    <tr>
816    <th scope=row><dfn id=NMTOKENS_ATTR class=dom-const><code>NMTOKENS_ATTR</code>
817    <td><code>8</code><td><code>NMTOKENS</code> <span class=ed>[XML]</span>.</tr>
818    <tr>
819    <th scope=row><dfn id=NOTATION_ATTR class=dom-const><code>NOTATION_ATTR</code>
820    <td><code>9</code><td><code>NOTATION</code> <span class=ed>[XML]</span>.</tr>
821    <tr>
822    <th scope=row><dfn id=ENUMERATION_ATTR class=dom-const><code>ENUMERATION_ATTR</code>
823    <td><code>10</code><td>Enumeration <span class=ed>[XML]</span>.</tr>
824    <tr>
825    <th scope=row><dfn id=UNKNOWN_ATTR class=dom-const><code>UNKNOWN_ATTR</code>
826    <td><code>11</code><td>Unknown, because no declaration for the attribute
827    has been read but the [all declaration processed] property
828    <span class=ed>[INFOSET]</span> would be false.</tr>
829    </tbody>
830    </table>
831    
832    <p>If no attribute type information is available, or if the source
833    of the information does not distinguish <q>no value</q> and <q>unknown</q>
834    <span class=ed>[INFOSET]</span>, then the value
835    <a href="#NO_TYPE_ATTR"><code>NO_TYPE_ATTR</code></a>
836    <em class=rfc2119>MUST</em> be used.</p>
837    
838  <div class="note memo">  <div class="note memo">
839  <p>This character class contains all characters allowed as the first character  <p>An <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node
840  of a string matching to the production rule  created by the
841  <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Name"><code>Name</code></a>  <a href="#createAttributeDefinition"><code>createAttributeDefinition</code></a>
842  of <abbr>XML</abbr> 1.0  method has its <a href="#declaredType"><code>declaredType</code></a> attribute
843  <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>  set to <a href="#NO_TYPE_ATTR"><code>NO_TYPE_ATTR</code></a>.</p>
844  </div>  </div>
845    
846  <p>The character class <dfn id=class-NameChar10><code>NameChar10</code></dfn>  <p>If the source of the information does not distinguish <q>no value</q>
847  contains the following characters:</p>  and/or <q>unknown</q> <span class=ed>[INFOSET]</span> and
848  <ul>  <code>CDATA</code> <span class=ed>[XML]</span>, then the value
849  <li>The characters in the character class  <a href="#CDATA_ATTR"><code>CDATA_ATTR</code></a> <em class=rfc2119>MUST</em>
850  <a href="#class-NameStartChar10">NameStartChar10</a>.</li>  be used.</p>
851  <li class=ed></li>  
852  </ul>  <p>In Perl binding <span class=ed>[PERLBINDING]</span>, the
853  <div class="note memo">  <code>Attr</code> nodes <em class=rfc2119>MUST</em> implement the
854  <p>This character class contains all characters allowed as the second  <a href="#DeclaredValueType"><code>DeclaredValueType</code></a>
855  character of a string matching to the production rule  definition group.</p>
856  <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Name"><code>Name</code></a>  
857  of <abbr>XML</abbr> 1.0    </dd>
858  <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>  <dt><dfn id=defaultType class=dom-attr><code>defaultType</code></dfn> of
859    type <code>unsigned short</code></dt>
860      <dd><p>The type of the default for the attribute.  It is expected that this
861      attribute contains a value from the definition group
862      <a href="#DefaultValueType"><code>DefaultValueType</code></a>.</p>
863    
864      <p>On getting, the attribute <em class=rfc2119>MUST</em> return
865      the value associated to this attribute.</p>
866    
867      <p>On setting, the attribute <em class=rfc2119>MUST</em> raise a
868      <code>NO_MODIFICATION_ALLOWED_ERR</code> <span class=ed>@@ ref</span>
869      exception if the
870      <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node
871      is read$B!>(Bonly <span class=ed>@@ ref</span>.  Otherwise, it
872      <em class=rfc2119>MUST</em> set the specified value as the value
873      associated to this attribute.</p>
874    
875      <p>If the
876      <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node is
877      created during the process to create a <abbr>DOM</abbr> from an
878      <abbr>XML</abbr> document, an appropriate value from the
879      <a href="#DefaultValueType"><code>DefaultValueType</code></a> definition
880      group <em class=rfc2119>MUST</em> be set to the attribute.</p>
881    
882      <!-- DefaultValueType -->
883      <p>The definition group
884      <dfn id=DefaultValueType><code>DefaultValueType</code></dfn>
885      contains integers indicating the type of the default for the attribute.
886      The definition group contains the following constans:</p>
887    
888      <table>
889      <thead>
890      <tr><th scope=col>Name<th scope=col>Value<th scope=col>Description</tr>
891      </thead>
892      <tbody>
893      <tr>
894      <th scope=row><dfn id=UNKNOWN_DEFAULT class=dom-const><code>UNKNOWN_DEFAULT</code></dfn>
895      <td><code>0</code><td>Unknown.</tr>
896      <tr>
897      <th scope=row><dfn id=FIXED_DEFAULT class=dom-const><code>FIXED_DEFAULT</code></dfn>
898      <td><code>1</code><td>Provided explicitly and fixed
899      <span class=ed>@@ ref</span> to that value.</tr>
900      <tr>
901      <th scope=row><dfn id=REQUIRED_DEFAULT class=dom-const><code>REQUIRED_DEFAULT</code></dfn>
902      <td><code>2</code><td>No default value and the attribute have to be
903      explicitly specified.</tr>
904      <tr>
905      <th scope=row><dfn id=IMPLIED_DEFAULT class=dom-const><code>IMPLIED_DEFAULT</code></dfn>
906      <td><code>3</code><td>Implied <span class=ed>@@ ref</span>.</tr>
907      <tr>
908      <th scope=row><dfn id=EXPLICIT_DEFAULT class=dom-const><code>EXPLICIT_DEFAULT</code></dfn>
909      <td><code>4</code><td>Provided explicitly.</tr>
910      </tbody>
911      </table>
912    
913      <p>If the source of the default type does not distinguish
914      implied and unknown default types, then the value
915      <a href="#IMPLIED_DEFAULT"><code>IMPLIED_DEFAULT</code></a>
916      <em class=rfc2119>MUST</em> be used.</p>
917    
918      <div class="note memo">
919      <p>An <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>
920      node created by the
921      <a href="#createAttributeDefinition"><code>createAttributeDefinition</code></a>
922      method has its <a href="#defaultType"><code>defaultType</code></a>
923      attribute set to
924      <a href="#UNKNOWN_DEFAULT"><code>UNKNOWN_DEFAULT</code></a>.</p>
925      </div></dd>
926    </dl>
927    
928  </div>  </div>
929    
930  <p>The character class <dfn id=class-PubidChar><code>PubidChar</code></dfn>  <div class=section id=section-documenttype>
931  contains the following characters:</p>  <h3>Modifications to the <code id=DocumentType>DocumentType</code>
932  <ul>  Interface</h3>
933  <li><code class=char>U+0009</code> <code class=charname>CHARACTER  
934  TABULATION</code></li>  <p>A <a href="#DocumentType"><code>DocumentType</code></a> interface
935  <li><code class=char>U+000A</code> <code class=charname>LINE FEED</code></li>  <em class=rfc2119>MAY</em> contain zero or more
936  <li><code class=char>U+000D</code> <code class=charname>CARRIAGE  <a href="#ProcessingInstruction"><code>ProcessingInstruction</code></a>
937  RETURN</code></li>  nodes in the <code>NodeList</code> object contained in the
938  <li><code class=char>U+0020</code> <code class=charname>SPACE</code></li>  <code>childNodes</code> attribute of the
939  <li><code class=char>U+0021</code> <code class=charname>EXCLAMATION MARK</code>  <a href="#DocumentType"><code>DocumentType</code></a> node.</p>
940  (<code class=char>!</code>)</li>  
941  <li><code class=char>U+0023</code> <code class=charname>DOLLAR SIGN</code>  <p>If the <a href="#DocumentType"><code>DocumentType</code></a> node is created
942  (<code class=char>$</code>)</li>  during the process to create a <abbr>DOM</abbr> from an <abbr>XML</abbr>
943  <li><code class=char>U+0024</code> <code class=charname>NUMBER SIGN</code>  document, the <code>NodeList</code> object in the <code>childNodes</code>
944  (<code class=char>#</code>)</li>  object <em class=rfc2119>MUST</em> contains the
945  <li><code class=char>U+0025</code> <code class=charname>PERCENT SIGN</code>  <a href="#ProcessingInstruction"><code>ProcessingInstruction</code></a>
946  (<code class=char>%</code>)</li>  nodes representing the processing instructions in the document type
947  <li><code class=char>U+0027</code> <code class=charname>APOSTROPHE</code>  definition of the document processed <span class=ed>@@ ref</span> by
948  (<code class=char>'</code>)</li>  the <abbr>XML</abbr> processor.  If the
949  <li><code class=char>U+0028</code> <code class=charname>LEFT PARENTHESIS</code>  <a href="#DocumentType"><code>DocumentType</code></a> node is marked
950  (<code class=char>(</code>)</li>  as read$B!>(Bonly, then all the child nodes <em class=rfc2119>MUST</em>
951  <li><code class=char>U+0029</code> <code class=charname>RIGHT  also be marked as read$B!>(Bonly.</p>
952  PARENTHESIS</code> (<code class=char>)</code>)</li>  
953  <li><code class=char>U+002A</code> <code class=charname>ASTERISK</code>  <p>If a <a href="#DocumentType"><code>DocumentType</code></a> node is created
954  (<code class=char>*</code>)</li>  from a document type declaration information item <span class=ed>@@ ref</span>,
955  <li><code class=char>U+002B</code> <code class=charname>PLUS SIGN</code>  the <code>NodeList</code> object in the <code>childNodes</code> attribute
956  (<code class=char>+</code>)</li>  of the node <em class=rfc2119>MUST</em> contain the
957  <li><code class=char>U+002C</code> <code class=charname>COMMA</code>  <a href="#ProcessingInstruction"><code>ProcessingInstruction</code></a> nodes
958  (<code class=char>,</code>)</li>  created from the processing instruction information items in the list in the
959  <li><code class=char>U+002D</code> <code class=charname>HYPHEN-MINUS</code>  [children] property of the document type declaration item in the same
960  (<code class=char>-</code>)</li>  order.</p>
961  <li><code class=char>U+002E</code> <code class=charname>FULL STOP</code>  
962  (<code class=char>.</code>)</li>  <p>If a <a href="#DocumentType"><code>DocumentType</code></a> node is mapped to
963  <li><code class=char>U+002F</code> <code class=charname>SOLIDUS</code>  a document type declaration information item, the list in the [children]
964  (<code class=char>/</code>)</li>  property <em class=rfc2119>MUST</em> contain the processng instruction
965  <li><code class=char>U+0030</code> <code class=charname>DIGIT ZERO</code>  information items created from the
966  (<code class=char>0</code>) .. <code class=char>U+0039</code>  <a href="#ProcessingInstruction"><code>ProcessingInstruction</code></a> nodes
967  <code class=charname>DIGIT NINE</code> (<code class=char>9</code>)</li>  in the <code>NodeList</code> object in the <code>childNodes</code> attribute
968  <li><code class=char>U+003A</code> <code class=charname>COLON</code>  of the <a href="#DocumentType"><code>DocumentType</code></a> node.</p>
969  (<code class=char>:</code>)</li>  
970  <li><code class=char>U+003B</code> <code class=charname>SEMICOLON</code>  <p>The implementation of the
971  (<code class=char>;</code>)</li>  <a href="#DocumentType"><code>DocumentType</code></a> interface
972  <li><code class=char>U+003D</code> <code class=charname>EQUAL SIGN</code>  <em class=rfc2119>MUST</em> be modified as following:</p>
973  (<code class=char>=</code>)</li>  <pre class=idl><code>// Modifications to the DocumentType interface
974  <li><code class=char>U+003F</code> <code class=charname>QUESTION MARK</code>    attribute DOMString <a href="#publicId">publicId</a>;
975  (<code class=char>?</code>)</li>    attribute DOMString <a href="#systemId">systemId</a>;
976  <li><code class=char>U+0040</code> <code class=charname>COMMERCIAL AT</code>  
977  (<code class=char>@</code>)</li>    attribute DOMString <a href="#internalSubset">internalSubset</a>;
978  <li><code class=char>U+0041</code> <code class=charname>LATIN CAPITAL LETTER  </code></pre>
979  A</code> (<code class=char>A</code>) .. <code class=char>U+005A</code>  
980  <code class=charname>LATIN CAPITAL LETTER Z</code>  <p>The <code id=publicId>publicId</code> attribute and the
981  (<code class=char>Z</code>)</li>  <code id=systemId>systemId</code> attribute of
982  <li><code class=char>U+005F</code> <code class=charname>LOW LINE</code>  <a href="#DocumentType"><code>DocumentType</code></a>,
983  (<code class=char>_</code>)</li>  <a href="#Entity"><code>Entity</code></a>, and
984  <li><code class=char>U+0061</code> <code class=charname>LATIN CAPITAL LETTER  <a href="#Notation"><code>Notation</code></a> interfaces are no longer
985  A</code> (<code class=char>A</code>) .. <code class=char>U+007A</code>  read$B!>(Bonly.</p>
986  <code class=charname>LATIN CAPITAL LETTER Z</code>  
987  (<code class=char>Z</code>)</li>  <p>On setting, the attribute <em class=rfc2119>MUST</em> raise a
988  </ul>  <code>NO_MODIFICATION_ALLOWED_ERR</code> <span class=ed>@@ ref</span>
989    exception if the node is read$B!>(Bonly <span class=ed>@@ ref</span>.  
990    Otherwise, it <em class=rfc2119>MUST</em> set the specified value as the value
991    associated to the attribute.  No normalization, relative reference resolution,
992    or lexical validation is performed. <span class=ed>@@ If the new
993    value is <code>null</code>, ...</span></p>
994    
995  <div class="note memo">  <div class="note memo">
996  <p>This character class contains all characters allowed in the production rule  <p>Setting an invalid identifier might make the node unserializable.
997  <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-PubidChar"><code>PubidChar</code></a>  Setting a public identifier while leaveing system identifier unspecified
998  of <abbr>XML</abbr> 1.0  would also make the <a href="#DocumentType"><code>DocumentType</code></a>
999  <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>  or <a href="#Entity"><code>Entity</code></a> node unserializable.</p>
1000    </div>
1001    
1002    <div class=ed>
1003    <p>ISSUE: In HTML5, Firefox 1.5, and Opera 9, not specifying public or system identifier results in empty strings.</p>
1004    </div>
1005    
1006    <p>The <code id=internalSubset>internalSubset</code> attribute of the
1007    <a href="#DocumentType"><code>DocumentType</code></a> interface is no longer
1008    read$B!>(Bonly.</p>
1009    
1010    <p>On setting, the attribute <em class=rfc2119>MUST</em> raise a
1011    <code>NO_MODIFICATION_ALLOWED_ERR</code> <span class=ed>@@ ref</span>
1012    exception if the node is read$B!>(Bonly <span class=ed>@@ ref</span>.  
1013    Otherwise, it <em class=rfc2119>MUST</em> set the specified value as the value
1014    associated to the attribute.  No normalization, or lexical validation is
1015    performed. <span class=ed>@@ If the new value is <code>null</code>,
1016    ...</span></p>
1017    
1018  </div>  </div>
1019    
1020  </div>  </div>
1021    
1022    
1023    
1024    
1025    
1026  <div id="references" class="section reference">  <div id="references" class="section reference">
1027  <h2>References</h2>  <h2>References</h2>
1028    
Legend:
Removed from v.1.1  
changed lines
  Added in v.1.15
admin@suikawiki.org
 ViewVC Help
Powered by ViewVC 1.1.24