home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
INTERNALS_HANDLER
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:
STRING
):
XML_DTD_VALIDATOR
recycle_dtd_validator
(a_validator:
XML_DTD_VALIDATOR
)
dtd_validators_pool
:
RECYCLING_POOL
[
XML_DTD_VALIDATOR
]
effective function
top
new_dtd_validator
(root_node_name:
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