+
Point of view
All features
expanded class XML_DTD_PUBLIC_REPOSITORY
Summary
top
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
top
Features
{ANY}
{XML_DTD_PARSER}
{}
{ANY}
register (public_id: UNICODE_STRING, a_url: STRING)
effective procedure
{ANY}
top
Register the public DTD public_id as having a local counterpart file in the given local_path.
is_registered (public_id: UNICODE_STRING): BOOLEAN
effective function
{ANY}
top
Does the given public_id have a registered URL?
public_dtd (public_id: UNICODE_STRING, a_url: URL): URL
effective function
{XML_DTD_PARSER}
top
Opens the given public_id either by network connection to the url or, if the public_id is_registered, by reading the registered URL.
last_error: STRING
effective function
{XML_DTD_PARSER}
top
Meaningful only if the last call to public_dtd returned Void
last_error_memory: REFERENCE[STRING]
once function
{}
top
once function
{}
top
The registered URLs
agent_error: PROCEDURE[TUPLE 1[STRING]]
once function
{}
top
set_error (a_error: STRING)
effective procedure
{}
top
valid_url (a_url: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
top
True if the STRING represents a real URL (i.e. with a known protocol and a valid URI for that protocol)