+
Point of view
All features
expanded class XML_DTD_PUBLIC_REPOSITORY
Summary
Overview
features
  • register (public_id: STRING, local_path: STRING)
    Register the public DTD public_id as having a local couterpart file in the given local_path.
  • is_registered (public_id: STRING): BOOLEAN
    Does the given public_id have a local counterpart file?
Local DTD
Network DTD
register (public_id: STRING, local_path: STRING)
effective procedure
Register the public DTD public_id as having a local couterpart file in the given local_path.
is_registered (public_id: STRING): BOOLEAN
effective function
Does the given public_id have a local counterpart file?
public_dtd (public_id: STRING, url: STRING): INPUT_STREAM
effective function
Opens the given public_id either by network connection to the url or, if the public_id is_registered, by reading the local file.
free (public_id: STRING, stream: INPUT_STREAM)
effective procedure
Disconnect from the stream, which must have been opend by public_dtd.
last_error: STRING
effective function
once function
The registered URLs
last_error_memory: REFERENCE[STRING]
once function
local_dtd (public_id: STRING): TEXT_FILE_READ
effective function
once function
connect_to_file (path: STRING): TEXT_FILE_READ
effective function
free_file (file: TEXT_FILE_READ)
effective procedure
remote_dtd (a_url: STRING): INPUT_STREAM
effective function
agent_error: PROCEDURE[TUPLE 1[STRING]]
once function
set_error (a_error: STRING)
effective procedure