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