+
Point of view
All features
expanded class XML_DTD_PUBLIC_REPOSITORY
Summary
This class allows you to register public DTD files as local files (useful when the network is not available, or for performance reasons, or for any other reason).
Direct parents
Insert list: URL_VALIDITY
Overview
Features
{ANY}
{XML_DTD_PARSER}
{}
{ANY}
register (public_id: UNICODE_STRING, a_url: STRING)
effective procedure
{ANY}
Register the public DTD public_id as having a local counterpart file in the given local_path.
require
  • valid_public_id: not public_id.is_empty
  • valid_url: valid_url(a_url)
  • not_registered: not is_registered(public_id)
ensure
is_registered (public_id: UNICODE_STRING): BOOLEAN
effective function
{ANY}
Does the given public_id have a registered URL?
require
  • valid_public_id: not public_id.is_empty
public_dtd (public_id: UNICODE_STRING, a_url: URL): URL
effective function
Opens the given public_id either by network connection to the url or, if the public_id is_registered, by reading the registered URL.
require
  • not public_id.is_empty
  • not is_registered(public_id) implies a_url /= Void
ensure
last_error: STRING
effective function
Meaningful only if the last call to public_dtd returned Void
last_error_memory: REFERENCE[STRING]
once function
{}
once function
{}
The registered URLs
agent_error: PROCEDURE[TUPLE 1[STRING]]
once function
{}
set_error (a_error: STRING)
effective procedure
{}
valid_url (a_url: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
True if the STRING represents a real URL (i.e. with a known protocol and a valid URI for that protocol)
require
  • a_url /= Void