GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
XML_DTD_MEMORY
+
Point of view
All features
ANY
All features
expanded class XML_DTD_MEMORY
Summary
top
Direct parents
Insert list:
ANY
Known children
Insert list:
XML_DTD_PARSER
,
XML_DTD_VALIDATOR
Overview
top
Features
Memory management
{}
dtd_validators_pool
:
RECYCLING_POOL
[
XML_DTD_VALIDATOR
]
new_dtd_validator
(root_node_name:
UNICODE_STRING
):
XML_DTD_VALIDATOR
recycle_dtd_validator
(a_validator:
XML_DTD_VALIDATOR
)
string_pool
:
RECYCLING_POOL
[
UNICODE_STRING
]
new_empty_string
:
UNICODE_STRING
new_string
(s:
UNICODE_STRING
):
UNICODE_STRING
free_string
(a_string:
UNICODE_STRING
)
url_pool
:
RECYCLING_POOL
[
URL
]
buffer_pool
:
RECYCLING_POOL
[
UNICODE_PARSER_BUFFER
]
dtd_validators_pool
:
RECYCLING_POOL
[
XML_DTD_VALIDATOR
]
effective function
{}
top
new_dtd_validator
(root_node_name:
UNICODE_STRING
):
XML_DTD_VALIDATOR
effective function
{}
top
ensure
Result /= Void
Result.root_name = root_node_name
recycle_dtd_validator
(a_validator:
XML_DTD_VALIDATOR
)
effective procedure
{}
top
string_pool
:
RECYCLING_POOL
[
UNICODE_STRING
]
once function
{}
top
new_empty_string
:
UNICODE_STRING
effective function
{}
top
ensure
Result /= Void
new_string
(s:
UNICODE_STRING
):
UNICODE_STRING
effective function
{}
top
require
s /= Void
ensure
Result.is_equal(s)
free_string
(a_string:
UNICODE_STRING
)
effective procedure
{}
top
require
a_string /= Void
url_pool
:
RECYCLING_POOL
[
URL
]
once function
{}
top
buffer_pool
:
RECYCLING_POOL
[
UNICODE_PARSER_BUFFER
]
once function
{}
top