/[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.17 by wakaba, Tue Dec 4 11:01:49 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  <p>To  <pre class=idl><code>// Additions to the Node interface
184  <dfn id=algorithm-to-validate-an-xml-character-data title="validate an XML string">to  
185  validate an <abbr>XML</abbr> string (<dfn id=var-s><var>s</var></dfn>)</dfn>,  // Additions to the NodeType definition group
186  the following algorithm <em class=rfc2119>MUST</em> be used:</p>  const unsigned short <a href="#ELEMENT_TYPE_DEFINITION_NODE">ELEMENT_TYPE_DEFINITION_NODE</a> = 81001;
187  <ol>  const unsigned short <a href="#ATTRIBUTE_DEFINITION_NODE">ATTRIBUTE_DEFINITION_NODE</a> = 81002;
188  <li>If <var>s</var> contains a character that is <em>not</em> in  </pre>
189  the character class <a href="#class-Char10"><code>Char10</code></a>,  
190  then raise an  <p>This specification adds two new types (subinterfaces) of
191  <a href="#xml-well-formedness-error" id=wfe-illegal-char><code>xml-well-formedness-error</code></a>.</li>  <a href="#Node"><code>Node</code></a>: element type definition (node type
192  <li>If <var>s</var> contains a character that is in the character  <a href="#ELEMENT_TYPE_DEFINITION_NODE"><code>ELEMENT_TYPE_DEFINITION_NODE</code></a>,
193  class <a href="#class-CompatChar10"><code>CompatChar10</code></a>,  interface
194  then raise an  <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>) and
195  <a href="#xml-misc-warning" id=xmw-compat-char><code>xml-misc-warning</code></a>.</li>  attribute definition (node type
196  <li>If <var>s</var> contains a character that is in the character  <a href="#ATTRIBUTE_DEFINITION_NODE"><code>ATTRIBUTE_DEFINITION_NODE</code></a>,
197  class <a href="#class-ControlChar10"><code>ControlChar10</code></a>,  interface
198  then raise an  <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>).  For
199  <a href="#xml-misc-warning" id=xmw-control-char><code>xml-misc-warning</code></a>.</li>  these kinds of nodes, methods and attributes in the
200  <li class=ed>@@ XML 1.1 support</li>  <a href="#Node"><code>Node</code></a> interface must behave as following:</p>
 <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>  
201    
202  </div>  <dl>
203    <dt><code id=attributes>attributes</code></dt>
 <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>  
204    <dd>    <dd>
205      <ol>      <p>On getting, the attribute <em class=rfc2119>MUST</em> return
206      <li class=ed></li>      <code>null</code>.</p>
     <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>  
207    </dd>    </dd>
208  <dt>If <var>n</var> is a <code>CDATASection</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-xml-character-data" title="validate an XML string">Validate the      value of the <a href="#baseURI"><code>baseURI</code></a> attribute
212      <code>data</code> attribute value as an <abbr>XML</abbr> character      of the node in the <code>ownerDocument</code> attribute of the node.
213      data</a>.</li>      Note that the value might be <code>null</code>.</p>
     <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>  
214    </dd>    </dd>
215  <dt>If <var>n</var> is a <code>Comment</code> node</dt>  <dt><code id=nodeName>nodeName</code></dt>
216    <dd>    <dd>
217      <ol>      <p>If the node is an
218      <li>Raise an      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>:
219      <a href="#round-trip-warning" id=rtw-comment><code>round-trip-warning</code></a>.</li>      On getting, the attribute <em class=rfc2119>MUST</em> return the
220      <li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate the      name of the element type definition represented by the node.</p>
221      <code>data</code> attribute value as an <abbr>XML</abbr> character  
222      data</a>.</li>      <p>If the node is an
223      <li>If the <code>data</code> attribute value contains      <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>:
224      a string <code>--</code>, or if it ends with a character      On getting, the attribute <em class=rfc2119>MUST</em> return the
225      <code>-</code>, then raise an      name of the attribute definition represented by the node.</p>
     <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>  
226    </dd>    </dd>
227  <dt>If <var>n</var> is a <code>Document</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>If <a href="#xml-version"><abbr>XML</abbr> version</a> of <var>n</var>      <a href="#ELEMENT_TYPE_DEFINITION_NODE"><code>ELEMENT_TYPE_DEFINITION_NODE</code></a>
231      is different from <code>1.0</code> or <code>1.1</code>,      (if the node is an
232      then it is an <code class=ed>unknown-error?</code>.</li>      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>) or
233      <li>If the <code>xmlEncoding</code> attribute value does <em>not</em>      <a href="#ATTRIBUTE_DEFINITION_NODE"><code>ATTRIBUTE_DEFINITION_NODE</code></a>
234      match to <code>[A-Za-z] ([A-Za-z0-9._] | '-')*</code>      (if the node is an
235      <span class=ed>@@ formal def</span>, then it is an      <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>).</p>
236      <a href="#xml-well-formedness-error" id=wfe-encoding><code>xml-well-formedness-error</code></a>.</li>  
237      <li>The <code>childNodes</code> list of <var>n</var> have to      <!-- NodeType -->
238      consist of zero or more <code>Comment</code> and/or  <p>Two constants are added to the <code id=NodeType>NodeType</code>
239      <code>ProcessingInstruction</code> nodes, followed by  definition group of the <a href="#Node"><code>Node</code></a> interface as
240      an optional <code>DocumentType</code> node, followed  following:</p>
241      by zero or more <code>Comment</code> and/or  <table>
242      <code>ProcessingInstruction</code> nodes, followed by  <thead>
243      an <code>Element</code> node, followed  <tr><th scope=col>Name<th scope=col>Value<th scope=col>Description</tr>
244      by zero or more <code>Comment</code> and/or  </thead>
245      <code>ProcessingInstruction</code> nodes.  Any violation to this is an  <tbody>
246      <a href="#xml-well-formedness-error" id=wfe-document-child><code>xml-well-formedness-error</code></a>.</li>  <tr>
247      <li>For each node <dfn id=var-document-nc><var>n<sub><var>c</var></sub></var></dfn>  <th scope=row><dfn id=ELEMENT_TYPE_DEFINITION_NODE class=dom-const><code>ELEMENT_TYPE_DEFINITION_NODE</code></dfn>
248      in the <code>childNodes</code> list of <var>n</var>,  <td><code>81001</code><td>The node is an
249        <ol>  <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>.</tr>
250        <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an  <tr>
251        <code>EntityReference</code> node, then  <th scope=row><dfn id=ATTRIBUTE_DEFINITION_NODE class=dom-const><code>ATTRIBUTE_DEFINITION_NODE</code></dfn>
252        <a href="#algorithm-to-check-a-node" title="check a node">check  <td><code>81002</code><td>The node is an
253        <var>n<sub><var>c</var></sub></var></a> recursively.</li>  <a href="#ElementTypeDefinition"><code>AttributeDefinition</code></a>.</tr>
254        </ol></li>  </tbody>
255      <li class=ed>@@ <code>allDeclarationsProcessed</code></li>  </table>
     </ol>  
   </dd>  
 <dt>If <var>n</var> is a <code>DocumentFragment</code> node</dt>  
   <dd>  
     <ol>  
     <li>For each node <dfn id=var-df-nc><var>n<sub><var>c</var></sub></var></dfn>  
     in the <code>childNodes</code> list of <var>n</var>,  
       <ol>  
       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an  
       <code>Element</code>, <code>Text</code>, <code>CDATASection</code>,  
       <code>Comment</code>, <code>ProcessingInstruction</code>, or  
       <code>EntityReference</code> node, then it is an  
       <a href="#xml-well-formedness-error" id=wfe-df-child><code>xml-well-formedness-error</code></a>.</li>  
       <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an  
       <code>EntityReference</code> node, then it is an  
       <a href="#entity-error" id=ee-df-er><code>entity-error</code></a>.</li>  
       <li>Otherwise,  
       <a href="#algorithm-to-check-a-node" title="check a node">check  
       <var>n<sub><var>c</var></sub></var></a> recursively.</li>  
       </ol></li>  
     </ol>  
   </dd>  
 <dt>If <var>n</var> is a <code>DocumentType</code> node</dt>  
   <dd>  
     <ol>  
     <li><a href="#algorithm-to-validate-an-ncname">Validate the  
     <code>nodeName</code> attribute value as an <code>NCName</code></a>.</li>  
     <li>Follow the following substeps:  
       <ol>  
       <li>If <code>ownerDocument</code> attribute of <var>n</var> is  
       <code>null</code>, then abort these substeps.</li>  
       <li>If <code>documentElement</code> attribute of the node  
       set to <code>ownerDocument</code> attribute of <var>n</var> is  
       <code>null</code>, then abort these substeps.</li>  
       <li>If <code>nodeName</code> attribute of the node set to  
       <code>documentElement</code> attribute of the node set to  
       <code>ownerDocument</code> attribute of <var>n</var> is  
       different from <code>nodeName</code> of <var>n</var>,  
       then raise an  
       <a href="#xml-validity-error" id=vc-roottype><code>xml-validity-error</code></a>.</li></li>  
       </ol>  
     </li>  
     <li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate  
     the <code>publicId</code> attribute value as a public identifier</a>.</li>  
     <li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate  
     the <code>systemId</code> attribute value as a system identifier</a>.</li>  
     <li>If the <code>publicId</code> attribute value of <var>n</var> is  
     <em>not</em> <code>null</code> and the <code>systemId</code> attribute  
     value of <var>n</var> is <code>null</code>, then raise an  
     <a href="#xml-well-formedness-error" id=wfe-dt-sid><code>xml-well-formedness-error</code></a>.  
     <span class=ed>@@ publicId == null?  Or, publicId == ""</span></li>  
     <li>For each node <dfn id=var-dt-nc><var>n<sub><var>c</var></sub></var></dfn>  
     in the <code>childNodes</code> list of <var>n</var>,  
       <ol>  
       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a  
       <code>ProcessingInstruction</code> node, then it is an  
       <a href="#xml-well-formedness-error" id=wfe-dt-child><code>xml-well-formedness-error</code></a>.  
       <span class=ed>@@ ref to manakai's extensions</span></li>  
       <li>Otherwise, <!-- if n_c is not an EntityReference node, -->  
       <a href="#algorithm-to-check-a-node" title="check a node">check  
       <var>n<sub><var>c</var></sub></var></a> recusrively.</li>  
       </ol></li>  
     <li>For each node in the <code>entities</code>, <code>notations</code>,  
     and <code>elementTypes</code> lists of <var>n</var>,  
     <a href="#algorithm-to-check-a-node" title="check a node">check the  
     node</a> recursively.</li>  
     <li class=ed>@@ externally declared?</li>  
     </ol>  
   </dd>  
 <dt>If <var>n</var> is an <code>Element</code> node</dt>  
   <dd>  
     <ol>  
     <li><a href="#algorithm-to-validate-an-ncname">Validate the  
     <code>localName</code> attribute value as an <code>NCName</code></a>.</li>  
     <li>If the <code>prefix</code> attribute value is different from  
     <code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate  
     the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li>  
     <li>For each node <dfn id=var-element-nc><var>n<sub><var>c</var></sub></var></dfn>  
     in the <code>childNodes</code> list of <var>n</var>,  
       <ol>  
       <li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an  
       <code>Element</code>,  
       <code>Text</code>, <code>CDATASection</code>, <code>Comment</code>,  
       <code>ProcessingInstruction</code>, or  
       <code>EntityReference</code> node, then it is an  
       <a href="#xml-well-formedness-error" id=wfe-element-child><code>xml-well-formedness-error</code></a>.</li>  
       <li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an  
       <code>EntityReference</code> node, then it is an  
       <a href="#entity-error" id=ee-element-er><code>entity-error</code></a>.</li>  
       <li>Otherwise,  
       <a href="#algorithm-to-check-a-node" title="check a node">check  
       <var>n<sub><var>c</var></sub></var></a> recursively.</li>  
       </ol></li>  
     <li class=ed>@@ #elementvalid Validity constraint: Element Valid</li>  
     <li>Let <var>attrs</var> be the value of the <code>attribute</code>  
     attribute of <var>n</var>.  Check conformance of <var>attrs</var>  
     as following:  
       <ol>  
       <li>If <var>attrs</var> contains an <code>Attr</code> node whose  
       <code>nodeName</code> attribute value is equal to that of another  
       <code>Attr</code> node in <var>attrs</var>, then raise an  
       <a href="#xml-well-formedness-error" id=wfe-uniqattspec><code>xml-well-formedness-error</code></a>.<!--  
       #uniqattspec Well-formedness constraint: Unique Att Spec --></li>  
       <li class=ed>@@ #RequiredAttr Validity constraint: Required Attribute</li>  
       </ol>  
     </li>  
     </ol>  
   </dd>  
 <dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt>  
   <dd>  
     <ol>  
     <li class=ed></li>  
     <li>If the <code>childNodes</code> list of <var>n</var> contains  
     any nodes, they are in  
     <a href="#xml-well-formedness-error" id=wfe-et-child><code>xml-well-formedness-error</code></a>.</li>  
     <li class=ed>@@ <q cite="http://www.w3.org/TR/2006/REC-xml-20060816/#elemdecls">At user option, an XML processor MAY issue a warning when a declaration mentions an element type for which no declaration is provided, but this is not an error.</q></li>  
     <li class=ed>@@ <q cite="http://www.w3.org/TR/2006/REC-xml-20060816/#sec-element-content">For compatibility, it is an error if the content model allows an element to match more than one occurrence of an element type in the content model. </q></li>  
     <li class=ed>@@ #vc-MixedChildrenUnique  
     Validity constraint: No Duplicate Types</li>  
     <li class=ed>@@ <q cite="http://www.w3.org/TR/2006/REC-xml-20060816/#attdecls">At user option, an XML processor MAY issue a warning if attributes are declared for an element type not itself declared, but this is not an error.</q></li>  
     <li>If there is more than one <code>AttributeDefinition</code> node  
     with <span class=ed>attribute type <code>ID</code></span> in the  
     <code>NamedNodeMap</code> list contained in the  
     <code>attributeDefinitions</code> attribute of <var>n</var>, then raise an  
     <a href="#xml-validity-error" id=vc-one-id-per-el><code>xml-validity-error</code></a>.</li>  
     <li>If there is more than one <code>AttributeDefinition</code> node  
     with <span class=ed>attribute type <code>NOTATION</code></span> in the  
     <code>NamedNodeMap</code> list contained in the  
     <code>attributeDefinitions</code> attribute of <var>n</var>, then raise an  
     <a href="#xml-validity-error" id=vc-one-notation-per><code>xml-validity-error</code></a>.</li>  
     <li class=ed>"For interoperability, the same Nmtoken  SHOULD NOT occur more than once in the enumerated attribute types of a single element type."</li>  
     </ol>  
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    
 <div id=classes class=section>  
 <h2>Character Classes</h2>  
543    
544  <p>This section defines a couple of character classes.  <div class=section id=section-documenttype>
545  These classes are referred to by algorithms specified above.</p>  <h3>Modifications to the <code id=DocumentType>DocumentType</code>
546    Interface</h3>
547    
548    <p>A <a href="#DocumentType"><code>DocumentType</code></a> interface
549    <em class=rfc2119>MAY</em> contain zero or more
550    <a href="#ProcessingInstruction"><code>ProcessingInstruction</code></a>
551    nodes in the <code>NodeList</code> object contained in the
552    <code>childNodes</code> attribute of the
553    <a href="#DocumentType"><code>DocumentType</code></a> node.</p>
554    
555    <p>If the <a href="#DocumentType"><code>DocumentType</code></a> node is created
556    during the process to create a <abbr>DOM</abbr> from an <abbr>XML</abbr>
557    document, the <code>NodeList</code> object in the <code>childNodes</code>
558    object <em class=rfc2119>MUST</em> contains the
559    <a href="#ProcessingInstruction"><code>ProcessingInstruction</code></a>
560    nodes representing the processing instructions in the document type
561    definition of the document processed <span class=ed>@@ ref</span> by
562    the <abbr>XML</abbr> processor.  If the
563    <a href="#DocumentType"><code>DocumentType</code></a> node is marked
564    as read$B!>(Bonly, then all the child nodes <em class=rfc2119>MUST</em>
565    also be marked as read$B!>(Bonly.</p>
566    
567    <p>If a <a href="#DocumentType"><code>DocumentType</code></a> node is created
568    from a document type declaration information item <span class=ed>@@ ref</span>,
569    the <code>NodeList</code> object in the <code>childNodes</code> attribute
570    of the node <em class=rfc2119>MUST</em> contain the
571    <a href="#ProcessingInstruction"><code>ProcessingInstruction</code></a> nodes
572    created from the processing instruction information items in the list in the
573    [children] property of the document type declaration item in the same
574    order.</p>
575    
576    <p>If a <a href="#DocumentType"><code>DocumentType</code></a> node is mapped to
577    a document type declaration information item, the list in the [children]
578    property <em class=rfc2119>MUST</em> contain the processng instruction
579    information items created from the
580    <a href="#ProcessingInstruction"><code>ProcessingInstruction</code></a> nodes
581    in the <code>NodeList</code> object in the <code>childNodes</code> attribute
582    of the <a href="#DocumentType"><code>DocumentType</code></a> node.</p>
583    
584    <p>The implementation of the
585    <a href="#DocumentType"><code>DocumentType</code></a> interface
586    <em class=rfc2119>MUST</em> be modified as following:</p>
587    <pre class=idl><code>// Modifications to the DocumentType interface
588      attribute DOMString <a href="#publicId">publicId</a>;
589      attribute DOMString <a href="#systemId">systemId</a>;
590    
591      attribute DOMString <a href="#internalSubset">internalSubset</a>;
592    </code></pre>
593    
594    <p>The <code id=publicId>publicId</code> attribute and the
595    <code id=systemId>systemId</code> attribute of
596    <a href="#DocumentType"><code>DocumentType</code></a>,
597    <a href="#Entity"><code>Entity</code></a>, and
598    <a href="#Notation"><code>Notation</code></a> interfaces are no longer
599    read$B!>(Bonly.</p>
600    
601    <p>On setting, the attribute <em class=rfc2119>MUST</em> raise a
602    <code>NO_MODIFICATION_ALLOWED_ERR</code> <span class=ed>@@ ref</span>
603    exception if the node is read$B!>(Bonly <span class=ed>@@ ref</span>.  
604    Otherwise, it <em class=rfc2119>MUST</em> set the specified value as the value
605    associated to the attribute.  No normalization, relative reference resolution,
606    or lexical validation is performed. <span class=ed>@@ If the new
607    value is <code>null</code>, ...</span></p>
608    
 <p>Character class <dfn id=class-Char10><code>Char10</code></dfn>  
 contains the following characters:</p>  
 <ul>  
 <li><code class=char>U+0009</code> <code class=charname>CHARACTER  
 TABULATION</code></li>  
 <li><code class=char>U+000A</code> <code class=charname>LINE FEED</code></li>  
 <li><code class=char>U+000D</code> <code class=charname>CARRIAGE  
 RETURN</code></li>  
 <li><code class=char>U+0020</code> <code class=charname>SPACE</code>  
 .. <code class=char>U+D7FF</code></li>  
 <li><code class=char>U+E000</code> .. <code class=char>U+FFFD</code>  
 <code class=charname>REPLACEMENT CHARACTER</code></li>  
 <li><code class=char>U+10000</code> .. <code class=char>U+10FFFF</code></li>  
 </ul>  
609  <div class="note memo">  <div class="note memo">
610  <p>This character class contains all characters allowed in the production rule  <p>Setting an invalid identifier might make the node unserializable.
611  <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Char"><code>Char</code></a>  Setting a public identifier while leaveing system identifier unspecified
612  of <abbr>XML</abbr> 1.0  would also make the <a href="#DocumentType"><code>DocumentType</code></a>
613  <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>  or <a href="#Entity"><code>Entity</code></a> node unserializable.</p>
614  </div>  </div>
615    
616  <p>Character class <dfn id=class-CompatChar10><code>CompatChar10</code></dfn>  <div class=ed>
617  contains the following characters:</p>  <p>ISSUE: In HTML5, Firefox 1.5, and Opera 9, not specifying public or system identifier results in empty strings.</p>
618  <ul>  </div>
619  <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>  
620  </ul>  <p>The <code id=internalSubset>internalSubset</code> attribute of the
621    <a href="#DocumentType"><code>DocumentType</code></a> interface is no longer
622    read$B!>(Bonly.</p>
623    
624    <p>On setting, the attribute <em class=rfc2119>MUST</em> raise a
625    <code>NO_MODIFICATION_ALLOWED_ERR</code> <span class=ed>@@ ref</span>
626    exception if the node is read$B!>(Bonly <span class=ed>@@ ref</span>.  
627    Otherwise, it <em class=rfc2119>MUST</em> set the specified value as the value
628    associated to the attribute.  No normalization, or lexical validation is
629    performed. <span class=ed>@@ If the new value is <code>null</code>,
630    ...</span></p>
631    
 <p>Character class <dfn id=class-ControlChar10><code>ControlChar10</code></dfn>  
 contains the following characters:</p>  
 <ul>  
 <li><code class=char>U+007F</code> <code class=charname>DELETE</code> ..  
 <code class=char>U+0084</code> <code class=charname>INDEX</code></li>  
 <li><code class=char>U+0086</code> <code class=charname>START OF SELECTED  
 AREA</code> .. <code class=char>U+009F</code> <code class=charname>APPLICATION  
 PROGRAM COMMAND</code></li>  
 <li><code class=char>U+FDD0</code> .. <code class=char>U+FDEF</code></li>  
 <li><code class=char>U+1FFFE</code> .. <code class=char>U+1FFFF</code></li>  
 <li><code class=char>U+2FFFE</code> .. <code class=char>U+2FFFF</code></li>  
 <li><code class=char>U+3FFFE</code> .. <code class=char>U+3FFFF</code></li>  
 <li><code class=char>U+4FFFE</code> .. <code class=char>U+4FFFF</code></li>  
 <li><code class=char>U+5FFFE</code> .. <code class=char>U+5FFFF</code></li>  
 <li><code class=char>U+6FFFE</code> .. <code class=char>U+6FFFF</code></li>  
 <li><code class=char>U+7FFFE</code> .. <code class=char>U+7FFFF</code></li>  
 <li><code class=char>U+8FFFE</code> .. <code class=char>U+8FFFF</code></li>  
 <li><code class=char>U+9FFFE</code> .. <code class=char>U+9FFFF</code></li>  
 <li><code class=char>U+AFFFE</code> .. <code class=char>U+AFFFF</code></li>  
 <li><code class=char>U+BFFFE</code> .. <code class=char>U+BFFFF</code></li>  
 <li><code class=char>U+CFFFE</code> .. <code class=char>U+CFFFF</code></li>  
 <li><code class=char>U+DFFFE</code> .. <code class=char>U+DFFFF</code></li>  
 <li><code class=char>U+EFFFE</code> .. <code class=char>U+EFFFF</code></li>  
 <li><code class=char>U+FFFFE</code> .. <code class=char>U+FFFFF</code></li>  
 <li><code class=char>U+10FFFE</code> .. <code class=char>U+10FFFF</code></li>  
 </ul>  
 <div class="note memo">  
 <p>This character class contains the characters listed in the Note in  
 <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#charsets">Section 2.2</a>  
 of <abbr>XML</abbr> 1.0  
 <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>,  
 as amended by  
 <a href="http://www.w3.org/XML/xml-V10-4e-errata#E02">errata</a>.</p>  
632  </div>  </div>
633    
634  <p>The character class <dfn id=class-NameStartChar10><code>NameStartChar10</code></dfn>  <div class=section id=section-documenttypedefinition>
635  contains the following characters:</p>  <h3>The <code>DocumentTypeDefinition</code> Interface</h3>
636  <ul class=ed>  
 </ul>  
637  <div class="note memo">  <div class="note memo">
638  <p>This character class contains all characters allowed as the first character  <p>This interface is a separated interface from the
639  of a string matching to the production rule  <a href="#DocumentType"><code>DocumentType</code></a>, not a set of extensions
640  <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Name"><code>Name</code></a>  to the <a href="#DocumentType"><code>DocumentType</code></a>,
641  of <abbr>XML</abbr> 1.0  for the historical reason.</p>
 <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>  
642  </div>  </div>
643    
644  <p>The character class <dfn id=class-NameChar10><code>NameChar10</code></dfn>  <p>The
645  contains the following characters:</p>  <a href="#DocumentTypeDefinition"><code>DocumentTypeDefinition</code></a>
646  <ul>  interface <em class=rfc2119>MUST</em> be implemented as following:</p>
647  <li>The characters in the character class  <pre class=idl><code>interface <dfn id=DocumentTypeDefinition><code>DocumentTypeDefinition</code></dfn> {
648  <a href="#class-NameStartChar10">NameStartChar10</a>.</li>    readonly attribute NamedNodeMap <a href="#elementTypes">elementTypes</a>;
649  <li class=ed></li>    readonly attribute NamedNodeMap <a href="#generalEntities">generalEntities</a>;
650  </ul>    readonly attribute NamedNodeMap <a href="#notations">notations</a>;
651  <div class="note memo">  
652  <p>This character class contains all characters allowed as the second    <a href="#ElementTypeDefinition">ElementTypeDefinition</a> <a href="#getElementTypeDefinitionNode">getElementTypeDefinitionNode</a>
653  character of a string matching to the production rule      (in DOMString <a href="#getElementTypeDefinitionNode-name"><var>name</var></a>);
654  <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Name"><code>Name</code></a>    <a href="#Entity">Entity</a> <a href="#getGeneralEntityNode">getGeneralEntityNode</a>
655  of <abbr>XML</abbr> 1.0      (in DOMString <a href="#getGeneralEntityNode-name"><var>name</var></a>);
656  <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>    <a href="#Notation">Notation</a> <a href="#getNotationNode">getNotationNode</a>
657        (in DOMString <a href="#getNotationNode-name"><var>name</var></a>);
658    
659      void <a href="#setElementTypeDefinitionNode">setElementTypeDefinitionNode</a>
660        (in DOMString <a href="#setElementTypeDefinitionNode-node"><var>node</var></a>)
661        raises (DOMException);
662      void <a href="#setGeneralEntityNode">setGeneralEntityNode</a>
663        (in DOMString <a href="#setGeneralEntityNode-node"><var>node</var></a>)
664        raises (DOMException);
665      void <a href="#setNotationNode">setNotationNode</a>
666        (in DOMString <a href="#setNotationNode-node"><var>node</var></a>)
667        raises (DOMException);
668    }</code></pre>
669    
670    <pre class=ed>
671    [1] In an implementation that supports the
672    [CODE(URI)@en[[[http://suika.fam.cx/www/2006/feature/XDoctype]]]]
673    feature, a [CODE(DOMi)@en[[[DocumentType]]]] node
674    must implement the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]]
675    interface.  See [[DOM XML Document Type Definition]>>3] for
676    details.
677    </pre>
678    
679    <dl>
680    <dt><dfn id=elementTypes class=dom-attr><code>elementTypes</code></dfn> of
681    type <code>NamedNodeMap</code>, read$B!>(Bonly</dt>
682      <dd><p>A live <code>NamedNodeMap</code> object that contains all the element
683      type definitions belonging to the <code>DocumentType</code> node.</p>
684    
685      <p>On getting, the attribute <em class=rfc2119>MUST</em> return the
686      <code>NamedNodeMap</code> object that contains all the
687      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>
688      nodes belonging to the <code>DocumentType</code> node.  The
689      <code>NamedNodeMap</code> object <em class=rfc2119>MUST</em> be read$B!>(Bonly
690      if and only if the node is read$B!>(Bonly.  The <code>NamedNodeMap</code>
691      object <em class=rfc2119>MUST</em> be live and the same object
692      <em class=rfc2119>MUST</em> be returned for any invocation.</p>
693    
694      <p>If the <code>DocumentType</code> node is created during the process
695      to create a <abbr>DOM</abbr> from an <abbr>XML</abbr> document, the following
696      requirements are applied:  The <code>NamedNodeMap</code> object in the
697      <a href="#elementTypes"><code>elementType</code></a> attribute
698      <em class=rfc2119>MUST</em> be so transformed that the object contains
699      the <code>ElementTypeDefinition</code> nodes for the element types
700      whose name is presented as the <code>Name</code> of the element type or
701      attribute definition list declarations processed by the <abbr>XML</abbr>
702      processor.  If there is more than one element type declarations for an
703      element type, then the declarations other than the first one
704      <em class=rfc2119>MUST</em> be ignored for the purpose of constructing the
705      <code>NamedNodeMap</code> object.</p></dd>
706    <dt><dfn id=generalEntities class=dom-attr><code>generalEntities</code></dfn>
707    of type <code>NamedNodeMap</code>, read$B!>(Bonly</dt>
708      <dd><p>A live <code>NamedNodeMap</code> object that contains all the general
709      entities belonging to the <code>DocumentType</code> node.</p>
710      
711      <p>On getting, the attribute <em class=rfc2119>MUST</em> return the
712      same value as the <code>entities</code> attribute (defined in the
713      <code>DocumentType</code> interface) of the same node.</p>
714    
715      <div class="note memo">
716        <p>This attribute is part of the interface for historical reason.</p>
717      </div></dd>
718    <!--
719    All entities declared in the document type definition
720    contained in or referenced from the document entity
721    might not be exposed through this collection, depending
722    on the information provided by the XML processor for
723    the DOM implementation.  In particular, it might not
724    contain any entity if entity references are expanded
725    at the parse time.  An implementation [['''MUST NOT''']]
726    expose an [CODE(DOMi)@en[[[Entity]]]] node whose [CODE(DOMa)@en[[[nodeName]]]]
727    is equal to the name of one of five predefined general entities in
728    XML through the collection as the result of parsing of an XML
729    document that has no error.  Duplicate entity declarations are also discarded.
730    
731    The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]]
732    object that contains all the [CODE(DOMi)@en[[[Entity]]]] nodes
733    representing general entities belong to the node.  The returned
734    [CODE(DOMi)@en[[[NamedNodeMap]]]] object [['''MUST''']] be read-only if and only if
735    the node is read-only. Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live
736    and therefore any change of read-only flag on the node is immediately
737    reflected by that of the object.
738    -->
739    <dt><dfn id=notations class=dom-attr><code>notations</code></dfn> of type
740    <code>notations</code>, read$B!>(Bonly</code>
741      <dd><p>A live <code>NamedNodeMap</code> object that contains all the
742      notations belonging to the <code>DocumentType</code> node.</p>
743      
744      <p>On getting, the attribute <em class=rfc2119>MUST</em> return the
745      same value as the <code>notations</code> attribute (defined in the
746      <code>DocumentType</code> interface) of the same node.</p>
747    
748      <div class="note memo">
749        <p>This attribute is part of the interface for historical reason.</p>
750        <p>Implementations are not required to implement the
751        <code>notations</code> attribute twice (for <code>DocumentType</code>
752        and <code>DocumentTypeDefinition</code> interfaces); they share exactly
753        same definition.</p>
754      </div></dd>
755    <!--
756    If the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] node is
757    created from an XML document, duplicate notation declarations, if any, in DTD
758    [['''MUST NOT''']] result in a node in the [CODE(DOMi)@en[[[NamedNodeMap]]]]
759    object and only the first declaration [['''MUST''']] be
760    made available as a [CODE(DOMi)@en[[[Notation]]]] node.
761    
762    ;; This definition is based on one for the
763    [CODE(DOMa)@en[[[notations]]]] attribute of the
764    [CODE(DOMi)@en[[[DocumentType]]]] interface in DOM XML module.
765    Since duplication is violation to the Validity Constraint,
766    XML parsers might vary on how notations are notified to
767    the application.  In particular, [CODE(InfoProp)@en[[[notations]]]]
768    property of the document information item in XML Information Set
769    is so defined that in case ''any'' notation is declared for
770    multiple times then the property has no value.
771    
772    The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]]
773    object that contains all the [CODE(DOMi)@en[[[Notation]]]] nodes
774    representing notations belong to the node.  The returned
775    [CODE(DOMi)@en[[[NamedNodeMap]]]] object [['''MUST''']] be read-only if and only if
776    the node is read-only. Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live
777    and therefore any change of read-only flag on the node is immediately
778    reflected by that of the object.
779    -->
780    
781    <dt class=ed>@@ other members...
782    </dl>
783    
784    <div class=ed>
785    <p>A future version of this interface might define the
786    <code>parameterEntities</code> and getter/setter for parameter entities.
787  </div>  </div>
788    
789  <p>The character class <dfn id=class-PubidChar><code>PubidChar</code></dfn>  </div>
790  contains the following characters:</p>  
791  <ul>  <div class=section id=section-elementtypedefinition>
792  <li><code class=char>U+0009</code> <code class=charname>CHARACTER  <h3>The <code>ElementTypeDefinition</code> Interface</h3>
793  TABULATION</code></li>  
794  <li><code class=char>U+000A</code> <code class=charname>LINE FEED</code></li>  <p>The nodes of type
795  <li><code class=char>U+000D</code> <code class=charname>CARRIAGE  <a href="#ELEMENT_TYPE_DEFINITION_NODE"><code>ELEMENT_TYPE_DEFINITION_NODE</code></a>
796  RETURN</code></li>  represents an element type definition.  Such a node implements the
797  <li><code class=char>U+0020</code> <code class=charname>SPACE</code></li>  <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>
798  <li><code class=char>U+0021</code> <code class=charname>EXCLAMATION MARK</code>  interface, which extends the <a href="#Node"><code>Node</code></a>
799  (<code class=char>!</code>)</li>  interface.</p>
800  <li><code class=char>U+0023</code> <code class=charname>DOLLAR SIGN</code>  
801  (<code class=char>$</code>)</li>  <p>An element type definition represents a definition of the element type.
802  <li><code class=char>U+0024</code> <code class=charname>NUMBER SIGN</code>  It is corresponding to the element type declaration in <abbr>DTD</abbr>.
803  (<code class=char>#</code>)</li>  However, an
804  <li><code class=char>U+0025</code> <code class=charname>PERCENT SIGN</code>  <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> node
805  (<code class=char>%</code>)</li>  does not represent the element type definition in <abbr>DTD</abbr> itself.  
806  <li><code class=char>U+0027</code> <code class=charname>APOSTROPHE</code>  Even if there are more than one element type declarations for an element type
807  (<code class=char>'</code>)</li>  in <abbr>DTD</abbr>, the result <abbr>DOM</abbr> will contain only an
808  <li><code class=char>U+0028</code> <code class=charname>LEFT PARENTHESIS</code>  <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>
809  (<code class=char>(</code>)</li>  node for that element type.  In addition, if there are attribute definition
810  <li><code class=char>U+0029</code> <code class=charname>RIGHT  declarations for an element type, even when there is no element type
811  PARENTHESIS</code> (<code class=char>)</code>)</li>  declaration for that element type, the <abbr>DOM</abbr> will contain an
812  <li><code class=char>U+002A</code> <code class=charname>ASTERISK</code>  <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>
813  (<code class=char>*</code>)</li>  node for that element type.</p>
814  <li><code class=char>U+002B</code> <code class=charname>PLUS SIGN</code>  
815  (<code class=char>+</code>)</li>  <p>The <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>
816  <li><code class=char>U+002C</code> <code class=charname>COMMA</code>  interface <em class=rfc2119>MUST</em> be implemented as following:</p>
817  (<code class=char>,</code>)</li>  <pre class=idl><code>interface <dfn id=ElementTypeDefinition><code>ElementTypeDefinition</code></dfn> : <a href="#Node">Node</a> {
818  <li><code class=char>U+002D</code> <code class=charname>HYPHEN-MINUS</code>    readonly attribute <a href="#ownerDocumentTypeDefinition">ownerDocumentTypeDefinition</a>;
819  (<code class=char>-</code>)</li>  
820  <li><code class=char>U+002E</code> <code class=charname>FULL STOP</code>    <span class=ed>@@ more</span>
821  (<code class=char>.</code>)</li>  }</code></pre>
822  <li><code class=char>U+002F</code> <code class=charname>SOLIDUS</code>  
823  (<code class=char>/</code>)</li>  <pre class=ed>
824  <li><code class=char>U+0030</code> <code class=charname>DIGIT ZERO</code>  [DFN@en[[CODE(DOMa)@en[[[ownerDocumentTypeDefinition]]]] attribute]]
825  (<code class=char>0</code>) .. <code class=char>U+0039</code>  of the [CODE(DOMi)@en[[[ElementTypeDefinition]]]]
826  <code class=charname>DIGIT NINE</code> (<code class=char>9</code>)</li>  interface is defined in [[manakai//DOM Extensions]>>50].</pre>
827  <li><code class=char>U+003A</code> <code class=charname>COLON</code>  </div>
828  (<code class=char>:</code>)</li>  
829  <li><code class=char>U+003B</code> <code class=charname>SEMICOLON</code>  <div class=section id=section-attributedefinition>
830  (<code class=char>;</code>)</li>  <h3>The <code>AttributeDefinition</code> Interface</h3>
831  <li><code class=char>U+003D</code> <code class=charname>EQUAL SIGN</code>  
832  (<code class=char>=</code>)</li>  <p>The nodes of type
833  <li><code class=char>U+003F</code> <code class=charname>QUESTION MARK</code>  <a href="#ATTRIBUTE_DEFINITION_NODE"><code>ATTRIBUTE_DEFINITION_NODE</code></a>
834  (<code class=char>?</code>)</li>  represents an attribute definition.  Such a node implements the
835  <li><code class=char>U+0040</code> <code class=charname>COMMERCIAL AT</code>  <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> interface,
836  (<code class=char>@</code>)</li>  which extends the <a href="#Node"><code>Node</code></a> interface.</p>
837  <li><code class=char>U+0041</code> <code class=charname>LATIN CAPITAL LETTER  
838  A</code> (<code class=char>A</code>) .. <code class=char>U+005A</code>  <p>An attribute definition represents a definition of the attribute
839  <code class=charname>LATIN CAPITAL LETTER Z</code>  associated to an element type.  It is corresponding to the attribute definition
840  (<code class=char>Z</code>)</li>  in the attribute list declaration in <abbr>DTD</abbr>.  However, an
841  <li><code class=char>U+005F</code> <code class=charname>LOW LINE</code>  <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node does
842  (<code class=char>_</code>)</li>  not represent the attribute definition in <abbr>DTD</abbr> itself.  Even if
843  <li><code class=char>U+0061</code> <code class=charname>LATIN CAPITAL LETTER  there are more than one attribute definitions for an attribute of an element
844  A</code> (<code class=char>A</code>) .. <code class=char>U+007A</code>  type in <abbr>DTD</abbr>, the result <abbr>DOM</abbr> will contain only an
845  <code class=charname>LATIN CAPITAL LETTER Z</code>  <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node for
846  (<code class=char>Z</code>)</li>  that attribute.</p>
847  </ul>  
848    <p>The <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>
849    interface <em class=rfc2119>MUST</em> be implemented as following:</p>
850    <pre class=idl><code>interface <dfn id=AttributeDefinition><code>AttributeDefinition</code></dfn> : <a href="#Node">Node</a> {
851      <span class=comment>// <a href="#DeclaredValueType">DeclaredValueType</a></span>
852      const unsigned short <a href="#NO_TYPE_ATTR">NO_TYPE_ATTR</a> = 0;
853      const unsigned short <a href="#CDATA_ATTR">CDATA_ATTR</a> = 1;
854      const unsigned short <a href="#ID_ATTR">ID_ATTR</a> = 2;
855      const unsigned short <a href="#IDREF_ATTR">IDREF_ATTR</a> = 3;
856      const unsigned short <a href="#IDREFS_ATTR">IDREFS_ATTR</a> = 4;
857      const unsigned short <a href="#ENTITY_ATTR">ENTITY_ATTR</a> = 5;
858      const unsigned short <a href="#ENTITIES_ATTR">ENTITIES_ATTR</a> = 6;
859      const unsigned short <a href="#NMTOKEN_ATTR">NMTOKEN_ATTR</a> = 7;
860      const unsigned short <a href="#NMTOKENS_ATTR">NMTOKENS_ATTR</a> = 8;
861      const unsigned short <a href="#NOTATION_ATTR">NOTATION_ATTR</a> = 9;
862      const unsigned short <a href="#ENUMERATION_ATTR">ENUMERATION_ATTR</a> = 10;
863      const unsigned short <a href="#UNKNOWN_ATTR">UNKNOWN_ATTR</a> = 11;
864    
865      <span class=comment>// <a href="#DefaultValueType">DefaultValueType</a></span>
866      const unsigned short <a href="#UNKNOWN_DEFAULT">UNKNOWN_DEFAULT</a> = 0;
867      const unsigned short <a href="#FIXED_DEFAULT">FIXED_DEFAULT</a> = 1;
868      const unsigned short <a href="#REQUIRED_DEFAULT">REQUIRED_DEFAULT</a> = 2;
869      const unsigned short <a href="#IMPLIED_DEFAULT">IMPLIED_DEFAULT</a> = 3;
870      const unsigned short <a href="#EXPLICIT_DEFAULT">EXPLICIT_DEFAULT</a> = 4;
871      
872      readonly attribute <a href="#ElementTypeDefinition">ElementTypeDefinition</a> <a href="#ownerElementTypeDefinition">ownerElementTypeDefinition</a>;
873    
874      readonly attribute unsigned short <a href="#declaredType">declaredType</a>;
875      readonly attribute unsigned short <a href="#defaultType">defaultType</a>;
876    
877      <span class=ed>...</span>
878    }</code></pre>
879    
880    <dl>
881    <dt><dfn id=ownerElementTypeDefinition class=dom-attr><code>ownerElementTypeDefinition</code></dfn>
882    of type
883    <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>,
884    read$B!>(Bonly</dt>
885      <dd><p>The
886      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> to
887      which the <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>
888      node belongs.</p>
889    
890      <p>On getting, the attribute <em class=rfc2119>MUST</em> return an
891      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> node.
892      It <em class=rfc2119>MUST</em> be such a node that whose
893      <a href="#attributeDefinitons"><code>attributeDefinitions</code></a>
894      attribute contains the <code>NamedNodeMap</code> object that contains
895      the <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>
896      node.  If there is no such an
897      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> node,
898      then <code>null</code> <em class=rfc2119>MUST</em> be returned.</p>
899    <dt><dfn id=declaredType class=dom-attr><code>declaredType</code></dfn> of type
900    <code>unsigned short</code></dt>
901      <dd><p>The declared type <span class=ed>@@ ref</span> of the attribute.
902      It is expected that this attribute contains a value from the definition group
903      <a href="#DeclaredValueType"><code>DeclaredValueType</code></a>.</p>
904    
905      <p>On getting, the attribute <em class=rfc2119>MUST</em> return the
906      value associated to this attribute.</p>
907    
908      <p>On setting, the attribute <em class=rfc2119>MUST</em> raise a
909      <code>NO_MODIFICATION_ALLOWED_ERR</code> <span class=ed>@@ ref</span>
910      exception if the
911      <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node
912      is read$B!>(Bonly <span class=ed>@@ ref</span>.  Otherwise, it
913      <em class=rfc2119>MUST</em> set the specified value as the value
914      associated to this attribute.</p>
915    
916      <p>If the <code>AttributeDefinition</code> node is created during the process
917      to create a <abbr>DOM</abbr> from an <abbr>XML</abbr> document, an
918      appropriate value from the
919      <a href="#DeclaredValueType"><code>DeclaredValueType</code></a> constant
920      group <em class=rfc2119>MUST</em> be set to the attribute.</p>
921    
922      <!-- DeclaredValueType -->
923    <p>The definition group
924    <dfn id=DeclaredValueType><code>DeclaredValueType</code></dfn> contains
925    integers indicating the declared type of attributes.  The definition
926    group contains the following constants:</p>
927    
928    <table>
929    <thead>
930    <tr><th scope=col>Name<th scope=col>Value<th scope=col>Description</tr>
931    </thead>
932    <tbody>
933    <tr>
934    <th scope=row><dfn id=NO_TYPE_ATTR class=dom-const><code>NO_TYPE_ATTR</code>
935    <td><code>0</code><td>No value <span class=ed>[INFOSET]</span>.</tr>
936    <tr>
937    <th scope=row><dfn id=CDATA_ATTR class=dom-const><code>CDATA_ATTR</code>
938    <td><code>1</code><td><code>CDATA</code> <span class=ed>[XML]</span>.</tr>
939    <tr>
940    <th scope=row><dfn id=ID_ATTR class=dom-const><code>ID_ATTR</code>
941    <td><code>2</code><td><code>ID</code> <span class=ed>[XML]</span>.</tr>
942    <tr>
943    <th scope=row><dfn id=IDREF_ATTR class=dom-const><code>IDREF_ATTR</code>
944    <td><code>3</code><td><code>IDREF</code> <span class=ed>[XML]</span>.</tr>
945    <tr>
946    <th scope=row><dfn id=IDREFS_ATTR class=dom-const><code>IDREFS_ATTR</code>
947    <td><code>4</code><td><code>IDREFS</code> <span class=ed>[XML]</span>.</tr>
948    <tr>
949    <th scope=row><dfn id=ENTITY_ATTR class=dom-const><code>ENTITY_ATTR</code>
950    <td><code>5</code><td><code>ENTITY</code> <span class=ed>[XML]</span>.</tr>
951    <tr>
952    <th scope=row><dfn id=ENTITIES_ATTR class=dom-const><code>ENTITIES_ATTR</code>
953    <td><code>6</code><td><code>ENTITIES</code> <span class=ed>[XML]</span>.</tr>
954    <tr>
955    <th scope=row><dfn id=NMTOKEN_ATTR class=dom-const><code>NMTOKEN_ATTR</code>
956    <td><code>7</code><td><code>NMTOKEN</code> <span class=ed>[XML]</span>.</tr>
957    <tr>
958    <th scope=row><dfn id=NMTOKENS_ATTR class=dom-const><code>NMTOKENS_ATTR</code>
959    <td><code>8</code><td><code>NMTOKENS</code> <span class=ed>[XML]</span>.</tr>
960    <tr>
961    <th scope=row><dfn id=NOTATION_ATTR class=dom-const><code>NOTATION_ATTR</code>
962    <td><code>9</code><td><code>NOTATION</code> <span class=ed>[XML]</span>.</tr>
963    <tr>
964    <th scope=row><dfn id=ENUMERATION_ATTR class=dom-const><code>ENUMERATION_ATTR</code>
965    <td><code>10</code><td>Enumeration <span class=ed>[XML]</span>.</tr>
966    <tr>
967    <th scope=row><dfn id=UNKNOWN_ATTR class=dom-const><code>UNKNOWN_ATTR</code>
968    <td><code>11</code><td>Unknown, because no declaration for the attribute
969    has been read but the [all declaration processed] property
970    <span class=ed>[INFOSET]</span> would be false.</tr>
971    </tbody>
972    </table>
973    
974    <p>If no attribute type information is available, or if the source
975    of the information does not distinguish <q>no value</q> and <q>unknown</q>
976    <span class=ed>[INFOSET]</span>, then the value
977    <a href="#NO_TYPE_ATTR"><code>NO_TYPE_ATTR</code></a>
978    <em class=rfc2119>MUST</em> be used.</p>
979    
980  <div class="note memo">  <div class="note memo">
981  <p>This character class contains all characters allowed in the production rule  <p>An <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node
982  <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-PubidChar"><code>PubidChar</code></a>  created by the
983  of <abbr>XML</abbr> 1.0  <a href="#createAttributeDefinition"><code>createAttributeDefinition</code></a>
984  <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>  method has its <a href="#declaredType"><code>declaredType</code></a> attribute
985    set to <a href="#NO_TYPE_ATTR"><code>NO_TYPE_ATTR</code></a>.</p>
986    </div>
987    
988    <p>If the source of the information does not distinguish <q>no value</q>
989    and/or <q>unknown</q> <span class=ed>[INFOSET]</span> and
990    <code>CDATA</code> <span class=ed>[XML]</span>, then the value
991    <a href="#CDATA_ATTR"><code>CDATA_ATTR</code></a> <em class=rfc2119>MUST</em>
992    be used.</p>
993    
994    <p>In Perl binding <span class=ed>[PERLBINDING]</span>, the
995    <code>Attr</code> nodes <em class=rfc2119>MUST</em> implement the
996    <a href="#DeclaredValueType"><code>DeclaredValueType</code></a>
997    definition group.</p>
998    
999      </dd>
1000    <dt><dfn id=defaultType class=dom-attr><code>defaultType</code></dfn> of
1001    type <code>unsigned short</code></dt>
1002      <dd><p>The type of the default for the attribute.  It is expected that this
1003      attribute contains a value from the definition group
1004      <a href="#DefaultValueType"><code>DefaultValueType</code></a>.</p>
1005    
1006      <p>On getting, the attribute <em class=rfc2119>MUST</em> return
1007      the value associated to this attribute.</p>
1008    
1009      <p>On setting, the attribute <em class=rfc2119>MUST</em> raise a
1010      <code>NO_MODIFICATION_ALLOWED_ERR</code> <span class=ed>@@ ref</span>
1011      exception if the
1012      <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node
1013      is read$B!>(Bonly <span class=ed>@@ ref</span>.  Otherwise, it
1014      <em class=rfc2119>MUST</em> set the specified value as the value
1015      associated to this attribute.</p>
1016    
1017      <p>If the
1018      <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node is
1019      created during the process to create a <abbr>DOM</abbr> from an
1020      <abbr>XML</abbr> document, an appropriate value from the
1021      <a href="#DefaultValueType"><code>DefaultValueType</code></a> definition
1022      group <em class=rfc2119>MUST</em> be set to the attribute.</p>
1023    
1024      <!-- DefaultValueType -->
1025      <p>The definition group
1026      <dfn id=DefaultValueType><code>DefaultValueType</code></dfn>
1027      contains integers indicating the type of the default for the attribute.
1028      The definition group contains the following constans:</p>
1029    
1030      <table>
1031      <thead>
1032      <tr><th scope=col>Name<th scope=col>Value<th scope=col>Description</tr>
1033      </thead>
1034      <tbody>
1035      <tr>
1036      <th scope=row><dfn id=UNKNOWN_DEFAULT class=dom-const><code>UNKNOWN_DEFAULT</code></dfn>
1037      <td><code>0</code><td>Unknown.</tr>
1038      <tr>
1039      <th scope=row><dfn id=FIXED_DEFAULT class=dom-const><code>FIXED_DEFAULT</code></dfn>
1040      <td><code>1</code><td>Provided explicitly and fixed
1041      <span class=ed>@@ ref</span> to that value.</tr>
1042      <tr>
1043      <th scope=row><dfn id=REQUIRED_DEFAULT class=dom-const><code>REQUIRED_DEFAULT</code></dfn>
1044      <td><code>2</code><td>No default value and the attribute have to be
1045      explicitly specified.</tr>
1046      <tr>
1047      <th scope=row><dfn id=IMPLIED_DEFAULT class=dom-const><code>IMPLIED_DEFAULT</code></dfn>
1048      <td><code>3</code><td>Implied <span class=ed>@@ ref</span>.</tr>
1049      <tr>
1050      <th scope=row><dfn id=EXPLICIT_DEFAULT class=dom-const><code>EXPLICIT_DEFAULT</code></dfn>
1051      <td><code>4</code><td>Provided explicitly.</tr>
1052      </tbody>
1053      </table>
1054    
1055      <p>If the source of the default type does not distinguish
1056      implied and unknown default types, then the value
1057      <a href="#IMPLIED_DEFAULT"><code>IMPLIED_DEFAULT</code></a>
1058      <em class=rfc2119>MUST</em> be used.</p>
1059    
1060      <div class="note memo">
1061      <p>An <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>
1062      node created by the
1063      <a href="#createAttributeDefinition"><code>createAttributeDefinition</code></a>
1064      method has its <a href="#defaultType"><code>defaultType</code></a>
1065      attribute set to
1066      <a href="#UNKNOWN_DEFAULT"><code>UNKNOWN_DEFAULT</code></a>.</p>
1067      </div></dd>
1068    </dl>
1069    
1070  </div>  </div>
1071    
1072  </div>  </div>
1073    
1074    
1075    
1076    
1077    
1078  <div id="references" class="section reference">  <div id="references" class="section reference">
1079  <h2>References</h2>  <h2>References</h2>
1080    
Legend:
Removed from v.1.1  
changed lines
  Added in v.1.17
admin@suikawiki.org
 ViewVC Help
Powered by ViewVC 1.1.24