class BENCHMARK

All features

Benchmarking facilities

Direct parents

non-conformant parents

ANY, PLATFORM

Summary

creation features

exported features

Maximum:

Minimum:

Bits:

Details

make (n: STRING)

require

  • n /= Void

ensure

  • not in_progress
  • counter = 0

make (n: STRING)

require

  • n /= Void

ensure

  • not in_progress
  • counter = 0

start

require

  • not in_progress

ensure

  • in_progress

next

require

  • in_progress

ensure

  • counter = old counter + 1
  • in_progress

stop

require

  • in_progress

ensure

  • counter = old counter + 1
  • not in_progress

break

useful for loop termination

require

  • in_progress

ensure

  • counter = old counter
  • not in_progress

name: STRING
in_progress: BOOLEAN
counter: INTEGER
min_time: REAL

in seconds

max_time: REAL

in seconds

total_time: REAL

in seconds

mean_time: REAL

in seconds

require

  • counter > 0

set_custom_print (cp: PROCEDURE [O_ -> TUPLE][TUPLE 1 [A_][BENCHMARK]])
print_now
smart_print
start_time: MICROSECOND_TIME
last_print: REAL

total_time value when last print occured

custom_print: PROCEDURE [O_ -> TUPLE][TUPLE 1 [A_][BENCHMARK]]

Used if non Void. See also default_print

default_print

Used if custom_print is Void

require

  • counter > 0

Maximum_character_code: INTEGER_16

Largest supported code for CHARACTER values.

ensure

  • meaningful: Result >= 127

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

Largest supported value of type INTEGER/INTEGER_32.

Maximum_integer_32: INTEGER

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

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

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

Largest supported value of type REAL_80.

ensure

  • meaningful: Result >= Maximum_real

Minimum_character_code: INTEGER_16

Smallest supported code for CHARACTER values.

ensure

  • meaningful: Result <= 0

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

Smallest supported value of type INTEGER/INTEGER_32.

Minimum_integer_32: INTEGER

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

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

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

Smallest supported value of type REAL_80.

ensure

  • meaningful: Result <= 0.0

Boolean_bits: INTEGER

Number of bits in a value of type BOOLEAN.

ensure

  • meaningful: Result >= 1

Character_bits: INTEGER

Number of bits in a value of type CHARACTER.

ensure

  • meaningful: Result >= 1
  • large_enough: 2.to_integer ^ Result >= Maximum_character_code

Integer_bits: INTEGER

Number of bits in a value of type INTEGER.

ensure

  • integer_definition: Result = 32

Real_bits: INTEGER

Number of bits in a value of type REAL.

Pointer_bits: INTEGER

Number of bits in a value of type POINTER.