GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
XML_PARSER_TOOLS
+
Point of view
All features
ANY
All features
deferred class XML_PARSER_TOOLS
Summary
top
Direct parents
Insert list:
UNICODE_CHARACTERS
Known children
Insert list:
XML_DTD_PARSER
,
XML_PARSER
Class invariant
top
readable_url:
buffer
/= Void and then
buffer
.is_connected implies
buffer
.url.read
Overview
top
Features
{
ANY
}
line
:
INTEGER_32
column
:
INTEGER_32
{}
buffer
:
UNICODE_PARSER_BUFFER
skip_blanks
end_of_input
:
BOOLEAN
next
previous
current_character
:
INTEGER_32
skip
(character:
CHARACTER
):
BOOLEAN
skip2
(char1:
CHARACTER
, char2:
CHARACTER
):
BOOLEAN
skip_word
(word:
STRING
):
BOOLEAN
is_identifier_start
(unicode:
INTEGER_32
):
BOOLEAN
is_identifier_part
(unicode:
INTEGER_32
):
BOOLEAN
read_identifier
:
UNICODE_STRING
read_string
:
UNICODE_STRING
read_identifier_as_string
:
STRING
read_string_as_string
:
STRING
{
ANY
}
is_separator
(unicode:
INTEGER_32
):
BOOLEAN
is_base_char
(unicode:
INTEGER_32
):
BOOLEAN
is_ideographic
(unicode:
INTEGER_32
):
BOOLEAN
is_combining_char
(unicode:
INTEGER_32
):
BOOLEAN
is_extender
(unicode:
INTEGER_32
):
BOOLEAN
is_letter
(unicode:
INTEGER_32
):
BOOLEAN
is_digit
(unicode:
INTEGER_32
):
BOOLEAN
line
:
INTEGER_32
effective function
{
ANY
}
top
column
:
INTEGER_32
effective function
{
ANY
}
top
buffer
:
UNICODE_PARSER_BUFFER
deferred function
{}
top
skip_blanks
effective procedure
{}
top
require
buffer
.is_connected
end_of_input
:
BOOLEAN
effective function
{}
top
require
buffer
.is_connected
next
effective procedure
{}
top
require
buffer
.is_connected
not
end_of_input
previous
effective procedure
{}
top
require
buffer
.is_connected
buffer
.index > 0
current_character
:
INTEGER_32
effective function
{}
top
require
buffer
.is_connected
not
end_of_input
skip
(character:
CHARACTER
):
BOOLEAN
effective function
{}
top
require
buffer
.is_connected
skip2
(char1:
CHARACTER
, char2:
CHARACTER
):
BOOLEAN
effective function
{}
top
require
buffer
.is_connected
skip_word
(word:
STRING
):
BOOLEAN
effective function
{}
top
require
buffer
.is_connected
not word.is_empty
is_identifier_start
(unicode:
INTEGER_32
):
BOOLEAN
effective function
{}
top
require
buffer
.is_connected
is_identifier_part
(unicode:
INTEGER_32
):
BOOLEAN
effective function
{}
top
require
buffer
.is_connected
read_identifier
:
UNICODE_STRING
effective function
{}
top
require
buffer
.is_connected
read_string
:
UNICODE_STRING
effective function
{}
top
require
buffer
.is_connected
current_character
= '%''.code or else
current_character
= '"'.code
read_identifier_as_string
:
STRING
effective function
{}
top
require
buffer
.is_connected
read_string_as_string
:
STRING
effective function
{}
top
require
buffer
.is_connected
is_separator
(unicode:
INTEGER_32
):
BOOLEAN
effective function
{
ANY
}
top
is_base_char
(unicode:
INTEGER_32
):
BOOLEAN
effective function
{
ANY
}
top
is_ideographic
(unicode:
INTEGER_32
):
BOOLEAN
effective function
{
ANY
}
top
is_combining_char
(unicode:
INTEGER_32
):
BOOLEAN
effective function
{
ANY
}
top
is_extender
(unicode:
INTEGER_32
):
BOOLEAN
effective function
{
ANY
}
top
is_letter
(unicode:
INTEGER_32
):
BOOLEAN
effective function
{
ANY
}
top
is_digit
(unicode:
INTEGER_32
):
BOOLEAN
effective function
{
ANY
}
top