DOM Document Type Definition Module

Working Draft

This Version
<http://suika.fam.cx/www/markup/xml/domdtdef/domdtdef-work>
Latest Version
<http://suika.fam.cx/www/markup/xml/domdtdef/domdtdef>
Latest Working Draft
<http://suika.fam.cx/www/markup/xml/domdtdef/domdtdef-work>
Version History
<http://suika.fam.cx/gate/cvs/markup/xml/domdtdef/domdtdef-work.en.html>
Author
<>

Abstract

...

Status of This Document

This section describes the status of this document at the time of its publication. Other documents might supersede this document.

This document is a working draft, produced as part of the manakai project. It might be updated, replaced, or obsoleted by other documents at any time. It is inappropriate to cite this document as other than work in progress.

Comments on this document are welcome and may be sent to the author.

Translations of thie document might be available. The English version of the document is the only normative version.

Introduction

This section is non‐normative.

This is a work-in-progress specification for DOM Document Type Definition module, as implemented by manakai and partially documented in the SuikaWiki.

The DOM Document Type Definition module is a set of DOM interfaces, including both new interfaces and modifications to existing DOM interfaces, over which DOM applications are able to access to the definitions of the document type.

Interfaces defined in this specification are partially modeled from early drafts of DOM level 1 @@ ref, DOM Abstract Schema level 3 @@ ref, and XML Schema API, but are not compatible with any of them as a whole.

Terminology

The key words MUST, MUST NOT, SHOULD, SHOULD NOT, and MAY in this document are to be interpreted as described in RFC 2119 [KEYWORDS].

All examples and notes in this specification are non‐normative, as are all sections explicitly marked non‐normative. Everything else in this specification is normative.

Algorithm is normative but non-normative. In addition, the order in which errors are raised is undefined.

A object is an object implementing A interface.

@@ ref to DOM Binding Spec

DOM Document Type Definition Module

The DOM Document Type Definition module, version 3.0, consists of three interfaces:

In addition, it adds methods, attributes, and/or constants to interfaces Node, Entity, EntityReference, and Notation. It modifies semantics of some of methods and attributes in Node and ProcessingInstruction interfaces, for the support of new interfaces.

Feature Name

In a DOM implementation that supports the version 3.0 of the DOM Document Type Definition module, the hasFeature method of a DOMImplementation object MUST return true when the parameters are set to http://suika.fam.cx/www/2006/feature/XDoctype and 3.0 respectively.

In such an implementation, the getFeature method of a Document object MUST return the (at least conceptually) same object implementing the DocumentXDoctype interface when the parameters are set to http://suika.fam.cx/www/2006/feature/XDoctype and 3.0 respectively. Likewise, any method that takes one or more feature names with or without version number, including the methods hasFeature and getFeature, MUST behave in a manner consistent with the aforementioned cases.

The DocumentXDoctype Interface

interface DocumentXDoctype {
  DocumentType createDocumentTypeDefinition
    (in DOMString name)
    raises (DOMException);
  ElementTypeDefinition createElementTypeDefinition
    (in DOMString name)
    raises (DOMException);
  AttributeDefinition createAttributeDefinition
    (in DOMString name)
    raises (DOMException);
  Entity createGeneralEntityDefinition
    (in DOMString name)
    raises (DOMException);
  Notation createNotation
    (in DOMString name)
    raises (DOMException);
}
@@ cast definition
createDocumentTypeDefinition, method

This method creates a DocumentType node with the specified name, belonging to the document.

The name parameter is the name of the document type.

When invoked, the method MUST create and return a DocumentType node with the following attributes:

attributes, parentNode
null.
elementTypes, generalEntities, and notations
Empty NamedNodeMap objects.
entities
The same value as the generalEntities attribute.
childNodes
An empty NodeList object.
internalSubset, publicId, and systemId
Empty strings.
manakaiReadOnly [manakai]
false.
nodeName
name.
ownerDocument
The Document over which the method is invoked.

In addition, the method MUST be marked as containing five general entity declarations: amp, lt, gt, quot, and apos.

createElementTypeDefinition, method

This method creates a ElementTypeDefinition node with the specified name, belonging to the document.

The name parameter is the name of the element type defined by the element type definition.

