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> |
|
|
|
|
|
|
|
|
<div class=section id=error-categories> |
|
|
<h2>Error Classification</h2> |
|
123 |
|
|
124 |
<p class=ed>If a <code>Document</code> node has no |
<p class=ed><var>A</var> object is an object implementing <var>A</var> |
125 |
xml-well-formedness-error, entity-error, and unknown-error, |
interface.</p> |
|
then it is well-formed. If a well-formed <code>Document</code> |
|
|
node has no xml-validity-error, it is valid.</p> |
|
126 |
|
|
127 |
<div class="note memo"> |
<p class=ed>@@ ref to DOM Binding Spec</p> |
|
<p>A well$B!>(Bformed <code>Document</code> can be safely serialized |
|
|
into a well$B!>(Bformed XML document. A valid <code>Document</code> |
|
|
can be easily serialized into a valid XML document.</p> |
|
128 |
</div> |
</div> |
129 |
|
|
130 |
<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> |
131 |
...</p> |
<h2><abbr>DOM</abbr> Document Type Definition Module</h2> |
132 |
|
|
133 |
<p>Errors are classified into these |
<p>The <abbr>DOM</abbr> Document Type Definition module, version 3.0, |
134 |
<dfn id=error-category title="error category">error categories</dfn>:</p> |
consists of three interfaces:</p> |
135 |
|
<ul> |
136 |
|
<li><a href="#DocumentXDoctype"><code>DocumentXDoctype</code></a></li> |
137 |
|
<li><a href="#DocumentTypeDefinition"><code>DocumentTypeDefinition</code></a></li> |
138 |
|
<li><a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a></li> |
139 |
|
<li><a href="#AttributeDefinition"><code>AttributeDefinition</code></a></li> |
140 |
|
</ul> |
141 |
|
|
142 |
<dl id=errors> |
<p>In addition, it adds methods, attributes, and/or constants to interfaces |
143 |
<dt><dfn id=entity-error><code>entity-error</code></dfn></dt> |
<a href="#Node"><code>Node</code></a>, |
144 |
<dd> |
<a href="#Entity"><code>Entity</code></a>, |
145 |
<p class=ed>@@</p> |
<a href="#EntityReference"><code>EntityReference</code></a>, and |
146 |
<div class="note memo"> |
<a href="#Notation"><code>Notation</code></a>. |
147 |
<p>This <span class=ed>algorithm</span> does not support |
It modifies semantics of some of methods and attributes in |
148 |
<abbr>DOM</abbr> tree with one or more <code>EntityReference</code> |
<a href="#Node"><code>Node</code></a> and |
149 |
nodes. It is expected that any entity references are expanded |
<a href="#ProcessingInstruction"><code>ProcessingInstruction</code></a> |
150 |
at the parse time and any unexpandable entity references |
interfaces, for the support of new interfaces.</p> |
151 |
make parse time errors raised so that never result in |
|
152 |
<abbr>DOM</abbr> tree with <code>EntityReference</code> nodes.</p> |
<div class=section id=features> |
153 |
</div> |
<h3>Feature Name</h3> |
154 |
</dd> |
|
155 |
<dt><dfn id=round-trip-error><code>round-trip-error</code></dfn></dt> |
<p>In a <abbr>DOM</abbr> implementation that supports the version 3.0 of |
156 |
<dd class=ed>@@</dd> |
the <abbr>DOM</abbr> Document Type Definition module, the |
157 |
<dt><dfn id=round-trip-warning><code>round-trip-warning</code></dfn></dt> |
<code>hasFeature</code> method of a <code>DOMImplementation</code> object |
158 |
<dd> |
<em class=rfc2119>MUST</em> return <code>true</code> when the parameters are |
159 |
<p>A <a href="#round-trip-warning"><code>round-trip-warning</code></a> |
set to <code>http://suika.fam.cx/www/2006/feature/XDoctype</code> and |
160 |
will be raised when a construct, which might not be restored to the same |
<code>3.0</code> respectively.</p> |
161 |
construct when it is serialized and then re-parsed by a conforming |
|
162 |
processor, is encountered.</p> |
<p>In such an implementation, the <code>getFeature</code> method of a |
163 |
<div class="example memo"> |
<code>Document</code> object <em class=rfc2119>MUST</em> return the (at least |
164 |
<p>For a <code>Comment</code> node a |
conceptually) same object implementing the |
165 |
<a href="#round-trip-warning"><code>round-trip-warning</code></a> will |
<a href="#DocumentXDoctype"><code>DocumentXDoctype</code></a> interface when |
166 |
be raised, since <abbr>XML</abbr> processors are not required to |
the parameters are set to |
167 |
report texts of comments for applications.</p> |
<code>http://suika.fam.cx/www/2006/feature/XDoctype</code> and |
168 |
|
<code>3.0</code> respectively. Likewise, any method that takes one or more |
169 |
|
feature names with or without version number, including the methods |
170 |
|
<code>hasFeature</code> and <code>getFeature</code>, |
171 |
|
<em class=rfc2119>MUST</em> behave in a manner consistent with the |
172 |
|
aforementioned cases.</p> |
173 |
|
</div> |
174 |
|
|
175 |
|
<div class=section id=section-documentxdoctype> |
176 |
|
<h3>The <code>DocumentXDoctype</code> Interface</h3> |
177 |
|
|
178 |
|
<pre class=idl><code>interface <dfn id=DocumentXDoctype><code>DocumentXDoctype</code></dfn> { |
179 |
|
DocumentType <a href="#createDocumentTypeDefinition">createDocumentTypeDefinition</a> |
180 |
|
(in DOMString <a href="#createDocumentTypeDefinition-name"><var>name</var></a>) |
181 |
|
raises (DOMException); |
182 |
|
ElementTypeDefinition <a href="#createElementTypeDefinition">createElementTypeDefinition</a> |
183 |
|
(in DOMString <a href="#createElementTypeDefinition-name"><var>name</var></a>) |
184 |
|
raises (DOMException); |
185 |
|
AttributeDefinition <a href="#createAttributeDefinition">createAttributeDefinition</a> |
186 |
|
(in DOMString <a href="#createAttributeDefinition-name"><var>name</var></a>) |
187 |
|
raises (DOMException); |
188 |
|
Entity <a href="#createGeneralEntity">createGeneralEntityDefinition</a> |
189 |
|
(in DOMString <a href="#createGeneralEntity-name"><var>name</var></a>) |
190 |
|
raises (DOMException); |
191 |
|
Notation <a href="#createNotation">createNotation</a> |
192 |
|
(in DOMString <a href="#createNotation-name"><var>name</var></a>) |
193 |
|
raises (DOMException); |
194 |
|
}</code></pre> |
195 |
|
|
196 |
|
<div class=ed>@@ cast definition</div> |
197 |
|
|
198 |
|
<dl> |
199 |
|
<dt><dfn id=createDocumentTypeDefinition class=dom-method><code>createDocumentTypeDefinition</code></dfn>, |
200 |
|
method</dt> |
201 |
|
<dd> |
202 |
|
<p>This method creates a <code>DocumentType</code> node with the specified |
203 |
|
name, belonging to the document.</p> |
204 |
|
<p>The <dfn id=createDocumentTypeDefinition-name class=dom-param><var>name</var></dfn> |
205 |
|
parameter is the name of the document type.</p> |
206 |
|
|
207 |
|
<p>When invoked, the method <em class=rfc2119>MUST</em> create and |
208 |
|
return a <code>DocumentType</code> node with the following attributes:</p> |
209 |
|
<dl> |
210 |
|
<dt><code>attributes</code>, <code>parentNode</code></dt> |
211 |
|
<dd><code>null</code>.</dd> |
212 |
|
<dt><code>elementTypes</code>, <code>generalEntities</code>, and |
213 |
|
<code>notations</code></dt> |
214 |
|
<dd>Empty <code>NamedNodeMap</code> objects.</dd> |
215 |
|
<dt><code>entities</code></dt> |
216 |
|
<dd>The same value as the <code>generalEntities</code> attribute.</dd> |
217 |
|
<dt><code>childNodes</code></dt> |
218 |
|
<dd>An empty <code>NodeList</code> object.</dd> |
219 |
|
<dt><code>internalSubset</code>, <code>publicId</code>, and |
220 |
|
<code>systemId</code></dt> |
221 |
|
<dd>Empty strings.</dd> |
222 |
|
<dt><code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt> |
223 |
|
<dd><code>false</code>.</dd> |
224 |
|
<dt><code>nodeName</code></dt> |
225 |
|
<dd><a href="#createDocumentTypeDefinition-name"><var>name</var></a>.</dd> |
226 |
|
<dt><code>ownerDocument</code></dt> |
227 |
|
<dd>The <code>Document</code> over which the method is invoked.</dd> |
228 |
|
</dl> |
229 |
|
<p>In addition, the method <em class=rfc2119>MUST</em> be marked as |
230 |
|
containing five general entity declarations: <code>amp</code>, |
231 |
|
<code>lt</code>, <code>gt</code>, <code>quot</code>, and |
232 |
|
<code>apos</code>.</p> |
233 |
|
</dd> |
234 |
|
<dt><dfn id=createElementTypeDefinition class=dom-method><code>createElementTypeDefinition</code></dfn>, |
235 |
|
method</dt> |
236 |
|
<dd> |
237 |
|
<p>This method creates a <code>ElementTypeDefinition</code> node with the |
238 |
|
specified name, belonging to the document.</p> |
239 |
|
<p>The <dfn id=createElementTypeDefinition-name class=dom-param><var>name</var></dfn> |
240 |
|
parameter is the name of the element type defined by the element |
241 |
|
type definition.</p> |
242 |
|
|
243 |
|
<p>When invoked, the method <em class=rfc2119>MUST</em> create and |
244 |
|
return an |
245 |
|
<a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> |
246 |
|
node with the following attributes:</p> |
247 |
|
<dl> |
248 |
|
<dt><a href="#attributeDefinitions"><code>attributeDefinitions</code></a></dt> |
249 |
|
<dd>An empty <code>NamedNodeMap</code> object.</dd> |
250 |
|
<dt><code>attributes</code>, <code>parentNode</code></dt> |
251 |
|
<dd><code>null</code>.</dd> |
252 |
|
<dt><code>childNodes</code></dt> |
253 |
|
<dd>An empty <code>NodeList</code> object.</dd> |
254 |
|
<dt><code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt> |
255 |
|
<dd><code>false</code>.</dd> |
256 |
|
<dt><code>nodeName</code></dt> |
257 |
|
<dd><a href="#createElementTypeDefinition-name"><var>name</var></a>.</dd> |
258 |
|
<dt><code>ownerDocument</code></dt> |
259 |
|
<dd>The <code>Document</code> node over which the method is invoked.</dd> |
260 |
|
<dt><a href="#ownerDocumentTypeDefinition"><code>ownerDocumentTypeDefinition</code></a></dt> |
261 |
|
<dd><code>null</code>.</dd> |
262 |
|
<dt class=ed>@@ Ensure all attributes are defined</dt> |
263 |
|
</dl> |
264 |
|
</dd> |
265 |
|
<dt><dfn id=createAttributeDefinition class=dom-method><code>createAttributeDefinition</code></dfn>, |
266 |
|
method</dt> |
267 |
|
<dd> |
268 |
|
<p>This method creates a <code>AttributeDefinition</code> node with the |
269 |
|
specified name, belonging to the document.</p> |
270 |
|
<p>The <dfn id=createAttributeDefinition-name class=dom-param><var>name</var></dfn> |
271 |
|
parameter is the name of the attribute defined by the attribute |
272 |
|
definition.</p> |
273 |
|
|
274 |
|
<p>When invoked, the method <em class=rfc2119>MUST</em> create and |
275 |
|
return an |
276 |
|
<a href="#AttributeDefinition"><code>AttributeDefinition</code></a> |
277 |
|
node with the following attributes:</p> |
278 |
|
<dl> |
279 |
|
<dt><code>allowedTokens</code></dt> |
280 |
|
<dd>An empty <code>DOMStringList</code> object.</dd> |
281 |
|
<dt><code>attributes</code>, |
282 |
|
<a href="#ownerElementTypeDefinition"><code>ownerElementTypeDefinition</code></a>, |
283 |
|
and <code>parentNode</code></dt> |
284 |
|
<dd><code>null</code>.</dd> |
285 |
|
<dt><code>childNodes</code></dt> |
286 |
|
<dd>An empty <code>NodeList</code> object.</dd> |
287 |
|
<dt><code>declaredType</code></dt> |
288 |
|
<dd><a href="#NO_TYPE_ATTR"><code>NO_TYPE_ATTR</code></a>.</dd> |
289 |
|
<dt><code>defaultType</code></dt> |
290 |
|
<dd><a href="#UNKNOWN_DEFAULT"><code>UNKNOWN_DEFAULT</code></a>.</dd> |
291 |
|
<dt><code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt> |
292 |
|
<dd><code>false</code>.</dd> |
293 |
|
<dt><code>nodeName</code></dt> |
294 |
|
<dd><a href="#createAttributeDefinition-name"><var>name</var></a>.</dd> |
295 |
|
<dt><code>ownerDocument</code></dt> |
296 |
|
<dd>The <code>Document</code> node over which the method is invoked.</dd> |
297 |
|
<dt class=ed>@@ Ensure all attributes are defined</dt> |
298 |
|
</dl> |
299 |
|
|
300 |
|
<div class=ed> |
301 |
|
<p>@@ Should we keep these statements?: |
302 |
|
However, if the <cfg::cfg|xml-id> configuration |
303 |
|
parameter is set to <code>true</code> and the <var>name</var> |
304 |
|
is <code>xml:id</code>, then the [CODE(DOMa)@en[[[declaredType]]]] |
305 |
|
attribute is set to <code>ID_ATTR</code>. |
306 |
|
[CODE(DOMa)@en[[[defaultType]]]]?</p> |
307 |
</div> |
</div> |
308 |
</dd> |
</dd> |
309 |
<dt class=ed><dfn id=unknown-error><code>unknown-error</code></dfn>?</dt> |
<dt><dfn id=createGeneralEntity class=dom-method><code>createGeneralEntity</code></dfn>, |
310 |
<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> |
|
311 |
<dd> |
<dd> |
312 |
<p>An |
<p>This method creates a <a href="#Entity"><code>Entity</code></a> node |
313 |
<a href="#xml-misc-recommendation"><code>xml-misc-recommendation</code></a> |
with the specified name, which represents a general entity, belonging to |
314 |
will be raised if a <em class=rfc2119>SHOULD</em>$B!>(Blevel requirement |
the document.</p> |
315 |
in <abbr>XML</abbr> specification is not met.</p> |
<p>The <dfn id=createGeneralEntity-name class=dom-param><var>name</var></dfn> |
316 |
|
parameter is the name of the general entity.</p> |
317 |
|
|
318 |
|
<p>When invoked, the method <em class=rfc2119>MUST</em> create and return |
319 |
|
an <a href="#Entity"><code>Entity</code></a> node with the following |
320 |
|
attributes:</p> |
321 |
|
<dl> |
322 |
|
<dt><code>attributes</code>, <code>notationName</code>, |
323 |
|
<a href="#ownerDocumentTypeDefinition"><code>ownerDocumentTypeDefinition</code></a>, |
324 |
|
and <code>parentNode</code></dt> |
325 |
|
<dd><code>null</code>.</dd> |
326 |
|
<dt><code>childNodes</code></dt> |
327 |
|
<dd>An empty <code>NodeList</code> object.</dd> |
328 |
|
<dt><code>manakaiDeclarationBaseURI</code>, |
329 |
|
<code>manakaiEntityBaseURI</code>, and |
330 |
|
<code>manakaiEntityURI</code> <span class=ed>@@ ref</span></dt> |
331 |
|
<dd>No explicit value is set.</dd> |
332 |
|
<dt><code>manakaiHasReplacementTree</code> and |
333 |
|
<code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt> |
334 |
|
<dd><code>false</code>.</dd> |
335 |
|
<dt><code>nodeName</code></dt> |
336 |
|
<dd><a href="#createGeneralEntity-name"><var>name</var></a>.</dd> |
337 |
|
<dd> |
338 |
|
<div class="note memo"> |
339 |
|
<p>It is not an error for |
340 |
|
<a href="#createGeneralEntity-name"><var>name</var></a> matching |
341 |
|
to the name of one of predefined general parsed entities in |
342 |
|
<abbr>XML</abbr> or <abbr>HTML</abbr>. For example, |
343 |
|
<a href="#createGeneralEntity-name"><var>name</var></a> might be |
344 |
|
<code>amp</code>, resulting in an |
345 |
|
<a href="#Entity"><code>Entity</code></a> node |
346 |
|
with its <code>nodeName</code> attribute set to <code>amp</code>.</p> |
347 |
|
</div> |
348 |
|
</dd> |
349 |
|
<dt><code>ownerDocument</code></dt> |
350 |
|
<dd>The <code>Document</code> node over which the method is invoked.</dd> |
351 |
|
<dt><code>publicId</code>, and <code>systemId</code></dt> |
352 |
|
<dd><code>null</code>.</dd> |
353 |
|
<dd class=ed>@@ publicId and systemId should be empty string?</dd> |
354 |
|
<dt class=ed>@@ Ensure all attributes are defined</dd> |
355 |
|
</dl> |
356 |
|
</dd> |
357 |
|
<dt><dfn id=createNotation class=dom-method><code>createNotation</code></dfn>, |
358 |
|
method</dt> |
359 |
|
<dd> |
360 |
|
<p>This method creates a <code>Notation</code> node with the |
361 |
|
specified name, belonging to the document.</p> |
362 |
|
<p>The <dfn id=createNotation-name class=dom-param><var>name</var></dfn> |
363 |
|
parameter is the name of the notation.</p> |
364 |
|
|
365 |
|
<p>When invoked, the method <em class=rfc2119>MUST</em> create and return |
366 |
|
a <code>Notation</code> node with the following attributes:</p> |
367 |
|
<dl> |
368 |
|
<dt><code>attributes</code>, |
369 |
|
<a href="#ownerDocumentTypeDefinition"><code>ownerDocumentTypeDefinition</code></a>, |
370 |
|
and <code>parentNode</code></dt> |
371 |
|
<dd><code>null</code>.</dd> |
372 |
|
<dt><code>childNodes</code></dt> |
373 |
|
<dd>An empty <code>NodeList</code> object.</dd> |
374 |
|
<dt><code>manakaiDeclarationBaseURI</code></dt> |
375 |
|
<dd>No explicit value is set.</dd> |
376 |
|
<dt><code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt> |
377 |
|
<dd><code>false</code>.</dd> |
378 |
|
<dt><code>nodeName</code></dt> |
379 |
|
<dd><a href="#createNotation-name"><var>name</var></a>.</dd> |
380 |
|
<dt><code>ownerDocument</code></dt> |
381 |
|
<dd>The <code>Document</code> node over which the method is invoked.</dd> |
382 |
|
<dt><code>publicId</code> and <code>systemId</code></dt> |
383 |
|
<dd><code>null</code>.</dd> |
384 |
|
<dd class=ed>@@ publicId and systemId should be empty string?</dd> |
385 |
|
<dt class=ed>@@ Ensure all attributes are defined</dt> |
386 |
|
</dl> |
387 |
</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> |
|
388 |
</dl> |
</dl> |
389 |
|
|
390 |
<div class=ed><p>@@ TODO: #dt-atuseroption at user option |
<p>These methods <em class=rfc2119>MUST</em> raise an |
391 |
(MAY or MUST), #dt-compat for compatibility, |
<code>INVALID_CHARACTER_ERR</code> exception <span class=ed>@@ ref</span> |
392 |
#dt-interop for interoperability</p></div> |
if <var>name</var> is <em>not</em> a legal <code>Name</code> according to |
393 |
|
the <abbr>XML</abbr> version in use, as specified in the |
394 |
</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> |
|
395 |
|
|
396 |
<ul> |
<div class="note memo"> |
397 |
<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, |
398 |
<abbr>XML</abbr> declaration, then raise an |
since <abbr>DOM3</abbr> specification <span class=ed>@@ ref</span> does not |
399 |
<a href="#xml-misc-recommentation" id=xmr-xml-decl><code>xml-misc-recommendation</code></a>.</li> |
define it for <code>Document</code> methods.</p> |
400 |
<li>If the replacement text of an entity declaration is |
|
401 |
<code><</code>, then raise an |
<p><var>name</var> does not have to be a namespace qualified name.</p> |
402 |
<a href="#xml-misc-warning" id=xmw-entity-value-lt><code>xml-misc-warning</code></a>.<!-- |
|
403 |
"strongly advised to avoid" in a Note in Section 2.3 of [XML10], [XML11]. |
<p>If the <code>strictErrorChecking</code> attribute of the |
404 |
--></li> |
<code>Document</code> node is <code>false</code>, the methods are |
405 |
<li>If there is an element type declaration whose <code>Name</code> |
not required to raise the exception <span class=ed>[DOM3]</span>.</p> |
406 |
value is already declared, then raise an |
</div> |
407 |
<a href="#xml-validity-error" id=vc-edunique><code>xml-validity-error</code></a>.</li> |
|
408 |
<li>If attribute definition whose <code>Name</code> is |
</div> |
409 |
<code>xml:space</code> has <span class=ed>declared type different from |
|
410 |
(default|preserve), (default), or (preserve)</span>, then raise an |
<div class=section id=section-documenttypedefinition> |
411 |
<a href="#xml-misc-error" id=xme-ad-xml-space><code>xml-misc-error</code></a>. |
<h3>The <code>DocumentTypeDefinition</code> Interface</h3> |
412 |
<span class=ed>@@ duplication with |
|
413 |
<a href="#xml-at-xml-space">#xml-at-xml-space</a>.<!-- |
<pre class=idl><code>interface <dfn id=DocumentTypeDefinition><code>DocumentTypeDefinition</code></dfn> { |
414 |
<!ATTLIST e xml:space CDATA #IMPLIED xml:space CDATA #IMPLIED> --></span></li> |
readonly attribute NamedNodeMap <a href="#elementTypes">elementTypes</a>; |
415 |
<li>If an empty-element tag is used for an element which is <em>not</em> |
readonly attribute NamedNodeMap <a href="#generalEntities">generalEntities</a>; |
416 |
declared <code>EMPTY</code>, then raise an |
readonly attribute NamedNodeMap <a href="#notations">notations</a>; |
417 |
<a href="#xml-misc-recommentation" id=xmr-emptyelemtag-not-empty><code>xml-misc-recommendation</code></a>.</li> |
|
418 |
<li>If an empty-element tag is <em>not</em> used for an element which is |
<span class=ed>more members come here...</span> |
419 |
declared <code>EMPTY</code>, then raise an |
}</code></pre> |
420 |
<a href="#xml-misc-recommentation" id=xmr-empty-not-emptyelemtag><code>xml-misc-recommendation</code></a>.</li> |
|
421 |
|
<pre class=ed> |
422 |
|
[1] In an implementation that supports the |
423 |
|
[CODE(URI)@en[[[http://suika.fam.cx/www/2006/feature/XDoctype]]]] |
424 |
|
feature, a [CODE(DOMi)@en[[[DocumentType]]]] node |
425 |
|
must implement the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] |
426 |
|
interface. See [[DOM XML Document Type Definition]>>3] for |
427 |
|
details. |
428 |
|
</pre> |
429 |
|
|
430 |
|
<dl> |
431 |
|
<dt><dfn id=elementTypes class=dom-attr><code>elementTypes</code></dfn> of |
432 |
|
type <code>NamedNodeMap</code>, read$B!>(Bonly</dt> |
433 |
|
<dd><p>A live <code>NamedNodeMap</code> object that contains all the element |
434 |
|
type definitions belonging to the <code>DocumentType</code> node.</p> |
435 |
|
|
436 |
|
<p>On getting, the attribute <em class=rfc2119>MUST</em> return the |
437 |
|
<code>NamedNodeMap</code> object that contains all the |
438 |
|
<a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> |
439 |
|
nodes belonging to the <code>DocumentType</code> node. The |
440 |
|
<code>NamedNodeMap</code> object <em class=rfc2119>MUST</em> be read$B!>(Bonly |
441 |
|
if and only if the node is read$B!>(Bonly. The <code>NamedNodeMap</code> |
442 |
|
object <em class=rfc2119>MUST</em> be live and the same object |
443 |
|
<em class=rfc2119>MUST</em> be returned for any invocation.</p> |
444 |
|
|
445 |
|
<p>If the <code>DocumentType</code> node is created during the process |
446 |
|
to create a <abbr>DOM</abbr> from an <abbr>XML</abbr> document, the following |
447 |
|
requirements are applied: The <code>NamedNodeMap</code> object in the |
448 |
|
<a href="#elementTypes"><code>elementType</code></a> attribute |
449 |
|
<em class=rfc2119>MUST</em> be so transformed that the object contains |
450 |
|
the <code>ElementTypeDefinition</code> nodes for the element types |
451 |
|
whose name is presented as the <code>Name</code> of the element type or |
452 |
|
attribute definition list declarations processed by the <abbr>XML</abbr> |
453 |
|
processor. If there is more than one element type declarations for an |
454 |
|
element type, then the declarations other than the first one |
455 |
|
<em class=rfc2119>MUST</em> be ignored for the purpose of constructing the |
456 |
|
<code>NamedNodeMap</code> object.</p></dd> |
457 |
|
<dt><dfn id=generalEntities class=dom-attr><code>generalEntities</code></dfn> |
458 |
|
of type <code>NamedNodeMap</code>, read$B!>(Bonly</dt> |
459 |
|
<dd><p>A live <code>NamedNodeMap</code> object that contains all the general |
460 |
|
entities belonging to the <code>DocumentType</code> node.</p> |
461 |
|
|
462 |
|
<p>On getting, the attribute <em class=rfc2119>MUST</em> return the |
463 |
|
same value as the <code>entities</code> attribute (defined in the |
464 |
|
<code>DocumentType</code> interface) of the same node.</p> |
465 |
|
|
466 |
|
<div class="note memo"> |
467 |
|
<p>This attribute is part of the interface for historical reason.</p> |
468 |
|
</div></dd> |
469 |
<!-- |
<!-- |
470 |
|
All entities declared in the document type definition |
471 |
#vc-PEinMarkupDecl Validity constraint: Proper Declaration/PE Nesting |
contained in or referenced from the document entity |
472 |
#wfc-PEinInternalSubset Well-formedness constraint: PEs in Internal Subset |
might not be exposed through this collection, depending |
473 |
#ExtSubset Well-formedness constraint: External Subset |
on the information provided by the XML processor for |
474 |
#PE-between-Decls Well-formedness constraint: PE Between Declarations |
the DOM implementation. In particular, it might not |
475 |
#GIMatch Well-formedness constraint: Element Type Match |
contain any entity if entity references are expanded |
476 |
#uniqattspec Well-formedness constraint: Unique Att Spec |
at the parse time. An implementation [['''MUST NOT''']] |
477 |
#NoExternalRefs Well-formedness constraint: No External Entity References |
expose an [CODE(DOMi)@en[[[Entity]]]] node whose [CODE(DOMa)@en[[[nodeName]]]] |
478 |
#CleanAttrVals Well-formedness constraint: No < in Attribute Values |
is equal to the name of one of five predefined general entities in |
479 |
#vc-PEinGroup Validity constraint: Proper Group/PE Nesting |
XML through the collection as the result of parsing of an XML |
480 |
"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. |
481 |
"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." |
|
482 |
#condsec-nesting Validity constraint: Proper Conditional Section/PE Nesting |
The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]] |
483 |
#wf-Legalchar Well-formedness constraint: Legal Character |
object that contains all the [CODE(DOMi)@en[[[Entity]]]] nodes |
484 |
#textent Well-formedness constraint: Parsed Entity |
representing general entities belong to the node. The returned |
485 |
#norecursion Well-formedness constraint: No Recursion |
[CODE(DOMi)@en[[[NamedNodeMap]]]] object [['''MUST''']] be read-only if and only if |
486 |
#indtd Well-formedness constraint: In DTD |
the node is read-only. Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live |
487 |
"External parsed entities SHOULD each begin with a text declaration." |
and therefore any change of read-only flag on the node is immediately |
488 |
"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. |
489 |
#UniqueNotationName Validity constraint: Unique Notation Name |
--> |
490 |
|
<dt><dfn id=notations class=dom-attr><code>notations</code></dfn> of type |
491 |
@@ Need detailed review, but maybe should be in parsing phase |
<code>notations</code>, read$B!>(Bonly</code> |
492 |
|
<dd><p>A live <code>NamedNodeMap</code> object that contains all the |
493 |
#vc-check-rmd Validity constraint: Standalone Document Declaration |
notations belonging to the <code>DocumentType</code> node.</p> |
494 |
|
|
495 |
@@ Need dtailed review |
<p>On getting, the attribute <em class=rfc2119>MUST</em> return the |
496 |
|
same value as the <code>notations</code> attribute (defined in the |
497 |
#wf-entdeclared Well-formedness constraint: Entity Declared |
<code>DocumentType</code> interface) of the same node.</p> |
498 |
#vc-entdeclared Validity constraint: Entity Declared |
|
499 |
"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"> |
500 |
"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> |
501 |
|
<p>Implementations are not required to implement the |
502 |
@@ flaged and then reported in DOM check phase |
<code>notations</code> attribute twice (for <code>DocumentType</code> |
503 |
|
and <code>DocumentTypeDefinition</code> interfaces); they share exactly |
504 |
"Entities encoded in UTF-16 MUST and entities encoded in UTF-8 MAY begin with the Byte Order Mark" |
same definition.</p> |
505 |
"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> |
506 |
"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." |
<!-- |
507 |
|
If the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] node is |
508 |
@@ in parsing phase |
created from an XML document, duplicate notation declarations, if any, in DTD |
509 |
|
[['''MUST NOT''']] result in a node in the [CODE(DOMi)@en[[[NamedNodeMap]]]] |
510 |
"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 |
511 |
|
made available as a [CODE(DOMi)@en[[[Notation]]]] node. |
512 |
|
|
513 |
|
;; This definition is based on one for the |
514 |
|
[CODE(DOMa)@en[[[notations]]]] attribute of the |
515 |
|
[CODE(DOMi)@en[[[DocumentType]]]] interface in DOM XML module. |
516 |
|
Since duplication is violation to the Validity Constraint, |
517 |
|
XML parsers might vary on how notations are notified to |
518 |
|
the application. In particular, [CODE(InfoProp)@en[[[notations]]]] |
519 |
|
property of the document information item in XML Information Set |
520 |
|
is so defined that in case ''any'' notation is declared for |
521 |
|
multiple times then the property has no value. |
522 |
|
|
523 |
|
The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]] |
524 |
|
object that contains all the [CODE(DOMi)@en[[[Notation]]]] nodes |
525 |
|
representing notations belong to the node. The returned |
526 |
|
[CODE(DOMi)@en[[[NamedNodeMap]]]] object [['''MUST''']] be read-only if and only if |
527 |
|
the node is read-only. Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live |
528 |
|
and therefore any change of read-only flag on the node is immediately |
529 |
|
reflected by that of the object. |
530 |
--> |
--> |
|
</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> |
|
|
|
|
|
</div> |
|
|
|
|
|
<div class=section id=checking-node> |
|
|
<h3>Checking <code>Node</code></h3> |
|
531 |
|
|
532 |
<p>The algorithm <dfn title="to check a node" id=algorithm-to-check-a-node>to |
<dt class=ed>@@ other members... |
|
check a node (<dfn id=var-n><var>n</var></dfn>)</dfn> is defined as |
|
|
following:</p> |
|
|
<dl class=switch> |
|
|
<dt>If <var>n</var> is an <code>Attr</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
|
|
<code>localName</code> attribute value as an <code>NCName</code></a>.</li> |
|
|
<li>If the <code>prefix</code> attribute value is different from |
|
|
<code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate |
|
|
the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li> |
|
|
<li>For each node <dfn id=var-attr-nc><var>n<sub><var>c</var></sub></var></dfn> in the |
|
|
<code>childNodes</code> list of <var>n</var>, |
|
|
<ol> |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a |
|
|
<code>Text</code> or <code>EntityReference</code> node, then it is an |
|
|
<a href="#xml-well-formedness-error" id=wfe-attr-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an |
|
|
<code>EntityReference</code> node, then it is an |
|
|
<a href="#entity-error" id=ee-attr-er><code>entity-error</code></a>.</li> |
|
|
<li>Otherwise, |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
|
|
<var>n<sub><var>c</var></sub></var></a> recusrively.</li> |
|
|
</ol></li> |
|
|
<li>If <code>nodeName</code> attribute of <var>n</var> is |
|
|
<code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span> |
|
|
and <code>value</code> attribute of <var>n</var> is neither |
|
|
<code>default</code> nor <code>preserve</code>, then it is an |
|
|
<a href="#xml-misc-error" id=xme-attr-xml-space><code>xml-misc-error</code></a>.<!-- |
|
|
Note that <!ATTLIST e xml:space (default|preserve) "a">... |
|
|
<e xml:space="default"/> is conforming and valid. --></li> |
|
|
<li class=ed>@@ xml:lang value is not a language tag [RFC 3066 or its |
|
|
successor] or an empty string, then xml-misc-warning |
|
|
(a "fact"-level error; not an XML error).</li> |
|
|
<li class=ed>@@ <code>specified</code>, |
|
|
<code>manakaiAttributeType</code> (#ValueType Validity constraint: Attribute Value Type)</li> |
|
|
<!-- xml:space MUST be declared to be valid. --> |
|
|
<li>Let <dfn id=var-v><var>v</var></dfn> be the value of the |
|
|
attribute <code>value</code> of <var>n</var>.</li> |
|
|
<li>Validate the <var>n</var> against the <span class=ed>declared |
|
|
type</span> as following: |
|
|
<dl class=switch> |
|
|
<dt class=ed><code>ID_ATTR</code></dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li><span class=ed>Validate <var>v</var> as an |
|
|
<code>Name</code>.</span> If it fails, then raise an |
|
|
<a href="#xml-validity-error" id=vc-id-name><code>xml-validity-error</code></a>.</li> |
|
|
<li><span class=ed>If <code>ID</code> <var>v</var> is defined,</span> |
|
|
then raise an |
|
|
<a href="#xml-validity-error" id=vc-id-duplication><code>xml-validity-error</code></a>.</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt class=ed>IDREF_ATTR</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li><span class=ed>Validate <var>v</var> as an |
|
|
<code>Name</code>.</span> If it fails, then raise an |
|
|
<a href="#xml-validity-error" id=vc-idref-name><code>xml-validity-error</code></a>.</li> |
|
|
<li><span class=ed>If <code>ID</code> <var>v</var> is NOT |
|
|
defined,</span> then raise an |
|
|
<a href="#xml-validity-error" id=vc-idref-match><code>xml-validity-error</code></a>.</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt class=ed>IDREFS_ATTR</dt> |
|
|
<dd class=ed>@@</dd> |
|
|
<dt class=ed>ENTITY_ATTR</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li><span class=ed>Validate <var>v</var> as an |
|
|
<code>Name</code>.</span> If it fails, then raise an |
|
|
<a href="#xml-validity-error" id=vc-entname-name><code>xml-validity-error</code></a>.</li> |
|
|
<li><span class=ed>If <code>Entity</code> <var>v</var> is NOT |
|
|
defined,</span> then raise an |
|
|
<a href="#xml-validity-error" id=vc-entname-match><code>xml-validity-error</code></a>.</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt class=ed>ENTITIES_ATTR</dt> |
|
|
<dd class=ed>@@</dd> |
|
|
<dt class=ed>NMTOKEN_ATTR</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li><span class=ed>Validate <var>v</var> as an |
|
|
<code>Nmtoken</code>.</span> If it fails, then raise an |
|
|
<a href="#xml-validity-error" id=vc-nmtok-name><code>xml-validity-error</code></a>.</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt class=ed>NMTOKENS_ATTR</dt> |
|
|
<dd class=ed>@@</dd> |
|
|
<dt class=ed>NOTATION_ATTR</dt> |
|
|
<dd class=ed><var>v</var> must be one of enumerated values. |
|
|
If not, then raise an |
|
|
<a href="#xml-validity-error" id=vc-notatn-match><code>xml-validity-error</code></a>.</dd> |
|
|
<dt class=ed>ENUMERATED_ATTR</dt> |
|
|
<dd class=ed><var>v</var> must be one of enumerated values. |
|
|
If not, then raise an |
|
|
<a href="#xml-validity-error" id=vc-enum><code>xml-validity-error</code></a>.</dd> |
|
|
<dt class=ed>@@</dt> |
|
|
</dl> |
|
|
</li> |
|
|
<li>If <span class=ed>type ID and default is NOT #IMPLIED or #REQUIRED</span>, then |
|
|
raise an |
|
|
<a href="#xml-validity-error" id=vc-id-default><code>xml-validity-error</code></a>.</li> |
|
|
<li class=ed>@@ #FixedAttr Validity constraint: Fixed Attribute Default</li> |
|
|
<li class=ed>@@ strict serialization error for U+000D, U+000A, and |
|
|
U+0009 characters, leading/trailing U+0020, and U+0020{2,} string?</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is an <code>AttributeDefinition</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li class=ed></li> |
|
|
<li>If <code>nodeName</code> attribute of <var>n</var> is |
|
|
<code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span> |
|
|
and <span class=ed>its declared type is different from (default|preserve), |
|
|
(default), or (preserve)</span>, then raise an |
|
|
<a href="#xml-misc-error" id=xme-at-xml-space><code>xml-misc-error</code></a>.</li> |
|
|
<li>For each node <dfn id=var-ad-nc><var>n<sub><var>c</var></sub></var></dfn> in the |
|
|
<code>childNodes</code> list of <var>n</var>, |
|
|
<ol> |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a |
|
|
<code>Text</code> or <code>EntityReference</code> node, then it is an |
|
|
<a href="#xml-well-formedness-error" id=wfe-at-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an |
|
|
<code>EntityReference</code> node, then it is an |
|
|
<a href="#entity-error" id=ee-at-er><code>entity-error</code></a>.</li> |
|
|
<li>Otherwise, |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
|
|
<var>n<sub><var>c</var></sub></var></a> recusrively.</li> |
|
|
</ol></li> |
|
|
<li class=ed>If <code>NOTATION_ATTR</code>, enumerated values MUST |
|
|
be declared. If not, then raise an |
|
|
<a href="#xml-validity-error" id=vc-notatn-declared><code>xml-validity-error</code></a>.</li> |
|
|
<li class=ed>If <code>NOTATION_ATTR</code> or <code>ENUMERATED_ATTR</code>, |
|
|
values MUST all be distinct. If not, then raise an |
|
|
<a href="#xml-validity-error" id=vc-no-duplicate-tokens><code>xml-validity-error</code></a>.</li> |
|
|
<li class=ed>If <code>NOTATION_ATTR</code> on an <code>EMPTY</code> |
|
|
element, then raise an |
|
|
<a href="#xml-validity-error" id=vc-no-notation-empty><code>xml-validity-error</code></a>.</li> |
|
|
<li class=ed>@@ #defattrvalid Validity constraint: Attribute Default Value Syntactically Correct</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is a <code>CDATASection</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate the |
|
|
<code>data</code> attribute value as an <abbr>XML</abbr> character |
|
|
data</a>.</li> |
|
|
<li>If the <code>data</code> attribute value contains |
|
|
a string <code>]]></code>, then raise an |
|
|
<a href="#xml-well-formedness-error" id=wfe-cs-mse><code>xml-well-formedness-error</code></a>.<!-- "for compatibility" --></li> |
|
|
<li>If the <code>childNodes</code> list of <var>n</var> contains |
|
|
any nodes, they are in |
|
|
<a href="#xml-well-formedness-error" id=wfe-cs-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is a <code>Comment</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li>Raise an |
|
|
<a href="#round-trip-warning" id=rtw-comment><code>round-trip-warning</code></a>.</li> |
|
|
<li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate the |
|
|
<code>data</code> attribute value as an <abbr>XML</abbr> character |
|
|
data</a>.</li> |
|
|
<li>If the <code>data</code> attribute value contains |
|
|
a string <code>--</code>, or if it ends with a character |
|
|
<code>-</code>, then raise an |
|
|
<a href="#xml-well-formedness-error" id=wfe-comment-com><code>xml-well-formedness-error</code></a>.<!-- |
|
|
"for compatibility" --></li> |
|
|
<li>If the <code>childNodes</code> list of <var>n</var> contains |
|
|
any nodes, they are in |
|
|
<a href="#xml-well-formedness-error" id=wfe-comment-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is a <code>Document</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li>If <a href="#xml-version"><abbr>XML</abbr> version</a> of <var>n</var> |
|
|
is different from <code>1.0</code> or <code>1.1</code>, |
|
|
then it is an <code class=ed>unknown-error?</code>.</li> |
|
|
<li>If the <code>xmlEncoding</code> attribute value does <em>not</em> |
|
|
match to <code>[A-Za-z] ([A-Za-z0-9._] | '-')*</code> |
|
|
<span class=ed>@@ formal def</span>, then it is an |
|
|
<a href="#xml-well-formedness-error" id=wfe-encoding><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li>The <code>childNodes</code> list of <var>n</var> have to |
|
|
consist of zero or more <code>Comment</code> and/or |
|
|
<code>ProcessingInstruction</code> nodes, followed by |
|
|
an optional <code>DocumentType</code> node, followed |
|
|
by zero or more <code>Comment</code> and/or |
|
|
<code>ProcessingInstruction</code> nodes, followed by |
|
|
an <code>Element</code> node, followed |
|
|
by zero or more <code>Comment</code> and/or |
|
|
<code>ProcessingInstruction</code> nodes. Any violation to this is an |
|
|
<a href="#xml-well-formedness-error" id=wfe-document-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li>For each node <dfn id=var-document-nc><var>n<sub><var>c</var></sub></var></dfn> |
|
|
in the <code>childNodes</code> list of <var>n</var>, |
|
|
<ol> |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an |
|
|
<code>EntityReference</code> node, then |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
|
|
<var>n<sub><var>c</var></sub></var></a> recursively.</li> |
|
|
</ol></li> |
|
|
<li class=ed>@@ <code>allDeclarationsProcessed</code></li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is a <code>DocumentFragment</code> node</dt> |
|
|
<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> |
|
533 |
</dl> |
</dl> |
534 |
|
|
535 |
</div> |
<div class=ed> |
536 |
|
<p>A future version of this interface might define the |
537 |
</div> |
<code>parameterEntities</code> and getter/setter for parameter entities. |
538 |
|
</div> |
539 |
<div id=classes class=section> |
|
540 |
<h2>Character Classes</h2> |
</div> |
541 |
|
|
542 |
|
<div class=section id=section-elementtypedefinition> |
543 |
|
<h3>The <code>ElementTypeDefinition</code> Interface</h3> |
544 |
|
|
545 |
|
<pre class=idl><code>interface <dfn id=ElementTypeDefinition><code>ElementTypeDefinition</code></dfn> : <a href="#Node">Node</a> { |
546 |
|
readonly attribute <a href="#ownerDocumentTypeDefinition">ownerDocumentTypeDefinition</a>; |
547 |
|
|
548 |
|
<span class=ed>@@ more</span> |
549 |
|
}</code></pre> |
550 |
|
|
551 |
|
<pre class=ed>** Modifications to [CODE(DOMi)@en[[[Node]]]] members |
552 |
|
|
553 |
|
[3] The getter of the [CODE(DOMa)@en[[[attributes]]]] attribute |
554 |
|
of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] object |
555 |
|
[['''MUST''']] return [CODE(IDL)@en[[[null]]]]. |
556 |
|
|
557 |
|
[4] The getter of the [CODE(DOMa)@en[[[baseURI]]]] attribute |
558 |
|
of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] object |
559 |
|
[['''MUST''']] return the [CODE(DOMa)@en[[[baseURI]]]] |
560 |
|
of the [CDOE(DOMa)@en[[[ownerDocument]]]] of the |
561 |
|
[CODE(DOMi)@en[[[ElementTypeDefinition]]]] object. |
562 |
|
Note that it might be [CODE(IDL)@en[[[null]]]]. |
563 |
|
|
564 |
|
[1] The getter of the [CODE(DOMa)@en[[[nodeName]]]] attribute |
565 |
|
of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] object |
566 |
|
[['''MUST''']] return the name of the element type. |
567 |
|
|
568 |
|
[2] The getters of the [CODE(DOMa)@en[[[nodeValue]]]] |
569 |
|
and [CODE(DOMa)@en[[[textContent]]]] attributes |
570 |
|
of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] |
571 |
|
object [['''MUST''']] return [CODE(IDL)@en[[[null]]]]. |
572 |
|
|
573 |
|
;; Thus, the setter of these attributes do nothing. |
574 |
|
|
575 |
|
The setter of the [CODE(DOMa)@en[[[textContent]]]] |
576 |
|
attribute of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] |
577 |
|
object [['''MUST NOT''']] throw a |
578 |
|
[CODE(DOMc)@en[[[NO_MODIFICATION_ALLOWED_ERR]]]]. |
579 |
|
|
580 |
|
** The [CODE(DOMi)@en[ElementTypeDefinition]] Interface |
581 |
|
|
582 |
|
[5] The |
583 |
|
[DFN@en[[CODE(DOMa)@en[[[ownerDocumentTypeDefinition]]]] attribute]] |
584 |
|
of the [CODE(DOMi)@en[[[ElementTypeDefinition]]]] |
585 |
|
interface is defined in [[manakai//DOM Extensions]>>50].</pre> |
586 |
|
</div> |
587 |
|
|
588 |
|
<div class=section id=section-attributedefinition> |
589 |
|
<h3>The <code>AttributeDefinition</code> Interface</h3> |
590 |
|
|
591 |
|
<pre class=idl><code>interface <dfn id=AttributeDefinition><code>AttributeDefinition</code></dfn> : <a href="#Node">Node</a> { |
592 |
|
<span class=comment>// <a href="#DeclaredValueType">DeclaredValueType</a></span> |
593 |
|
const unsigned short <a href="#NO_TYPE_ATTR">NO_TYPE_ATTR</a> = 0; |
594 |
|
const unsigned short <a href="#CDATA_ATTR">CDATA_ATTR</a> = 1; |
595 |
|
const unsigned short <a href="#ID_ATTR">ID_ATTR</a> = 2; |
596 |
|
const unsigned short <a href="#IDREF_ATTR">IDREF_ATTR</a> = 3; |
597 |
|
const unsigned short <a href="#IDREFS_ATTR">IDREFS_ATTR</a> = 4; |
598 |
|
const unsigned short <a href="#ENTITY_ATTR">ENTITY_ATTR</a> = 5; |
599 |
|
const unsigned short <a href="#ENTITIES_ATTR">ENTITIES_ATTR</a> = 6; |
600 |
|
const unsigned short <a href="#NMTOKEN_ATTR">NMTOKEN_ATTR</a> = 7; |
601 |
|
const unsigned short <a href="#NMTOKENS_ATTR">NMTOKENS_ATTR</a> = 8; |
602 |
|
const unsigned short <a href="#NOTATION_ATTR">NOTATION_ATTR</a> = 9; |
603 |
|
const unsigned short <a href="#ENUMERATION_ATTR">ENUMERATION_ATTR</a> = 10; |
604 |
|
const unsigned short <a href="#UNKNOWN_ATTR">UNKNOWN_ATTR</a> = 11; |
605 |
|
|
606 |
|
readonly attribute <a href="#ElementTypeDefinition">ElementTypeDefinition</a> <a href="#ownerElementTypeDefinition">ownerElementTypeDefinition</a>; |
607 |
|
|
608 |
|
readonly attribute unsigned short <a href="#declaredType">declaredType</a>; |
609 |
|
readonly attribute unsigned short <a href="#defaultType">defaultType</a>; |
610 |
|
|
611 |
|
<span class=ed>...</span> |
612 |
|
}</code></pre> |
613 |
|
|
614 |
|
<pre class=ed>** Modifications to [CODE(DOMi)@en[[[Node]]]] members |
615 |
|
|
616 |
|
[3] The getter of the [CODE(DOMa)@en[[[attributes]]]] attribute |
617 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
618 |
|
[['''MUST''']] return [CODE(IDL)@en[[[null]]]]. |
619 |
|
|
620 |
|
[9] The getter of the [CODE(DOMa)@en[[[baseURI]]]] attribute |
621 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
622 |
|
[['''MUST''']] return the [CODE(DOMa)@en[[[baseURI]]]] |
623 |
|
of the [CDOE(DOMa)@en[[[ownerDocument]]]] of the |
624 |
|
[CODE(DOMi)@en[[[AttributeDefinition]]]] object. |
625 |
|
Note that it might be [CODE(IDL)@en[[[null]]]]. |
626 |
|
|
627 |
|
[1] The getter of the [CODE(DOMa)@en[[[nodeName]]]] attribute |
628 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
629 |
|
[['''MUST''']] return the name of the attribute. |
630 |
|
|
631 |
|
[2] The getter of the [CODE(DOMa)@en[[[nodeValue]]]] attribute |
632 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
633 |
|
[['''MUST''']] return the normalized default value |
634 |
|
of the attribute. |
635 |
|
|
636 |
|
@@ |
637 |
|
|
638 |
|
[4] The getter of the [CODE(DOMa)@en[[[textContent]]]] |
639 |
|
attribute of an [CODE(DOMi)@en[[[AttributeDefinition]]]] |
640 |
|
object [['''MUST''']] behave as if it were an |
641 |
|
[CODE(DOMi)@en[[[Attr]]]] object. |
642 |
|
|
643 |
|
The setter of the [CODE(DOMa)@en[[[textContent]]]] attribute |
644 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
645 |
|
[['''MUST''']] behave as if the following algorithm |
646 |
|
is performed: |
647 |
|
= If the [CODE(DOMi)@en[[[AttributeDefinition]]]] |
648 |
|
object is read-only, then throw an |
649 |
|
[CODE(DOMc)@en[[[NO_MODIFICATION_ALLOWED_ERR]]]]. |
650 |
|
= Remove any child node the node has. |
651 |
|
= If the new value is not empty and not [CODE(IDL)@en[[[null]]]], |
652 |
|
then create a [CODE(DOMi)@en[[[Text]]]] node |
653 |
|
whose [CODE(DOMa)@en[[[data]]]] is the new value |
654 |
|
and append it to the [CODE(DOMi)@en[[[AttributeDefinition]]]]. |
655 |
|
</pre> |
656 |
|
|
657 |
|
<p>The definition group |
658 |
|
<dfn id=DeclaredValueType><code>DeclaredValueType</code></dfn> contains |
659 |
|
integers indicating the declared type of attributes.</p> |
660 |
|
|
661 |
|
<table> |
662 |
|
<thead> |
663 |
|
<tr><th scope=col>Name<th scope=col>Value<th scope=col>Description</tr> |
664 |
|
</thead> |
665 |
|
<tbody> |
666 |
|
<tr> |
667 |
|
<th scope=row><dfn id=NO_TYPE_ATTR class=dom-const><code>NO_TYPE_ATTR</code> |
668 |
|
<td><code>0</code><td>No value <span class=ed>[INFOSET]</span>.</tr> |
669 |
|
<tr> |
670 |
|
<th scope=row><dfn id=CDATA_ATTR class=dom-const><code>CDATA_ATTR</code> |
671 |
|
<td><code>1</code><td><code>CDATA</code> <span class=ed>[XML]</span>.</tr> |
672 |
|
<tr> |
673 |
|
<th scope=row><dfn id=ID_ATTR class=dom-const><code>ID_ATTR</code> |
674 |
|
<td><code>2</code><td><code>ID</code> <span class=ed>[XML]</span>.</tr> |
675 |
|
<tr> |
676 |
|
<th scope=row><dfn id=IDREF_ATTR class=dom-const><code>IDREF_ATTR</code> |
677 |
|
<td><code>3</code><td><code>IDREF</code> <span class=ed>[XML]</span>.</tr> |
678 |
|
<tr> |
679 |
|
<th scope=row><dfn id=IDREFS_ATTR class=dom-const><code>IDREFS_ATTR</code> |
680 |
|
<td><code>4</code><td><code>IDREFS</code> <span class=ed>[XML]</span>.</tr> |
681 |
|
<tr> |
682 |
|
<th scope=row><dfn id=ENTITY_ATTR class=dom-const><code>ENTITY_ATTR</code> |
683 |
|
<td><code>5</code><td><code>ENTITY</code> <span class=ed>[XML]</span>.</tr> |
684 |
|
<tr> |
685 |
|
<th scope=row><dfn id=ENTITIES_ATTR class=dom-const><code>ENTITIES_ATTR</code> |
686 |
|
<td><code>6</code><td><code>ENTITIES</code> <span class=ed>[XML]</span>.</tr> |
687 |
|
<tr> |
688 |
|
<th scope=row><dfn id=NMTOKEN_ATTR class=dom-const><code>NMTOKEN_ATTR</code> |
689 |
|
<td><code>7</code><td><code>NMTOKEN</code> <span class=ed>[XML]</span>.</tr> |
690 |
|
<tr> |
691 |
|
<th scope=row><dfn id=NMTOKENS_ATTR class=dom-const><code>NMTOKENS_ATTR</code> |
692 |
|
<td><code>8</code><td><code>NMTOKENS</code> <span class=ed>[XML]</span>.</tr> |
693 |
|
<tr> |
694 |
|
<th scope=row><dfn id=NOTATION_ATTR class=dom-const><code>NOTATION_ATTR</code> |
695 |
|
<td><code>9</code><td><code>NOTATION</code> <span class=ed>[XML]</span>.</tr> |
696 |
|
<tr> |
697 |
|
<th scope=row><dfn id=ENUMERATION_ATTR class=dom-const><code>ENUMERATION_ATTR</code> |
698 |
|
<td><code>10</code><td>Enumeration <span class=ed>[XML]</span>.</tr> |
699 |
|
<tr> |
700 |
|
<th scope=row><dfn id=UNKNOWN_ATTR class=dom-const><code>UNKNOWN_ATTR</code> |
701 |
|
<td><code>11</code><td>Unknown, because no declaration for the attribute |
702 |
|
has been read but the [all declaration processed] property |
703 |
|
<span class=ed>[INFOSET]</span> would be false.</tr> |
704 |
|
</tbody> |
705 |
|
</table> |
706 |
|
|
707 |
|
<p>If no attribute type information is available, or if the source |
708 |
|
of the information does not distinguish <q>no value</q> and <q>unknown</q> |
709 |
|
<span class=ed>[INFOSET]</span>, then the value |
710 |
|
<a href="#NO_TYPE_ATTR"><code>NO_TYPE_ATTR</code></a> |
711 |
|
<em class=rfc2119>MUST</em> be used.</p> |
712 |
|
|
|
<p>This section defines a couple of character classes. |
|
|
These classes are referred to by algorithms specified above.</p> |
|
|
|
|
|
<p>Character class <dfn id=class-Char10><code>Char10</code></dfn> |
|
|
contains the following characters:</p> |
|
|
<ul> |
|
|
<li><code class=char>U+0009</code> <code class=charname>CHARACTER |
|
|
TABULATION</code></li> |
|
|
<li><code class=char>U+000A</code> <code class=charname>LINE FEED</code></li> |
|
|
<li><code class=char>U+000D</code> <code class=charname>CARRIAGE |
|
|
RETURN</code></li> |
|
|
<li><code class=char>U+0020</code> <code class=charname>SPACE</code> |
|
|
.. <code class=char>U+D7FF</code></li> |
|
|
<li><code class=char>U+E000</code> .. <code class=char>U+FFFD</code> |
|
|
<code class=charname>REPLACEMENT CHARACTER</code></li> |
|
|
<li><code class=char>U+10000</code> .. <code class=char>U+10FFFF</code></li> |
|
|
</ul> |
|
713 |
<div class="note memo"> |
<div class="note memo"> |
714 |
<p>This character class contains all characters allowed in the production rule |
<p>An <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node |
715 |
<a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Char"><code>Char</code></a> |
created by the |
716 |
of <abbr>XML</abbr> 1.0 |
<a href="#createAttributeDefinition"><code>createAttributeDefinition</code></a> |
717 |
<cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p> |
method has its <a href="#declaredType"><code>declaredType</code></a> attribute |
718 |
</div> |
set to <a href="#NO_TYPE_ATTR"><code>NO_TYPE_ATTR</code></a>.</p> |
719 |
|
</div> |
720 |
<p>Character class <dfn id=class-CompatChar10><code>CompatChar10</code></dfn> |
|
721 |
contains the following characters:</p> |
<p>If the source of the information does not distinguish <q>no value</q> |
722 |
<ul> |
and/or <code>unknown</code> <span class=ed>[INFOSET]</span> and |
723 |
<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> |
<code>CDATA</code> <span class=ed>[XML]</span>, then the value |
724 |
</ul> |
<a href="#CDATA_ATTR"><code>CDATA_ATTR</code></a> <em class=rfc2119>MUST</em> |
725 |
|
be used.</p> |
726 |
|
|
727 |
|
<p>In Perl binding <span class=ed>[PERLBINDING]</span>, the |
728 |
|
<code>Attr</code> nodes <em class=rfc2119>MUST</em> implement the |
729 |
|
<a href="#DeclaredValueType"><code>DeclaredValueType</code></a> |
730 |
|
constant group.</p> |
731 |
|
|
732 |
|
<pre class=ed> |
733 |
|
[7] The |
734 |
|
[DFN@en[definition group [CODE(DOM)@en[[[DefaultValueType]]]]]] |
735 |
|
contains integers indicating the type of |
736 |
|
default attribute value: |
737 |
|
,[CODE(DOMc)@en[[[UNKNOWN_DEFAULT]]]],[CODE(IDL)[[[0]]]],The default value is unknown. |
738 |
|
,[CODE(DOMc)@en[[[FIXED_DEFAULT]]]],[CODE(IDL)[[[1]]]],The default value is provided and the attribute is [CODE(XML)@en[#[[FIXED]]]] to that value. |
739 |
|
,[CODE(DOMc)@en[[[REQUIRED_DEFAULT]]]],[CODE(IDL)[[[2]]]],An attribute specification is [CODE(XML)@en[#[[REQUIRED]]]] for the attribute. |
740 |
|
,[CODE(DOMc)@en[[[IMPLIED_DEFAULT]]]],[CODE(IDL)[[[3]]]],The default value is [CODE(XML)@en[#[[IMPLIED]]]]. |
741 |
|
,[CODE(DOMc)@en[[[EXPLICIT_DEFAULT]]]],[CODE(IDL)[[[4]]]],The default value is provided but the attribute is not fixed to it. |
742 |
|
|
743 |
|
The type of these constants are |
744 |
|
[CODE(IDL)@en[[[unsigned]] [[short]]]]. |
745 |
|
|
746 |
|
If the source of the attribute default value type |
747 |
|
does not distinguish the [CODE(XML)@en[#[[IMPLIED]]]] |
748 |
|
default and unknown default, then the |
749 |
|
[CODE(DOMc)@en[[[IMPLIED_DEFAULT]]]] value |
750 |
|
[['''MUST''']] be used. |
751 |
|
|
752 |
|
;; A newly created [CODE(DOMi)@en[[[AttributeDefinition]]]] |
753 |
|
object by [CODE(DOMm)@en[[[createAttributeDefinition]]]] |
754 |
|
method has [CODE(DOMa)@en[[[declaredType]]]] attribute |
755 |
|
set to [CODE(DOMc)@en[[[NO_TYPE_ATTR]]]]. |
756 |
|
</pre> |
757 |
|
|
758 |
|
<dl> |
759 |
|
<dt><dfn id=ownerElementTypeDefinition class=dom-attr><code>ownerElementTypeDefinition</code></dfn> |
760 |
|
of type |
761 |
|
<a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a>, |
762 |
|
read$B!>(Bonly</dt> |
763 |
|
<dd><p>The |
764 |
|
<a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> to |
765 |
|
which the <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> |
766 |
|
node belongs.</p> |
767 |
|
|
768 |
|
<p>On getting, the attribute <em class=rfc2119>MUST</em> return an |
769 |
|
<a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> node. |
770 |
|
It <em class=rfc2119>MUST</em> be such a node that whose |
771 |
|
<a href="#attributeDefinitons"><code>attributeDefinitions</code></a> |
772 |
|
attribute contains the <code>NamedNodeMap</code> object that contains |
773 |
|
the <a href="#AttributeDefinition"><code>AttributeDefinition</code></a> |
774 |
|
node. If there is no such an |
775 |
|
<a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> node, |
776 |
|
then <code>null</code> <em class=rfc2119>MUST</em> be returned.</p> |
777 |
|
<dt><dfn id=declaredType class=dom-attr><code>declaredType</code></dfn> of type |
778 |
|
<code>unsigned short</code></dt> |
779 |
|
<dd><p>The declared type <span class=ed>@@ ref</span> of the attribute. |
780 |
|
It is expected that this attribute contains a value from the definition group |
781 |
|
<a href="#DeclaredValueType"><code>DeclaredValueType</code></a>.</p> |
782 |
|
|
783 |
|
<p>On getting, the attribute <em class=rfc2119>MUST</em> return the |
784 |
|
value associated to this attribute.</p> |
785 |
|
|
786 |
|
<p>On setting, the attribute <em class=rfc2119>MUST</em> raise a |
787 |
|
<code>NO_MODIFICATION_ALLOWED_ERR</code> <span class=ed>@@ ref</span> |
788 |
|
exception if the |
789 |
|
<a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node |
790 |
|
is read$B!>(Bonly <span class=ed>@@ ref</span>. Otherwise, it |
791 |
|
<em class=rfc2119>MUST</em> set the specified value as the value |
792 |
|
associated to this attribute.</p> |
793 |
|
|
794 |
|
<p>If the <code>AttributeDefinition</code> node is created during the process |
795 |
|
to create a <abbr>DOM</abbr> from an <abbr>XML</abbr> document, an |
796 |
|
appropriate value from the |
797 |
|
<a href="#DeclaredValueType"><code>DeclaredValueType</code></a> constant |
798 |
|
group <em class=rfc2119>MUST</em> be set to the attribute.</p></dd> |
799 |
|
<dt><dfn id=defaultType class=dom-attr><code>defaultType</code></dfn> of |
800 |
|
type <code>unsigned short</code></dt> |
801 |
|
<dd><p>The type of the default for the attribute. It is expected that this |
802 |
|
attribute contains a value from the definition group |
803 |
|
<a href="#DefaultValueType"><code>DefaultValueType</code></a>.</p> |
804 |
|
|
805 |
|
<p>On getting, the attribute <em class=rfc2119>MUST</em> return |
806 |
|
the value associated to this attribute.</p> |
807 |
|
|
808 |
|
<p>On setting, the attribute <em class=rfc2119>MUST</em> raise a |
809 |
|
<code>NO_MODIFICATION_ALLOWED_ERR</code> <span class=ed>@@ ref</span> |
810 |
|
exception if the |
811 |
|
<a href="#AttributeDefinition"><code>AttributeDefinition</code></a> node |
812 |
|
is read$B!>(Bonly <span class=ed>@@ ref</span>. Otherwise, it |
813 |
|
<em class=rfc2119>MUST</em> set the specified value as the value |
814 |
|
associated to this attribute.</p> |
815 |
|
|
816 |
|
<p>If the <code>AttributeDefinition</code> node is created during the process |
817 |
|
to create a <abbr>DOM</abbr> from an <abbr>XML</abbr> document, an |
818 |
|
appropriate value from the |
819 |
|
<a href="#DefaultValueType"><code>DefaultValueType</code></a> constant |
820 |
|
group <em class=rfc2119>MUST</em> be set to the attribute.</p></dd> |
821 |
|
</dl> |
822 |
|
|
|
<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> |
|
823 |
</div> |
</div> |
824 |
|
|
|
<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> |
|
825 |
</div> |
</div> |
826 |
|
|
|
<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> |
|
827 |
|
|
|
<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> |
|
828 |
|
|
829 |
</div> |
|
830 |
|
|
831 |
<div id="references" class="section reference"> |
<div id="references" class="section reference"> |
832 |
<h2>References</h2> |
<h2>References</h2> |