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