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> |
|
123 |
|
|
124 |
|
<p class=ed><var>A</var> object is an object implementing <var>A</var> |
125 |
|
interface.</p> |
126 |
|
|
127 |
<div class=section id=error-categories> |
<p class=ed>@@ ref to DOM Binding Spec</p> |
|
<h2>Error Classification</h2> |
|
|
|
|
|
<p class=ed>If a <code>Document</code> node has no |
|
|
xml-well-formedness-error, entity-error, and unknown-error, |
|
|
then it is well-formed. If a well-formed <code>Document</code> |
|
|
node has no xml-validity-error, it is valid.</p> |
|
|
|
|
|
<div class="note memo"> |
|
|
<p>A well$B!>(Bformed <code>Document</code> can be safely serialized |
|
|
into a well$B!>(Bformed XML document. A valid <code>Document</code> |
|
|
can be easily serialized into a valid XML document.</p> |
|
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> |
|
|
|
|
|
<p>The algorithm <dfn title="to check a node" id=algorithm-to-check-a-node>to |
|
|
check a node (<dfn id=var-n><var>n</var></dfn>)</dfn> is defined as |
|
|
following:</p> |
|
|
<dl class=switch> |
|
|
<dt>If <var>n</var> is an <code>Attr</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
|
|
<code>localName</code> attribute value as an <code>NCName</code></a>.</li> |
|
|
<li>If the <code>prefix</code> attribute value is different from |
|
|
<code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate |
|
|
the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li> |
|
|
<li>For each node <dfn id=var-attr-nc><var>n<sub><var>c</var></sub></var></dfn> in the |
|
|
<code>childNodes</code> list of <var>n</var>, |
|
|
<ol> |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a |
|
|
<code>Text</code> or <code>EntityReference</code> node, then it is an |
|
|
<a href="#xml-well-formedness-error" id=wfe-attr-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an |
|
|
<code>EntityReference</code> node, then it is an |
|
|
<a href="#entity-error" id=ee-attr-er><code>entity-error</code></a>.</li> |
|
|
<li>Otherwise, |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
|
|
<var>n<sub><var>c</var></sub></var></a> recusrively.</li> |
|
|
</ol></li> |
|
|
<li>If <code>nodeName</code> attribute of <var>n</var> is |
|
|
<code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span> |
|
|
and <code>value</code> attribute of <var>n</var> is neither |
|
|
<code>default</code> nor <code>preserve</code>, then it is an |
|
|
<a href="#xml-misc-error" id=xme-attr-xml-space><code>xml-misc-error</code></a>.<!-- |
|
|
Note that <!ATTLIST e xml:space (default|preserve) "a">... |
|
|
<e xml:space="default"/> is conforming and valid. --></li> |
|
|
<li class=ed>@@ xml:lang value is not a language tag [RFC 3066 or its |
|
|
successor] or an empty string, then xml-misc-warning |
|
|
(a "fact"-level error; not an XML error).</li> |
|
|
<li class=ed>@@ <code>specified</code>, |
|
|
<code>manakaiAttributeType</code> (#ValueType Validity constraint: Attribute Value Type)</li> |
|
|
<!-- xml:space MUST be declared to be valid. --> |
|
|
<li>Let <dfn id=var-v><var>v</var></dfn> be the value of the |
|
|
attribute <code>value</code> of <var>n</var>.</li> |
|
|
<li>Validate the <var>n</var> against the <span class=ed>declared |
|
|
type</span> as following: |
|
|
<dl class=switch> |
|
|
<dt class=ed><code>ID_ATTR</code></dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li><span class=ed>Validate <var>v</var> as an |
|
|
<code>Name</code>.</span> If it fails, then raise an |
|
|
<a href="#xml-validity-error" id=vc-id-name><code>xml-validity-error</code></a>.</li> |
|
|
<li><span class=ed>If <code>ID</code> <var>v</var> is defined,</span> |
|
|
then raise an |
|
|
<a href="#xml-validity-error" id=vc-id-duplication><code>xml-validity-error</code></a>.</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt class=ed>IDREF_ATTR</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li><span class=ed>Validate <var>v</var> as an |
|
|
<code>Name</code>.</span> If it fails, then raise an |
|
|
<a href="#xml-validity-error" id=vc-idref-name><code>xml-validity-error</code></a>.</li> |
|
|
<li><span class=ed>If <code>ID</code> <var>v</var> is NOT |
|
|
defined,</span> then raise an |
|
|
<a href="#xml-validity-error" id=vc-idref-match><code>xml-validity-error</code></a>.</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt class=ed>IDREFS_ATTR</dt> |
|
|
<dd class=ed>@@</dd> |
|
|
<dt class=ed>ENTITY_ATTR</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li><span class=ed>Validate <var>v</var> as an |
|
|
<code>Name</code>.</span> If it fails, then raise an |
|
|
<a href="#xml-validity-error" id=vc-entname-name><code>xml-validity-error</code></a>.</li> |
|
|
<li><span class=ed>If <code>Entity</code> <var>v</var> is NOT |
|
|
defined,</span> then raise an |
|
|
<a href="#xml-validity-error" id=vc-entname-match><code>xml-validity-error</code></a>.</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt class=ed>ENTITIES_ATTR</dt> |
|
|
<dd class=ed>@@</dd> |
|
|
<dt class=ed>NMTOKEN_ATTR</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li><span class=ed>Validate <var>v</var> as an |
|
|
<code>Nmtoken</code>.</span> If it fails, then raise an |
|
|
<a href="#xml-validity-error" id=vc-nmtok-name><code>xml-validity-error</code></a>.</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt class=ed>NMTOKENS_ATTR</dt> |
|
|
<dd class=ed>@@</dd> |
|
|
<dt class=ed>NOTATION_ATTR</dt> |
|
|
<dd class=ed><var>v</var> must be one of enumerated values. |
|
|
If not, then raise an |
|
|
<a href="#xml-validity-error" id=vc-notatn-match><code>xml-validity-error</code></a>.</dd> |
|
|
<dt class=ed>ENUMERATED_ATTR</dt> |
|
|
<dd class=ed><var>v</var> must be one of enumerated values. |
|
|
If not, then raise an |
|
|
<a href="#xml-validity-error" id=vc-enum><code>xml-validity-error</code></a>.</dd> |
|
|
<dt class=ed>@@</dt> |
|
|
</dl> |
|
|
</li> |
|
|
<li>If <span class=ed>type ID and default is NOT #IMPLIED or #REQUIRED</span>, then |
|
|
raise an |
|
|
<a href="#xml-validity-error" id=vc-id-default><code>xml-validity-error</code></a>.</li> |
|
|
<li class=ed>@@ #FixedAttr Validity constraint: Fixed Attribute Default</li> |
|
|
<li class=ed>@@ strict serialization error for U+000D, U+000A, and |
|
|
U+0009 characters, leading/trailing U+0020, and U+0020{2,} string?</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is an <code>AttributeDefinition</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li class=ed></li> |
|
|
<li>If <code>nodeName</code> attribute of <var>n</var> is |
|
|
<code>xml:space</code> <span class=ed>@@ or {xml namespace}:space ?</span> |
|
|
and <span class=ed>its declared type is different from (default|preserve), |
|
|
(default), or (preserve)</span>, then raise an |
|
|
<a href="#xml-misc-error" id=xme-at-xml-space><code>xml-misc-error</code></a>.</li> |
|
|
<li>For each node <dfn id=var-ad-nc><var>n<sub><var>c</var></sub></var></dfn> in the |
|
|
<code>childNodes</code> list of <var>n</var>, |
|
|
<ol> |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a |
|
|
<code>Text</code> or <code>EntityReference</code> node, then it is an |
|
|
<a href="#xml-well-formedness-error" id=wfe-at-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an |
|
|
<code>EntityReference</code> node, then it is an |
|
|
<a href="#entity-error" id=ee-at-er><code>entity-error</code></a>.</li> |
|
|
<li>Otherwise, |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
|
|
<var>n<sub><var>c</var></sub></var></a> recusrively.</li> |
|
|
</ol></li> |
|
|
<li class=ed>If <code>NOTATION_ATTR</code>, enumerated values MUST |
|
|
be declared. If not, then raise an |
|
|
<a href="#xml-validity-error" id=vc-notatn-declared><code>xml-validity-error</code></a>.</li> |
|
|
<li class=ed>If <code>NOTATION_ATTR</code> or <code>ENUMERATED_ATTR</code>, |
|
|
values MUST all be distinct. If not, then raise an |
|
|
<a href="#xml-validity-error" id=vc-no-duplicate-tokens><code>xml-validity-error</code></a>.</li> |
|
|
<li class=ed>If <code>NOTATION_ATTR</code> on an <code>EMPTY</code> |
|
|
element, then raise an |
|
|
<a href="#xml-validity-error" id=vc-no-notation-empty><code>xml-validity-error</code></a>.</li> |
|
|
<li class=ed>@@ #defattrvalid Validity constraint: Attribute Default Value Syntactically Correct</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is a <code>CDATASection</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate the |
|
|
<code>data</code> attribute value as an <abbr>XML</abbr> character |
|
|
data</a>.</li> |
|
|
<li>If the <code>data</code> attribute value contains |
|
|
a string <code>]]></code>, then raise an |
|
|
<a href="#xml-well-formedness-error" id=wfe-cs-mse><code>xml-well-formedness-error</code></a>.<!-- "for compatibility" --></li> |
|
|
<li>If the <code>childNodes</code> list of <var>n</var> contains |
|
|
any nodes, they are in |
|
|
<a href="#xml-well-formedness-error" id=wfe-cs-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is a <code>Comment</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li>Raise an |
|
|
<a href="#round-trip-warning" id=rtw-comment><code>round-trip-warning</code></a>.</li> |
|
|
<li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate the |
|
|
<code>data</code> attribute value as an <abbr>XML</abbr> character |
|
|
data</a>.</li> |
|
|
<li>If the <code>data</code> attribute value contains |
|
|
a string <code>--</code>, or if it ends with a character |
|
|
<code>-</code>, then raise an |
|
|
<a href="#xml-well-formedness-error" id=wfe-comment-com><code>xml-well-formedness-error</code></a>.<!-- |
|
|
"for compatibility" --></li> |
|
|
<li>If the <code>childNodes</code> list of <var>n</var> contains |
|
|
any nodes, they are in |
|
|
<a href="#xml-well-formedness-error" id=wfe-comment-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is a <code>Document</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li>If <a href="#xml-version"><abbr>XML</abbr> version</a> of <var>n</var> |
|
|
is different from <code>1.0</code> or <code>1.1</code>, |
|
|
then it is an <code class=ed>unknown-error?</code>.</li> |
|
|
<li>If the <code>xmlEncoding</code> attribute value does <em>not</em> |
|
|
match to <code>[A-Za-z] ([A-Za-z0-9._] | '-')*</code> |
|
|
<span class=ed>@@ formal def</span>, then it is an |
|
|
<a href="#xml-well-formedness-error" id=wfe-encoding><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li>The <code>childNodes</code> list of <var>n</var> have to |
|
|
consist of zero or more <code>Comment</code> and/or |
|
|
<code>ProcessingInstruction</code> nodes, followed by |
|
|
an optional <code>DocumentType</code> node, followed |
|
|
by zero or more <code>Comment</code> and/or |
|
|
<code>ProcessingInstruction</code> nodes, followed by |
|
|
an <code>Element</code> node, followed |
|
|
by zero or more <code>Comment</code> and/or |
|
|
<code>ProcessingInstruction</code> nodes. Any violation to this is an |
|
|
<a href="#xml-well-formedness-error" id=wfe-document-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li>For each node <dfn id=var-document-nc><var>n<sub><var>c</var></sub></var></dfn> |
|
|
in the <code>childNodes</code> list of <var>n</var>, |
|
|
<ol> |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an |
|
|
<code>EntityReference</code> node, then |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
|
|
<var>n<sub><var>c</var></sub></var></a> recursively.</li> |
|
|
</ol></li> |
|
|
<li class=ed>@@ <code>allDeclarationsProcessed</code></li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is a <code>DocumentFragment</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li>For each node <dfn id=var-df-nc><var>n<sub><var>c</var></sub></var></dfn> |
|
|
in the <code>childNodes</code> list of <var>n</var>, |
|
|
<ol> |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an |
|
|
<code>Element</code>, <code>Text</code>, <code>CDATASection</code>, |
|
|
<code>Comment</code>, <code>ProcessingInstruction</code>, or |
|
|
<code>EntityReference</code> node, then it is an |
|
|
<a href="#xml-well-formedness-error" id=wfe-df-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an |
|
|
<code>EntityReference</code> node, then it is an |
|
|
<a href="#entity-error" id=ee-df-er><code>entity-error</code></a>.</li> |
|
|
<li>Otherwise, |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
|
|
<var>n<sub><var>c</var></sub></var></a> recursively.</li> |
|
|
</ol></li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is a <code>DocumentType</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
|
|
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
|
|
<li>Follow the following substeps: |
|
|
<ol> |
|
|
<li>If <code>ownerDocument</code> attribute of <var>n</var> is |
|
|
<code>null</code>, then abort these substeps.</li> |
|
|
<li>If <code>documentElement</code> attribute of the node |
|
|
set to <code>ownerDocument</code> attribute of <var>n</var> is |
|
|
<code>null</code>, then abort these substeps.</li> |
|
|
<li>If <code>nodeName</code> attribute of the node set to |
|
|
<code>documentElement</code> attribute of the node set to |
|
|
<code>ownerDocument</code> attribute of <var>n</var> is |
|
|
different from <code>nodeName</code> of <var>n</var>, |
|
|
then raise an |
|
|
<a href="#xml-validity-error" id=vc-roottype><code>xml-validity-error</code></a>.</li></li> |
|
|
</ol> |
|
|
</li> |
|
|
<li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate |
|
|
the <code>publicId</code> attribute value as a public identifier</a>.</li> |
|
|
<li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate |
|
|
the <code>systemId</code> attribute value as a system identifier</a>.</li> |
|
|
<li>If the <code>publicId</code> attribute value of <var>n</var> is |
|
|
<em>not</em> <code>null</code> and the <code>systemId</code> attribute |
|
|
value of <var>n</var> is <code>null</code>, then raise an |
|
|
<a href="#xml-well-formedness-error" id=wfe-dt-sid><code>xml-well-formedness-error</code></a>. |
|
|
<span class=ed>@@ publicId == null? Or, publicId == ""</span></li> |
|
|
<li>For each node <dfn id=var-dt-nc><var>n<sub><var>c</var></sub></var></dfn> |
|
|
in the <code>childNodes</code> list of <var>n</var>, |
|
|
<ol> |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> a |
|
|
<code>ProcessingInstruction</code> node, then it is an |
|
|
<a href="#xml-well-formedness-error" id=wfe-dt-child><code>xml-well-formedness-error</code></a>. |
|
|
<span class=ed>@@ ref to manakai's extensions</span></li> |
|
|
<li>Otherwise, <!-- if n_c is not an EntityReference node, --> |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
|
|
<var>n<sub><var>c</var></sub></var></a> recusrively.</li> |
|
|
</ol></li> |
|
|
<li>For each node in the <code>entities</code>, <code>notations</code>, |
|
|
and <code>elementTypes</code> lists of <var>n</var>, |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check the |
|
|
node</a> recursively.</li> |
|
|
<li class=ed>@@ externally declared?</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is an <code>Element</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
|
|
<code>localName</code> attribute value as an <code>NCName</code></a>.</li> |
|
|
<li>If the <code>prefix</code> attribute value is different from |
|
|
<code>null</code>, then <a href="#algorithm-to-validate-an-ncname">validate |
|
|
the <code>prefix</code> attribute value as an <code>NCName</code></a>.</li> |
|
|
<li>For each node <dfn id=var-element-nc><var>n<sub><var>c</var></sub></var></dfn> |
|
|
in the <code>childNodes</code> list of <var>n</var>, |
|
|
<ol> |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an |
|
|
<code>Element</code>, |
|
|
<code>Text</code>, <code>CDATASection</code>, <code>Comment</code>, |
|
|
<code>ProcessingInstruction</code>, or |
|
|
<code>EntityReference</code> node, then it is an |
|
|
<a href="#xml-well-formedness-error" id=wfe-element-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an |
|
|
<code>EntityReference</code> node, then it is an |
|
|
<a href="#entity-error" id=ee-element-er><code>entity-error</code></a>.</li> |
|
|
<li>Otherwise, |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
|
|
<var>n<sub><var>c</var></sub></var></a> recursively.</li> |
|
|
</ol></li> |
|
|
<li class=ed>@@ #elementvalid Validity constraint: Element Valid</li> |
|
|
<li>Let <var>attrs</var> be the value of the <code>attribute</code> |
|
|
attribute of <var>n</var>. Check conformance of <var>attrs</var> |
|
|
as following: |
|
|
<ol> |
|
|
<li>If <var>attrs</var> contains an <code>Attr</code> node whose |
|
|
<code>nodeName</code> attribute value is equal to that of another |
|
|
<code>Attr</code> node in <var>attrs</var>, then raise an |
|
|
<a href="#xml-well-formedness-error" id=wfe-uniqattspec><code>xml-well-formedness-error</code></a>.<!-- |
|
|
#uniqattspec Well-formedness constraint: Unique Att Spec --></li> |
|
|
<li class=ed>@@ #RequiredAttr Validity constraint: Required Attribute</li> |
|
|
</ol> |
|
|
</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is an <code>ElementTypeDefinition</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li class=ed></li> |
|
|
<li>If the <code>childNodes</code> list of <var>n</var> contains |
|
|
any nodes, they are in |
|
|
<a href="#xml-well-formedness-error" id=wfe-et-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li class=ed>@@ <q cite="http://www.w3.org/TR/2006/REC-xml-20060816/#elemdecls">At user option, an XML processor MAY issue a warning when a declaration mentions an element type for which no declaration is provided, but this is not an error.</q></li> |
|
|
<li class=ed>@@ <q cite="http://www.w3.org/TR/2006/REC-xml-20060816/#sec-element-content">For compatibility, it is an error if the content model allows an element to match more than one occurrence of an element type in the content model. </q></li> |
|
|
<li class=ed>@@ #vc-MixedChildrenUnique |
|
|
Validity constraint: No Duplicate Types</li> |
|
|
<li class=ed>@@ <q cite="http://www.w3.org/TR/2006/REC-xml-20060816/#attdecls">At user option, an XML processor MAY issue a warning if attributes are declared for an element type not itself declared, but this is not an error.</q></li> |
|
|
<li>If there is more than one <code>AttributeDefinition</code> node |
|
|
with <span class=ed>attribute type <code>ID</code></span> in the |
|
|
<code>NamedNodeMap</code> list contained in the |
|
|
<code>attributeDefinitions</code> attribute of <var>n</var>, then raise an |
|
|
<a href="#xml-validity-error" id=vc-one-id-per-el><code>xml-validity-error</code></a>.</li> |
|
|
<li>If there is more than one <code>AttributeDefinition</code> node |
|
|
with <span class=ed>attribute type <code>NOTATION</code></span> in the |
|
|
<code>NamedNodeMap</code> list contained in the |
|
|
<code>attributeDefinitions</code> attribute of <var>n</var>, then raise an |
|
|
<a href="#xml-validity-error" id=vc-one-notation-per><code>xml-validity-error</code></a>.</li> |
|
|
<li class=ed>"For interoperability, the same Nmtoken SHOULD NOT occur more than once in the enumerated attribute types of a single element type."</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is an <code>Entity</code> node whose |
|
|
<code>notationName</code> attribute value is <code>null</code> (i.e. a |
|
|
parsed entity)</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li>Raise an |
|
|
<a href="#entity-error" id=ee-entity-node><code>entity-error</code></a>.</li> |
|
|
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
|
|
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
|
|
<li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate |
|
|
the <code>publicId</code> attribute value as a public identifier</a>.</li> |
|
|
<li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate |
|
|
the <code>systemId</code> attribute value as a system identifier</a>.</li> |
|
|
<li>If the <code>publicId</code> attribute value of <var>n</var> is |
|
|
<em>not</em> <code>null</code> and the <code>systemId</code> attribute |
|
|
value of <var>n</var> is <code>null</code>, then raise an |
|
|
<a href="#xml-well-formedness-error" id=wfe-entity-sid><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li>For each node <dfn id=var-entity-nc><var>n<sub><var>c</var></sub></var></dfn> |
|
|
in the <code>childNodes</code> list of <var>n</var>, |
|
|
<ol> |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an |
|
|
<code>Element</code>, |
|
|
<code>Text</code>, <code>CDATASection</code>, <code>Comment</code>, |
|
|
<code>ProcessingInstruction</code>, or <code>EntityReference</code> |
|
|
node, then it is an |
|
|
<a href="#xml-well-formedness-error" id=wfe-entity-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li>Otherwise, if <var>n<sub><var>c</var></sub></var> is an |
|
|
<code>EntityReference</code> node, then it is an |
|
|
<a href="#entity-error" id=ee-er-er><code>entity-error</code></a>.</li> |
|
|
<li>Otherwise, |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
|
|
<var>n<sub><var>c</var></sub></var></a> recursively.</li> |
|
|
</ol></li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is an <code>Entity</code> node whose |
|
|
<code>notationName</code> attribute value is <em>not</em> <code>null</code> |
|
|
(i.e. an unparsed entity)</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
|
|
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
|
|
<li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate |
|
|
the <code>publicId</code> attribute value as a public identifier</a>.</li> |
|
|
<li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate |
|
|
the <code>systemId</code> attribute value as a system identifier</a>.</li> |
|
|
<li>If the <code>systemId</code> attribute value of <var>n</var> is |
|
|
<code>null</code>, then raise an |
|
|
<a href="#xml-well-formedness-error" id=wfe-uentity-sid><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
|
|
<code>notationName</code> attribute value of <var>n</var> as an |
|
|
<code>NCName</code></a>.</li> |
|
|
<li class=ed>@@ #not-declared Validity constraint: Notation Declared</li> |
|
|
<li>If the <code>childNodes</code> list of <var>n</var> contains |
|
|
any nodes, they are in |
|
|
<a href="#xml-well-formedness-error" id=wfe-uentity-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is an <code>EntityReference</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li>An <a href="#entity-error" id=ee-er-node><code>entity-error</code></a>.</li> |
|
|
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
|
|
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
|
|
<li>For each node <dfn id=var-er-nc><var>n<sub><var>c</var></sub></var></dfn> |
|
|
in the <code>childNodes</code> list of <var>n</var>, |
|
|
<ol> |
|
|
<li>If <var>n<sub><var>c</var></sub></var> is <em>not</em> an |
|
|
<code>Element</code>, |
|
|
<code>Text</code>, <code>CDATASection</code>, <code>Comment</code>, |
|
|
<code>ProcessingInstruction</code>, or <code>EntityReference</code> |
|
|
node, then it is an |
|
|
<a href="#xml-well-formedness-error" id=wfe-er-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li>Otherwise, if <var>n<sub><var>c</var></sub></var> is <em>not</em> an |
|
|
<code>EntityReference</code> node, then it is an |
|
|
<a href="#entity-error" id=ee-entity-er><code>entity-error</code></a>.</li> |
|
|
<li>Otherwise, |
|
|
<a href="#algorithm-to-check-a-node" title="check a node">check |
|
|
<var>n<sub><var>c</var></sub></var></a> recursively.</li> |
|
|
</ol></li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is a <code>Notation</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li><a href="#algorithm-to-validate-an-ncname">Validate the |
|
|
<code>nodeName</code> attribute value as an <code>NCName</code></a>.</li> |
|
|
<li><a href="#algorithm-to-validate-a-public-identifier" title="validate a public identifier">Validate |
|
|
the <code>publicId</code> attribute value as a public identifier</a>.</li> |
|
|
<li><a href="#algorithm-to-validate-a-system-identifier" title="validate a system identifier">Validate |
|
|
the <code>systemId</code> attribute value as a system identifier</a>.</li> |
|
|
<li>If the <code>childNodes</code> list of <var>n</var> contains |
|
|
any nodes, they are in |
|
|
<a href="#xml-well-formedness-error" id=wfe-notation-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is a <code>ProcessingInstruction</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li>If the <code>target</code> attribute value matches to the string |
|
|
<code>xml</code> in any case combination, then raise a |
|
|
<a href="#xml-well-formedness-error" id=wfe-pi-xml><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li>Otherwise, <a href="#algorithm-to-validate-an-ncname">validate the |
|
|
<code>target</code> attribute value as an <code>NCName</code></a>.</li> |
|
|
<li>Then, |
|
|
<a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">validate |
|
|
the <code>data</code> attribute value as an <abbr>XML</abbr> character |
|
|
data</a>.</li> |
|
|
<li>If the <code>data</code> attribute value contains a string |
|
|
<code>?></code>, then raise a |
|
|
<a href="#xml-well-formedness-error" id=wfe-pi-pic><code>xml-well-formedness-error</code></a>.</li> |
|
|
<li>If the <code>data</code> attribute value starts with either |
|
|
<code class=char>U+0009</code> <code class=charname>CHARACTER |
|
|
TABULATION</code>, <code class=char>U+000A</code> <code class=charname>LINE |
|
|
FEED</code>, <code class=char>U+000D</code> <code class=charname>CARRIAGE |
|
|
RETURN</code>, or <code class=char>U+0020</code> |
|
|
<code class=charname>SPACE</code> character, then raise a |
|
|
<a href="#round-trip-error" id=rte-pi-s><code>round-trip-error</code></a>.</li> |
|
|
<li>If the <code>childNodes</code> list of <var>n</var> contains |
|
|
any nodes, then raise an |
|
|
<a href="#xml-well-formedness-error" id=wfe-pi-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>If <var>n</var> is a <code>Text</code> node</dt> |
|
|
<dd> |
|
|
<ol> |
|
|
<li><a href="#algorithm-to-validate-an-xml-character-data" title="validate an XML string">Validate the |
|
|
<code>data</code> attribute value as an <abbr>XML</abbr> character |
|
|
data</a>.</li> |
|
|
<li>If the <code>childNodes</code> list of <var>n</var> contains |
|
|
any nodes, they are in |
|
|
<a href="#xml-well-formedness-error" id=wfe-text-child><code>xml-well-formedness-error</code></a>.</li> |
|
|
</ol> |
|
|
</dd> |
|
|
<dt>Otherwise</dt> |
|
|
<dd><span class=ed>xml-well-formedness-error? unknown-error?</span></dd> |
|
|
</dl> |
|
141 |
|
|
142 |
|
<p>In addition, it adds methods, attributes, and/or constants to interfaces |
143 |
|
<a href="#Node"><code>Node</code></a>, |
144 |
|
<a href="#Entity"><code>Entity</code></a>, |
145 |
|
<a href="#EntityReference"><code>EntityReference</code></a>, and |
146 |
|
<a href="#Notation"><code>Notation</code></a>. |
147 |
|
It modifies semantics of some of methods and attributes in |
148 |
|
<a href="#Node"><code>Node</code></a> and |
149 |
|
<a href="#ProcessingInstruction"><code>ProcessingInstruction</code></a> |
150 |
|
interfaces, for the support of new interfaces.</p> |
151 |
|
|
152 |
|
<div class=section id=features> |
153 |
|
<h3>Feature Name</h3> |
154 |
|
|
155 |
|
<p>In a <abbr>DOM</abbr> implementation that supports the version 3.0 of |
156 |
|
the <abbr>DOM</abbr> Document Type Definition module, the |
157 |
|
<code>hasFeature</code> method of a <code>DOMImplementation</code> object |
158 |
|
<em class=rfc2119>MUST</em> return <code>true</code> when the parameters are |
159 |
|
set to <code>http://suika.fam.cx/www/2006/feature/XDoctype</code> and |
160 |
|
<code>3.0</code> respectively.</p> |
161 |
|
|
162 |
|
<p>In such an implementation, the <code>getFeature</code> method of a |
163 |
|
<code>Document</code> object <em class=rfc2119>MUST</em> return the (at least |
164 |
|
conceptually) same object implementing the |
165 |
|
<a href="#DocumentXDoctype"><code>DocumentXDoctype</code></a> interface when |
166 |
|
the parameters are set to |
167 |
|
<code>http://suika.fam.cx/www/2006/feature/XDoctype</code> and |
168 |
|
<code>3.0</code> respectively. Likewise, any method that takes one or more |
169 |
|
feature names with or without version number, including the methods |
170 |
|
<code>hasFeature</code> and <code>getFeature</code>, |
171 |
|
<em class=rfc2119>MUST</em> behave in a manner consistent with the |
172 |
|
aforementioned cases.</p> |
173 |
|
</div> |
174 |
|
|
175 |
|
<div class=section id=section-documentxdoctype> |
176 |
|
<h2>The <code>DocumentXDoctype</code> Interface</h2> |
177 |
|
|
178 |
|
<pre class=idl><code>interface <dfn id=DocumentXDoctype><code>DocumentXDoctype</code></dfn> { |
179 |
|
|
180 |
|
}</code></pre> |
181 |
|
|
182 |
|
<pre class=ed> |
183 |
|
* The [CODE(DOMi)@en[DocumentXDoctype]] Interface Specification |
184 |
|
|
185 |
|
[1] [[manakai//DOM Extensions]] > New Interfaces > |
186 |
|
[[DOM XML Document Type Definition]] module > |
187 |
|
The [CODE(DOMi)@en[[[DocumentXDoctype]]]] Interface |
188 |
|
|
189 |
|
[2] |
190 |
|
@@ cast |
191 |
|
|
192 |
|
** Constructors |
193 |
|
|
194 |
|
[3] The |
195 |
|
[DFN@en[[CODE(DOMm)@en[[[createDocumentTypeDefinition]]]] method]] |
196 |
|
returns a [CODE(DOMi)@en[[[DocumentType]]]] node |
197 |
|
or raises a [CODE(DOMi)@en[[[DOMException]]]]. |
198 |
|
It creates a [CODE(DOMi)@en[[[DocumentType]]]] node |
199 |
|
of the given name, belonging to the document. |
200 |
|
|
201 |
|
[3] The |
202 |
|
[DFN@en[[CODE(DOMm)@en[[[createElementTypeDefinition]]]] method]] |
203 |
|
returns an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] node |
204 |
|
or raises a [CODE(DOMi)@en[[[DOMException]]]]. |
205 |
|
It creates an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] node |
206 |
|
of the given name, belonging to the document. |
207 |
|
|
208 |
|
[4] The |
209 |
|
[DFN@en[[CODE(DOMm)@en[[[createAttributeDefinition]]]] method]] |
210 |
|
returns an [CODE(DOMi)@en[[[AttributeDefinition]]]] node |
211 |
|
or raises a [CODE(DOMi)@en[[[DOMException]]]]. |
212 |
|
It creates an [CODE(DOMi)@en[[[AttributeDefinition]]]] node |
213 |
|
of the given name, belonging to the document. |
214 |
|
|
215 |
|
[10] The |
216 |
|
[DFN@en[[CODE(DOMm)@en[[[createGeneralEntity]]]] method]] |
217 |
|
returns an [CODE(DOMi)@en[[[Entity]]]] node |
218 |
|
or raises a [CODE(DOMi)@en[[[DOMException]]]]. |
219 |
|
It creates an [CODE(DOMi)@en[[[Entity]]]] node, |
220 |
|
which represents a general entity, |
221 |
|
of the given name, belonging to the document. |
222 |
|
|
223 |
|
[12] The |
224 |
|
[DFN@en[[CODE(DOMm)@en[[[createNotation]]]] method]] |
225 |
|
returns a [CODE(DOMi)@en[[[Notation]]]] node |
226 |
|
or raises a [CODE(DOMi)@en[[[DOMException]]]]. |
227 |
|
It creates a [CODE(DOMi)@en[[[Notation]]]] node |
228 |
|
of the given name, belonging to the document. |
229 |
|
|
230 |
|
[5] |
231 |
|
These method take a parameter [CODE(DOMp)@en[[[name]]]], |
232 |
|
of type [CODE(DOMi)@en[[[DOMString]]]]. It is |
233 |
|
the document type name, element type name, |
234 |
|
or attribute name of the node to be created. |
235 |
|
|
236 |
|
[6] |
237 |
|
The [CODE(DOMm)@en[[[createDocumentTypeDefinition]]]] |
238 |
|
method [['''MUST''']] create a [CODE(DOMi)@en[[[DocumentType]]]] |
239 |
|
object with the following attribute values: |
240 |
|
- [CODE(DOMa)@en[[[attributes]]]], |
241 |
|
[CODE(DOMa)@en[[[parentNode]]]]: [CODE(DOM)@en[[[null]]]]. |
242 |
|
- [CODE(DOMa)@en[[[elementTypes]]]], |
243 |
|
[CODE(DOMa)@en[[[generalEntities]]]], |
244 |
|
[CODE(DOMa)@en[[[notations]]]]: Empty |
245 |
|
[CODE(DOMi)@en[[[NamedNodeMap]]]]s. |
246 |
|
- [CODE(DOMa)@en[[[childNodes]]]]: An empty |
247 |
|
[CODE(DOMi)@en[[[NodeList]]]]. |
248 |
|
- [CODE(DOMa)@en[[[entities]]]]: The same |
249 |
|
[CODE(DOMi)@en[[[NamedNodeMap]]]] as |
250 |
|
[CODE(DOMa)@en[[[generalEntities]]]]. |
251 |
|
- [CODE(DOMa)@en[[[internalSubset]]]], |
252 |
|
[CODE(DOMa)@en[[[publicId]]]], [CODE(DOMa)@en[[[systemId]]]]: |
253 |
|
Empty strings. |
254 |
|
- [CODE(DOMa)@en[[[manakaiReadOnly]]]]: |
255 |
|
[CODE(IDL)@en[[[false]]]]. |
256 |
|
- [CODE(DOMa)@en[[[nodeName]]]]: [CODE(DOMp)@en[[[name]]]]. |
257 |
|
- [CODE(DOMa)@en[[[ownerDocument]]]]: The |
258 |
|
[CODE(DOMi)@en[[[Document]]]] node on which the method |
259 |
|
is invoked. |
260 |
|
|
261 |
|
In addition, it [['''MUST''']] be marked as containing |
262 |
|
five general entity declarations for XML predefined |
263 |
|
entities, i.e. [CODE(XML)@en[[[amp]]]], [CODE(XML)@en[[[lt]]]], |
264 |
|
[CODE(XML)@en[[[gt]]]], [CODE(XML)@en[[[quot]]]], and |
265 |
|
[CODE(XML)@en[[[apos]]]]. |
266 |
|
|
267 |
|
[8] |
268 |
|
The [CODE(DOMm)@en[[[createElementTypeDefinition]]]] |
269 |
|
method [['''MUST''']] create an |
270 |
|
[CODE(DOMi)@en[[[ElementTypeDefinition]]]] |
271 |
|
object with the following attribute values: |
272 |
|
- [CODE(DOMa)@en[[[attributeDefinitions]]]]: |
273 |
|
An empty [CODE(DOMi)@en[[[NamedNodeMap]]]]. |
274 |
|
- [CODE(DOMa)@en[[[attributes]]]], |
275 |
|
[CODE(DOMa)@en[[[parentNode]]]]: [CODE(DOM)@en[[[null]]]]. |
276 |
|
- [CODE(DOMa)@en[[[childNodes]]]]: An empty |
277 |
|
[CODE(DOMi)@en[[[NodeList]]]]. |
278 |
|
- [CODE(DOMa)@en[[[manakaiReadOnly]]]]: |
279 |
|
[CODE(IDL)@en[[[false]]]]. |
280 |
|
- [CODE(DOMa)@en[[[nodeName]]]]: [CODE(DOMp)@en[[[name]]]]. |
281 |
|
- [CODE(DOMa)@en[[[ownerDocument]]]]: The |
282 |
|
[CODE(DOMi)@en[[[Document]]]] node on which the method |
283 |
|
is invoked. |
284 |
|
- [CODE(DOMa)@en[[[ownerDocumentTypeDefinition]]]]: |
285 |
|
[CODE(IDL)@en[[[null]]]]. |
286 |
|
|
287 |
|
@@ Ensure all attributes are defined |
288 |
|
|
289 |
|
[9] The [CODE(DOMm)@en[[[createAttributeDefinition]]]] |
290 |
|
method [['''MUST''']] create an |
291 |
|
[CODE(DOMi)@en[[[AttributeDefinition]]]] |
292 |
|
object with the following attribute values: |
293 |
|
- [CODE(DOMa)@en[[[allowedTokens]]]]: |
294 |
|
An empty [CODE(DOMi)@en[[[DOMStringList]]]]. |
295 |
|
- [CODE(DOMa)@en[[[attributes]]]], |
296 |
|
[CODE(DOMa)@en[[[parentNode]]]]: [CODE(DOM)@en[[[null]]]]. |
297 |
|
- [CODE(DOMa)@en[[[childNodes]]]]: An empty |
298 |
|
[CODE(DOMi)@en[[[NodeList]]]]. |
299 |
|
- [CODE(DOMa)@en[[[declaredType]]]]: |
300 |
|
[CODE(DOMc)@en[[[NO_TYPE_ATTR]]]]. |
301 |
|
- [CODE(DOMa)@en[[[defaultType]]]]: |
302 |
|
[CODE(DOMc)@en[[[UNKNOWN_DEFAULT]]]]. |
303 |
|
- [CODE(DOMa)@en[[[manakaiReadOnly]]]]: |
304 |
|
[CODE(IDL)@en[[[false]]]]. |
305 |
|
- [CODE(DOMa)@en[[[nodeName]]]]: [CODE(DOMp)@en[[[name]]]]. |
306 |
|
- [CODE(DOMa)@en[[[ownerDocument]]]]: The |
307 |
|
[CODE(DOMi)@en[[[Document]]]] node on which the method |
308 |
|
is invoked. |
309 |
|
- [CODE(DOMa)@en[[[ownerElementTypeDefinition]]]]: |
310 |
|
[CODE(IDL)@en[[[null]]]]. |
311 |
|
|
312 |
|
@@ Ensure all attributes are defined |
313 |
|
|
314 |
|
@@ Should we keep these statements?: |
315 |
|
However, if the <cfg::cfg|xml-id> configuration |
316 |
|
parameter is set to <DOM::true> and the <P::name> |
317 |
|
is <XA::xml:id>, then the [CODE(DOMa)@en[[[declaredType]]]] |
318 |
|
attribute is set to |
319 |
|
<C::AttributeDefinition.ID_ATTR>. |
320 |
|
[CODE(DOMa)@en[[[defaultType]]]]? |
321 |
|
|
322 |
|
[11] The [CODE(DOMm)@en[[[createGeneralEntity]]]] |
323 |
|
method [['''MUST''']] create an [CODE(DOMi)@en[[[Entity]]]] |
324 |
|
node with the following attribute values: |
325 |
|
- [CODE(DOMa)@en[[[attributes]]]], |
326 |
|
[CODE(DOMa)@en[[[parentNode]]]]: [CODE(DOM)@en[[[null]]]]. |
327 |
|
- [CODE(DOMa)@en[[[childNodes]]]]: An empty |
328 |
|
[CODE(DOMi)@en[[[NodeList]]]]. |
329 |
|
- [CODE(DOMa)@en[[[manakaiDeclarationBaseURI]]]]: |
330 |
|
No explicit value is set. |
331 |
|
- [CODE(DOMa)@en[[[manakaiEntityBaseURI]]]]: |
332 |
|
No explicit value is set. |
333 |
|
- [CODE(DOMa)@en[[[manakaiEntityURI]]]]: |
334 |
|
No explicit value is set. |
335 |
|
- [CODE(DOMa)@en[[[manakaiHasReplacementTree]]]]: |
336 |
|
[CODE(IDL)@en[[[false]]]]. |
337 |
|
- [CODE(DOMa)@en[[[manakaiReadOnly]]]]: |
338 |
|
[CODE(IDL)@en[[[false]]]]. |
339 |
|
- [CODE(DOMa)@en[[[nodeName]]]]: [CODE(DOMp)@en[[[name]]]]. |
340 |
|
- [CODE(DOMa)@en[[[notationName]]]]: [CODE(DOM)@en[[[null]]]]. |
341 |
|
- [CODE(DOMa)@en[[[ownerDocument]]]]: The |
342 |
|
[CODE(DOMi)@en[[[Document]]]] node on which the method |
343 |
|
is invoked. |
344 |
|
- [CODE(DOMa)@en[[[ownerDocumentTypeDefinition]]]]: |
345 |
|
[CODE(IDL)@en[[[null]]]]. |
346 |
|
- [CODE(DOMa)@en[[[publicId]]]]: [CODE(DOM)@en[[[null]]]]. |
347 |
|
- [CODE(DOMa)@en[[[systemId]]]]: [CODE(DOM)@en[[[null]]]]. |
348 |
|
|
349 |
|
@@ Ensure all attributes are defined |
350 |
|
|
351 |
|
@@ publicId and systemId should be empty string? |
352 |
|
|
353 |
|
[13] The [CODE(DOMm)@en[[[createNotation]]]] |
354 |
|
method [['''MUST''']] create a [CODE(DOMi)@en[[[Notation]]]] |
355 |
|
node with the following attribute values: |
356 |
|
- [CODE(DOMa)@en[[[attributes]]]], |
357 |
|
[CODE(DOMa)@en[[[parentNode]]]]: [CODE(DOM)@en[[[null]]]]. |
358 |
|
- [CODE(DOMa)@en[[[childNodes]]]]: An empty |
359 |
|
[CODE(DOMi)@en[[[NodeList]]]]. |
360 |
|
- [CODE(DOMa)@en[[[manakaiDeclarationBaseURI]]]]: |
361 |
|
No explicit value is set. |
362 |
|
- [CODE(DOMa)@en[[[manakaiReadOnly]]]]: |
363 |
|
[CODE(IDL)@en[[[false]]]]. |
364 |
|
- [CODE(DOMa)@en[[[nodeName]]]]: [CODE(DOMp)@en[[[name]]]]. |
365 |
|
- [CODE(DOMa)@en[[[ownerDocument]]]]: The |
366 |
|
[CODE(DOMi)@en[[[Document]]]] node on which the method |
367 |
|
is invoked. |
368 |
|
- [CODE(DOMa)@en[[[ownerDocumentTypeDefinition]]]]: |
369 |
|
[CODE(IDL)@en[[[null]]]]. |
370 |
|
- [CODE(DOMa)@en[[[publicId]]]]: [CODE(DOM)@en[[[null]]]]. |
371 |
|
- [CODE(DOMa)@en[[[systemId]]]]: [CODE(DOM)@en[[[null]]]]. |
372 |
|
|
373 |
|
@@ Ensure all attributes are defined |
374 |
|
|
375 |
|
[7] |
376 |
|
These method [['''MUST''']] raise an |
377 |
|
[CODE(DOMi)@en[[[INVALID_CHARACTER_ERR]]]] |
378 |
|
[CODE(DOMi)@en[[[DOMException]]]] |
379 |
|
if the [CODE(DOMp)@en[[[name]]]] is not a legal |
380 |
|
name according to the XML version in use as |
381 |
|
specified in the [CODE(DOMa)@en[[[xmlVersion]]]] |
382 |
|
attribute of the [CODE(DOMi)@en[[[Document]]]] node. |
383 |
|
|
384 |
|
;; Non-XML case is intentionally left unspecified for now |
385 |
|
since DOM3 does not define it. |
386 |
|
|
387 |
|
;; [CODE(DOMp)@en[[[name]]]] does not have to |
388 |
|
be a namespace qualified name. |
389 |
|
|
390 |
|
;; Note also that it is not an error for the |
391 |
|
[CODE(DOMp)@en[[[name]]]] parameter value |
392 |
|
to match to the name of one of predefined general |
393 |
|
parsed entities in XML or HTML. |
394 |
|
|
395 |
|
;; If the [CODE(DOMa)@en[[[strictErrorChecking]]]] attribute |
396 |
|
is set to [CODE(IDL)@en[[[false]]]], then the implementation |
397 |
|
is not required to raise this exception. |
398 |
|
|
399 |
|
Otherwise, these method [['''MUST''']] return |
400 |
|
the newly created node. |
401 |
|
</pre> |
402 |
|
|
403 |
|
</div> |
404 |
|
|
405 |
|
<div class=section id=section-documenttypedefinition> |
406 |
|
<h2>The <code>DocumentTypeDefinition</code> Interface</h2> |
407 |
|
|
408 |
|
<pre class=idl><code>interface <dfn id=DocumentTypeDefinition><code>DocumentTypeDefinition</code></dfn> { |
409 |
|
|
410 |
|
}</code></pre> |
411 |
|
|
412 |
|
<pre class=ed> |
413 |
|
[1] In an implementation that supports the |
414 |
|
[CODE(URI)@en[[[http://suika.fam.cx/www/2006/feature/XDoctype]]]] |
415 |
|
feature, a [CODE(DOMi)@en[[[DocumentType]]]] node |
416 |
|
must implement the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] |
417 |
|
interface. See [[DOM XML Document Type Definition]>>3] for |
418 |
|
details. |
419 |
|
|
420 |
|
|
421 |
|
** Children |
422 |
|
|
423 |
|
[2] The [DFN@en[[CODE(DOMa)@en[[[elementTypes]]]] attribute]] |
424 |
|
of the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] interface |
425 |
|
is a live [CODE(DOMi)@en[[[NamedNodeMap]]]] object that |
426 |
|
contains all element types belongs to the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] |
427 |
|
node. The type of the attribute is [CODE(DOMi)@en[[[NamedNodeMap]]]]. |
428 |
|
The attribute is read-only. |
429 |
|
|
430 |
|
What are contained in this collection depends on how |
431 |
|
the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] node was created. If the |
432 |
|
node was created as the result of parsing of an XML document, |
433 |
|
it [['''MUST''']] contain all element types whose element type and / or |
434 |
|
attribute definition list declaration are encountered by and provided for the DOM |
435 |
|
implementation from the XML processor. Note that the XML processor might not |
436 |
|
provide a part of or entire such information depending on the configuration. |
437 |
|
If more than one declarations for an element type or an attribute is available |
438 |
|
at the time of the definition node construction, then declarations other than |
439 |
|
the first ones [['''MUST''']] be discarded. |
440 |
|
|
441 |
|
The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]] |
442 |
|
object that contains all the [CODE(DOMi)@en[[[ElementTypeDefinition]]]] nodes |
443 |
|
belong to the node. The returned [CODE(DOMi)@en[[[NamedNodeMap]]]] object |
444 |
|
[['''MUST''']] be read-only if and only if the node is read-only. |
445 |
|
Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live |
446 |
|
and therefore any change of read-only flag on the node is immediately |
447 |
|
reflected by that of the object. |
448 |
|
|
449 |
|
[3] The [DFN@en[[CODE(DOMa)@en[[[generalEntities]]]] attribute]] |
450 |
|
of the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] interface |
451 |
|
is a live [CODE(DOMi)@en[[[NamedNodeMap]]]] object that contains all the |
452 |
|
general entities belong to the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] node. |
453 |
|
The type of the attribute is [CODE(DOMi)@en[[[NamedNodeMap]]]]. |
454 |
|
The attribute is read-only. |
455 |
|
|
456 |
|
All entities declared in the document type definition |
457 |
|
contained in or referenced from the document entity |
458 |
|
might not be exposed through this collection, depending |
459 |
|
on the information provided by the XML processor for |
460 |
|
the DOM implementation. In particular, it might not |
461 |
|
contain any entity if entity references are expanded |
462 |
|
at the parse time. An implementation [['''MUST NOT''']] |
463 |
|
expose an [CODE(DOMi)@en[[[Entity]]]] node whose [CODE(DOMa)@en[[[nodeName]]]] |
464 |
|
is equal to the name of one of five predefined general entities in |
465 |
|
XML through the collection as the result of parsing of an XML |
466 |
|
document that has no error. Duplicate entity declarations are also discarded. |
467 |
|
|
468 |
|
The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]] |
469 |
|
object that contains all the [CODE(DOMi)@en[[[Entity]]]] nodes |
470 |
|
representing general entities belong to the node. The returned |
471 |
|
[CODE(DOMi)@en[[[NamedNodeMap]]]] object [['''MUST''']] be read-only if and only if |
472 |
|
the node is read-only. Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live |
473 |
|
and therefore any change of read-only flag on the node is immediately |
474 |
|
reflected by that of the object. |
475 |
|
|
476 |
|
The attribute [['''MUST''']] return the same value as the |
477 |
|
[CODE(DOMa)@en[[[entites]]]] attribute of the |
478 |
|
[CODE(DOMi)@en[[[DocumentType]]]] interface on the same node. |
479 |
|
|
480 |
|
[4] The [DFN@en[[CODE(DOMa)@en[[[notations]]]] attribute]] |
481 |
|
of the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] interface |
482 |
|
is a live [CODE(DOMi)@en[[[NamedNodeMap]]]] object that contains |
483 |
|
all the notations belong to the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] |
484 |
|
node. The type of the attribute is [CODE(DOMi)@en[[[NamedNodeMap]]]]. |
485 |
|
The attribute is read-only. |
486 |
|
|
487 |
|
If the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] node is |
488 |
|
created from an XML document, duplicate notation declarations, if any, in DTD |
489 |
|
[['''MUST NOT''']] result in a node in the [CODE(DOMi)@en[[[NamedNodeMap]]]] |
490 |
|
object and only the first declaration [['''MUST''']] be |
491 |
|
made available as a [CODE(DOMi)@en[[[Notation]]]] node. |
492 |
|
|
493 |
|
;; This definition is based on one for the |
494 |
|
[CODE(DOMa)@en[[[notations]]]] attribute of the |
495 |
|
[CODE(DOMi)@en[[[DocumentType]]]] interface in DOM XML module. |
496 |
|
Since duplication is violation to the Validity Constraint, |
497 |
|
XML parsers might vary on how notations are notified to |
498 |
|
the application. In particular, [CODE(InfoProp)@en[[[notations]]]] |
499 |
|
property of the document information item in XML Information Set |
500 |
|
is so defined that in case ''any'' notation is declared for |
501 |
|
multiple times then the property has no value. |
502 |
|
|
503 |
|
The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]] |
504 |
|
object that contains all the [CODE(DOMi)@en[[[Notation]]]] nodes |
505 |
|
representing notations belong to the node. The returned |
506 |
|
[CODE(DOMi)@en[[[NamedNodeMap]]]] object [['''MUST''']] be read-only if and only if |
507 |
|
the node is read-only. Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live |
508 |
|
and therefore any change of read-only flag on the node is immediately |
509 |
|
reflected by that of the object. |
510 |
|
|
511 |
|
A DOM implementation is not required to implement the |
512 |
|
[CODE(DOMa)@en[[[notations]]]] attribute twice |
513 |
|
for the [CODE(DOMi)@en[[[DocumentType]]]] and |
514 |
|
the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] interfaces; |
515 |
|
the latter is defined to contain the same value as the former. |
516 |
|
|
517 |
|
|
518 |
|
** Open Issues (informative) |
519 |
|
|
520 |
|
[5] A future version of the interface might define the |
521 |
|
[CODE(DOMa)@en[[[parameterEntities]]]] attribute and |
522 |
|
getter/setter for parameter entities. |
523 |
|
</pre> |
524 |
|
</div> |
525 |
|
|
526 |
|
<div class=section id=section-elementtypedefinition> |
527 |
|
<h2>The <code>ElementTypeDefinition</code> Interface</h2> |
528 |
|
|
529 |
|
<pre class=idl><code>interface <dfn id=ElementTypeDefinition><code>ElementTypeDefinition</code></dfn> { |
530 |
|
|
531 |
|
}</code></pre> |
532 |
|
|
533 |
|
<pre class=ed>** Modifications to [CODE(DOMi)@en[[[Node]]]] members |
534 |
|
|
535 |
|
[3] The getter of the [CODE(DOMa)@en[[[attributes]]]] attribute |
536 |
|
of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] object |
537 |
|
[['''MUST''']] return [CODE(IDL)@en[[[null]]]]. |
538 |
|
|
539 |
|
[4] The getter of the [CODE(DOMa)@en[[[baseURI]]]] attribute |
540 |
|
of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] object |
541 |
|
[['''MUST''']] return the [CODE(DOMa)@en[[[baseURI]]]] |
542 |
|
of the [CDOE(DOMa)@en[[[ownerDocument]]]] of the |
543 |
|
[CODE(DOMi)@en[[[ElementTypeDefinition]]]] object. |
544 |
|
Note that it might be [CODE(IDL)@en[[[null]]]]. |
545 |
|
|
546 |
|
[1] The getter of the [CODE(DOMa)@en[[[nodeName]]]] attribute |
547 |
|
of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] object |
548 |
|
[['''MUST''']] return the name of the element type. |
549 |
|
|
550 |
|
[2] The getters of the [CODE(DOMa)@en[[[nodeValue]]]] |
551 |
|
and [CODE(DOMa)@en[[[textContent]]]] attributes |
552 |
|
of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] |
553 |
|
object [['''MUST''']] return [CODE(IDL)@en[[[null]]]]. |
554 |
|
|
555 |
|
;; Thus, the setter of these attributes do nothing. |
556 |
|
|
557 |
|
The setter of the [CODE(DOMa)@en[[[textContent]]]] |
558 |
|
attribute of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] |
559 |
|
object [['''MUST NOT''']] throw a |
560 |
|
[CODE(DOMc)@en[[[NO_MODIFICATION_ALLOWED_ERR]]]]. |
561 |
|
|
562 |
|
** The [CODE(DOMi)@en[ElementTypeDefinition]] Interface |
563 |
|
|
564 |
|
[5] The |
565 |
|
[DFN@en[[CODE(DOMa)@en[[[ownerDocumentTypeDefinition]]]] attribute]] |
566 |
|
of the [CODE(DOMi)@en[[[ElementTypeDefinition]]]] |
567 |
|
interface is defined in [[manakai//DOM Extensions]>>50].</pre> |
568 |
|
</div> |
569 |
|
|
570 |
|
<div class=section id=section-attributedefinition> |
571 |
|
<h2>The <code>AttributeDefinition</code> Interface</h2> |
572 |
|
|
573 |
|
<pre class=idl><code>interface <dfn id=AttributeDefinition><code>AttributeDefinition</code></dfn> { |
574 |
|
|
575 |
|
}</code></pre> |
576 |
|
|
577 |
|
<pre class=ed>** Modifications to [CODE(DOMi)@en[[[Node]]]] members |
578 |
|
|
579 |
|
[3] The getter of the [CODE(DOMa)@en[[[attributes]]]] attribute |
580 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
581 |
|
[['''MUST''']] return [CODE(IDL)@en[[[null]]]]. |
582 |
|
|
583 |
|
[9] The getter of the [CODE(DOMa)@en[[[baseURI]]]] attribute |
584 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
585 |
|
[['''MUST''']] return the [CODE(DOMa)@en[[[baseURI]]]] |
586 |
|
of the [CDOE(DOMa)@en[[[ownerDocument]]]] of the |
587 |
|
[CODE(DOMi)@en[[[AttributeDefinition]]]] object. |
588 |
|
Note that it might be [CODE(IDL)@en[[[null]]]]. |
589 |
|
|
590 |
|
[1] The getter of the [CODE(DOMa)@en[[[nodeName]]]] attribute |
591 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
592 |
|
[['''MUST''']] return the name of the attribute. |
593 |
|
|
594 |
|
[2] The getter of the [CODE(DOMa)@en[[[nodeValue]]]] attribute |
595 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
596 |
|
[['''MUST''']] return the normalized default value |
597 |
|
of the attribute. |
598 |
|
|
599 |
|
@@ |
600 |
|
|
601 |
|
[4] The getter of the [CODE(DOMa)@en[[[textContent]]]] |
602 |
|
attribute of an [CODE(DOMi)@en[[[AttributeDefinition]]]] |
603 |
|
object [['''MUST''']] behave as if it were an |
604 |
|
[CODE(DOMi)@en[[[Attr]]]] object. |
605 |
|
|
606 |
|
The setter of the [CODE(DOMa)@en[[[textContent]]]] attribute |
607 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
608 |
|
[['''MUST''']] behave as if the following algorithm |
609 |
|
is performed: |
610 |
|
= If the [CODE(DOMi)@en[[[AttributeDefinition]]]] |
611 |
|
object is read-only, then throw an |
612 |
|
[CODE(DOMc)@en[[[NO_MODIFICATION_ALLOWED_ERR]]]]. |
613 |
|
= Remove any child node the node has. |
614 |
|
= If the new value is not empty and not [CODE(IDL)@en[[[null]]]], |
615 |
|
then create a [CODE(DOMi)@en[[[Text]]]] node |
616 |
|
whose [CODE(DOMa)@en[[[data]]]] is the new value |
617 |
|
and append it to the [CODE(DOMi)@en[[[AttributeDefinition]]]]. |
618 |
|
|
619 |
|
** Definition groups |
620 |
|
|
621 |
|
[6] The |
622 |
|
[DFN@en[definition group [CODE(DOM)@en[[[DeclaredValueType]]]]]] |
623 |
|
contains integers indicating the type of |
624 |
|
attribute value: |
625 |
|
,[CODE(DOMc)@en[[[NO_TYPE_ATTR]]]],[CODE(IDL)[[[0]]]],The attribute value type corresponding to [[no value]] in XML Information Set. |
626 |
|
,[CODE(DOMc)@en[[[CDATA_ATTR]]]],[CODE(IDL)[[[1]]]],The attribute value type is [CODE(XML)@en[[[CDATA]]]]. |
627 |
|
,[CODE(DOMc)@en[[[ID_ATTR]]]],[CODE(IDL)[[[2]]]],The attribute value type is [CODE(XML)@en[[[ID]]]]. |
628 |
|
,[CODE(DOMc)@en[[[IDREF_ATTR]]]],[CODE(IDL)[[[3]]]],The attribute value type is [CODE(XML)@en[[[IDREF]]]]. |
629 |
|
,[CODE(DOMc)@en[[[IDREFS_ATTR]]]],[CODE(IDL)[[[4]]]],The attribute value type is [CODE(XML)@en[[[IDREFS]]]]. |
630 |
|
,[CODE(DOMc)@en[[[ENTITY_ATTR]]]],[CODE(IDL)[[[5]]]],The attribute value type is [CODE(XML)@en[[[ENTITY]]]]. |
631 |
|
,[CODE(DOMc)@en[[[ENTITIES_ATTR]]]],[CODE(IDL)[[[6]]]],The attribute value type is [CODE(XML)@en[[[ENTITIES]]]]. |
632 |
|
,[CODE(DOMc)@en[[[NMTOKEN_ATTR]]]],[CODE(IDL)[[[7]]]],The attribute value type is [CODE(XML)@en[[[NMTOKEN]]]]. |
633 |
|
,[CODE(DOMc)@en[[[NMTOKENS_ATTR]]]],[CODE(IDL)[[[8]]]],The attribute value type is [CODE(XML)@en[[[NMTOKENS]]]]. |
634 |
|
,[CODE(DOMc)@en[[[NOTATION_ATTR]]]],[CODE(IDL)[[[9]]]],The attribute value type is [CODE(XML)@en[[[NOTATION]]]]. |
635 |
|
,[CODE(DOMc)@en[[[ENUMERATION_ATTR]]]],[CODE(IDL)[[[10]]]],The attribute value is enumeration type. |
636 |
|
,[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." |
637 |
|
|
638 |
|
The type of these constants are |
639 |
|
[CODE(IDL)@en[[[unsigned]] [[short]]]]. |
640 |
|
|
641 |
|
If no attribute type information is provided, |
642 |
|
or if the source of that information does not |
643 |
|
distinguish [[no value]] and [[unknown]] as in |
644 |
|
XML Information Set, then the |
645 |
|
[CODE(DOMc)@en[[[NO_TYPE_ATTR]]]] value |
646 |
|
[['''MUST''']] be used. |
647 |
|
|
648 |
|
;; A newly created [CODE(DOMi)@en[[[AttributeDefinition]]]] |
649 |
|
object by [CODE(DOMm)@en[[[createAttributeDefinition]]]] |
650 |
|
method has [CODE(DOMa)@en[[[declaredType]]]] attribute |
651 |
|
set to [CODE(DOMc)@en[[[NO_TYPE_ATTR]]]]. |
652 |
|
|
653 |
|
If the source of the attribute type information |
654 |
|
does not distinguish [[no value]] and / or [[unknown]] |
655 |
|
and [CODE(XML)@en[[[CDATA]]]], then the |
656 |
|
[CODE(DOMc)@en[[[CDATA_ATTR]]]] value [['''MUST''']] |
657 |
|
be used. |
658 |
|
|
659 |
|
[11] |
660 |
|
In Perl binding, the objects implementing the |
661 |
|
[CODE(DOMi)@en[[[Attr]]]] interface [['''MUST''']] |
662 |
|
also implement the [CODE(DOM)@en[[[DeclaredValueType]]]] |
663 |
|
constant group. |
664 |
|
|
665 |
|
[7] The |
666 |
|
[DFN@en[definition group [CODE(DOM)@en[[[DefaultValueType]]]]]] |
667 |
|
contains integers indicating the type of |
668 |
|
default attribute value: |
669 |
|
,[CODE(DOMc)@en[[[UNKNOWN_DEFAULT]]]],[CODE(IDL)[[[0]]]],The default value is unknown. |
670 |
|
,[CODE(DOMc)@en[[[FIXED_DEFAULT]]]],[CODE(IDL)[[[1]]]],The default value is provided and the attribute is [CODE(XML)@en[#[[FIXED]]]] to that value. |
671 |
|
,[CODE(DOMc)@en[[[REQUIRED_DEFAULT]]]],[CODE(IDL)[[[2]]]],An attribute specification is [CODE(XML)@en[#[[REQUIRED]]]] for the attribute. |
672 |
|
,[CODE(DOMc)@en[[[IMPLIED_DEFAULT]]]],[CODE(IDL)[[[3]]]],The default value is [CODE(XML)@en[#[[IMPLIED]]]]. |
673 |
|
,[CODE(DOMc)@en[[[EXPLICIT_DEFAULT]]]],[CODE(IDL)[[[4]]]],The default value is provided but the attribute is not fixed to it. |
674 |
|
|
675 |
|
The type of these constants are |
676 |
|
[CODE(IDL)@en[[[unsigned]] [[short]]]]. |
677 |
|
|
678 |
|
If the source of the attribute default value type |
679 |
|
does not distinguish the [CODE(XML)@en[#[[IMPLIED]]]] |
680 |
|
default and unknown default, then the |
681 |
|
[CODE(DOMc)@en[[[IMPLIED_DEFAULT]]]] value |
682 |
|
[['''MUST''']] be used. |
683 |
|
|
684 |
|
;; A newly created [CODE(DOMi)@en[[[AttributeDefinition]]]] |
685 |
|
object by [CODE(DOMm)@en[[[createAttributeDefinition]]]] |
686 |
|
method has [CODE(DOMa)@en[[[declaredType]]]] attribute |
687 |
|
set to [CODE(DOMc)@en[[[NO_TYPE_ATTR]]]]. |
688 |
|
|
689 |
|
** Tree-relationship Attributes |
690 |
|
|
691 |
|
[10] |
692 |
|
The |
693 |
|
[DFN@en[[CODE(DOMa)@en[[[ownerElementTypeDefinition]]]] attribute]] |
694 |
|
of the [CODE(DOMi)@en[[[AttributeDefinition]]]] interface |
695 |
|
is read-only and of type |
696 |
|
[CODE(DOMi)@en[[[ElementTypeDefinition]]]]. |
697 |
|
It is the [CODE(DOMi)@en[[[ElementTypeDefinition]]]] node |
698 |
|
which the [CODE(DOMi)@en[[[AttributeDefinition]]]] node |
699 |
|
belong to. |
700 |
|
|
701 |
|
If the [CODE(DOMi)@en[[[AttributeDefinition]]]] node |
702 |
|
is included in the [CODE(DOMa)@en[[[attributeDefinitions]]]] |
703 |
|
list of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] node, |
704 |
|
then the attribute [['''MUST''']] return the |
705 |
|
[CODE(DOMi)@en[[[ElementTypeDefinition]]]] node. |
706 |
|
Otherwise, it [['''MUST''']] return [CODE(DOM)@en[[[null]]]]. |
707 |
|
|
708 |
|
;; This attribute is analogue to the |
709 |
|
[CODE(DOMa)@en[[[ownerDocumentTypeDefinition]]]] attribute |
710 |
|
for [CODE(DOMi)@en[[[ElementTypeDefinition]]]], |
711 |
|
[CODE(DOMi)@en[[[Entity]]]], and [CODE(DOMi)@en[[[Notation]]]] |
712 |
|
nodes, or the [CODE(DOMa)@en[[[ownerElement]]]] |
713 |
|
attribute for [CODE(DOMi)@en[[[Attr]]]] nodes. |
714 |
|
|
715 |
|
** Attributes |
716 |
|
|
717 |
|
[5] |
718 |
|
The [DFN@en[[CODE(DOMa)@en[[[declaredType]]]] attribute]] |
719 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
720 |
|
represents the type of the attribute value. |
721 |
|
|
722 |
|
This attribute is read-write. |
723 |
|
The type of the attribute is |
724 |
|
[CODE(IDL)@en[[[unsigned]] [[short]]]]. It is expected |
725 |
|
that this attribute has a value from the definition group |
726 |
|
[CODE(DOM)@en[[[DeclaredValueType]]]]. |
727 |
|
|
728 |
|
The getter [['''MUST''']] return a value associated |
729 |
|
to this attribute. |
730 |
|
|
731 |
|
The setter [['''MUST''']] |
732 |
|
throw a [CODE(DOMc)@en[[[NO_MODIFICATION_ALLOWED_ERR]]]] |
733 |
|
[CODE(DOMi)@en[[[DOMException]]]] if the |
734 |
|
[CODE(DOMi)@en[[[AttributeDefinition]]]] object is read-only. |
735 |
|
Otherwise, the setter [['''MUST''']] set the specified |
736 |
|
value as the value associated to this attribute. |
737 |
|
|
738 |
|
If a parser create an [CODE(DOMi)@en[[[AttributeDefinition]]]] |
739 |
|
object, then it [['''MUST''']] set a value |
740 |
|
from the [CODE(DOM)@en[[[DeclaredValueType]]]] |
741 |
|
definition group. |
742 |
|
|
743 |
|
[8] |
744 |
|
The [DFN@en[[CODE(DOMa)@en[[[defaultType]]]] attribute]] |
745 |
|
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object |
746 |
|
represents the type of the attribute default value. |
747 |
|
|
748 |
|
This attribute is read-write. |
749 |
|
The type of the attribute is |
750 |
|
[CODE(IDL)@en[[[unsigned]] [[short]]]]. It is expected |
751 |
|
that this attribute has a value from the definition group |
752 |
|
[CODE(DOM)@en[[[DefaultValueType]]]]. |
753 |
|
|
754 |
|
The getter [['''MUST''']] return a value associated |
755 |
|
to this attribute. |
756 |
|
|
757 |
|
The setter [['''MUST''']] |
758 |
|
throw a [CODE(DOMc)@en[[[NO_MODIFICATION_ALLOWED_ERR]]]] |
759 |
|
[CODE(DOMi)@en[[[DOMException]]]] if the |
760 |
|
[CODE(DOMi)@en[[[AttributeDefinition]]]] object is read-only. |
761 |
|
Otherwise, the setter [['''MUST''']] set the specified |
762 |
|
value as the value associated to this attribute. |
763 |
|
|
764 |
|
If a parser create an [CODE(DOMi)@en[[[AttributeDefinition]]]] |
765 |
|
object, then it [['''MUST''']] set a value |
766 |
|
from the [CODE(DOM)@en[[[DefaultValueType]]]] |
767 |
|
definition group.</pre> |
768 |
</div> |
</div> |
769 |
|
|
770 |
</div> |
</div> |
771 |
|
|
|
<div id=classes class=section> |
|
|
<h2>Character Classes</h2> |
|
|
|
|
|
<p>This section defines a couple of character classes. |
|
|
These classes are referred to by algorithms specified above.</p> |
|
772 |
|
|
|
<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> |
|
|
<div class="note memo"> |
|
|
<p>This character class contains all characters allowed in the production rule |
|
|
<a href="http://www.w3.org/TR/2006/REC-xml-20060816/#NT-Char"><code>Char</code></a> |
|
|
of <abbr>XML</abbr> 1.0 |
|
|
<cite class="bibref normative">[<a href="#ref-XML10">XML10</a>]</cite>.</p> |
|
|
</div> |
|
773 |
|
|
|
<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> |
|
|
</div> |
|
774 |
|
|
|
<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> |
|
|
|
|
|
<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> |
|
|
|
|
|
<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> |
|
|
|
|
|
</div> |
|
775 |
|
|
776 |
<div id="references" class="section reference"> |
<div id="references" class="section reference"> |
777 |
<h2>References</h2> |
<h2>References</h2> |