/[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.16 by wakaba, Tue Dec 4 10:44:09 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>  
637  </ul>  <p>The
638  <div class="note memo">  <a href="#DocumentTypeDefinition"><code>DocumentTypeDefinition</code></a>
639  <p>This character class contains all characters allowed as the first character  interface <em class=rfc2119>MUST</em> be implemented as following:</p>
640  of a string matching to the production rule  <pre class=idl><code>interface <dfn id=DocumentTypeDefinition><code>DocumentTypeDefinition</code></dfn> {
641  <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Name"><code>Name</code></a>    readonly attribute NamedNodeMap <a href="#elementTypes">elementTypes</a>;
642  of <abbr>XML</abbr> 1.0    readonly attribute NamedNodeMap <a href="#generalEntities">generalEntities</a>;
643  <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>    readonly attribute NamedNodeMap <a href="#notations">notations</a>;
644    
645      <a href="#ElementTypeDefinition">ElementTypeDefinition</a> <a href="#getElementTypeDefinitionNode">getElementTypeDefinitionNode</a>
646        (in DOMString <a href="#getElementTypeDefinitionNode-name"><var>name</var></a>);
647      <a href="#Entity">Entity</a> <a href="#getGeneralEntityNode">getGeneralEntityNode</a>
648        (in DOMString <a href="#getGeneralEntityNode-name"><var>name</var></a>);
649      <a href="#Notation">Notation</a> <a href="#getNotationNode">getNotationNode</a>
650        (in DOMString <a href="#getNotationNode-name"><var>name</var></a>);
651    
652      void <a href="#setElementTypeDefinitionNode">setElementTypeDefinitionNode</a>
653        (in DOMString <a href="#setElementTypeDefinitionNode-node"><var>node</var></a>)
654        raises (DOMException);
655      void <a href="#setGeneralEntityNode">setGeneralEntityNode</a>
656        (in DOMString <a href="#setGeneralEntityNode-node"><var>node</var></a>)
657        raises (DOMException);
658      void <a href="#setNotationNode">setNotationNode</a>
659        (in DOMString <a href="#setNotationNode-node"><var>node</var></a>)
660        raises (DOMException);
661    }</code></pre>
662    
663    <pre class=ed>
664    [1] In an implementation that supports the
665    [CODE(URI)@en[[[http://suika.fam.cx/www/2006/feature/XDoctype]]]]
666    feature, a [CODE(DOMi)@en[[[DocumentType]]]] node
667    must implement the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]]
668    interface.  See [[DOM XML Document Type Definition]>>3] for
669    details.
670    </pre>
671    
672    <dl>
673    <dt><dfn id=elementTypes class=dom-attr><code>elementTypes</code></dfn> of
674    type <code>NamedNodeMap</code>, read$B!>(Bonly</dt>
675      <dd><p>A live <code>NamedNodeMap</code> object that contains all the element
676      type definitions belonging to the <code>DocumentType</code> node.</p>
677    
678      <p>On getting, the attribute <em class=rfc2119>MUST</em> return the
679      <code>NamedNodeMap</code> object that contains all the
680      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>
681      nodes belonging to the <code>DocumentType</code> node.  The
682      <code>NamedNodeMap</code> object <em class=rfc2119>MUST</em> be read$B!>(Bonly
683      if and only if the node is read$B!>(Bonly.  The <code>NamedNodeMap</code>
684      object <em class=rfc2119>MUST</em> be live and the same object
685      <em class=rfc2119>MUST</em> be returned for any invocation.</p>
686    
687      <p>If the <code>DocumentType</code> node is created during the process
688      to create a <abbr>DOM</abbr> from an <abbr>XML</abbr> document, the following
689      requirements are applied:  The <code>NamedNodeMap</code> object in the
690      <a href="#elementTypes"><code>elementType</code></a> attribute
691      <em class=rfc2119>MUST</em> be so transformed that the object contains
692      the <code>ElementTypeDefinition</code> nodes for the element types
693      whose name is presented as the <code>Name</code> of the element type or
694      attribute definition list declarations processed by the <abbr>XML</abbr>
695      processor.  If there is more than one element type declarations for an
696      element type, then the declarations other than the first one
697      <em class=rfc2119>MUST</em> be ignored for the purpose of constructing the
698      <code>NamedNodeMap</code> object.</p></dd>
699    <dt><dfn id=generalEntities class=dom-attr><code>generalEntities</code></dfn>
700    of type <code>NamedNodeMap</code>, read$B!>(Bonly</dt>
701      <dd><p>A live <code>NamedNodeMap</code> object that contains all the general
702      entities belonging to the <code>DocumentType</code> node.</p>
703      
704      <p>On getting, the attribute <em class=rfc2119>MUST</em> return the
705      same value as the <code>entities</code> attribute (defined in the
706      <code>DocumentType</code> interface) of the same node.</p>
707    
708      <div class="note memo">
709        <p>This attribute is part of the interface for historical reason.</p>
710      </div></dd>
711    <!--
712    All entities declared in the document type definition
713    contained in or referenced from the document entity
714    might not be exposed through this collection, depending
715    on the information provided by the XML processor for
716    the DOM implementation.  In particular, it might not
717    contain any entity if entity references are expanded
718    at the parse time.  An implementation [['''MUST NOT''']]
719    expose an [CODE(DOMi)@en[[[Entity]]]] node whose [CODE(DOMa)@en[[[nodeName]]]]
720    is equal to the name of one of five predefined general entities in
721    XML through the collection as the result of parsing of an XML
722    document that has no error.  Duplicate entity declarations are also discarded.
723    
724    The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]]
725    object that contains all the [CODE(DOMi)@en[[[Entity]]]] nodes
726    representing general entities belong to the node.  The returned
727    [CODE(DOMi)@en[[[NamedNodeMap]]]] object [['''MUST''']] be read-only if and only if
728    the node is read-only. Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live
729    and therefore any change of read-only flag on the node is immediately
730    reflected by that of the object.
731    -->
732    <dt><dfn id=notations class=dom-attr><code>notations</code></dfn> of type
733    <code>notations</code>, read$B!>(Bonly</code>
734      <dd><p>A live <code>NamedNodeMap</code> object that contains all the
735      notations belonging to the <code>DocumentType</code> node.</p>
736      
737      <p>On getting, the attribute <em class=rfc2119>MUST</em> return the
738      same value as the <code>notations</code> attribute (defined in the
739      <code>DocumentType</code> interface) of the same node.</p>
740    
741      <div class="note memo">
742        <p>This attribute is part of the interface for historical reason.</p>
743        <p>Implementations are not required to implement the
744        <code>notations</code> attribute twice (for <code>DocumentType</code>
745        and <code>DocumentTypeDefinition</code> interfaces); they share exactly
746        same definition.</p>
747      </div></dd>
748    <!--
749    If the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] node is
750    created from an XML document, duplicate notation declarations, if any, in DTD
751    [['''MUST NOT''']] result in a node in the [CODE(DOMi)@en[[[NamedNodeMap]]]]
752    object and only the first declaration [['''MUST''']] be
753    made available as a [CODE(DOMi)@en[[[Notation]]]] node.
754    
755    ;; This definition is based on one for the
756    [CODE(DOMa)@en[[[notations]]]] attribute of the
757    [CODE(DOMi)@en[[[DocumentType]]]] interface in DOM XML module.
758    Since duplication is violation to the Validity Constraint,
759    XML parsers might vary on how notations are notified to
760    the application.  In particular, [CODE(InfoProp)@en[[[notations]]]]
761    property of the document information item in XML Information Set
762    is so defined that in case ''any'' notation is declared for
763    multiple times then the property has no value.
764    
765    The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]]
766    object that contains all the [CODE(DOMi)@en[[[Notation]]]] nodes
767    representing notations belong to the node.  The returned
768    [CODE(DOMi)@en[[[NamedNodeMap]]]] object [['''MUST''']] be read-only if and only if
769    the node is read-only. Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live
770    and therefore any change of read-only flag on the node is immediately
771    reflected by that of the object.
772    -->
773    
774    <dt class=ed>@@ other members...
775    </dl>
776    
777    <div class=ed>
778    <p>A future version of this interface might define the
779    <code>parameterEntities</code> and getter/setter for parameter entities.
780  </div>  </div>
781    
 <p>The character class <dfn id=class-NameChar10><code>NameChar10</code></dfn>  
 contains the following characters:</p>  
 <ul>  
 <li>The characters in the character class  
 <a href="#class-NameStartChar10">NameStartChar10</a>.</li>  
 <li class=ed></li>  
 </ul>  
 <div class="note memo">  
 <p>This character class contains all characters allowed as the second  
 character of a string matching to the production rule  
 <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Name"><code>Name</code></a>  
 of <abbr>XML</abbr> 1.0  
 <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>  
782  </div>  </div>
783    
784  <p>The character class <dfn id=class-PubidChar><code>PubidChar</code></dfn>  <div class=section id=section-elementtypedefinition>
785  contains the following characters:</p>  <h3>The <code>ElementTypeDefinition</code> Interface</h3>
786  <ul>  
787  <li><code class=char>U+0009</code> <code class=charname>CHARACTER  <p>The <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>
788  TABULATION</code></li>  interface <em class=rfc2119>MUST</em> be implemented as following:</p>
789  <li><code class=char>U+000A</code> <code class=charname>LINE FEED</code></li>  <pre class=idl><code>interface <dfn id=ElementTypeDefinition><code>ElementTypeDefinition</code></dfn> : <a href="#Node">Node</a> {
790  <li><code class=char>U+000D</code> <code class=charname>CARRIAGE    readonly attribute <a href="#ownerDocumentTypeDefinition">ownerDocumentTypeDefinition</a>;
791  RETURN</code></li>  
792  <li><code class=char>U+0020</code> <code class=charname>SPACE</code></li>    <span class=ed>@@ more</span>
793  <li><code class=char>U+0021</code> <code class=charname>EXCLAMATION MARK</code>  }</code></pre>
794  (<code class=char>!</code>)</li>  
795  <li><code class=char>U+0023</code> <code class=charname>DOLLAR SIGN</code>  <pre class=ed>
796  (<code class=char>$</code>)</li>  [DFN@en[[CODE(DOMa)@en[[[ownerDocumentTypeDefinition]]]] attribute]]
797  <li><code class=char>U+0024</code> <code class=charname>NUMBER SIGN</code>  of the [CODE(DOMi)@en[[[ElementTypeDefinition]]]]
798  (<code class=char>#</code>)</li>  interface is defined in [[manakai//DOM Extensions]>>50].</pre>
799  <li><code class=char>U+0025</code> <code class=charname>PERCENT SIGN</code>  </div>
800  (<code class=char>%</code>)</li>  
801  <li><code class=char>U+0027</code> <code class=charname>APOSTROPHE</code>  <div class=section id=section-attributedefinition>
802  (<code class=char>'</code>)</li>  <h3>The <code>AttributeDefinition</code> Interface</h3>
803  <li><code class=char>U+0028</code> <code class=charname>LEFT PARENTHESIS</code>  
804  (<code class=char>(</code>)</li>  <p>The <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>
805  <li><code class=char>U+0029</code> <code class=charname>RIGHT  interface <em class=rfc2119>MUST</em> be implemented as following:</p>
806  PARENTHESIS</code> (<code class=char>)</code>)</li>  <pre class=idl><code>interface <dfn id=AttributeDefinition><code>AttributeDefinition</code></dfn> : <a href="#Node">Node</a> {
807  <li><code class=char>U+002A</code> <code class=charname>ASTERISK</code>    <span class=comment>// <a href="#DeclaredValueType">DeclaredValueType</a></span>
808  (<code class=char>*</code>)</li>    const unsigned short <a href="#NO_TYPE_ATTR">NO_TYPE_ATTR</a> = 0;
809  <li><code class=char>U+002B</code> <code class=charname>PLUS SIGN</code>    const unsigned short <a href="#CDATA_ATTR">CDATA_ATTR</a> = 1;
810  (<code class=char>+</code>)</li>    const unsigned short <a href="#ID_ATTR">ID_ATTR</a> = 2;
811  <li><code class=char>U+002C</code> <code class=charname>COMMA</code>    const unsigned short <a href="#IDREF_ATTR">IDREF_ATTR</a> = 3;
812  (<code class=char>,</code>)</li>    const unsigned short <a href="#IDREFS_ATTR">IDREFS_ATTR</a> = 4;
813  <li><code class=char>U+002D</code> <code class=charname>HYPHEN-MINUS</code>    const unsigned short <a href="#ENTITY_ATTR">ENTITY_ATTR</a> = 5;
814  (<code class=char>-</code>)</li>    const unsigned short <a href="#ENTITIES_ATTR">ENTITIES_ATTR</a> = 6;
815  <li><code class=char>U+002E</code> <code class=charname>FULL STOP</code>    const unsigned short <a href="#NMTOKEN_ATTR">NMTOKEN_ATTR</a> = 7;
816  (<code class=char>.</code>)</li>    const unsigned short <a href="#NMTOKENS_ATTR">NMTOKENS_ATTR</a> = 8;
817  <li><code class=char>U+002F</code> <code class=charname>SOLIDUS</code>    const unsigned short <a href="#NOTATION_ATTR">NOTATION_ATTR</a> = 9;
818  (<code class=char>/</code>)</li>    const unsigned short <a href="#ENUMERATION_ATTR">ENUMERATION_ATTR</a> = 10;
819  <li><code class=char>U+0030</code> <code class=charname>DIGIT ZERO</code>    const unsigned short <a href="#UNKNOWN_ATTR">UNKNOWN_ATTR</a> = 11;
820  (<code class=char>0</code>) .. <code class=char>U+0039</code>    
821  <code class=charname>DIGIT NINE</code> (<code class=char>9</code>)</li>    readonly attribute <a href="#ElementTypeDefinition">ElementTypeDefinition</a> <a href="#ownerElementTypeDefinition">ownerElementTypeDefinition</a>;
822  <li><code class=char>U+003A</code> <code class=charname>COLON</code>  
823  (<code class=char>:</code>)</li>    readonly attribute unsigned short <a href="#declaredType">declaredType</a>;
824  <li><code class=char>U+003B</code> <code class=charname>SEMICOLON</code>    readonly attribute unsigned short <a href="#defaultType">defaultType</a>;
825  (<code class=char>;</code>)</li>  
826  <li><code class=char>U+003D</code> <code class=charname>EQUAL SIGN</code>    <span class=ed>...</span>
827  (<code class=char>=</code>)</li>  }</code></pre>
828  <li><code class=char>U+003F</code> <code class=charname>QUESTION MARK</code>  
829  (<code class=char>?</code>)</li>  <dl>
830  <li><code class=char>U+0040</code> <code class=charname>COMMERCIAL AT</code>  <dt><dfn id=ownerElementTypeDefinition class=dom-attr><code>ownerElementTypeDefinition</code></dfn>
831  (<code class=char>@</code>)</li>  of type
832  <li><code class=char>U+0041</code> <code class=charname>LATIN CAPITAL LETTER  <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>,
833  A</code> (<code class=char>A</code>) .. <code class=char>U+005A</code>  read$B!>(Bonly</dt>
834  <code class=charname>LATIN CAPITAL LETTER Z</code>    <dd><p>The
835  (<code class=char>Z</code>)</li>    <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> to
836  <li><code class=char>U+005F</code> <code class=charname>LOW LINE</code>    which the <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>
837  (<code class=char>_</code>)</li>    node belongs.</p>
838  <li><code class=char>U+0061</code> <code class=charname>LATIN CAPITAL LETTER  
839  A</code> (<code class=char>A</code>) .. <code class=char>U+007A</code>    <p>On getting, the attribute <em class=rfc2119>MUST</em> return an
840  <code class=charname>LATIN CAPITAL LETTER Z</code>    <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> node.
841  (<code class=char>Z</code>)</li>    It <em class=rfc2119>MUST</em> be such a node that whose
842  </ul>    <a href="#attributeDefinitons"><code>attributeDefinitions</code></a>
843      attribute contains the <code>NamedNodeMap</code> object that contains
844      the <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>
845      node.  If there is no such an
846      <a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> node,
847      then <code>null</code> <em class=rfc2119>MUST</em> be returned.</p>
848    <dt><dfn id=declaredType class=dom-attr><code>declaredType</code></dfn> of type
849    <code>unsigned short</code></dt>
850      <dd><p>The declared type <span class=ed>@@ ref</span> of the attribute.
851      It is expected that this attribute contains a value from the definition group
852      <a href="#DeclaredValueType"><code>DeclaredValueType</code></a>.</p>
853    
854      <p>On getting, the attribute <em class=rfc2119>MUST</em> return the
855      value associated to this attribute.</p>
856    
857      <p>On setting, the attribute <em class=rfc2119>MUST</em> raise a
858      <code>NO_MODIFICATION_ALLOWED_ERR</code> <span class=ed>@@ ref</span>
859      exception if the
860      <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node
861      is read$B!>(Bonly <span class=ed>@@ ref</span>.  Otherwise, it
862      <em class=rfc2119>MUST</em> set the specified value as the value
863      associated to this attribute.</p>
864    
865      <p>If the <code>AttributeDefinition</code> node is created during the process
866      to create a <abbr>DOM</abbr> from an <abbr>XML</abbr> document, an
867      appropriate value from the
868      <a href="#DeclaredValueType"><code>DeclaredValueType</code></a> constant
869      group <em class=rfc2119>MUST</em> be set to the attribute.</p>
870    
871      <!-- DeclaredValueType -->
872    <p>The definition group
873    <dfn id=DeclaredValueType><code>DeclaredValueType</code></dfn> contains
874    integers indicating the declared type of attributes.  The definition
875    group contains the following constants:</p>
876    
877    <table>
878    <thead>
879    <tr><th scope=col>Name<th scope=col>Value<th scope=col>Description</tr>
880    </thead>
881    <tbody>
882    <tr>
883    <th scope=row><dfn id=NO_TYPE_ATTR class=dom-const><code>NO_TYPE_ATTR</code>
884    <td><code>0</code><td>No value <span class=ed>[INFOSET]</span>.</tr>
885    <tr>
886    <th scope=row><dfn id=CDATA_ATTR class=dom-const><code>CDATA_ATTR</code>
887    <td><code>1</code><td><code>CDATA</code> <span class=ed>[XML]</span>.</tr>
888    <tr>
889    <th scope=row><dfn id=ID_ATTR class=dom-const><code>ID_ATTR</code>
890    <td><code>2</code><td><code>ID</code> <span class=ed>[XML]</span>.</tr>
891    <tr>
892    <th scope=row><dfn id=IDREF_ATTR class=dom-const><code>IDREF_ATTR</code>
893    <td><code>3</code><td><code>IDREF</code> <span class=ed>[XML]</span>.</tr>
894    <tr>
895    <th scope=row><dfn id=IDREFS_ATTR class=dom-const><code>IDREFS_ATTR</code>
896    <td><code>4</code><td><code>IDREFS</code> <span class=ed>[XML]</span>.</tr>
897    <tr>
898    <th scope=row><dfn id=ENTITY_ATTR class=dom-const><code>ENTITY_ATTR</code>
899    <td><code>5</code><td><code>ENTITY</code> <span class=ed>[XML]</span>.</tr>
900    <tr>
901    <th scope=row><dfn id=ENTITIES_ATTR class=dom-const><code>ENTITIES_ATTR</code>
902    <td><code>6</code><td><code>ENTITIES</code> <span class=ed>[XML]</span>.</tr>
903    <tr>
904    <th scope=row><dfn id=NMTOKEN_ATTR class=dom-const><code>NMTOKEN_ATTR</code>
905    <td><code>7</code><td><code>NMTOKEN</code> <span class=ed>[XML]</span>.</tr>
906    <tr>
907    <th scope=row><dfn id=NMTOKENS_ATTR class=dom-const><code>NMTOKENS_ATTR</code>
908    <td><code>8</code><td><code>NMTOKENS</code> <span class=ed>[XML]</span>.</tr>
909    <tr>
910    <th scope=row><dfn id=NOTATION_ATTR class=dom-const><code>NOTATION_ATTR</code>
911    <td><code>9</code><td><code>NOTATION</code> <span class=ed>[XML]</span>.</tr>
912    <tr>
913    <th scope=row><dfn id=ENUMERATION_ATTR class=dom-const><code>ENUMERATION_ATTR</code>
914    <td><code>10</code><td>Enumeration <span class=ed>[XML]</span>.</tr>
915    <tr>
916    <th scope=row><dfn id=UNKNOWN_ATTR class=dom-const><code>UNKNOWN_ATTR</code>
917    <td><code>11</code><td>Unknown, because no declaration for the attribute
918    has been read but the [all declaration processed] property
919    <span class=ed>[INFOSET]</span> would be false.</tr>
920    </tbody>
921    </table>
922    
923    <p>If no attribute type information is available, or if the source
924    of the information does not distinguish <q>no value</q> and <q>unknown</q>
925    <span class=ed>[INFOSET]</span>, then the value
926    <a href="#NO_TYPE_ATTR"><code>NO_TYPE_ATTR</code></a>
927    <em class=rfc2119>MUST</em> be used.</p>
928    
929  <div class="note memo">  <div class="note memo">
930  <p>This character class contains all characters allowed in the production rule  <p>An <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node
931  <a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-PubidChar"><code>PubidChar</code></a>  created by the
932  of <abbr>XML</abbr> 1.0  <a href="#createAttributeDefinition"><code>createAttributeDefinition</code></a>
933  <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p>  method has its <a href="#declaredType"><code>declaredType</code></a> attribute
934    set to <a href="#NO_TYPE_ATTR"><code>NO_TYPE_ATTR</code></a>.</p>
935    </div>
936    
937    <p>If the source of the information does not distinguish <q>no value</q>
938    and/or <q>unknown</q> <span class=ed>[INFOSET]</span> and
939    <code>CDATA</code> <span class=ed>[XML]</span>, then the value
940    <a href="#CDATA_ATTR"><code>CDATA_ATTR</code></a> <em class=rfc2119>MUST</em>
941    be used.</p>
942    
943    <p>In Perl binding <span class=ed>[PERLBINDING]</span>, the
944    <code>Attr</code> nodes <em class=rfc2119>MUST</em> implement the
945    <a href="#DeclaredValueType"><code>DeclaredValueType</code></a>
946    definition group.</p>
947    
948      </dd>
949    <dt><dfn id=defaultType class=dom-attr><code>defaultType</code></dfn> of
950    type <code>unsigned short</code></dt>
951      <dd><p>The type of the default for the attribute.  It is expected that this
952      attribute contains a value from the definition group
953      <a href="#DefaultValueType"><code>DefaultValueType</code></a>.</p>
954    
955      <p>On getting, the attribute <em class=rfc2119>MUST</em> return
956      the value associated to this attribute.</p>
957    
958      <p>On setting, the attribute <em class=rfc2119>MUST</em> raise a
959      <code>NO_MODIFICATION_ALLOWED_ERR</code> <span class=ed>@@ ref</span>
960      exception if the
961      <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node
962      is read$B!>(Bonly <span class=ed>@@ ref</span>.  Otherwise, it
963      <em class=rfc2119>MUST</em> set the specified value as the value
964      associated to this attribute.</p>
965    
966      <p>If the
967      <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node is
968      created during the process to create a <abbr>DOM</abbr> from an
969      <abbr>XML</abbr> document, an appropriate value from the
970      <a href="#DefaultValueType"><code>DefaultValueType</code></a> definition
971      group <em class=rfc2119>MUST</em> be set to the attribute.</p>
972    
973      <!-- DefaultValueType -->
974      <p>The definition group
975      <dfn id=DefaultValueType><code>DefaultValueType</code></dfn>
976      contains integers indicating the type of the default for the attribute.
977      The definition group contains the following constans:</p>
978    
979      <table>
980      <thead>
981      <tr><th scope=col>Name<th scope=col>Value<th scope=col>Description</tr>
982      </thead>
983      <tbody>
984      <tr>
985      <th scope=row><dfn id=UNKNOWN_DEFAULT class=dom-const><code>UNKNOWN_DEFAULT</code></dfn>
986      <td><code>0</code><td>Unknown.</tr>
987      <tr>
988      <th scope=row><dfn id=FIXED_DEFAULT class=dom-const><code>FIXED_DEFAULT</code></dfn>
989      <td><code>1</code><td>Provided explicitly and fixed
990      <span class=ed>@@ ref</span> to that value.</tr>
991      <tr>
992      <th scope=row><dfn id=REQUIRED_DEFAULT class=dom-const><code>REQUIRED_DEFAULT</code></dfn>
993      <td><code>2</code><td>No default value and the attribute have to be
994      explicitly specified.</tr>
995      <tr>
996      <th scope=row><dfn id=IMPLIED_DEFAULT class=dom-const><code>IMPLIED_DEFAULT</code></dfn>
997      <td><code>3</code><td>Implied <span class=ed>@@ ref</span>.</tr>
998      <tr>
999      <th scope=row><dfn id=EXPLICIT_DEFAULT class=dom-const><code>EXPLICIT_DEFAULT</code></dfn>
1000      <td><code>4</code><td>Provided explicitly.</tr>
1001      </tbody>
1002      </table>
1003    
1004      <p>If the source of the default type does not distinguish
1005      implied and unknown default types, then the value
1006      <a href="#IMPLIED_DEFAULT"><code>IMPLIED_DEFAULT</code></a>
1007      <em class=rfc2119>MUST</em> be used.</p>
1008    
1009      <div class="note memo">
1010      <p>An <a href="#AttributeDefinition"><code>AttributeDefinition</code></a>
1011      node created by the
1012      <a href="#createAttributeDefinition"><code>createAttributeDefinition</code></a>
1013      method has its <a href="#defaultType"><code>defaultType</code></a>
1014      attribute set to
1015      <a href="#UNKNOWN_DEFAULT"><code>UNKNOWN_DEFAULT</code></a>.</p>
1016      </div></dd>
1017    </dl>
1018    
1019  </div>  </div>
1020    
1021  </div>  </div>
1022    
1023    
1024    
1025    
1026    
1027  <div id="references" class="section reference">  <div id="references" class="section reference">
1028  <h2>References</h2>  <h2>References</h2>
1029    
Legend:
Removed from v.1.1  
changed lines
  Added in v.1.16
admin@suikawiki.org
 ViewVC Help
Powered by ViewVC 1.1.24