class BENCHMARK

Features exported to INTERNALS_HANDLER

Benchmarking facilities

Direct parents

non-conformant parents

ANY, PLATFORM

Summary

creation features

exported features

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