When invoked, the method MUST create and return an ElementTypeDefinition node with the following attributes:

attributeDefinitions
An empty NamedNodeMap object.
attributes, parentNode
null.
childNodes
An empty NodeList object.
manakaiReadOnly [manakai]
false.
nodeName
name.
ownerDocument
The Document node over which the method is invoked.
ownerDocumentTypeDefinition
null.
@@ Ensure all attributes are defined
createAttributeDefinition, method

This method creates a AttributeDefinition node with the specified name, belonging to the document.

The name parameter is the name of the attribute defined by the attribute definition.

When invoked, the method MUST create and return an AttributeDefinition node with the following attributes:

allowedTokens
An empty DOMStringList object.
attributes, ownerElementTypeDefinition, and parentNode
null.
childNodes
An empty NodeList object.
declaredType
NO_TYPE_ATTR.
defaultType
UNKNOWN_DEFAULT.
manakaiReadOnly [manakai]
false.
nodeName
name.
ownerDocument
The Document node over which the method is invoked.
@@ Ensure all attributes are defined

@@ Should we keep these statements?: However, if the <cfg::cfg|xml-id> configuration parameter is set to true and the name is xml:id, then the [CODE(DOMa)@en[[[declaredType]]]] attribute is set to ID_ATTR. [CODE(DOMa)@en[[[defaultType]]]]?

createGeneralEntity, method

This method creates a Entity node with the specified name, which represents a general entity, belonging to the document.

The name parameter is the name of the general entity.

createNotation, method

This method creates a Notation node with the specified name, belonging to the document.

The name parameter is the name of the notation.

[11] The [CODE(DOMm)@en[[[createGeneralEntity]]]]
method [['''MUST''']] create an [CODE(DOMi)@en[[[Entity]]]]
node with the following attribute values:
- [CODE(DOMa)@en[[[attributes]]]],
[CODE(DOMa)@en[[[parentNode]]]]: [CODE(DOM)@en[[[null]]]].
- [CODE(DOMa)@en[[[childNodes]]]]: An empty
[CODE(DOMi)@en[[[NodeList]]]].
- [CODE(DOMa)@en[[[manakaiDeclarationBaseURI]]]]:
No explicit value is set.
- [CODE(DOMa)@en[[[manakaiEntityBaseURI]]]]:
No explicit value is set.
- [CODE(DOMa)@en[[[manakaiEntityURI]]]]:
No explicit value is set.
- [CODE(DOMa)@en[[[manakaiHasReplacementTree]]]]:
[CODE(IDL)@en[[[false]]]].
- [CODE(DOMa)@en[[[manakaiReadOnly]]]]:
[CODE(IDL)@en[[[false]]]].
- [CODE(DOMa)@en[[[nodeName]]]]: [CODE(DOMp)@en[[[name]]]].
- [CODE(DOMa)@en[[[notationName]]]]: [CODE(DOM)@en[[[null]]]].
- [CODE(DOMa)@en[[[ownerDocument]]]]: The 
[CODE(DOMi)@en[[[Document]]]] node on which the method
is invoked.
- [CODE(DOMa)@en[[[ownerDocumentTypeDefinition]]]]:
[CODE(IDL)@en[[[null]]]].
- [CODE(DOMa)@en[[[publicId]]]]: [CODE(DOM)@en[[[null]]]].
- [CODE(DOMa)@en[[[systemId]]]]: [CODE(DOM)@en[[[null]]]].

@@ Ensure all attributes are defined

@@ publicId and systemId should be empty string?

[13] The [CODE(DOMm)@en[[[createNotation]]]]
method [['''MUST''']] create a [CODE(DOMi)@en[[[Notation]]]]
node with the following attribute values:
- [CODE(DOMa)@en[[[attributes]]]],
[CODE(DOMa)@en[[[parentNode]]]]: [CODE(DOM)@en[[[null]]]].
- [CODE(DOMa)@en[[[childNodes]]]]: An empty
[CODE(DOMi)@en[[[NodeList]]]].
- [CODE(DOMa)@en[[[manakaiDeclarationBaseURI]]]]:
No explicit value is set.
- [CODE(DOMa)@en[[[manakaiReadOnly]]]]:
[CODE(IDL)@en[[[false]]]].
- [CODE(DOMa)@en[[[nodeName]]]]: [CODE(DOMp)@en[[[name]]]].
- [CODE(DOMa)@en[[[ownerDocument]]]]: The 
[CODE(DOMi)@en[[[Document]]]] node on which the method
is invoked.
- [CODE(DOMa)@en[[[ownerDocumentTypeDefinition]]]]:
[CODE(IDL)@en[[[null]]]].
- [CODE(DOMa)@en[[[publicId]]]]: [CODE(DOM)@en[[[null]]]].
- [CODE(DOMa)@en[[[systemId]]]]: [CODE(DOM)@en[[[null]]]].

