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-01>1 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> |
|
|
|
|
<p>Errors are classified into these |
|
|
<dfn id=error-category title="error category">error categories</dfn>:</p> |
|
|
|
|
|
<dl id=errors> |
|
|
<dt><dfn id=entity-error><code>entity-error</code></dfn></dt> |
|
|
<dd> |
|
|
<p class=ed>@@</p> |
|
|
<div class="note memo"> |
|
|
<p>This <span class=ed>algorithm</span> does not support |
|
|
<abbr>DOM</abbr> tree with one or more <code>EntityReference</code> |
|
|
nodes. It is expected that any entity references are expanded |
|
|
at the parse time and any unexpandable entity references |
|
|
make parse time errors raised so that never result in |
|
|
<abbr>DOM</abbr> tree with <code>EntityReference</code> nodes.</p> |
|
|
</div> |
|
|
</dd> |
|
|
<dt><dfn id=round-trip-error><code>round-trip-error</code></dfn></dt> |
|
|
<dd class=ed>@@</dd> |
|
|
<dt><dfn id=round-trip-warning><code>round-trip-warning</code></dfn></dt> |
|
|
<dd> |
|
|
<p>A <a href="#round-trip-warning"><code>round-trip-warning</code></a> |
|
|
will be raised when a construct, which might not be restored to the same |
|
|
construct when it is serialized and then re-parsed by a conforming |
|
|
processor, is encountered.</p> |
|
|
<div class="example memo"> |
|
|
<p>For a <code>Comment</code> node a |
|
|
<a href="#round-trip-warning"><code>round-trip-warning</code></a> will |
|
|
be raised, since <abbr>XML</abbr> processors are not required to |
|
|
report texts of comments for applications.</p> |
|
|
</div> |
|
|
</dd> |
|
|
<dt class=ed><dfn id=unknown-error><code>unknown-error</code></dfn>?</dt> |
|
|
<dd class=ed>@@</dd> |
|
|
<dt><dfn id=xml-misc-error><code>xml-misc-error</code></dt> |
|
|
<dd>An <abbr>XML</abbr> <i>error</i> (<abbr>XML</abbr> 1.0 |
|
|
<cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite> |
|
|
<a href="http://www.w3.org/TR/2006/REC-xml-20060816/#dt-error">error</a> / |
|
|
<abbr>XML</abbr> 1.1 |
|
|
<cite class="bibref normative">[<a href="#ref-XML11">XML11</a>]</cite> |
|
|
<a href="@@/#dt-error">error</a>) |
|
|
that is not classified to any other <a href="#error-category">error |
|
|
category</a>.</dd> |
|
|
<dt><dfn id=xml-misc-fatal-error><code>xml-misc-fatal-error</code></dt> |
|
|
<dd>An <abbr>XML</abbr> <i>fatal error</i> (<abbr>XML</abbr> 1.0 |
|
|
<cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite> |
|
|
<a href="http://www.w3.org/TR/2006/REC-xml-20060816/#dt-fatal">fatal |
|
|
error</a> / <abbr>XML</abbr> 1.1 |
|
|
<cite class="bibref normative">[<a href="#ref-XML11">XML11</a>]</cite> |
|
|
<a href="@@/#dt-fatal">fatal error</a>) |
|
|
that is not classified to any other <a href="#error-category">error |
|
|
category</a>. <span class=ed>@@ What errors fall into this category?</span></dd> |
|
|
<dt><dfn id=xml-misc-recommendation><code>xml-misc-recommendation</code></dfn></dt> |
|
|
<dd> |
|
|
<p>An |
|
|
<a href="#xml-misc-recommendation"><code>xml-misc-recommendation</code></a> |
|
|
will be raised if a <em class=rfc2119>SHOULD</em>$B!>(Blevel requirement |
|
|
in <abbr>XML</abbr> specification is not met.</p> |
|
|
</dd> |
|
|
<dt><dfn id=xml-validity-error><code>xml-validity-error</code></dfn></dt> |
|
|
<dd>A violation of validity constraint in XML document.</dd> |
|
|
<dt><dfn id=xml-well-formedness-error><code>xml-well-formedness-error</code></dfn></dt> |
|
|
<dd><p>If an <code>xml-well-formedness-error</code> is raised, |
|
|
it would not be possible to generate an XML serialization that |
|
|
would match to the appropriate production rule and that would not |
|
|
violate to any well$B!>(Bformedness constraint in XML |
|
|
specification <cite class="bibref normative">[<a href="#ref-XML10">XML10</a>, |
|
|
<a href="#ref-XML11">XML11</a>]</cite>.</p></dd> |
|
|
</dl> |
|
|
|
|
|
<div class=ed><p>@@ TODO: #dt-atuseroption at user option |
|
|
(MAY or MUST), #dt-compat for compatibility, |
|
|
#dt-interop for interoperability</p></div> |
|
|
|
|
|
</div> |
|
|
|
|
|
<div class=section id=parsing-xml> |
|
|
<h2>Parsing <abbr>XML</abbr> Document</h2> |
|
132 |
|
|
133 |
|
<p>The <abbr>DOM</abbr> Document Type Definition module, version 3.0, |
134 |
|
consists of three interfaces:</p> |
135 |
<ul> |
<ul> |
136 |
<li>If the <abbr>XML</abbr> document does not begin with an |
<li><a href="#DocumentXDoctype"><code>DocumentXDoctype</code></a></li> |
137 |
<abbr>XML</abbr> declaration, then raise an |
<li><a href="#DocumentTypeDefinition"><code>DocumentTypeDefinition</code></a></li> |
138 |
<a href="#xml-misc-recommentation" id=xmr-xml-decl><code>xml-misc-recommendation</code></a>.</li> |
<li><a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a></li> |
139 |
<li>If the replacement text of an entity declaration is |
<li><a href="#AttributeDefinition"><code>AttributeDefinition</code></a></li> |
|
<code><</code>, then raise an |
|
|
<a href="#xml-misc-warning" id=xmw-entity-value-lt><code>xml-misc-warning</code></a>.<!-- |
|
|
"strongly advised to avoid" in a Note in Section 2.3 of [XML10], [XML11]. |
|
|
--></li> |
|
|
<li>If there is an element type declaration whose <code>Name</code> |
|
|
value is already declared, then raise an |
|
|
<a href="#xml-validity-error" id=vc-edunique><code>xml-validity-error</code></a>.</li> |
|
|
<li>If attribute definition whose <code>Name</code> is |
|
|
<code>xml:space</code> has <span class=ed>declared type different from |
|
|
(default|preserve), (default), or (preserve)</span>, then raise an |
|
|
<a href="#xml-misc-error" id=xme-ad-xml-space><code>xml-misc-error</code></a>. |
|
|
<span class=ed>@@ duplication with |
|
|
<a href="#xml-at-xml-space">#xml-at-xml-space</a>.<!-- |
|
|
<!ATTLIST e xml:space CDATA #IMPLIED xml:space CDATA #IMPLIED> --></span></li> |
|
|
<li>If an empty-element tag is used for an element which is <em>not</em> |
|
|
declared <code>EMPTY</code>, then raise an |
|
|
<a href="#xml-misc-recommentation" id=xmr-emptyelemtag-not-empty><code>xml-misc-recommendation</code></a>.</li> |
|
|
<li>If an empty-element tag is <em>not</em> used for an element which is |
|
|
declared <code>EMPTY</code>, then raise an |
|
|
<a href="#xml-misc-recommentation" id=xmr-empty-not-emptyelemtag><code>xml-misc-recommendation</code></a>.</li> |
|
|
<!-- |
|
|
|
|
|
#vc-PEinMarkupDecl Validity constraint: Proper Declaration/PE Nesting |
|
|
#wfc-PEinInternalSubset Well-formedness constraint: PEs in Internal Subset |
|
|
#ExtSubset Well-formedness constraint: External Subset |
|
|
#PE-between-Decls Well-formedness constraint: PE Between Declarations |
|
|
#GIMatch Well-formedness constraint: Element Type Match |
|
|
#uniqattspec Well-formedness constraint: Unique Att Spec |
|
|
#NoExternalRefs Well-formedness constraint: No External Entity References |
|
|
#CleanAttrVals Well-formedness constraint: No < in Attribute Values |
|
|
#vc-PEinGroup Validity constraint: Proper Group/PE Nesting |
|
|
"For interoperability, if a parameter-entity reference appears in a choice, seq, or Mixed construct, its replacement text SHOULD contain at least one non-blank character, and neither the first nor last non-blank character of the replacement text SHOULD be a connector (| or ,)." |
|
|
"For interoperability, an XML processor MAY at user option issue a warning when more than one attribute-list declaration is provided for a given element type, or more than one attribute definition is provided for a given attribute, but this is not an error." |
|
|
#condsec-nesting Validity constraint: Proper Conditional Section/PE Nesting |
|
|
#wf-Legalchar Well-formedness constraint: Legal Character |
|
|
#textent Well-formedness constraint: Parsed Entity |
|
|
#norecursion Well-formedness constraint: No Recursion |
|
|
#indtd Well-formedness constraint: In DTD |
|
|
"External parsed entities SHOULD each begin with a text declaration." |
|
|
"It is an error for a reference to an unparsed entity to appear in the EntityValue in an entity declaration." |
|
|
#UniqueNotationName Validity constraint: Unique Notation Name |
|
|
|
|
|
@@ Need detailed review, but maybe should be in parsing phase |
|
|
|
|
|
#vc-check-rmd Validity constraint: Standalone Document Declaration |
|
|
|
|
|
@@ Need dtailed review |
|
|
|
|
|
#wf-entdeclared Well-formedness constraint: Entity Declared |
|
|
#vc-entdeclared Validity constraint: Entity Declared |
|
|
"For interoperability, valid documents SHOULD declare the entities amp, lt, gt, apos, quot, in the form specified in 4.6 Predefined Entities." |
|
|
"If the entities lt or amp are declared, they MUST be declared as internal entities whose replacement text is a character reference to the respective character (less-than sign or ampersand) being escaped; the double escaping is REQUIRED for these entities so that references to them produce a well-formed result. If the entities gt, apos, or quot are declared, they MUST be declared as internal entities whose replacement text is the single character being escaped (or a character reference to that character; the double escaping here is OPTIONAL but harmless)." |
|
|
|
|
|
@@ flaged and then reported in DOM check phase |
|
|
|
|
|
"Entities encoded in UTF-16 MUST and entities encoded in UTF-8 MAY begin with the Byte Order Mark" |
|
|
"In the absence of external character encoding information (such as MIME headers), parsed entities which are stored in an encoding other than UTF-8 or UTF-16 MUST begin with a text declaration" |
|
|
"In an encoding declaration, the values "UTF-8", "UTF-16", "ISO-10646-UCS-2", and "ISO-10646-UCS-4" SHOULD be used for the various encodings and transformations of Unicode / ISO/IEC 10646, the values "ISO-8859-1", "ISO-8859-2", ... "ISO-8859-n" (where n is the part number) SHOULD be used for the parts of ISO 8859, and the values "ISO-2022-JP", "Shift_JIS", and "EUC-JP" SHOULD be used for the various encoded forms of JIS X-0208-1997. It is RECOMMENDED that character encodings registered (as charsets) with the Internet Assigned Numbers Authority [IANA-CHARSETS], other than those just listed, be referred to using their registered names; other encodings SHOULD use names starting with an "x-" prefix." |
|
|
|
|
|
@@ in parsing phase |
|
|
|
|
|
"It is a fatal error when an XML processor encounters an entity with an encoding that it is unable to process. It is a fatal error if an XML entity is determined (via default, encoding declaration, or higher-level protocol) to be in a certain encoding but contains byte sequences that are not legal in that encoding." |
|
|
|
|
|
--> |
|
140 |
</ul> |
</ul> |
|
</div> |
|
|
|
|
|
<div class="section" id=checking-dom> |
|
|
<h2>Checking <abbr>DOM</abbr></h2> |
|
|
|
|
|
<p>The following algorithms and definitions are applied to |
|
|
<abbr>XML</abbr> documents; especially, they are not applied |
|
|
to <abbr>HTML</abbr> documents.<!-- TODO: ref to HTML5 --></p> |
|
|
|
|
|
<div class=section id=definitions> |
|
|
<h3>Definitions</h3> |
|
|
|
|
|
<p>The <dfn id=xml-version><abbr>XML</abbr> version</dfn> of a node is |
|
|
the <abbr>XML</abbr> version of the document to which the node belongs. |
|
|
For a <code>Documemt</code> node, the <abbr>XML</abbr> version |
|
|
of the document is the value of the <code>xmlVersion</code> |
|
|
attribute of the node. For a <code>DocumentType</code> node whose |
|
|
<code>ownerDocument</code> attribute is set to <code>null</code>, |
|
|
the <abbr>XML</abbr> version of the document is <code>1.0</code><!-- |
|
|
since createDocumentType [DOM3CORE] assumes XML 1.0 [XML10TE] -->. |
|
|
For any other node, the <abbr>XML</abbr> version of the document |
|
|
is that of the <code>Document</code> node contained in the |
|
|
<code>ownerDocument</code> attribute of the node.</p> |
|
|
|
|
|
</div> |
|
|
|
|
|
|
|
|
<div class=section id=checking-components> |
|
|
<h3>Conformance Checking Algorithms for Components</h3> |
|
|
|
|
|
<p>To |
|
|
<dfn id=algorithm-to-validate-an-xml-character-data title="validate an XML string">to |
|
|
validate an <abbr>XML</abbr> string (<dfn id=var-s><var>s</var></dfn>)</dfn>, |
|
|
the following algorithm <em class=rfc2119>MUST</em> be used:</p> |
|
|
<ol> |
|
|
<li>If <var>s</var> contains a character that is <em>not</em> in |
|
|
the character class <a href="#class-Char10"><code>Char10</code></a>, |
|
|
then raise an |
|
|
<a href="#xml-well-formedness-error" id=wfe-illegal-char><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li>If <var>s</var> contains a character that is in the character |
|
|
class <a href="#class-CompatChar10"><code>CompatChar10</code></a>, |
|
|
then raise an |
|
|
<a href="#xml-misc-warning" id=xmw-compat-char><code>xml-misc-warning</code></a>.</li> |
|
|
<li>If <var>s</var> contains a character that is in the character |
|
|
class <a href="#class-ControlChar10"><code>ControlChar10</code></a>, |
|
|
then raise an |
|
|
<a href="#xml-misc-warning" id=xmw-control-char><code>xml-misc-warning</code></a>.</li> |
|
|
<li class=ed>@@ XML 1.1 support</li> |
|
|
<li>If <var>s</var> contains a <code class=char>U+000D</code> |
|
|
<code class=charname>CARRIAGE RETURN</code> character, then |
|
|
raise a |
|
|
<a href="#round-trip-error" id=rte-cr><code>round-trip-error</code></a>. |
|
|
<span class=ed>@@ We should not raise duplicate errors for U+000D |
|
|
in attribute values. In addition, we should support a mode where |
|
|
U+000D will be serialized as 
 (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> |
|
141 |
|
|
142 |
<p>The algorithm <dfn title="to check a node" id=algorithm-to-check-a-node>to |
<p>In addition, it adds methods, attributes, and/or constants to interfaces |
143 |
check a node (<dfn id=var-n><var>n</var></dfn>)</dfn> is defined as |
<a href="#Node"><code>Node</code></a>, |
144 |
following:</p> |
<a href="#Entity"><code>Entity</code></a>, |
145 |
<dl class=switch> |
<a href="#EntityReference"><code>EntityReference</code></a>, and |
146 |
<dt>If <var>n</var> is an <code>Attr</code> node</dt> |
<a href="#Notation"><code>Notation</code></a>. |
147 |
<dd> |
It modifies semantics of some of methods and attributes in |
148 |
<ol> |
<a href="#Node"><code>Node</code></a> and |
149 |
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
<a href="#ProcessingInstruction"><code>ProcessingInstruction</code></a> |
150 |
<code>localName</code> attribute value as an <code>NCName</code></a>.</li> |
interfaces, for the support of new interfaces.</p> |
151 |
<li>If the <code>prefix</code> attribute value is different from |
|
152 |
<code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate |
<div class=section id=features> |
153 |
the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li> |
<h3>Feature Name</h3> |
154 |
<li>For each node <dfn id=var-attr-nc><var>n<sub><var>c</var></sub></var></dfn> in the |
|
155 |
<code>childNodes</code> list of <var>n</var>, |
<p>In a <abbr>DOM</abbr> implementation that supports the version 3.0 of |
156 |
<ol> |
the <abbr>DOM</abbr> Document Type Definition module, the |
157 |
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a |
<code>hasFeature</code> method of a <code>DOMImplementation</code> object |
158 |
<code>Text</code> or <code>EntityReference</code> node, then it is an |
<em class=rfc2119>MUST</em> return <code>true</code> when the parameters are |
159 |
<a href="#xml-well-formedness-error" id=wfe-attr-child><code>xml-well-formedness-error</code></a>.</li> |
set to <code>http://suika.fam.cx/www/2006/feature/XDoctype</code> and |
160 |
<li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an |
<code>3.0</code> respectively.</p> |
161 |
<code>EntityReference</code> node, then it is an |
|
162 |
<a href="#entity-error" id=ee-attr-er><code>entity-error</code></a>.</li> |
<p>In such an implementation, the <code>getFeature</code> method of a |
163 |
<li>Otherwise, |
<code>Document</code> object <em class=rfc2119>MUST</em> return the (at least |
164 |
<a href="#algorithm-to-check-a-node" title="check a node">check |
conceptually) same object implementing the |
165 |
<var>n<sub><var>c</var></sub></var></a> recusrively.</li> |
<a href="#DocumentXDoctype"><code>DocumentXDoctype</code></a> interface when |
166 |
</ol></li> |
the parameters are set to |
167 |
<li>If <code>nodeName</code> attribute of <var>n</var> is |
<code>http://suika.fam.cx/www/2006/feature/XDoctype</code> and |
168 |
<code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span> |
<code>3.0</code> respectively. Likewise, any method that takes one or more |
169 |
and <code>value</code> attribute of <var>n</var> is neither |
feature names with or without version number, including the methods |
170 |
<code>default</code> nor <code>preserve</code>, then it is an |
<code>hasFeature</code> and <code>getFeature</code>, |
171 |
<a href="#xml-misc-error" id=xme-attr-xml-space><code>xml-misc-error</code></a>.<!-- |
<em class=rfc2119>MUST</em> behave in a manner consistent with the |
172 |
Note that <!ATTLIST e xml:space (default|preserve) "a">... |
aforementioned cases.</p> |
173 |
<e xml:space="default"/> is conforming and valid. --></li> |
</div> |
174 |
<li class=ed>@@ xml:lang value is not a language tag [RFC 3066 or its |
|
175 |
successor] or an empty string, then xml-misc-warning |
<div class=section id=section-documentxdoctype> |
176 |
(a "fact"-level error; not an XML error).</li> |
<h3>The <code>DocumentXDoctype</code> Interface</h3> |
177 |
<li class=ed>@@ <code>specified</code>, |
|
178 |
<code>manakaiAttributeType</code> (#ValueType Validity constraint: Attribute Value Type)</li> |
<pre class=idl><code>interface <dfn id=DocumentXDoctype><code>DocumentXDoctype</code></dfn> { |
179 |
<!-- xml:space MUST be declared to be valid. --> |
DocumentType <a href="#createDocumentTypeDefinition">createDocumentTypeDefinition</a> |
180 |
<li>Let <dfn id=var-v><var>v</var></dfn> be the value of the |
(in DOMString <a href="#createDocumentTypeDefinition-name"><var>name</var></a>) |
181 |
attribute <code>value</code> of <var>n</var>.</li> |
raises (DOMException); |
182 |
<li>Validate the <var>n</var> against the <span class=ed>declared |
ElementTypeDefinition <a href="#createElementTypeDefinition">createElementTypeDefinition</a> |
183 |
type</span> as following: |
(in DOMString <a href="#createElementTypeDefinition-name"><var>name</var></a>) |
184 |
<dl class=switch> |
raises (DOMException); |
185 |
<dt class=ed><code>ID_ATTR</code></dt> |
AttributeDefinition <a href="#createAttributeDefinition">createAttributeDefinition</a> |
186 |
<dd> |
(in DOMString <a href="#createAttributeDefinition-name"><var>name</var></a>) |
187 |
<ol> |
raises (DOMException); |
188 |
<li><span class=ed>Validate <var>v</var> as an |
Entity <a href="#createGeneralEntity">createGeneralEntityDefinition</a> |
189 |
<code>Name</code>.</span> If it fails, then raise an |
(in DOMString <a href="#createGeneralEntity-name"><var>name</var></a>) |
190 |
<a href="#xml-validity-error" id=vc-id-name><code>xml-validity-error</code></a>.</li> |
raises (DOMException); |
191 |
<li><span class=ed>If <code>ID</code> <var>v</var> is defined,</span> |
Notation <a href="#createNotation">createNotation</a> |
192 |
then raise an |
(in DOMString <a href="#createNotation-name"><var>name</var></a>) |
193 |
<a href="#xml-validity-error" id=vc-id-duplication><code>xml-validity-error</code></a>.</li> |
raises (DOMException); |
194 |
</ol> |
}</code></pre> |
195 |
</dd> |
|
196 |
<dt class=ed>IDREF_ATTR</dt> |
<div class=ed>@@ cast definition</div> |
197 |
<dd> |
|
198 |
<ol> |
<dl> |
199 |
<li><span class=ed>Validate <var>v</var> as an |
<dt><dfn id=createDocumentTypeDefinition class=dom-method><code>createDocumentTypeDefinition</code></dfn>, |
200 |
<code>Name</code>.</span> If it fails, then raise an |
method</dt> |
201 |
<a href="#xml-validity-error" id=vc-idref-name><code>xml-validity-error</code></a>.</li> |
<dd> |
202 |
<li><span class=ed>If <code>ID</code> <var>v</var> is NOT |
<p>This method creates a <code>DocumentType</code> node with the specified |
203 |
defined,</span> then raise an |
name, belonging to the document.</p> |
204 |
<a href="#xml-validity-error" id=vc-idref-match><code>xml-validity-error</code></a>.</li> |
<p>The <dfn id=createDocumentTypeDefinition-name class=dom-param><var>name</var></dfn> |
205 |
</ol> |
parameter is the name of the document type.</p> |
206 |
</dd> |
|
207 |
<dt class=ed>IDREFS_ATTR</dt> |
<p>When invoked, the method <em class=rfc2119>MUST</em> create and |
208 |
<dd class=ed>@@</dd> |
return a <code>DocumentType</code> node with the following attributes:</p> |
209 |
<dt class=ed>ENTITY_ATTR</dt> |
<dl> |
210 |
<dd> |
<dt><code>attributes</code>, <code>parentNode</code></dt> |
211 |
<ol> |
<dd><code>null</code>.</dd> |
212 |
<li><span class=ed>Validate <var>v</var> as an |
<dt><code>elementTypes</code>, <code>generalEntities</code>, and |
213 |
<code>Name</code>.</span> If it fails, then raise an |
<code>notations</code></dt> |
214 |
<a href="#xml-validity-error" id=vc-entname-name><code>xml-validity-error</code></a>.</li> |
<dd>Empty <code>NamedNodeMap</code> objects.</dd> |
215 |
<li><span class=ed>If <code>Entity</code> <var>v</var> is NOT |
<dt><code>entities</code></dt> |
216 |
defined,</span> then raise an |
<dd>The same value as the <code>generalEntities</code> attribute.</dd> |
217 |
<a href="#xml-validity-error" id=vc-entname-match><code>xml-validity-error</code></a>.</li> |
<dt><code>childNodes</code></dt> |
218 |
</ol> |
<dd>An empty <code>NodeList</code> object.</dd> |
219 |
</dd> |
<dt><code>internalSubset</code>, <code>publicId</code>, and |
220 |
<dt class=ed>ENTITIES_ATTR</dt> |
<code>systemId</code></dt> |
221 |
<dd class=ed>@@</dd> |
<dd>Empty strings.</dd> |
222 |
<dt class=ed>NMTOKEN_ATTR</dt> |
<dt><code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt> |
223 |
<dd> |
<dd><code>false</code>.</dd> |
224 |
<ol> |
<dt><code>nodeName</code></dt> |
225 |
<li><span class=ed>Validate <var>v</var> as an |
<dd><a href="#createDocumentTypeDefinition-name"><var>name</var></a>.</dd> |
226 |
<code>Nmtoken</code>.</span> If it fails, then raise an |
<dt><code>ownerDocument</code></dt> |
227 |
<a href="#xml-validity-error" id=vc-nmtok-name><code>xml-validity-error</code></a>.</li> |
<dd>The <code>Document</code> over which the method is invoked.</dd> |
228 |
</ol> |
</dl> |
229 |
</dd> |
<p>In addition, the method <em class=rfc2119>MUST</em> be marked as |
230 |
<dt class=ed>NMTOKENS_ATTR</dt> |
containing five general entity declarations: <code>amp</code>, |
231 |
<dd class=ed>@@</dd> |
<code>lt</code>, <code>gt</code>, <code>quot</code>, and |
232 |
<dt class=ed>NOTATION_ATTR</dt> |
<code>apos</code>.</p> |
233 |
<dd class=ed><var>v</var> must be one of enumerated values. |
</dd> |
234 |
If not, then raise an |
<dt><dfn id=createElementTypeDefinition class=dom-method><code>createElementTypeDefinition</code></dfn>, |
235 |
<a href="#xml-validity-error" id=vc-notatn-match><code>xml-validity-error</code></a>.</dd> |
method</dt> |
236 |
<dt class=ed>ENUMERATED_ATTR</dt> |
<dd> |
237 |
<dd class=ed><var>v</var> must be one of enumerated values. |
<p>This method creates a <code>ElementTypeDefinition</code> node with the |
238 |
If not, then raise an |
specified name, belonging to the document.</p> |
239 |
<a href="#xml-validity-error" id=vc-enum><code>xml-validity-error</code></a>.</dd> |
<p>The <dfn id=createElementTypeDefinition-name class=dom-param><var>name</var></dfn> |
240 |
<dt class=ed>@@</dt> |
parameter is the name of the element type defined by the element |
241 |
</dl> |
type definition.</p> |
242 |
</li> |
|
243 |
<li>If <span class=ed>type ID and default is NOT #IMPLIED or #REQUIRED</span>, then |
<p>When invoked, the method <em class=rfc2119>MUST</em> create and |
244 |
raise an |
return an |
245 |
<a href="#xml-validity-error" id=vc-id-default><code>xml-validity-error</code></a>.</li> |
<a href="#ElementTypeDefinition"><code>ElementTypeDefinition</code></a> |
246 |
<li class=ed>@@ #FixedAttr Validity constraint: Fixed Attribute Default</li> |
node with the following attributes:</p> |
247 |
<li class=ed>@@ strict serialization error for U+000D, U+000A, and |
<dl> |
248 |
U+0009 characters, leading/trailing U+0020, and U+0020{2,} string?</li> |
<dt><a href="#attributeDefinitions"><code>attributeDefinitions</code></a></dt> |
249 |
</ol> |
<dd>An empty <code>NamedNodeMap</code> object.</dd> |
250 |
</dd> |
<dt><code>attributes</code>, <code>parentNode</code></dt> |
251 |
<dt>If <var>n</var> is an <code>AttributeDefinition</code> node</dt> |
<dd><code>null</code>.</dd> |
252 |
<dd> |
<dt><code>childNodes</code></dt> |
253 |
<ol> |
<dd>An empty <code>NodeList</code> object.</dd> |
254 |
<li class=ed></li> |
<dt><code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt> |
255 |
<li>If <code>nodeName</code> attribute of <var>n</var> is |
<dd><code>false</code>.</dd> |
256 |
<code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span> |
<dt><code>nodeName</code></dt> |
257 |
and <span class=ed>its declared type is different from (default|preserve), |
<dd><a href="#createElementTypeDefinition-name"><var>name</var></a>.</dd> |
258 |
(default), or (preserve)</span>, then raise an |
<dt><code>ownerDocument</code></dt> |
259 |
<a href="#xml-misc-error" id=xme-at-xml-space><code>xml-misc-error</code></a>.</li> |
<dd>The <code>Document</code> node over which the method is invoked.</dd> |
260 |
<li>For each node <dfn id=var-ad-nc><var>n<sub><var>c</var></sub></var></dfn> in the |
<dt><a href="#ownerDocumentTypeDefinition"><code>ownerDocumentTypeDefinition</code></a></dt> |
261 |
<code>childNodes</code> list of <var>n</var>, |
<dd><code>null</code>.</dd> |
262 |
<ol> |
<dt class=ed>@@ Ensure all attributes are defined</dt> |
263 |
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a |
</dl> |
264 |
<code>Text</code> or <code>EntityReference</code> node, then it is an |
</dd> |
265 |
<a href="#xml-well-formedness-error" id=wfe-at-child><code>xml-well-formedness-error</code></a>.</li> |
<dt><dfn id=createAttributeDefinition class=dom-method><code>createAttributeDefinition</code></dfn>, |
266 |
<li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an |
method</dt> |
267 |
<code>EntityReference</code> node, then it is an |
<dd> |
268 |
<a href="#entity-error" id=ee-at-er><code>entity-error</code></a>.</li> |
<p>This method creates a <code>AttributeDefinition</code> node with the |
269 |
<li>Otherwise, |
specified name, belonging to the document.</p> |
270 |
<a href="#algorithm-to-check-a-node" title="check a node">check |
<p>The <dfn id=createAttributeDefinition-name class=dom-param><var>name</var></dfn> |
271 |
<var>n<sub><var>c</var></sub></var></a> recusrively.</li> |
parameter is the name of the attribute defined by the attribute |
272 |
</ol></li> |
definition.</p> |
273 |
<li class=ed>If <code>NOTATION_ATTR</code>, enumerated values MUST |
|
274 |
be declared. If not, then raise an |
<p>When invoked, the method <em class=rfc2119>MUST</em> create and |
275 |
<a href="#xml-validity-error" id=vc-notatn-declared><code>xml-validity-error</code></a>.</li> |
return an |
276 |
<li class=ed>If <code>NOTATION_ATTR</code> or <code>ENUMERATED_ATTR</code>, |
<a href="#AttributeDefinition"><code>AttributeDefinition</code></a> |
277 |
values MUST all be distinct. If not, then raise an |
node with the following attributes:</p> |
278 |
<a href="#xml-validity-error" id=vc-no-duplicate-tokens><code>xml-validity-error</code></a>.</li> |
<dl> |
279 |
<li class=ed>If <code>NOTATION_ATTR</code> on an <code>EMPTY</code> |
<dt><code>allowedTokens</code></dt> |
280 |
element, then raise an |
<dd>An empty <code>DOMStringList</code> object.</dd> |
281 |
<a href="#xml-validity-error" id=vc-no-notation-empty><code>xml-validity-error</code></a>.</li> |
<dt><code>attributes</code>, |
282 |
<li class=ed>@@ #defattrvalid Validity constraint: Attribute Default Value Syntactically Correct</li> |
<a href="#ownerElementTypeDefinition"><code>ownerElementTypeDefinition</code></a>, |
283 |
</ol> |
and <code>parentNode</code></dt> |
284 |
</dd> |
<dd><code>null</code>.</dd> |
285 |
<dt>If <var>n</var> is a <code>CDATASection</code> node</dt> |
<dt><code>childNodes</code></dt> |
286 |
<dd> |
<dd>An empty <code>NodeList</code> object.</dd> |
287 |
<ol> |
<dt><code>declaredType</code></dt> |
288 |
<li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate the |
<dd><a href="#NO_TYPE_ATTR"><code>NO_TYPE_ATTR</code></a>.</dd> |
289 |
<code>data</code> attribute value as an <abbr>XML</abbr> character |
<dt><code>defaultType</code></dt> |
290 |
data</a>.</li> |
<dd><a href="#UNKNOWN_DEFAULT"><code>UNKNOWN_DEFAULT</code></a>.</dd> |
291 |
<li>If the <code>data</code> attribute value contains |
<dt><code>manakaiReadOnly</code> <span class=ed>[manakai]</span></dt> |
292 |
a string <code>]]></code>, then raise an |
<dd><code>false</code>.</dd> |
293 |
<a href="#xml-well-formedness-error" id=wfe-cs-mse><code>xml-well-formedness-error</code></a>.<!-- "for compatibility" --></li> |
<dt><code>nodeName</code></dt> |
294 |
<li>If the <code>childNodes</code> list of <var>n</var> contains |
<dd><a href="#createAttributeDefinition-name"><var>name</var></a>.</dd> |
295 |
any nodes, they are in |
<dt><code>ownerDocument</code></dt> |
296 |
<a href="#xml-well-formedness-error" id=wfe-cs-child><code>xml-well-formedness-error</code></a>.</li> |
<dd>The <code>Document</code> node over which the method is invoked.</dd> |
297 |
</ol> |
<dt class=ed>@@ Ensure all attributes are defined</dt> |
298 |
</dd> |
</dl> |
299 |
<dt>If <var>n</var> is a <code>Comment</code> node</dt> |
|
300 |
<dd> |
<div class=ed> |
301 |
<ol> |
<p>@@ Should we keep these statements?: |
302 |
<li>Raise an |
However, if the <cfg::cfg|xml-id> configuration |
303 |
<a href="#round-trip-warning" id=rtw-comment><code>round-trip-warning</code></a>.</li> |
parameter is set to <code>true</code> and the <var>name</var> |
304 |
<li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate the |
is <code>xml:id</code>, then the [CODE(DOMa)@en[[[declaredType]]]] |
305 |
<code>data</code> attribute value as an <abbr>XML</abbr> character |
attribute is set to <code>ID_ATTR</code>. |
306 |
data</a>.</li> |
[CODE(DOMa)@en[[[defaultType]]]]?</p> |
307 |
<li>If the <code>data</code> attribute value contains |
</div> |
|
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> |
|
308 |
</dd> |
</dd> |
309 |
<dt>If <var>n</var> is a <code>Text</code> node</dt> |
<dt><dfn id=createGeneralEntity class=dom-method><code>createGeneralEntity</code></dfn>, |
310 |
|
method</dt> |
311 |
<dd> |
<dd> |
312 |
<ol> |
<p>This method creates a <a href="#Entity"><code>Entity</code></a> node |
313 |
<li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate the |
with the specified name, which represents a general entity, belonging to |
314 |
<code>data</code> attribute value as an <abbr>XML</abbr> character |
the document.</p> |
315 |
data</a>.</li> |
<p>The <dfn id=createGeneralEntity-name class=dom-param><var>name</var></dfn> |
316 |
<li>If the <code>childNodes</code> list of <var>n</var> contains |
parameter is the name of the general entity.</p> |
317 |
any nodes, they are in |
|
318 |
<a href="#xml-well-formedness-error" id=wfe-text-child><code>xml-well-formedness-error</code></a>.</li> |
<p>When invoked, the method <em class=rfc2119>MUST</em> create and return |
319 |
</ol> |
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>Otherwise</dt> |
|
|
<dd><span class=ed>xml-well-formedness-error? unknown-error?</span></dd> |
|
388 |
</dl> |
</dl> |
389 |
|
|
390 |
</div> |
<p>These methods <em class=rfc2119>MUST</em> raise an |
391 |
|
<code>INVALID_CHARACTER_ERR</code> exception <span class=ed>@@ ref</span> |
392 |
</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 id=classes class=section> |
<code>xmlVersion</code> attribute of the <code>Document</code> node.</p> |
|
<h2>Character Classes</h2> |
|
|
|
|
|
<p>This section defines a couple of character classes. |
|
|
These classes are referred to by algorithms specified above.</p> |
|
395 |
|
|
|
<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> |
|
396 |
<div class="note memo"> |
<div class="note memo"> |
397 |
<p>This character class contains all characters allowed in the production rule |
<p>Non$B!>(B<abbr>XML</abbr> case is intentionally left unspecified for now, |
398 |
<a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Char"><code>Char</code></a> |
since <abbr>DOM3</abbr> specification <span class=ed>@@ ref</span> does not |
399 |
of <abbr>XML</abbr> 1.0 |
define it for <code>Document</code> methods.</p> |
400 |
<cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p> |
|
401 |
|
<p><var>name</var> does not have to be a namespace qualified name.</p> |
402 |
|
|
403 |
|
<p>If the <code>strictErrorChecking</code> attribute of the |
404 |
|
<code>Document</code> node is <code>false</code>, the methods are |
405 |
|
not required to raise the exception <span class=ed>[DOM3]</span>.</p> |
406 |
|
</div> |
407 |
|
|
408 |
|
</div> |
409 |
|
|
410 |
|
<div class=section id=section-documenttypedefinition> |
411 |
|
<h3>The <code>DocumentTypeDefinition</code> Interface</h3> |
412 |
|
|
413 |
|
<pre class=idl><code>interface <dfn id=DocumentTypeDefinition><code>DocumentTypeDefinition</code></dfn> { |
414 |
|
|
415 |
|
}</code></pre> |
416 |
|
|
417 |
|
<pre class=ed> |
418 |
|
[1] In an implementation that supports the |
419 |
|
[CODE(URI)@en[[[http://suika.fam.cx/www/2006/feature/XDoctype]]]] |
420 |
|
feature, a [CODE(DOMi)@en[[[DocumentType]]]] node |
421 |
|
must implement the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] |
422 |
|
interface. See [[DOM XML Document Type Definition]>>3] for |
423 |
|
details. |
424 |
|
|
425 |
|
|
426 |
|
** Children |
427 |
|
|
428 |
|
[2] The [DFN@en[[CODE(DOMa)@en[[[elementTypes]]]] attribute]] |
429 |
|
of the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] interface |
430 |
|
is a live [CODE(DOMi)@en[[[NamedNodeMap]]]] object that |
431 |
|
contains all element types belongs to the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] |
432 |
|
node. The type of the attribute is [CODE(DOMi)@en[[[NamedNodeMap]]]]. |
433 |
|
The attribute is read-only. |
434 |
|
|
435 |
|
What are contained in this collection depends on how |
436 |
|
the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] node was created. If the |
437 |
|
node was created as the result of parsing of an XML document, |
438 |
|
it [['''MUST''']] contain all element types whose element type and / or |
439 |
|
attribute definition list declaration are encountered by and provided for the DOM |
440 |
|
implementation from the XML processor. Note that the XML processor might not |
441 |
|
provide a part of or entire such information depending on the configuration. |
442 |
|
If more than one declarations for an element type or an attribute is available |
443 |
|
at the time of the definition node construction, then declarations other than |
444 |
|
the first ones [['''MUST''']] be discarded. |
445 |
|
|
446 |
|
The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]] |
447 |
|
object that contains all the [CODE(DOMi)@en[[[ElementTypeDefinition]]]] nodes |
448 |
|
belong to the node. The returned [CODE(DOMi)@en[[[NamedNodeMap]]]] object |
449 |
|
[['''MUST''']] be read-only if and only if the node is read-only. |
450 |
|
Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live |
451 |
|
and therefore any change of read-only flag on the node is immediately |
452 |
|
reflected by that of the object. |
453 |
|
|
454 |
|
[3] The [DFN@en[[CODE(DOMa)@en[[[generalEntities]]]] attribute]] |
455 |
|
of the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] interface |
456 |
|
is a live [CODE(DOMi)@en[[[NamedNodeMap]]]] object that contains all the |
457 |
|
general entities belong to the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] node. |
458 |
|
The type of the attribute is [CODE(DOMi)@en[[[NamedNodeMap]]]]. |
459 |
|
The attribute is read-only. |
460 |
|
|
461 |
|
All entities declared in the document type definition |
462 |
|
contained in or referenced from the document entity |
463 |
|
might not be exposed through this collection, depending |
464 |
|
on the information provided by the XML processor for |
465 |
|
the DOM implementation. In particular, it might not |
466 |
|
contain any entity if entity references are expanded |
467 |
|
at the parse time. An implementation [['''MUST NOT''']] |
468 |
|
expose an [CODE(DOMi)@en[[[Entity]]]] node whose [CODE(DOMa)@en[[[nodeName]]]] |
469 |
|
is equal to the name of one of five predefined general entities in |
470 |
|
XML through the collection as the result of parsing of an XML |
471 |
|
document that has no error. Duplicate entity declarations are also discarded. |
472 |
|
|
473 |
|
The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]] |
474 |
|
object that contains all the [CODE(DOMi)@en[[[Entity]]]] nodes |
475 |
|
representing general entities belong to the node. The returned |
476 |
|
[CODE(DOMi)@en[[[NamedNodeMap]]]] object [['''MUST''']] be read-only if and only if |
477 |
|
the node is read-only. Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live |
478 |
|
and therefore any change of read-only flag on the node is immediately |
479 |
|
reflected by that of the object. |
480 |
|
|
481 |
|
The attribute [['''MUST''']] return the same value as the |
482 |
|
[CODE(DOMa)@en[[[entites]]]] attribute of the |
483 |
|
[CODE(DOMi)@en[[[DocumentType]]]] interface on the same node. |
484 |
|
|
485 |
|
[4] The [DFN@en[[CODE(DOMa)@en[[[notations]]]] attribute]] |
486 |
|
of the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] interface |
487 |
|
is a live [CODE(DOMi)@en[[[NamedNodeMap]]]] object that contains |
488 |
|
all the notations belong to the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] |
489 |
|
node. The type of the attribute is [CODE(DOMi)@en[[[NamedNodeMap]]]]. |
490 |
|
The attribute is read-only. |
491 |
|
|
492 |
|
If the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] node is |
493 |
|
created from an XML document, duplicate notation declarations, if any, in DTD |
494 |
|
[['''MUST NOT''']] result in a node in the [CODE(DOMi)@en[[[NamedNodeMap]]]] |
495 |
|
object and only the first declaration [['''MUST''']] be |
496 |
|
made available as a [CODE(DOMi)@en[[[Notation]]]] node. |
497 |
|
|
498 |
|
;; This definition is based on one for the |
499 |
|
[CODE(DOMa)@en[[[notations]]]] attribute of the |
500 |
|
[CODE(DOMi)@en[[[DocumentType]]]] interface in DOM XML module. |
501 |
|
Since duplication is violation to the Validity Constraint, |
502 |
|
XML parsers might vary on how notations are notified to |
503 |
|
the application. In particular, [CODE(InfoProp)@en[[[notations]]]] |
504 |
|
property of the document information item in XML Information Set |
505 |
|
is so defined that in case ''any'' notation is declared for |
506 |
|
multiple times then the property has no value. |
507 |
|
|
508 |
|
The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]] |
509 |
|
object that contains all the [CODE(DOMi)@en[[[Notation]]]] nodes |
510 |
|
representing notations belong to the node. The returned |
511 |
|
[CODE(DOMi)@en[[[NamedNodeMap]]]] object [['''MUST''']] be read-only if and only if |
512 |
|
the node is read-only. Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live |
513 |
|
and therefore any change of read-only flag on the node is immediately |
514 |
|
reflected by that of the object. |
515 |
|
|
516 |
|
A DOM implementation is not required to implement the |
517 |
|
[CODE(DOMa)@en[[[notations]]]] attribute twice |
518 |
|
for the [CODE(DOMi)@en[[[DocumentType]]]] and |
519 |
|
the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] interfaces; |
520 |
|
the latter is defined to contain the same value as the former. |
521 |
|
|
522 |
|
|
523 |
|
** Open Issues (informative) |
524 |
|
|
525 |
|
[5] A future version of the interface might define the |
526 |
|
[CODE(DOMa)@en[[[parameterEntities]]]] attribute and |
527 |
|
getter/setter for parameter entities. |
528 |
|
</pre> |
529 |
|
</div> |
530 |
|
|
531 |
|
<div class=section id=section-elementtypedefinition> |
532 |
|
<h3>The <code>ElementTypeDefinition</code> Interface</h3> |
533 |
|
|
534 |
|
<pre class=idl><code>interface <dfn id=ElementTypeDefinition><code>ElementTypeDefinition</code></dfn> { |
535 |
|
|
536 |
|
}</code></pre> |
537 |
|
|
538 |
|
<pre class=ed>** Modifications to [CODE(DOMi)@en[[[Node]]]] members |
539 |
|
|
540 |
|
[3] The getter of the [CODE(DOMa)@en[[[attributes]]]] attribute |
541 |
|
of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] object |
542 |
|
[['''MUST''']] return [CODE(IDL)@en[[[null]]]]. |
543 |
|
|
544 |
|
[4] The getter of the [CODE(DOMa)@en[[[baseURI]]]] attribute |
545 |
|
of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] object |
546 |
|
[['''MUST''']] return the [CODE(DOMa)@en[[[baseURI]]]] |
547 |
|
of the [CDOE(DOMa)@en[[[ownerDocument]]]] of the |
548 |
|
[CODE(DOMi)@en[[[ElementTypeDefinition]]]] object. |
549 |
|
Note that it might be [CODE(IDL)@en[[[null]]]]. |
550 |
|
|
551 |
|
[1] The getter of the [CODE(DOMa)@en[[[nodeName]]]] attribute |
552 |
|
of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] object |
553 |
|
[['''MUST''']] return the name of the element type. |
554 |
|
|
555 |
|
[2] The getters of the [CODE(DOMa)@en[[[nodeValue]]]] |
556 |
|
and [CODE(DOMa)@en[[[textContent]]]] attributes |
557 |
|
of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] |
558 |
|
object [['''MUST''']] return [CODE(IDL)@en[[[null]]]]. |
559 |
|
|
560 |
|
;; Thus, the setter of these attributes do nothing. |
561 |
|
|
562 |
|
The setter of the [CODE(DOMa)@en[[[textContent]]]] |
563 |
|
attribute of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] |
564 |
|
object [['''MUST NOT''']] throw a |
565 |
|
[CODE(DOMc)@en[[[NO_MODIFICATION_ALLOWED_ERR]]]]. |
566 |
|
|
567 |
|
** The [CODE(DOMi)@en[ElementTypeDefinition]] Interface |
568 |
|
|
569 |
|
[5] The |
570 |
|
[DFN@en[[CODE(DOMa)@en[[[ownerDocumentTypeDefinition]]]] attribute]] |
571 |
|
of the [CODE(DOMi)@en[[[ElementTypeDefinition]]]] |
572 |
|
interface is defined in [[manakai//DOM Extensions]>>50].</pre> |
573 |
|
</div> |
574 |
|
|
575 |
|
<div class=section id=section-attributedefinition> |
576 |
|
<h3>The <code>AttributeDefinition</code> Interface</h3> |
577 |
|
|
578 |
|
<pre class=idl><code>interface <dfn id=AttributeDefinition><code>AttributeDefinition</code></dfn> { |
579 |
|
|
580 |
|
}</code></pre> |
581 |
|
|
582 |
|
<pre class=ed>** Modifications to [CODE(DOMi)@en[[[Node]]]] members |
583 |
|
|
584 |
|
[3] The getter of the [CODE(DOMa)@en[[[attributes]]]] attribute |
585 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
586 |
|
[['''MUST''']] return [CODE(IDL)@en[[[null]]]]. |
587 |
|
|
588 |
|
[9] The getter of the [CODE(DOMa)@en[[[baseURI]]]] attribute |
589 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
590 |
|
[['''MUST''']] return the [CODE(DOMa)@en[[[baseURI]]]] |
591 |
|
of the [CDOE(DOMa)@en[[[ownerDocument]]]] of the |
592 |
|
[CODE(DOMi)@en[[[AttributeDefinition]]]] object. |
593 |
|
Note that it might be [CODE(IDL)@en[[[null]]]]. |
594 |
|
|
595 |
|
[1] The getter of the [CODE(DOMa)@en[[[nodeName]]]] attribute |
596 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
597 |
|
[['''MUST''']] return the name of the attribute. |
598 |
|
|
599 |
|
[2] The getter of the [CODE(DOMa)@en[[[nodeValue]]]] attribute |
600 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
601 |
|
[['''MUST''']] return the normalized default value |
602 |
|
of the attribute. |
603 |
|
|
604 |
|
@@ |
605 |
|
|
606 |
|
[4] The getter of the [CODE(DOMa)@en[[[textContent]]]] |
607 |
|
attribute of an [CODE(DOMi)@en[[[AttributeDefinition]]]] |
608 |
|
object [['''MUST''']] behave as if it were an |
609 |
|
[CODE(DOMi)@en[[[Attr]]]] object. |
610 |
|
|
611 |
|
The setter of the [CODE(DOMa)@en[[[textContent]]]] attribute |
612 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
613 |
|
[['''MUST''']] behave as if the following algorithm |
614 |
|
is performed: |
615 |
|
= If the [CODE(DOMi)@en[[[AttributeDefinition]]]] |
616 |
|
object is read-only, then throw an |
617 |
|
[CODE(DOMc)@en[[[NO_MODIFICATION_ALLOWED_ERR]]]]. |
618 |
|
= Remove any child node the node has. |
619 |
|
= If the new value is not empty and not [CODE(IDL)@en[[[null]]]], |
620 |
|
then create a [CODE(DOMi)@en[[[Text]]]] node |
621 |
|
whose [CODE(DOMa)@en[[[data]]]] is the new value |
622 |
|
and append it to the [CODE(DOMi)@en[[[AttributeDefinition]]]]. |
623 |
|
|
624 |
|
** Definition groups |
625 |
|
|
626 |
|
[6] The |
627 |
|
[DFN@en[definition group [CODE(DOM)@en[[[DeclaredValueType]]]]]] |
628 |
|
contains integers indicating the type of |
629 |
|
attribute value: |
630 |
|
,[CODE(DOMc)@en[[[NO_TYPE_ATTR]]]],[CODE(IDL)[[[0]]]],The attribute value type corresponding to [[no value]] in XML Information Set. |
631 |
|
,[CODE(DOMc)@en[[[CDATA_ATTR]]]],[CODE(IDL)[[[1]]]],The attribute value type is [CODE(XML)@en[[[CDATA]]]]. |
632 |
|
,[CODE(DOMc)@en[[[ID_ATTR]]]],[CODE(IDL)[[[2]]]],The attribute value type is [CODE(XML)@en[[[ID]]]]. |
633 |
|
,[CODE(DOMc)@en[[[IDREF_ATTR]]]],[CODE(IDL)[[[3]]]],The attribute value type is [CODE(XML)@en[[[IDREF]]]]. |
634 |
|
,[CODE(DOMc)@en[[[IDREFS_ATTR]]]],[CODE(IDL)[[[4]]]],The attribute value type is [CODE(XML)@en[[[IDREFS]]]]. |
635 |
|
,[CODE(DOMc)@en[[[ENTITY_ATTR]]]],[CODE(IDL)[[[5]]]],The attribute value type is [CODE(XML)@en[[[ENTITY]]]]. |
636 |
|
,[CODE(DOMc)@en[[[ENTITIES_ATTR]]]],[CODE(IDL)[[[6]]]],The attribute value type is [CODE(XML)@en[[[ENTITIES]]]]. |
637 |
|
,[CODE(DOMc)@en[[[NMTOKEN_ATTR]]]],[CODE(IDL)[[[7]]]],The attribute value type is [CODE(XML)@en[[[NMTOKEN]]]]. |
638 |
|
,[CODE(DOMc)@en[[[NMTOKENS_ATTR]]]],[CODE(IDL)[[[8]]]],The attribute value type is [CODE(XML)@en[[[NMTOKENS]]]]. |
639 |
|
,[CODE(DOMc)@en[[[NOTATION_ATTR]]]],[CODE(IDL)[[[9]]]],The attribute value type is [CODE(XML)@en[[[NOTATION]]]]. |
640 |
|
,[CODE(DOMc)@en[[[ENUMERATION_ATTR]]]],[CODE(IDL)[[[10]]]],The attribute value is enumeration type. |
641 |
|
,[CODE(DOMc)@en[[[UNKNOWN_ATTR]]]],[CODE(IDL)[[[11]]]],"The attribute value type is unknown, because no declaration for the attribute has been read but not [CODE(InfoProp)@en[[[all declarations processed]]]] property would be false." |
642 |
|
|
643 |
|
The type of these constants are |
644 |
|
[CODE(IDL)@en[[[unsigned]] [[short]]]]. |
645 |
|
|
646 |
|
If no attribute type information is provided, |
647 |
|
or if the source of that information does not |
648 |
|
distinguish [[no value]] and [[unknown]] as in |
649 |
|
XML Information Set, then the |
650 |
|
[CODE(DOMc)@en[[[NO_TYPE_ATTR]]]] value |
651 |
|
[['''MUST''']] be used. |
652 |
|
|
653 |
|
;; A newly created [CODE(DOMi)@en[[[AttributeDefinition]]]] |
654 |
|
object by [CODE(DOMm)@en[[[createAttributeDefinition]]]] |
655 |
|
method has [CODE(DOMa)@en[[[declaredType]]]] attribute |
656 |
|
set to [CODE(DOMc)@en[[[NO_TYPE_ATTR]]]]. |
657 |
|
|
658 |
|
If the source of the attribute type information |
659 |
|
does not distinguish [[no value]] and / or [[unknown]] |
660 |
|
and [CODE(XML)@en[[[CDATA]]]], then the |
661 |
|
[CODE(DOMc)@en[[[CDATA_ATTR]]]] value [['''MUST''']] |
662 |
|
be used. |
663 |
|
|
664 |
|
[11] |
665 |
|
In Perl binding, the objects implementing the |
666 |
|
[CODE(DOMi)@en[[[Attr]]]] interface [['''MUST''']] |
667 |
|
also implement the [CODE(DOM)@en[[[DeclaredValueType]]]] |
668 |
|
constant group. |
669 |
|
|
670 |
|
[7] The |
671 |
|
[DFN@en[definition group [CODE(DOM)@en[[[DefaultValueType]]]]]] |
672 |
|
contains integers indicating the type of |
673 |
|
default attribute value: |
674 |
|
,[CODE(DOMc)@en[[[UNKNOWN_DEFAULT]]]],[CODE(IDL)[[[0]]]],The default value is unknown. |
675 |
|
,[CODE(DOMc)@en[[[FIXED_DEFAULT]]]],[CODE(IDL)[[[1]]]],The default value is provided and the attribute is [CODE(XML)@en[#[[FIXED]]]] to that value. |
676 |
|
,[CODE(DOMc)@en[[[REQUIRED_DEFAULT]]]],[CODE(IDL)[[[2]]]],An attribute specification is [CODE(XML)@en[#[[REQUIRED]]]] for the attribute. |
677 |
|
,[CODE(DOMc)@en[[[IMPLIED_DEFAULT]]]],[CODE(IDL)[[[3]]]],The default value is [CODE(XML)@en[#[[IMPLIED]]]]. |
678 |
|
,[CODE(DOMc)@en[[[EXPLICIT_DEFAULT]]]],[CODE(IDL)[[[4]]]],The default value is provided but the attribute is not fixed to it. |
679 |
|
|
680 |
|
The type of these constants are |
681 |
|
[CODE(IDL)@en[[[unsigned]] [[short]]]]. |
682 |
|
|
683 |
|
If the source of the attribute default value type |
684 |
|
does not distinguish the [CODE(XML)@en[#[[IMPLIED]]]] |
685 |
|
default and unknown default, then the |
686 |
|
[CODE(DOMc)@en[[[IMPLIED_DEFAULT]]]] value |
687 |
|
[['''MUST''']] be used. |
688 |
|
|
689 |
|
;; A newly created [CODE(DOMi)@en[[[AttributeDefinition]]]] |
690 |
|
object by [CODE(DOMm)@en[[[createAttributeDefinition]]]] |
691 |
|
method has [CODE(DOMa)@en[[[declaredType]]]] attribute |
692 |
|
set to [CODE(DOMc)@en[[[NO_TYPE_ATTR]]]]. |
693 |
|
|
694 |
|
** Tree-relationship Attributes |
695 |
|
|
696 |
|
[10] |
697 |
|
The |
698 |
|
[DFN@en[[CODE(DOMa)@en[[[ownerElementTypeDefinition]]]] attribute]] |
699 |
|
of the [CODE(DOMi)@en[[[AttributeDefinition]]]] interface |
700 |
|
is read-only and of type |
701 |
|
[CODE(DOMi)@en[[[ElementTypeDefinition]]]]. |
702 |
|
It is the [CODE(DOMi)@en[[[ElementTypeDefinition]]]] node |
703 |
|
which the [CODE(DOMi)@en[[[AttributeDefinition]]]] node |
704 |
|
belong to. |
705 |
|
|
706 |
|
If the [CODE(DOMi)@en[[[AttributeDefinition]]]] node |
707 |
|
is included in the [CODE(DOMa)@en[[[attributeDefinitions]]]] |
708 |
|
list of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] node, |
709 |
|
then the attribute [['''MUST''']] return the |
710 |
|
[CODE(DOMi)@en[[[ElementTypeDefinition]]]] node. |
711 |
|
Otherwise, it [['''MUST''']] return [CODE(DOM)@en[[[null]]]]. |
712 |
|
|
713 |
|
;; This attribute is analogue to the |
714 |
|
[CODE(DOMa)@en[[[ownerDocumentTypeDefinition]]]] attribute |
715 |
|
for [CODE(DOMi)@en[[[ElementTypeDefinition]]]], |
716 |
|
[CODE(DOMi)@en[[[Entity]]]], and [CODE(DOMi)@en[[[Notation]]]] |
717 |
|
nodes, or the [CODE(DOMa)@en[[[ownerElement]]]] |
718 |
|
attribute for [CODE(DOMi)@en[[[Attr]]]] nodes. |
719 |
|
|
720 |
|
** Attributes |
721 |
|
|
722 |
|
[5] |
723 |
|
The [DFN@en[[CODE(DOMa)@en[[[declaredType]]]] attribute]] |
724 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
725 |
|
represents the type of the attribute value. |
726 |
|
|
727 |
|
This attribute is read-write. |
728 |
|
The type of the attribute is |
729 |
|
[CODE(IDL)@en[[[unsigned]] [[short]]]]. It is expected |
730 |
|
that this attribute has a value from the definition group |
731 |
|
[CODE(DOM)@en[[[DeclaredValueType]]]]. |
732 |
|
|
733 |
|
The getter [['''MUST''']] return a value associated |
734 |
|
to this attribute. |
735 |
|
|
736 |
|
The setter [['''MUST''']] |
737 |
|
throw a [CODE(DOMc)@en[[[NO_MODIFICATION_ALLOWED_ERR]]]] |
738 |
|
[CODE(DOMi)@en[[[DOMException]]]] if the |
739 |
|
[CODE(DOMi)@en[[[AttributeDefinition]]]] object is read-only. |
740 |
|
Otherwise, the setter [['''MUST''']] set the specified |
741 |
|
value as the value associated to this attribute. |
742 |
|
|
743 |
|
If a parser create an [CODE(DOMi)@en[[[AttributeDefinition]]]] |
744 |
|
object, then it [['''MUST''']] set a value |
745 |
|
from the [CODE(DOM)@en[[[DeclaredValueType]]]] |
746 |
|
definition group. |
747 |
|
|
748 |
|
[8] |
749 |
|
The [DFN@en[[CODE(DOMa)@en[[[defaultType]]]] attribute]] |
750 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
751 |
|
represents the type of the attribute default value. |
752 |
|
|
753 |
|
This attribute is read-write. |
754 |
|
The type of the attribute is |
755 |
|
[CODE(IDL)@en[[[unsigned]] [[short]]]]. It is expected |
756 |
|
that this attribute has a value from the definition group |
757 |
|
[CODE(DOM)@en[[[DefaultValueType]]]]. |
758 |
|
|
759 |
|
The getter [['''MUST''']] return a value associated |
760 |
|
to this attribute. |
761 |
|
|
762 |
|
The setter [['''MUST''']] |
763 |
|
throw a [CODE(DOMc)@en[[[NO_MODIFICATION_ALLOWED_ERR]]]] |
764 |
|
[CODE(DOMi)@en[[[DOMException]]]] if the |
765 |
|
[CODE(DOMi)@en[[[AttributeDefinition]]]] object is read-only. |
766 |
|
Otherwise, the setter [['''MUST''']] set the specified |
767 |
|
value as the value associated to this attribute. |
768 |
|
|
769 |
|
If a parser create an [CODE(DOMi)@en[[[AttributeDefinition]]]] |
770 |
|
object, then it [['''MUST''']] set a value |
771 |
|
from the [CODE(DOM)@en[[[DefaultValueType]]]] |
772 |
|
definition group.</pre> |
773 |
</div> |
</div> |
774 |
|
|
|
<p>Character class <dfn id=class-CompatChar10><code>CompatChar10</code></dfn> |
|
|
contains the following characters:</p> |
|
|
<ul> |
|
|
<li class=ed>@@ <q>Document authors are encouraged to avoid "compatibility characters", as defined in section 6.8 of [Unicode @@ Unicode 2.0 @@] (see also D21 in section 3.6 of [Unicode3]).</q></li> |
|
|
</ul> |
|
|
|
|
|
<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> |
|
775 |
</div> |
</div> |
776 |
|
|
|
<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> |
|
|
</div> |
|
777 |
|
|
|
<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> |
|
778 |
|
|
|
<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> |
|
779 |
|
|
|
</div> |
|
780 |
|
|
781 |
<div id="references" class="section reference"> |
<div id="references" class="section reference"> |
782 |
<h2>References</h2> |
<h2>References</h2> |