+
Point of view
All features
expanded class XML_DTD_MEMORY
Summary
Direct parents
Insert list: ANY
Known children
Insert list: XML_DTD_PARSER, XML_DTD_VALIDATOR
Overview
dtd_validators_pool: RECYCLING_POOL[XML_DTD_VALIDATOR]
effective function
{}
new_dtd_validator (root_node_name: UNICODE_STRING): XML_DTD_VALIDATOR
effective function
{}
ensure
  • Result /= Void
  • Result.root_name = root_node_name
recycle_dtd_validator (a_validator: XML_DTD_VALIDATOR)
effective procedure
{}
once function
{}
new_empty_string: UNICODE_STRING
effective function
{}
ensure
  • Result /= Void
new_string (s: UNICODE_STRING): UNICODE_STRING
effective function
{}
require
  • s /= Void
ensure
  • Result.is_equal(s)
free_string (a_string: UNICODE_STRING)
effective procedure
{}
require
  • a_string /= Void
url_pool: RECYCLING_POOL[URL]
once function
{}
once function
{}