home
wiki
classes/clusters list
class information
+
Point of view
XML_DTD_ELEMENT
ANY
XML_DTD_ELEMENT
RECYCLING_POOL
INTERNALS_HANDLER
All features
class XML_DTD_ATTRIBUTE
Summary
top
Direct parents
insert list:
RECYCLABLE
Class invariant
top
not
name
.is_empty
Overview
top
creation features
make
(a_name:
STRING
)
exported features
validation
is_valid
(attributes:
DICTIONARY
[
STRING
,
STRING
]):
BOOLEAN
default
:
STRING
building
name
:
STRING
list_value
(value:
STRING
)
cdata
id
idref
idrefs
nmtoken
nmtokens
entity
entities
notation
required
implied
fixed
(value:
STRING
)
default_value
(value:
STRING
)
make
(a_name:
STRING
)
is_valid
(attributes:
DICTIONARY
[
STRING
,
STRING
]):
BOOLEAN
effective function
top
default
:
STRING
writable attribute
top
name
:
STRING
writable attribute
top
list_value
(value:
STRING
)
effective procedure
top
cdata
effective procedure
top
id
effective procedure
top
idref
effective procedure
top
idrefs
effective procedure
top
nmtoken
effective procedure
top
nmtokens
effective procedure
top
entity
effective procedure
top
entities
effective procedure
top
notation
effective procedure
top
required
effective procedure
top
implied
effective procedure
top
fixed
(value:
STRING
)
effective procedure
top
default_value
(value:
STRING
)
effective procedure
top
make
(a_name:
STRING
)
effective procedure
top
require
not a_name.is_empty
ensure
name
= a_name