+
Point of view
All features
class BENCHMARK
Summary
top
Benchmarking facilities
Direct parents
Insert list: ANY, PLATFORM
Overview
top
Creation features
{ANY}
Features
{ANY}
{}
Maximum:
{}
Minimum:
{}
Bits:
{}
make (n: STRING)
effective procedure
{ANY}
top
require
  • n /= Void
ensure
start
effective procedure
{ANY}
top
require ensure
next
effective procedure
{ANY}
top
require ensure
stop
effective procedure
{ANY}
top
require ensure
break
effective procedure
{ANY}
top
useful for loop termination
require ensure
name: STRING
writable attribute
{ANY}
top
in_progress: BOOLEAN
writable attribute
{ANY}
top
counter: INTEGER_32
writable attribute
{ANY}
top
min_time: REAL_64
writable attribute
{ANY}
top
in seconds
max_time: REAL_64
writable attribute
{ANY}
top
in seconds
total_time: REAL_64
writable attribute
{ANY}
top
in seconds
mean_time: REAL_64
effective function
{ANY}
top
in seconds
require
set_custom_print (cp: PROCEDURE[TUPLE 1[BENCHMARK]])
effective procedure
{ANY}
top
print_now
effective procedure
{ANY}
top
smart_print
effective procedure
{ANY}
top
start_time: MICROSECOND_TIME
writable attribute
{}
top
last_print: REAL_64
writable attribute
{}
top
total_time value when last print occurred
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
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
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
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.