@@ Ensure all attributes are defined

[7]
These method [['''MUST''']] raise an
[CODE(DOMi)@en[[[INVALID_CHARACTER_ERR]]]]
[CODE(DOMi)@en[[[DOMException]]]] 
if the [CODE(DOMp)@en[[[name]]]] is not a legal
name according to the XML version in use as 
specified in the [CODE(DOMa)@en[[[xmlVersion]]]]
attribute of the [CODE(DOMi)@en[[[Document]]]] node.

;; Non-XML case is intentionally left unspecified for now
since DOM3 does not define it.

;; [CODE(DOMp)@en[[[name]]]] does not have to
be a namespace qualified name.

;; Note also that it is not an error for the 
[CODE(DOMp)@en[[[name]]]] parameter value
to match to the name of one of predefined general
parsed entities in XML or HTML.

;; If the [CODE(DOMa)@en[[[strictErrorChecking]]]] attribute
is set to [CODE(IDL)@en[[[false]]]], then the implementation
is not required to raise this exception.

Otherwise, these method [['''MUST''']] return
the newly created node.

The DocumentTypeDefinition Interface

interface DocumentTypeDefinition {
  
}
[1] In an implementation that supports the 
[CODE(URI)@en[[[http://suika.fam.cx/www/2006/feature/XDoctype]]]]
feature, a [CODE(DOMi)@en[[[DocumentType]]]] node
must implement the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]]
interface.  See [[DOM XML Document Type Definition]>>3] for
details.


** Children

[2] The [DFN@en[[CODE(DOMa)@en[[[elementTypes]]]] attribute]]
of the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] interface
is a live [CODE(DOMi)@en[[[NamedNodeMap]]]] object that 
contains all element types belongs to the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]]
node.  The type of the attribute is [CODE(DOMi)@en[[[NamedNodeMap]]]].
The attribute is read-only.

What are contained in this collection depends on how
the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] node was created.  If the
node was created as the result of parsing of an XML document,
it [['''MUST''']]  contain all element types whose element type and / or 
attribute definition list declaration are encountered by and provided for the DOM
implementation from the XML processor.  Note that the XML processor might not 
provide a part of or entire such information depending on the configuration.
If more than one declarations for an element type or an attribute is available 
at the time of the definition node construction, then declarations other than 
the first ones [['''MUST''']] be discarded.

The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]]
object that contains all the [CODE(DOMi)@en[[[ElementTypeDefinition]]]] nodes
belong to the node.  The returned [CODE(DOMi)@en[[[NamedNodeMap]]]] object
[['''MUST''']] be read-only if and only if the node is read-only.
Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live
and therefore any change of read-only flag on the node is immediately
reflected by that of the object.

[3] The [DFN@en[[CODE(DOMa)@en[[[generalEntities]]]] attribute]]
of the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] interface
is a live [CODE(DOMi)@en[[[NamedNodeMap]]]] object that contains all the
general entities belong to the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] node.
The type of the attribute is [CODE(DOMi)@en[[[NamedNodeMap]]]].
The attribute is read-only.

All entities declared in the document type definition
contained in or referenced from the document entity
might not be exposed through this collection, depending
on the information provided by the XML processor for
the DOM implementation.  In particular, it might not
contain any entity if entity references are expanded
at the parse time.  An implementation [['''MUST NOT''']]
expose an [CODE(DOMi)@en[[[Entity]]]] node whose [CODE(DOMa)@en[[[nodeName]]]]
is equal to the name of one of five predefined general entities in
XML through the collection as the result of parsing of an XML
document that has no error.  Duplicate entity declarations are also discarded.

