home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
INTERNALS_HANDLER
All features
deferred class XML_PARSER_TOOLS
Summary
top
Direct parents
insert list:
ANY
Known children
insert list:
XML_DTD_PARSER
Overview
top
features
line
:
INTEGER_32
column
:
INTEGER_32
connect_to
(a_stream:
INPUT_STREAM
)
stream
:
INPUT_STREAM
skip_blanks
end_of_input
:
BOOLEAN
next
current_character
:
CHARACTER
skip
(character:
CHARACTER
):
BOOLEAN
skip2
(char1:
CHARACTER
, char2:
CHARACTER
):
BOOLEAN
skip_word
(word:
STRING
):
BOOLEAN
read_identifier
:
STRING
read_string
:
STRING
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
stream
:
INPUT_STREAM
writable attribute
top
skip_blanks
effective procedure
top
end_of_input
:
BOOLEAN
effective function
top
next
effective procedure
top
require
not
end_of_input
current_character
:
CHARACTER
effective function
top
require
not
end_of_input
skip
(character:
CHARACTER
):
BOOLEAN
effective function
top
skip2
(char1:
CHARACTER
, char2:
CHARACTER
):
BOOLEAN
effective function
top
skip_word
(word:
STRING
):
BOOLEAN
effective function
top
require
not word.is_empty
read_identifier
:
STRING
effective function
top
read_string
:
STRING
effective function
top