GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
XML_DTD_ATTRIBUTE
+
Point of view
All features
ANY
RECYCLING_POOL
XML_DTD_ELEMENT
All features
class XML_DTD_ATTRIBUTE
Summary
top
Direct parents
Insert list:
RECYCLABLE
Class invariant
top
not
name
.is_empty
Overview
top
Creation features
{
XML_DTD_ELEMENT
}
make
(a_name:
UNICODE_STRING
)
Features
validation
{
XML_DTD_ELEMENT
}
is_valid
(attributes:
DICTIONARY
[
UNICODE_STRING
,
UNICODE_STRING
]):
BOOLEAN
default
:
UNICODE_STRING
building
{
XML_DTD_ELEMENT
}
name
:
UNICODE_STRING
list_value
(value:
UNICODE_STRING
)
cdata
id
idref
idrefs
nmtoken
nmtokens
entity
entities
notation
required
implied
valid_fixed_value
(value:
UNICODE_STRING
):
BOOLEAN
fixed
(value:
UNICODE_STRING
)
default_value
(value:
UNICODE_STRING
)
{}
list
:
SET
[
UNICODE_STRING
]
is_required
:
BOOLEAN
is_implied
:
BOOLEAN
{
XML_DTD_ELEMENT
}
make
(a_name:
UNICODE_STRING
)
{
RECYCLING_POOL
}
recycle
Do whatever needs to be done to free resources or recycle other objects when recycling this one
is_valid
(attributes:
DICTIONARY
[
UNICODE_STRING
,
UNICODE_STRING
]):
BOOLEAN
effective function
{
XML_DTD_ELEMENT
}
top
default
:
UNICODE_STRING
writable attribute
{
XML_DTD_ELEMENT
}
top
name
:
UNICODE_STRING
writable attribute
{
XML_DTD_ELEMENT
}
top
list_value
(value:
UNICODE_STRING
)
effective procedure
{
XML_DTD_ELEMENT
}
top
cdata
effective procedure
{
XML_DTD_ELEMENT
}
top
id
effective procedure
{
XML_DTD_ELEMENT
}
top
idref
effective procedure
{
XML_DTD_ELEMENT
}
top
idrefs
effective procedure
{
XML_DTD_ELEMENT
}
top
nmtoken
effective procedure
{
XML_DTD_ELEMENT
}
top
nmtokens
effective procedure
{
XML_DTD_ELEMENT
}
top
entity
effective procedure
{
XML_DTD_ELEMENT
}
top
entities
effective procedure
{
XML_DTD_ELEMENT
}
top
notation
effective procedure
{
XML_DTD_ELEMENT
}
top
required
effective procedure
{
XML_DTD_ELEMENT
}
top
implied
effective procedure
{
XML_DTD_ELEMENT
}
top
valid_fixed_value
(value:
UNICODE_STRING
):
BOOLEAN
effective function
{
XML_DTD_ELEMENT
}
top
fixed
(value:
UNICODE_STRING
)
effective procedure
{
XML_DTD_ELEMENT
}
top
require
valid_fixed_value
(value)
default_value
(value:
UNICODE_STRING
)
effective procedure
{
XML_DTD_ELEMENT
}
top
list
:
SET
[
UNICODE_STRING
]
writable attribute
{}
top
is_required
:
BOOLEAN
writable attribute
{}
top
is_implied
:
BOOLEAN
effective function
{}
top
make
(a_name:
UNICODE_STRING
)
effective procedure
{
XML_DTD_ELEMENT
}
top
require
not a_name.is_empty
ensure
name
= a_name
is_implied
recycle
effective procedure
{
RECYCLING_POOL
}
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