The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]]
object that contains all the [CODE(DOMi)@en[[[Entity]]]] nodes
representing general entities belong to the node.  The returned 
[CODE(DOMi)@en[[[NamedNodeMap]]]] object [['''MUST''']] be read-only if and only if 
the node is read-only. Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live
and therefore any change of read-only flag on the node is immediately
reflected by that of the object.

The attribute [['''MUST''']] return the same value as the
[CODE(DOMa)@en[[[entites]]]] attribute of the 
[CODE(DOMi)@en[[[DocumentType]]]] interface on the same node.

[4] The [DFN@en[[CODE(DOMa)@en[[[notations]]]] attribute]]
of the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] interface
is a live [CODE(DOMi)@en[[[NamedNodeMap]]]] object that contains
all the notations belong to the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]]
node.  The type of the attribute is [CODE(DOMi)@en[[[NamedNodeMap]]]].
The attribute is read-only.

If the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] node is
created from an XML document, duplicate notation declarations, if any, in DTD 
[['''MUST NOT''']] result in a node in the [CODE(DOMi)@en[[[NamedNodeMap]]]]
object and only the first declaration [['''MUST''']] be
made available as a [CODE(DOMi)@en[[[Notation]]]] node.

;; This definition is based on one for the 
[CODE(DOMa)@en[[[notations]]]] attribute of the
[CODE(DOMi)@en[[[DocumentType]]]] interface in DOM XML module.
Since duplication is violation to the Validity Constraint,
XML parsers might vary on how notations are notified to
the application.  In particular, [CODE(InfoProp)@en[[[notations]]]]
property of the document information item in XML Information Set
is so defined that in case ''any'' notation is declared for 
multiple times then the property has no value.

The attribute [['''MUST''']] return the [CODE(DOMi)@en[[[NamedNodeMap]]]]
object that contains all the [CODE(DOMi)@en[[[Notation]]]] nodes
representing notations belong to the node.  The returned 
[CODE(DOMi)@en[[[NamedNodeMap]]]] object [['''MUST''']] be read-only if and only if 
the node is read-only. Note that the [CODE(DOMi)@en[[[NamedNodeMap]]]] object is live
and therefore any change of read-only flag on the node is immediately
reflected by that of the object.

A DOM implementation is not required to implement the
[CODE(DOMa)@en[[[notations]]]] attribute twice
for the [CODE(DOMi)@en[[[DocumentType]]]] and
the [CODE(DOMi)@en[[[DocumentTypeDefinition]]]] interfaces;
the latter is defined to contain the same value as the former.


** Open Issues (informative)

[5] A future version of the interface might define the
[CODE(DOMa)@en[[[parameterEntities]]]] attribute and 
getter/setter for parameter entities.

The ElementTypeDefinition Interface

interface ElementTypeDefinition {
  
}
** Modifications to [CODE(DOMi)@en[[[Node]]]] members

[3] The getter of the [CODE(DOMa)@en[[[attributes]]]] attribute
of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] object
[['''MUST''']] return [CODE(IDL)@en[[[null]]]].

[4] The getter of the [CODE(DOMa)@en[[[baseURI]]]] attribute
of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] object
[['''MUST''']] return the [CODE(DOMa)@en[[[baseURI]]]]
of the [CDOE(DOMa)@en[[[ownerDocument]]]] of the
[CODE(DOMi)@en[[[ElementTypeDefinition]]]] object.
Note that it might be [CODE(IDL)@en[[[null]]]].

[1] The getter of the [CODE(DOMa)@en[[[nodeName]]]] attribute
of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] object
[['''MUST''']] return the name of the element type.

[2] The getters of the [CODE(DOMa)@en[[[nodeValue]]]] 
and [CODE(DOMa)@en[[[textContent]]]] attributes
of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]]
object [['''MUST''']] return [CODE(IDL)@en[[[null]]]].

;; Thus, the setter of these attributes do nothing.

The setter of the [CODE(DOMa)@en[[[textContent]]]]
attribute of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]]
object [['''MUST NOT''']] throw a 
[CODE(DOMc)@en[[[NO_MODIFICATION_ALLOWED_ERR]]]].

** The [CODE(DOMi)@en[ElementTypeDefinition]] Interface

