home
wiki
classes/clusters list
class information
+
Point of view
XML_PARSER
ANY
XML_PARSER
INTERNALS_HANDLER
All features
class XML_DTD_PARSER
Summary
top
Parses a validation instruction in an XML file:
<!DOCTYPE . . .>
Direct parents
insert list:
SINGLETON
,
XML_DTD_MEMORY
,
XML_PARSER_TOOLS
Overview
top
creation features
make
exported features
Error reporting
has_error
:
BOOLEAN
error_message
:
STRING
parse
(a_line:
INTEGER_32
, a_column:
INTEGER_32
, a_stream:
INPUT_STREAM
):
XML_DTD_VALIDATOR
line
:
INTEGER_32
column
:
INTEGER_32
connect_to
(a_stream:
INPUT_STREAM
)
has_error
:
BOOLEAN
effective function
top
error_message
:
STRING
effective function
top
require
has_error
parse
(a_line:
INTEGER_32
, a_column:
INTEGER_32
, a_stream:
INPUT_STREAM
):
XML_DTD_VALIDATOR
effective function
top
line
:
INTEGER_32
writable attribute
top
column
:
INTEGER_32
writable attribute
top
connect_to
(a_stream:
INPUT_STREAM
)
effective procedure
top
require
a_stream.is_connected