GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
UNICODE_PARSER_BUFFER
+
Point of view
All features
ANY
RECYCLING_POOL
All features
class UNICODE_PARSER_BUFFER
Summary
top
A UTF-8 aware parser buffer for XML parsing
Direct parents
Insert list:
PLATFORM
,
RECYCLABLE
Overview
top
Creation features
{
ANY
}
connect_to
(a_url:
URL
, a_encoding:
STRING
)
Features
{
ANY
}
unknown_character
:
INTEGER_32
{
ANY
}
connect_to
(a_url:
URL
, a_encoding:
STRING
)
disconnect
set_encoding
(a_encoding:
STRING
)
url
:
URL
index
:
INTEGER_32
line
:
INTEGER_32
column
:
INTEGER_32
at_error
:
BOOLEAN
is_connected
:
BOOLEAN
end_of_input
:
BOOLEAN
can_read_character
:
BOOLEAN
next
previous
save_position
:
UNICODE_PARSER_POSITION
restore_position
(a_position:
UNICODE_PARSER_POSITION
)
set_index
(a_index:
INTEGER_32
)
valid_index
(a_index:
INTEGER_32
):
BOOLEAN
character
:
CHARACTER
code
:
INTEGER_32
is_character
:
BOOLEAN
append_substring_in
(string:
UNICODE_STRING
, first:
INTEGER_32
, last:
INTEGER_32
)
{}
backlog
:
FAST_ARRAY
[
INTEGER_32
]
size
:
INTEGER_32
{
RECYCLING_POOL
}
recycle
Do whatever needs to be done to free resources or recycle other objects when recycling this one
Maximum:
{}
Maximum_character_code
:
INTEGER_16
Largest supported code for
CHARACTER
values.
Maximum_integer_8
:
INTEGER_8
Largest supported value of type
INTEGER_8
.
Maximum_integer_16
:
INTEGER_16
Largest supported value of type
INTEGER_16
.
Maximum_integer
:
INTEGER_32
Largest supported value of type INTEGER/
INTEGER_32
.
Maximum_integer_32
:
INTEGER_32
Largest supported value of type INTEGER/
INTEGER_32
.
Maximum_integer_64
:
INTEGER_64
Largest supported value of type
INTEGER_64
.
Maximum_real_32
:
REAL_32
Largest non-special (no NaNs nor infinity) supported value of type
REAL_32
.
Maximum_real
:
REAL_64
Largest non-special (no NaNs nor infinity) supported value of type REAL.
Maximum_real_64
:
REAL_64
Largest non-special (no NaNs nor infinity) supported value of type REAL.
Maximum_real_80
:
REAL_EXTENDED
Largest supported value of type
REAL_80
.
Minimum:
{}
Minimum_character_code
:
INTEGER_16
Smallest supported code for
CHARACTER
values.
Minimum_integer_8
:
INTEGER_8
Smallest supported value of type
INTEGER_8
.
Minimum_integer_16
:
INTEGER_16
Smallest supported value of type
INTEGER_16
.
Minimum_integer
:
INTEGER_32
Smallest supported value of type INTEGER/
INTEGER_32
.
Minimum_integer_32
:
INTEGER_32
Smallest supported value of type INTEGER/
INTEGER_32
.
Minimum_integer_64
:
INTEGER_64
Smallest supported value of type
INTEGER_64
.
Minimum_real_32
:
REAL_32
Smallest non-special (no NaNs nor infinity) supported value of type
REAL_32
.
Minimum_real
:
REAL_64
Smallest non-special (no NaNs nor infinity) supported value of type REAL.
Minimum_real_64
:
REAL_64
Smallest non-special (no NaNs nor infinity) supported value of type REAL.
Minimum_real_80
:
REAL_64
Smallest supported value of type
REAL_80
.
Bits:
{}
Boolean_bits
:
INTEGER_32
Number of bits in a value of type
BOOLEAN
.
Character_bits
:
INTEGER_32
Number of bits in a value of type
CHARACTER
.
Integer_bits
:
INTEGER_32
Number of bits in a value of type INTEGER.
Real_bits
:
INTEGER_32
Number of bits in a value of type REAL.
Pointer_bits
:
INTEGER_32
Number of bits in a value of type
POINTER
.
unknown_character
:
INTEGER_32
is 0x0000fffd
constant attribute
{
ANY
}
top
connect_to
(a_url:
URL
, a_encoding:
STRING
)
effective procedure
{
ANY
}
top
require
not
is_connected
disconnect
effective procedure
{
ANY
}
top
ensure
not
is_connected
set_encoding
(a_encoding:
STRING
)
effective procedure
{
ANY
}
top
require
a_encoding /= Void
url
:
URL
writable attribute
{
ANY
}
top
index
:
INTEGER_32
writable attribute
{
ANY
}
top
line
:
INTEGER_32
writable attribute
{
ANY
}
top
column
:
INTEGER_32
writable attribute
{
ANY
}
top
at_error
:
BOOLEAN
writable attribute
{
ANY
}
top
is_connected
:
BOOLEAN
effective function
{
ANY
}
top
end_of_input
:
BOOLEAN
effective function
{
ANY
}
top
require
is_connected
can_read_character
:
BOOLEAN
effective function
{
ANY
}
top
next
effective procedure
{
ANY
}
top
require
is_connected
not
end_of_input
can_read_character
not
at_error
ensure
at_error
or else not
url
.input.end_of_input implies
backlog
.valid_index(
index
)
at_error
or else
url
.input.end_of_input implies
index
=
backlog
.upper + 1
previous
effective procedure
{
ANY
}
top
require
is_connected
index
> 0
ensure
not
end_of_input
backlog
.valid_index(
index
)
save_position
:
UNICODE_PARSER_POSITION
effective function
{
ANY
}
top
restore_position
(a_position:
UNICODE_PARSER_POSITION
)
effective procedure
{
ANY
}
top
set_index
(a_index:
INTEGER_32
)
effective procedure
{
ANY
}
top
require
valid_index
(a_index)
valid_index
(a_index:
INTEGER_32
):
BOOLEAN
effective function
{
ANY
}
top
character
:
CHARACTER
effective function
{
ANY
}
top
require
is_connected
is_character
ensure
Result.code =
code
code
:
INTEGER_32
effective function
{
ANY
}
top
require
is_connected
is_character
:
BOOLEAN
effective function
{
ANY
}
top
require
is_connected
append_substring_in
(string:
UNICODE_STRING
, first:
INTEGER_32
, last:
INTEGER_32
)
effective procedure
{
ANY
}
top
require
string /= Void
first <= last
valid_index
(first)
valid_index
(last)
backlog
:
FAST_ARRAY
[
INTEGER_32
]
writable attribute
{}
top
size
:
INTEGER_32
writable attribute
{}
top
recycle
effective procedure
{
RECYCLING_POOL
}
top
Do whatever needs to be done to free resources or recycle other objects when recycling this one
Maximum_character_code
:
INTEGER_16
{}
top
Largest supported code for
CHARACTER
values.
ensure
meaningful:
Result >= 127
Maximum_integer_8
:
INTEGER_8
is 127
constant attribute
{}
top
Largest supported value of type
INTEGER_8
.
Maximum_integer_16
:
INTEGER_16
is 32767
constant attribute
{}
top
Largest supported value of type
INTEGER_16
.
Maximum_integer
:
INTEGER_32
is 2147483647
constant attribute
{}
top
Largest supported value of type INTEGER/
INTEGER_32
.
Maximum_integer_32
:
INTEGER_32
is 2147483647
constant attribute
{}
top
Largest supported value of type INTEGER/
INTEGER_32
.
Maximum_integer_64
:
INTEGER_64
is 9223372036854775807
constant attribute
{}
top
Largest supported value of type
INTEGER_64
.
Maximum_real_32
:
REAL_32
is {REAL_32 3.4028234663852885981170418348451692544e+38}
constant attribute
{}
top
Largest non-special (no NaNs nor infinity) supported value of type
REAL_32
.
Maximum_real
:
REAL_64
{}
top
Largest non-special (no NaNs nor infinity) supported value of type REAL.
Just to give an idea of this value: 1.79769313486231570....e+308
Maximum_real_64
:
REAL_64
{}
top
Largest non-special (no NaNs nor infinity) supported value of type REAL.
Just to give an idea of this value: 1.79769313486231570....e+308
Maximum_real_80
:
REAL_EXTENDED
{}
top
Largest supported value of type
REAL_80
.
ensure
meaningful:
Result >=
Maximum_real
Minimum_character_code
:
INTEGER_16
{}
top
Smallest supported code for
CHARACTER
values.
ensure
meaningful:
Result <= 0
Minimum_integer_8
:
INTEGER_8
is -128
constant attribute
{}
top
Smallest supported value of type
INTEGER_8
.
Minimum_integer_16
:
INTEGER_16
is -32768
constant attribute
{}
top
Smallest supported value of type
INTEGER_16
.
Minimum_integer
:
INTEGER_32
is -2147483648
constant attribute
{}
top
Smallest supported value of type INTEGER/
INTEGER_32
.
Minimum_integer_32
:
INTEGER_32
is -2147483648
constant attribute
{}
top
Smallest supported value of type INTEGER/
INTEGER_32
.
Minimum_integer_64
:
INTEGER_64
is -9223372036854775808
constant attribute
{}
top
Smallest supported value of type
INTEGER_64
.
Minimum_real_32
:
REAL_32
is {REAL_32 -3.40282346638528859811704183484516925440e+38}
constant attribute
{}
top
Smallest non-special (no NaNs nor infinity) supported value of type
REAL_32
.
Minimum_real
:
REAL_64
{}
top
Smallest non-special (no NaNs nor infinity) supported value of type REAL.
Just to give an idea of this value: -1.79769313486231570....e+308
Minimum_real_64
:
REAL_64
{}
top
Smallest non-special (no NaNs nor infinity) supported value of type REAL.
Just to give an idea of this value: -1.79769313486231570....e+308
Minimum_real_80
:
REAL_64
{}
top
Smallest supported value of type
REAL_80
.
ensure
meaningful:
Result <= 0.0
Boolean_bits
:
INTEGER_32
{}
top
Number of bits in a value of type
BOOLEAN
.
ensure
meaningful:
Result >= 1
Character_bits
:
INTEGER_32
{}
top
Number of bits in a value of type
CHARACTER
.
ensure
meaningful:
Result >= 1
large_enough:
{INTEGER_32 2} ^ Result >=
Maximum_character_code
Integer_bits
:
INTEGER_32
{}
top
Number of bits in a value of type INTEGER.
ensure
integer_definition:
Result = 32
Real_bits
:
INTEGER_32
is 64
constant attribute
{}
top
Number of bits in a value of type REAL.
Pointer_bits
:
INTEGER_32
{}
top
Number of bits in a value of type
POINTER
.