[5] The 
[DFN@en[[CODE(DOMa)@en[[[ownerDocumentTypeDefinition]]]] attribute]]
of the [CODE(DOMi)@en[[[ElementTypeDefinition]]]]
interface is defined in [[manakai//DOM Extensions]>>50].

The AttributeDefinition Interface

interface AttributeDefinition {
  
}
** Modifications to [CODE(DOMi)@en[[[Node]]]] members

[3] The getter of the [CODE(DOMa)@en[[[attributes]]]] attribute
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object
[['''MUST''']] return [CODE(IDL)@en[[[null]]]].

[9] The getter of the [CODE(DOMa)@en[[[baseURI]]]] attribute
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object
[['''MUST''']] return the [CODE(DOMa)@en[[[baseURI]]]]
of the [CDOE(DOMa)@en[[[ownerDocument]]]] of the
[CODE(DOMi)@en[[[AttributeDefinition]]]] object.
Note that it might be [CODE(IDL)@en[[[null]]]].

[1] The getter of the [CODE(DOMa)@en[[[nodeName]]]] attribute
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object
[['''MUST''']] return the name of the attribute.

[2] The getter of the [CODE(DOMa)@en[[[nodeValue]]]] attribute
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object
[['''MUST''']] return the normalized default value
of the attribute.

@@

[4] The getter of the [CODE(DOMa)@en[[[textContent]]]]
attribute of an [CODE(DOMi)@en[[[AttributeDefinition]]]] 
object [['''MUST''']] behave as if it were an
[CODE(DOMi)@en[[[Attr]]]] object.

The setter of the [CODE(DOMa)@en[[[textContent]]]] attribute
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object
[['''MUST''']] behave as if the following algorithm
is performed:
= If the [CODE(DOMi)@en[[[AttributeDefinition]]]]
object is read-only, then throw an
[CODE(DOMc)@en[[[NO_MODIFICATION_ALLOWED_ERR]]]].
= Remove any child node the node has.
= If the new value is not empty and not [CODE(IDL)@en[[[null]]]],
then create a [CODE(DOMi)@en[[[Text]]]] node
whose [CODE(DOMa)@en[[[data]]]] is the new value
and append it to the [CODE(DOMi)@en[[[AttributeDefinition]]]].

** Definition groups

[6] The
[DFN@en[definition group [CODE(DOM)@en[[[DeclaredValueType]]]]]]
contains integers indicating the type of 
attribute value:
,[CODE(DOMc)@en[[[NO_TYPE_ATTR]]]],[CODE(IDL)[[[0]]]],The attribute value type corresponding to [[no value]] in XML Information Set.
,[CODE(DOMc)@en[[[CDATA_ATTR]]]],[CODE(IDL)[[[1]]]],The attribute value type is [CODE(XML)@en[[[CDATA]]]].
,[CODE(DOMc)@en[[[ID_ATTR]]]],[CODE(IDL)[[[2]]]],The attribute value type is [CODE(XML)@en[[[ID]]]].
,[CODE(DOMc)@en[[[IDREF_ATTR]]]],[CODE(IDL)[[[3]]]],The attribute value type is [CODE(XML)@en[[[IDREF]]]].
,[CODE(DOMc)@en[[[IDREFS_ATTR]]]],[CODE(IDL)[[[4]]]],The attribute value type is [CODE(XML)@en[[[IDREFS]]]].
,[CODE(DOMc)@en[[[ENTITY_ATTR]]]],[CODE(IDL)[[[5]]]],The attribute value type is [CODE(XML)@en[[[ENTITY]]]].
,[CODE(DOMc)@en[[[ENTITIES_ATTR]]]],[CODE(IDL)[[[6]]]],The attribute value type is [CODE(XML)@en[[[ENTITIES]]]].
,[CODE(DOMc)@en[[[NMTOKEN_ATTR]]]],[CODE(IDL)[[[7]]]],The attribute value type is [CODE(XML)@en[[[NMTOKEN]]]].
,[CODE(DOMc)@en[[[NMTOKENS_ATTR]]]],[CODE(IDL)[[[8]]]],The attribute value type is [CODE(XML)@en[[[NMTOKENS]]]].
,[CODE(DOMc)@en[[[NOTATION_ATTR]]]],[CODE(IDL)[[[9]]]],The attribute value type is [CODE(XML)@en[[[NOTATION]]]].
,[CODE(DOMc)@en[[[ENUMERATION_ATTR]]]],[CODE(IDL)[[[10]]]],The attribute value is enumeration type.
,[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."

The type of these constants are 
[CODE(IDL)@en[[[unsigned]] [[short]]]].

If no attribute type information is provided,
or if the source of that information does not 
distinguish [[no value]] and [[unknown]] as in
XML Information Set, then the 
[CODE(DOMc)@en[[[NO_TYPE_ATTR]]]] value 
[['''MUST''']] be used.

;; A newly created [CODE(DOMi)@en[[[AttributeDefinition]]]]
object by [CODE(DOMm)@en[[[createAttributeDefinition]]]]
method has [CODE(DOMa)@en[[[declaredType]]]] attribute
set to [CODE(DOMc)@en[[[NO_TYPE_ATTR]]]].

If the source of the attribute type information
does not distinguish [[no value]] and / or [[unknown]]
and [CODE(XML)@en[[[CDATA]]]], then the
[CODE(DOMc)@en[[[CDATA_ATTR]]]] value [['''MUST''']]
be used.

[11]
In Perl binding, the objects implementing the 
[CODE(DOMi)@en[[[Attr]]]] interface [['''MUST''']]
also implement the [CODE(DOM)@en[[[DeclaredValueType]]]]
constant group.

[7] The
[DFN@en[definition group [CODE(DOM)@en[[[DefaultValueType]]]]]]
contains integers indicating the type of 
default attribute value:
,[CODE(DOMc)@en[[[UNKNOWN_DEFAULT]]]],[CODE(IDL)[[[0]]]],The default value is unknown.
,[CODE(DOMc)@en[[[FIXED_DEFAULT]]]],[CODE(IDL)[[[1]]]],The default value is provided and the attribute is [CODE(XML)@en[#[[FIXED]]]] to that value.
,[CODE(DOMc)@en[[[REQUIRED_DEFAULT]]]],[CODE(IDL)[[[2]]]],An attribute specification is [CODE(XML)@en[#[[REQUIRED]]]] for the attribute.
,[CODE(DOMc)@en[[[IMPLIED_DEFAULT]]]],[CODE(IDL)[[[3]]]],The default value is [CODE(XML)@en[#[[IMPLIED]]]].
,[CODE(DOMc)@en[[[EXPLICIT_DEFAULT]]]],[CODE(IDL)[[[4]]]],The default value is provided but the attribute is not fixed to it.

The type of these constants are 
[CODE(IDL)@en[[[unsigned]] [[short]]]].

If the source of the attribute default value type
does not distinguish the [CODE(XML)@en[#[[IMPLIED]]]]
default and unknown default, then the 
[CODE(DOMc)@en[[[IMPLIED_DEFAULT]]]] value
[['''MUST''']] be used.

;; A newly created [CODE(DOMi)@en[[[AttributeDefinition]]]]
object by [CODE(DOMm)@en[[[createAttributeDefinition]]]]
method has [CODE(DOMa)@en[[[declaredType]]]] attribute
set to [CODE(DOMc)@en[[[NO_TYPE_ATTR]]]].

** Tree-relationship Attributes

[10] 
The 
[DFN@en[[CODE(DOMa)@en[[[ownerElementTypeDefinition]]]] attribute]]
of the [CODE(DOMi)@en[[[AttributeDefinition]]]] interface
is read-only and of type 
[CODE(DOMi)@en[[[ElementTypeDefinition]]]].
It is the [CODE(DOMi)@en[[[ElementTypeDefinition]]]] node
which the [CODE(DOMi)@en[[[AttributeDefinition]]]] node
belong to.

If the [CODE(DOMi)@en[[[AttributeDefinition]]]] node
is included in the [CODE(DOMa)@en[[[attributeDefinitions]]]]
list of an [CODE(DOMi)@en[[[ElementTypeDefinition]]]] node,
then the attribute [['''MUST''']] return the
[CODE(DOMi)@en[[[ElementTypeDefinition]]]] node.
Otherwise, it [['''MUST''']] return [CODE(DOM)@en[[[null]]]].

;; This attribute is analogue to the
[CODE(DOMa)@en[[[ownerDocumentTypeDefinition]]]] attribute
for [CODE(DOMi)@en[[[ElementTypeDefinition]]]],
[CODE(DOMi)@en[[[Entity]]]], and [CODE(DOMi)@en[[[Notation]]]]
nodes, or the [CODE(DOMa)@en[[[ownerElement]]]]
attribute for [CODE(DOMi)@en[[[Attr]]]] nodes.

** Attributes

[5]
The [DFN@en[[CODE(DOMa)@en[[[declaredType]]]] attribute]]
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object 
represents the type of the attribute value.

This attribute is read-write.
The type of the attribute is 
[CODE(IDL)@en[[[unsigned]] [[short]]]].  It is expected 
that this attribute has a value from the definition group
[CODE(DOM)@en[[[DeclaredValueType]]]].

The getter [['''MUST''']] return a value associated
to this attribute.

The setter [['''MUST''']]
throw a [CODE(DOMc)@en[[[NO_MODIFICATION_ALLOWED_ERR]]]]
[CODE(DOMi)@en[[[DOMException]]]] if the 
[CODE(DOMi)@en[[[AttributeDefinition]]]] object is read-only.
Otherwise, the setter [['''MUST''']] set the specified
value as the value associated to this attribute.

If a parser create an [CODE(DOMi)@en[[[AttributeDefinition]]]]
object, then it [['''MUST''']] set a value 
from the [CODE(DOM)@en[[[DeclaredValueType]]]] 
definition group.

[8]
The [DFN@en[[CODE(DOMa)@en[[[defaultType]]]] attribute]]
of an [CODE(DOMi)@en[[[AttributeDefinition]]]] object 
represents the type of the attribute default value.

This attribute is read-write.
The type of the attribute is 
[CODE(IDL)@en[[[unsigned]] [[short]]]].  It is expected 
that this attribute has a value from the definition group
[CODE(DOM)@en[[[DefaultValueType]]]].

The getter [['''MUST''']] return a value associated
to this attribute.

The setter [['''MUST''']]
throw a [CODE(DOMc)@en[[[NO_MODIFICATION_ALLOWED_ERR]]]]
[CODE(DOMi)@en[[[DOMException]]]] if the 
[CODE(DOMi)@en[[[AttributeDefinition]]]] object is read-only.
Otherwise, the setter [['''MUST''']] set the specified
value as the value associated to this attribute.

If a parser create an [CODE(DOMi)@en[[[AttributeDefinition]]]]
object, then it [['''MUST''']] set a value 
from the [CODE(DOM)@en[[[DefaultValueType]]]] 
definition group.

References

Normative References

DOM3CORE
@@ W3C DOM Level 3 Core
DOMDTDEF
@@ manakai's extension to DOM for document type definitions
KEYWORDS
Key words for use in RFCs to Indicate Requirement Levels, IETF BCP 14, RFC 2119, . This version of the specification is referenced.
INFOSET
@@
XML10
Extensible Markup Language (XML) 1.0 (Fourth Edition), W3C Recommendation, , edited in place . Tje latest version of the specification is available at <http://www.w3.org/TR/xml>. This version of the specification is referenced.
XML11
@@

Non‐normative References

CSS
Cascading Style Sheets Level 2 Revision 1 (CSS 2.1) Specification, W3C Candidate Recommendation, . Work in progress. The latest version of the specification is available at <http://www.w3.org/TR/CSS21>.
CSSOM
Cascading Style Sheets Object Model (CSSOM), W3C Editor's Draft, . Work in progress. The latest Editor's Draft of the specification is available at <http://dev.w3.org/csswg/cssom/Overview.html>.
HTML5
HTML 5, WHATWG Working Draft. Work in progress.
SAPI
Selectors API, W3C Editor's Draft, . Work in progress. The latest Editor's Draft of the specification is available at <http://dev.w3.org/2006/webapi/selectors-api/Overview.html>. The latest published version of the specification is available at <http://www.w3.org/TR/selectors-api/>.
XBL2
XBL 2.0, Mozilla.org, . Work in progress. The latest W3C‐published version of the specification is available at <http://www.w3.org/TR/xbl/>.
XML5
@@