home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
INTERNALS_HANDLER
All features
class BENCHMARK
Summary
top
Benchmarking facilities
Direct parents
insert list:
ANY
,
PLATFORM
Overview
top
creation features
make
(n:
STRING
)
features
make
(n:
STRING
)
start
next
stop
break
useful for loop termination
name
:
STRING
in_progress
:
BOOLEAN
counter
:
INTEGER_32
min_time
:
REAL_64
in seconds
max_time
:
REAL_64
in seconds
total_time
:
REAL_64
in seconds
mean_time
:
REAL_64
in seconds
set_custom_print
(cp:
PROCEDURE
[
TUPLE 1
[BENCHMARK]])
print_now
smart_print
start_time
:
MICROSECOND_TIME
last_print
:
REAL_64
total_time value when last print occured
custom_print
:
PROCEDURE
[
TUPLE 1
[BENCHMARK]]
Used if non Void.
default_print
Used if custom_print is Void
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
.
make
(n:
STRING
)
effective procedure
top
require
n /= Void
ensure
not
in_progress
counter
= 0
start
effective procedure
top
require
not
in_progress
ensure
in_progress
next
effective procedure
top
require
in_progress
ensure
counter
= old
counter
+ 1
in_progress
stop
effective procedure
top
require
in_progress
ensure
counter
= old
counter
+ 1
not
in_progress
break
effective procedure
top
useful for loop termination
require
in_progress
ensure
counter
= old
counter
not
in_progress
name
:
STRING
writable attribute
top
in_progress
:
BOOLEAN
writable attribute
top
counter
:
INTEGER_32
writable attribute
top
min_time
:
REAL_64
writable attribute
top
in seconds
max_time
:
REAL_64
writable attribute
top
in seconds
total_time
:
REAL_64
writable attribute
top
in seconds
mean_time
:
REAL_64
effective function
top
in seconds
require
counter
> 0
set_custom_print
(cp:
PROCEDURE
[
TUPLE 1
[BENCHMARK]])
effective procedure
top
print_now
effective procedure
top
smart_print
effective procedure
top
start_time
:
MICROSECOND_TIME
writable attribute
top
last_print
:
REAL_64
writable attribute
top
total_time value when last print occured
custom_print
:
PROCEDURE
[
TUPLE 1
[BENCHMARK]]
writable attribute
top
Used if non Void.
See also default_print
default_print
effective procedure
top
Used if custom_print is Void
require
counter
> 0
Maximum_character_code
:
INTEGER_16
top
Largest supported code for
CHARACTER
values.
ensure
meaningful:
Result >= 127
Maximum_integer_8
:
INTEGER_8
constant attribute
top
Largest supported value of type
INTEGER_8
.
Maximum_integer_16
:
INTEGER_16
constant attribute
top
Largest supported value of type
INTEGER_16
.
Maximum_integer
:
INTEGER_32
constant attribute
top
Largest supported value of type INTEGER/
INTEGER_32
.
Maximum_integer_32
:
INTEGER_32
constant attribute
top
Largest supported value of type INTEGER/
INTEGER_32
.
Maximum_integer_64
:
INTEGER_64
constant attribute
top
Largest supported value of type
INTEGER_64
.
Maximum_real_32
:
REAL_32
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
constant attribute
top
Smallest supported value of type
INTEGER_8
.
Minimum_integer_16
:
INTEGER_16
constant attribute
top
Smallest supported value of type
INTEGER_16
.
Minimum_integer
:
INTEGER_32
constant attribute
top
Smallest supported value of type INTEGER/
INTEGER_32
.
Minimum_integer_32
:
INTEGER_32
constant attribute
top
Smallest supported value of type INTEGER/
INTEGER_32
.
Minimum_integer_64
:
INTEGER_64
constant attribute
top
Smallest supported value of type
INTEGER_64
.
Minimum_real_32
:
REAL_32
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
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
.