+
Point of view
XML_DTD_PARSER
expanded class XML_DTD_PUBLIC_REPOSITORY
Summary
Overview
exported 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?
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