home
wiki
classes/clusters list
class information
+
Point of view
All features
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
)
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
)
list
:
SET
[
STRING
]
is_required
:
BOOLEAN
is_implied
:
BOOLEAN
make
(a_name:
STRING
)
recycle
Do whatever needs to be done to free resources or recycle other objects when recycling this one
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
list
:
SET
[
STRING
]
writable attribute
top
is_required
:
BOOLEAN
writable attribute
top
is_implied
:
BOOLEAN
effective function
top
make
(a_name:
STRING
)
effective procedure
top
require
not a_name.is_empty
ensure
name
= a_name
is_implied
recycle
effective procedure
top
Do whatever needs to be done to free resources or recycle other objects when recycling this one
ensure
list
= Void or else
list
.is_empty
not
is_required